ikos
Static analyzer
A static analysis tool for C/C++ programs based on Abstract Interpretation theory.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
3k stars
62 watching
190 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 | 572 |
 naivesystems/analyze | Automates code security and compliance analysis for C++ projects. | 177 |
 wala/wala | A toolset for static analysis of Java and JavaScript code. | 766 |
 vannevelj/vsdiagnostics | Provides real-time code quality checks and suggestions to help developers write proper C# code | 65 |
 cmu-sei/pharos | Automated analysis of binary programs to detect and recover object-oriented structures and API calls. | 1,569 |
 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,763 |
 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,144 |
 clj-kondo/clj-kondo | A tool for analyzing and improving the quality of Clojure code | 1,722 |
 mikepopoloski/slang | Provides tools and services for compiling, parsing, and analyzing SystemVerilog code | 644 |
 sebastianbiallas/ht | An editor/viewer/analyzer for executables. | 412 |
 testableio/system.io.abstractions.analyzers | An analyzer that provides diagnostic tools and insights into System.IO abstractions | 25 |
 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 | 18 |