OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems. - View it on GitHub