API/ABI breakage

• icheck
• abicheck

static code analyzers

• cppcheck
• sparse

leak checkers

• valgrind
• electric-fence
• ccmalloc
• leaktracer
• libdebug0-dev
• libdmalloc-dev
• libleakbug-dev

security/bug checkers

• pscan
• pstack
• tendra
• flawfinder
• splint

refactoring

• similarity-tester

unit testing frameworks

• check

other

• cflow
• ncc