Ghidra + CBMC = Assembly Model Checker

2 pointsposted 11 hours ago
by matt_d
(philipzucker.com)

No comments yet