NASA-SW-VnV / ikosLinks
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
☆3,030Updated 4 months ago
Alternatives and similar repositories for ikos
Users that are interested in ikos are comparing it to the libraries listed below
Sorting:
- ☆893Updated last week
- C-Reduce, a C and C++ program reducer☆1,607Updated last year
- A categorized list of C++ resources.☆5,074Updated this week
- A superoptimizer for LLVM IR☆2,293Updated last year
- ☕ GDBFrontend is an easy, flexible and extensible gui debugger.☆2,956Updated 8 months ago
- C Bounded Model Checker☆943Updated last week
- 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,245Updated 10 months ago
- CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.☆2,451Updated last week
- Bloaty: a size profiler for binaries☆5,165Updated 4 months ago
- CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java☆565Updated this week
- The compiler is available for download. Get it!☆2,528Updated last year
- A GDB frontend for Linux.☆2,591Updated 4 months ago
- A heap memory profiler for Linux☆3,784Updated this week
- A tool for use with clang to analyze #includes in C and C++ source files☆4,473Updated this week
- QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.☆1,047Updated last year
- C/C++ Performance Profiler☆4,312Updated 7 months ago
- The missing CMake project initializer☆2,380Updated this week
- Library to parse and work with the C++ AST☆1,741Updated last year
- Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C☆2,337Updated 3 weeks ago
- Csmith, a random generator of C programs☆1,116Updated last year
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,825Updated last year
- KLEE Symbolic Execution Engine☆2,816Updated last month
- Collection of miscellaneous portable C snippets.☆723Updated last year
- Fil-C: completely compatible memory safety for C and C++☆1,108Updated this week
- Seer - a gui frontend to gdb☆3,208Updated this week
- static analysis of C/C++ code☆6,310Updated this week
- Practical mutation testing and fault injection for C and C++☆776Updated 3 months ago
- Memory Debugger for Windows, Linux, Mac, and Android☆2,631Updated last month
- A native, user-mode, multi-process, graphical debugger.☆5,806Updated this week
- Bear is a tool that generates a compilation database for clang tooling.☆5,814Updated last month