NASA-SW-VnV / ikosLinks
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
☆2,999Updated 2 months ago
Alternatives and similar repositories for ikos
Users that are interested in ikos are comparing it to the libraries listed below
Sorting:
- A superoptimizer for LLVM IR☆2,249Updated 9 months ago
- Bear is a tool that generates a compilation database for clang tooling.☆5,620Updated this 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,238Updated 8 months ago
- Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C☆2,303Updated 3 weeks ago
- ☕ GDBFrontend is an easy, flexible and extensible gui debugger.☆2,947Updated 5 months ago
- The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)☆3,244Updated this week
- C++ Insights - See your source code with the eyes of a compiler☆4,305Updated last week
- CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.☆2,402Updated this week
- Csmith, a random generator of C programs☆1,092Updated last year
- Seer - a gui frontend to gdb☆3,163Updated this week
- C/C++ Performance Profiler☆4,287Updated 4 months ago
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,816Updated 11 months ago
- C-Reduce, a C and C++ program reducer☆1,590Updated last year
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,483Updated 2 weeks ago
- ☆853Updated this week
- The compiler is available for download. Get it!☆2,512Updated last year
- A GDB frontend for Linux.☆2,461Updated 2 months ago
- Automatic verification of LLVM optimizations☆918Updated this week
- The Linux perf GUI for performance analysis.☆4,741Updated last month
- A heap memory profiler for Linux☆3,676Updated this week
- A tool for use with clang to analyze #includes in C and C++ source files☆4,370Updated this week
- Bloaty: a size profiler for binaries☆5,079Updated 2 months ago
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,532Updated 2 years ago
- mold: A Modern Linker 🦠☆15,354Updated this week
- mimalloc is a compact general purpose allocator with excellent performance.☆11,602Updated this week
- Run compilers interactively from your web browser and interact with the assembly☆17,656Updated this week
- Record and Replay Framework☆9,895Updated this week
- Fast and lightweight x86/x86-64 disassembler and code generation library☆3,757Updated 2 weeks ago
- Coz: Causal Profiling☆4,265Updated 4 months ago
- KLEE Symbolic Execution Engine☆2,786Updated last month