Open utterances-bot opened 5 months ago
Although ASAN performs binary instrumentation at compile time, and Valgrind performs it at runtime, both tools require the program to be executed to detect bugs, categorizing them as dynamic analysis tools. CppCheck is an example of a static analysis tool.
C++ Diagnostic Basics: Warnings, Assertions, Testing | hacking C++
Basic techniques and tools for ensuring correctness: compiler warnings (gcc/clang/MSVC), assertions (assert/static_assert) and testing (with some doctest examples).
https://hackingcpp.com/cpp/diagnostics.html