abi-compliance-checker – a tool for checking backward binary/source-level compatibility of a shared C/C++ library (DSO): A tool for checking backward binary and source-level compatibility of a C/C++ library. The tool checks header files and shared libraries of old and new versions and analyzes changes in API and ABI (ABI=API+compiler ABI) that may break binary and/or … Read more
You’re probably looking for one of these: CHESS Typemock Racer NOTE: This answer is from 2010. As with all recommendations answers, recommendations tend to change over time. There may be other products out there now, CHESS which was a Microsoft Research Labs project may have evolved into a final product or been scrapped altogether. Please … Read more
GCC docs : -fstack-usage Makes the compiler output stack usage information for the program, on a per-function basis. The filename for the dump is made by appending .su to the auxname. auxname is generated from the name of the output file, if explicitly specified and it is not an executable, otherwise it is the basename … Read more
You could use a code coverage analysis tool for this and look for unused spots in your code. A popular tool for the gcc toolchain is gcov, together with the graphical frontend lcov (http://ltp.sourceforge.net/coverage/lcov.php). If you use gcc, you can compile with gcov support, which is enabled by the ‘–coverage’ flag. Next, run your application … Read more
You want GCC’s warn_unused_result attribute: #define WARN_UNUSED __attribute__((warn_unused_result)) int WARN_UNUSED f(int z) { return z + (z*2) + z/3 + z*z + 23; } int main() { int i = 7; f(i); ///// <<—– here i disregard the return value return 1; } Trying to compile this code produces: $ gcc test.c test.c: In function … Read more
static void D() { } static void Y() { D(); } static void X() { Y(); } static void C() { D(); X(); } static void B() { C(); } static void S() { D(); } static void P() { S(); } static void O() { P(); } static void N() { O(); } static … Read more
Code violation detection Tools: FxCop, excellent tool by Microsoft. Check compliance with .NET framework guidelines. Edit October 2010: No longer available as a standalone download. It is now included in the Windows SDK and after installation can be found in Program Files\Microsoft SDKs\Windows\ [v7.1] \Bin\FXCop\FxCopSetup.exe Edit February 2018: This functionality has now been integrated into … Read more
CppCheck is open source and cross-platform. Mac OSX: brew install cppcheck
Raphael wrote: Does antlr build the AST for us automatically by option{output=AST;}? Or do I have to make the tree myself? If it does, then how to spit out the nodes on that AST? No, the parser does not know what you want as root and as leaves for each parser rule, so you’ll have … Read more
Run php in lint mode from the command line to validate syntax without execution: php -l FILENAME Higher-level static analyzers include: php-sat – Requires http://strategoxt.org/ PHP_Depend PHP_CodeSniffer PHP Mess Detector PHPStan PHP-CS-Fixer phan Lower-level analyzers include: PHP_Parser token_get_all (primitive function) Runtime analyzers, which are more useful for some things due to PHP’s dynamic nature, include: … Read more