analyze
Code analyzer
Automates code security and compliance analysis for C++ projects.
NaiveSystems Analyze is a static analysis tool for code security and compliance.
174 stars
5 watching
24 forks
Language: C++
last commit: 12 days ago
Linked from 1 awesome list
autosarcertcode-scanningcoding-standardscpp14cppcheckfunctional-safetyiso26262misramisra-cstatic-analysis
Related projects:
Repository | Description | Stars |
---|---|---|
nasa-sw-vnv/ikos | A static analyzer for C/C++ programs that uses Abstract Interpretation to detect errors and vulnerabilities. | 2,292 |
cycodelabs/raven | Analyzes potential security vulnerabilities in Continuous Integration/Continuous Deployment workflows and repositories. | 625 |
mikepopoloski/slang | Provides tools and services for compiling, parsing, and analyzing SystemVerilog code | 626 |
cmu-sei/pharos | Automated analysis tool for understanding and recovering program structure from compiled binaries | 1,557 |
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. | 817 |
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 | 796 |
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,692 |
powershell/psscriptanalyzer | A tool that checks and analyzes PowerShell code for quality and best practices | 1,864 |
wala/wala | A toolset for static analysis of Java and JavaScript code. | 763 |
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 | 371 |