NASA-SW-VnV / ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
☆2,921Updated last week
Alternatives and similar repositories for ikos:
Users that are interested in ikos are comparing it to the libraries listed below
- static analysis of C/C++ code☆6,066Updated this week
- CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.☆2,353Updated this week
- A tool for use with clang to analyze #includes in C and C++ source files☆4,250Updated this week
- ☆801Updated this week
- Bloaty: a size profiler for binaries☆4,955Updated 5 months ago
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,229Updated 5 months ago
- The compiler is available for download. Get it!☆2,491Updated last year
- Bear is a tool that generates a compilation database for clang tooling.☆5,339Updated this week
- A superoptimizer for LLVM IR☆2,210Updated 6 months ago
- Guidelines Support Library☆6,342Updated 2 weeks ago
- A categorized list of C++ resources.☆4,820Updated this week
- zapcc is a caching C++ compiler based on clang, designed to perform faster compilations☆1,252Updated 4 years ago
- C/C++ Performance Profiler☆4,269Updated last month
- C-Reduce, a C and C++ program reducer☆1,557Updated 9 months ago
- AddressSanitizer, ThreadSanitizer, MemorySanitizer☆11,831Updated last week
- A heap memory profiler for Linux☆3,503Updated last week
- C++ Insights - See your source code with the eyes of a compiler☆4,218Updated this week
- The Linux perf GUI for performance analysis.☆4,311Updated this week
- ☕ GDBFrontend is an easy, flexible and extensible gui debugger.☆2,919Updated 2 months ago
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,797Updated 8 months ago
- Record and Replay Framework☆9,563Updated last week
- KLEE Symbolic Execution Engine☆2,719Updated 2 months ago
- Csmith, a random generator of C programs☆1,071Updated last year
- GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…☆7,320Updated this week
- Library to parse and work with the C++ AST☆1,718Updated 9 months ago
- Low-latency machine code generation☆4,083Updated last week
- Frame profiler☆10,987Updated last week
- Seer - a gui frontend to gdb☆3,080Updated this week
- Binary Analysis Platform☆2,111Updated this week
- mimalloc is a compact general purpose allocator with excellent performance.☆11,079Updated this week