Ghidra + CBMC = Assembly Model Checkerphilipzucker.com2 points·matt_d··0 commentsOpen articleSaveView on HN