Finding driver bugs with DR. CHECKER
Finding driver bugs with DR. CHECKER
Posted Sep 9, 2017 7:52 UTC (Sat) by pabs (subscriber, #43278)Parent article: Finding driver bugs with DR. CHECKER
If folks are interested in other tools for static analysis of C code, there are some other tools listed here:
https://anonscm.debian.org/cgit/collab-maint/check-all-th...
https://github.com/mcandre/linters#c