1. Coverity Scan: Static analysis. https://scan.coverity.com/. Accessed 10 Apr 2024
2. Cppcheck: A tool for static C/C++ code analysis. https://cppcheck.sourceforge.io/. Accessed 10 Apr 2024
3. CREST: Concolic test generation tool for C. https://www.burn.im/crest/. Accessed 20 July 2020
4. FindBugs. http://findbugs.sourceforge.net/. Accessed 22 July 2020
5. Fortify static code analyzer. https://www.opentext.com/products/fortify-static-code-analyzer. Accessed 10 Apr 2024