What kind of static analysis is available for BEAM programs?