BinLift combines QBDL’s portable binary loading with DynaMIR instrumentation, DWARF-backed types, and modern C++ and Python APIs. It provides a high-level way to resolve functions and variables, translate addresses, access memory, and call native or instrumented code without rebuilding the surrounding runtime by hand.
This tool was used to break DexProtector; the resulting analysis is documented in A Glimpse Into DexProtector.