Detecting Bugs in Binaries Using Decompilation and Data Flow AnalysisSilvio Cesare
?
The document discusses using static analysis techniques like data flow analysis and decompilation to detect bugs in binary files. It describes decompiling binaries into an intermediate representation and then performing intraprocedural and interprocedural data flow analysis on the representation. This allows detecting bugs involving unsafe functions like getenv() and memory issues like use-after-free and double free errors. The approach involves lifting x86 into a RISC-like intermediate language, inferring stack pointers, and decompiling locals and arguments to perform analysis and optimization.
Detecting Bugs in Binaries Using Decompilation and Data Flow AnalysisSilvio Cesare
?
The document discusses using static analysis techniques like data flow analysis and decompilation to detect bugs in binary files. It describes decompiling binaries into an intermediate representation and then performing intraprocedural and interprocedural data flow analysis on the representation. This allows detecting bugs involving unsafe functions like getenv() and memory issues like use-after-free and double free errors. The approach involves lifting x86 into a RISC-like intermediate language, inferring stack pointers, and decompiling locals and arguments to perform analysis and optimization.