fp.
newest
Open in hackernews
Ghidra and CBMC = Assembly Model Checker
https://www.philipzucker.com/asmc_cpp/
2
•
philzook
•
55m ago