Hacker News new | ask | show | jobs
by PhilipRoman 700 days ago
I found frama-c to be pretty good, including all the integer quirks