- The Almighty DWARF: A Trojan Horse for Program Analysis, Verification, and Recompilation https://www.philipzucker.com/dwarf-patching/ 2 comments reverseengineering
Linked pages
- Ghidra https://ghidra-sre.org/ 307 comments
- Finding a CPU Design Bug in the Xbox 360 | Random ASCII – tech blog of Bruce Dawson https://randomascii.wordpress.com/2018/01/07/finding-a-cpu-design-bug-in-the-xbox-360/ 272 comments
- GitHub - dafny-lang/dafny: Dafny is a verification-aware programming language https://github.com/dafny-lang/dafny 61 comments
- Binary Ninja http://binary.ninja 56 comments
- http://dwarfstd.org/doc/Debugging%20using%20DWARF-2012.pdf 1 comment
- Unison : Home https://unison-code.github.io/ 0 comments
- GitHub - BinaryAnalysisPlatform/bap: Binary Analysis Platform https://github.com/BinaryAnalysisPlatform/bap 0 comments
Related searches:
Search whole site: site:www.philipzucker.com
Search title: The Almighty DWARF: A Trojan Horse for Program Analysis, Verification, and Recompilation | Hey There Buddo!
See how to search.