analyze bytecode.