Ghidra + CBMC = Assembly Model Checker
Web page · https://philipzucker.com/asmc_cpp
First seen by Oriel on .
Metric trends
Last 30 days · Up to 120 recorded samples per source and metric · First and latest retained
Points
Score reported by the source.
- Lobsters: 8, latest observation ; +6 over observed period since
Comments
Comment count reported by the source.
- Lobsters: 1, latest observation ; +1 over observed period since