- PCode2C: Steps Towards Translation Validation with Ghidra and CBMC https://www.philipzucker.com/pcode2c/ 2 comments reverseengineering
Linked pages
- Locknote: How Badly Do We Want Correct Compilers? - John Regehr - NDC TechTown 2023 - YouTube https://www.youtube.com/watch?v=tMYYrR-hazI 23 comments
- A Formal Semantics for P-Code | SpringerLink https://link.springer.com/chapter/10.1007/978-3-031-25803-9_7 6 comments
- GitHub - diffblue/cbmc: C Bounded Model Checker https://github.com/diffblue/cbmc 1 comment
Related searches:
Search whole site: site:philipzucker.com
Search title: PCode2C: Steps Towards Translation Validation with Ghidra and CBMC | Hey There Buddo!
See how to search.