ikos
Static Analyzer
A static analyzer for C/C++ programs that uses Abstract Interpretation to detect errors and vulnerabilities.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
2k stars
58 watching
169 forks
Language: C++
last commit: about 2 months ago
Linked from 2 awesome lists
abstract-interpretationprogram-analysissoftware-verificationstatic-analysis
fffaraz/awesome-cpp
jobbole/awesome-cpp-cnRelated projects:
| Repository | Description | Stars |
|---|---|---|
 kowainik/stan | Analyzes Haskell code to identify potential errors and areas for improvement | 570 |
 naivesystems/analyze | Automates code security and compliance analysis for C++ projects. | 174 |
 wala/wala | A toolset for static analysis of Java and JavaScript code. | 763 |
 vannevelj/vsdiagnostics | Provides real-time code quality checks and suggestions to help developers write proper C# code | 65 |
 cmu-sei/pharos | Automated analysis tool for understanding and recovering program structure from compiled binaries | 1,557 |
 antique-team/memcad | Analyzes C code for its memory layout and dependencies | 25 |
 clj-commons/kibit | A static code analyzer for Clojure and other languages that suggests improvements to make code more idiomatic and efficient. | 1,764 |
 sec-bit/adelaide | An extension to the Solidity compiler for static analysis of smart contracts written in C++ | 19 |
 sonarsource/sonar-java | Analyzes Java code quality and security issues to help developers write cleaner code | 1,134 |
 clj-kondo/clj-kondo | A tool for analyzing and improving the quality of Clojure code | 1,712 |
 mikepopoloski/slang | Provides tools and services for compiling, parsing, and analyzing SystemVerilog code | 620 |
 sebastianbiallas/ht | A tool for analyzing and editing executable files | 411 |
 testableio/system.io.abstractions.analyzers | An analyzer that provides diagnostic tools and insights into System.IO abstractions | 23 |
 scrutinizer-ci/php-analyzer | Analyzes and evaluates PHP code to identify potential issues and improvements | 444 |
 dragon-dreamer/binary-valentine | An executable file analyzer tool that detects security, configuration, optimization, system, and format issues in Windows executables | 16 |