Ghidra and CBMC = Assembly Model Checker

(philipzucker.com)

2 points | by philzook 10 hours ago ago