Hacker News new | ask | show | jobs
by sparkie 475 days ago
I'd recommend using goblint (https://github.com/goblint) as a starting point, rather than Clang.