Static analysis of code Tools Tool Company C/C++test Parasoft Cantata 6.2 CPAChecker dotTest Parasoft Dynamorio Eclair Frama-C Kiuwan XLTest Spreadsheet auditing Excel addin Zoom 10 tools Is your favourite tool missing? Add it to the directory