SECURITY, QUALITY AND CODE COMPLIANCERed Lizard Software provides automated source code analysis tools for kickstarting C/C++ code quality, reducing security vulnerabilities and assisting source code compliance. As the creators of advanced, multi-patented static analysis technologies based on formal verification technology, Red Lizard Software strives to reduce your software development costs and minimize risks to MISRA, CWE, SANS or CERT compliance.