3 ms·
I'd recommend using goblint (https://github.com/goblint https://github.com/goblint) as a starting point, rather than Clang.
by sparkie 2y ago
I'd recommend using goblint (https://github.com/goblint https://github.com/goblint) as a starting point, rather than Clang.