Doxygen is a documentation generator for a variety of programming languages. Z3 is a constraint solver tool that can complement software analysis, verification, and fuzzing tools. LibFuzzer typically looks for inputs that will cause a system to crash or hang. Code coverage tools provide a detailed view of a fuzzer’s progress over time. Gcov is part of a tool category called code coverage, which goes hand-in-hand with fuzzers. There are many open source options that are not always reliable and reliable technology.”]
Source: https://www.darkreading.com/application-security/4-open-source-tools-to-add-to-your-security-arsenal