analyze
Code analyzer
Automates code security and compliance analysis for C++ projects.
NaiveSystems Analyze is a static analysis tool for code security and compliance.
177 stars
5 watching
25 forks
Language: C++
last commit: 3 months ago
Linked from 1 awesome list
autosarcertcode-scanningcoding-standardscpp14cppcheckfunctional-safetyiso26262misramisra-cstatic-analysis
nhivp/awesome-embeddedRelated projects:
| Repository | Description | Stars |
|---|---|---|
 nasa-sw-vnv/ikos | A static analysis tool for C/C++ programs based on Abstract Interpretation theory. | 2,746 |
 cycodelabs/raven | Analyzes potential security vulnerabilities in Continuous Integration/Continuous Deployment workflows and repositories. | 634 |
 mikepopoloski/slang | Provides tools and services for compiling, parsing, and analyzing SystemVerilog code | 644 |
 cmu-sei/pharos | Automated analysis of binary programs to detect and recover object-oriented structures and API calls. | 1,569 |
 bkoelman/csharpguidelinesanalyzer | A tool that analyzes C# code against predefined coding guidelines and reports diagnostics | 145 |
 tcosolutions/betterscan | A toolchain that scans source code and infrastructure IaC for security risks and provides a unified report. | 831 |
 codacy/codacy-scalameta | A tool for static code analysis in Scala | 34 |
 mumuki/mulang | Analyzes source code structure and syntax to detect potential issues and errors | 124 |
 antique-team/memcad | Analyzes C code for its memory layout and dependencies | 25 |
 sonarsource/sonar-dotnet | Analyzes C# and VB.NET code for quality and security issues | 802 |
 airbus-seclab/bincat | A toolset for analyzing binary code with IDA integration and support for value, taint analysis, type reconstruction, and detection of use-after-free and double-free bugs. | 1,706 |
 powershell/psscriptanalyzer | A tool that checks and analyzes PowerShell code for quality and best practices | 1,874 |
 wala/wala | A toolset for static analysis of Java and JavaScript code. | 766 |
 scrutinizer-ci/php-analyzer | Analyzes and evaluates PHP code to identify potential issues and improvements | 444 |
 flatt-security/shisho | A tool that analyzes code for security vulnerabilities and provides feedback to developers | 369 |