android binding DBI debugger disassembler DWARF reader dynamic assembler ELF reader emulator hooker interface intermediate language Mach-O reader monitoring of processes network PDB symbols PE reader sandbox scripting engine search in memory SMT solver static analysis static/dynamic code analyser STP tracer virtualization visualization wrapper