ikos
by NASA-SW-VnV
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
AI summary
Static analyzer
A static analysis tool for C/C++ programs based on Abstract Interpretation theory.
- stars
- 2.7K
- forks
- 190
- watching
- 62
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Code analyzer
Analyzes Haskell code to identify potential errors and areas for improvement
Code analyzer
Automates code security and compliance analysis for C++ projects.
wala/wala766
Code analyzer
A toolset for static analysis of Java and JavaScript code.
Code analyzer
Provides real-time code quality checks and suggestions to help developers write proper C# code
cmu-sei/pharos1.6K
Binary analyzer toolset
Automated analysis of binary programs to detect and recover object-oriented structures and API calls.
Memory analyzer
Analyzes C code for its memory layout and dependencies
Code analyser
A static code analyzer for Clojure and other languages that suggests improvements to make code more idiomatic and efficient.
Contract analyzer
An extension to the Solidity compiler for static analysis of smart contracts written in C++
Code analyzer
Analyzes Java code quality and security issues to help developers write cleaner code
Code analyzer
A tool for analyzing and improving the quality of Clojure code
Code analyzer
Provides tools and services for compiling, parsing, and analyzing SystemVerilog code
Executable file viewer/editor
An editor/viewer/analyzer for executables.
IO Analyzer
An analyzer that provides diagnostic tools and insights into System.IO abstractions
Code analyser
Analyzes and evaluates PHP code to identify potential issues and improvements
PE scanner
An executable file analyzer tool that detects security, configuration, optimization, system, and format issues in Windows executables
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions ikos.
