sixgill is a tool for statically checking assertions in C/C++ code. It is nearly a verifier — that is, it is able to prove an assertion always holds, modulo some assumptions it makes about the code.
analysis analyzer c c++ code code_analysis sourceanalyzer static staticanalysis static_analysis static-analysis staticcodeanalysis verification verifier verify
These details are provided for information only. No information here is legal advice and should not be used as such.