Ghidra and CBMC = Assembly Model Checker

2 points | by philzook 9 hours ago