Alternatives and similar repositories for ikos:

Users that are interested in ikos are comparing it to the libraries listed below

• google / souper
  A superoptimizer for LLVM IR
  ☆2,195Updated 4 months ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,531Updated 7 months ago
• rohanrhu / gdb-frontend
  ☕ GDBFrontend is an easy, flexible and extensible gui debugger.
  ☆2,889Updated 3 weeks ago
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,782Updated 6 months ago
• checkedc / checkedc
  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,224Updated 3 months ago
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,046Updated 11 months ago
• rizsotto / Bear
  Bear is a tool that generates a compilation database for clang tooling.
  ☆5,163Updated this week
• diffblue / cbmc
  C Bounded Model Checker
  ☆873Updated this week
• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,316Updated this week
• stclib / STC
  A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forw…
  ☆1,452Updated this week
• include-what-you-use / include-what-you-use
  A tool for use with clang to analyze #includes in C and C++ source files
  ☆4,188Updated last week
• mjansson / rpmalloc
  Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
  ☆2,212Updated this week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆4,856Updated 3 months ago
• seanbaxter / circle
  The compiler is available for download. Get it!
  ☆2,462Updated last year
• namhyung / uftrace
  Function graph tracer for C/C++/Rust/Python
  ☆3,104Updated last month
• ccurtsinger / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆563Updated 3 years ago
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,684Updated last week
• yrnkrn / zapcc
  zapcc is a caching C++ compiler based on clang, designed to perform faster compilations
  ☆1,251Updated 4 years ago
• KDE / heaptrack
  A heap memory profiler for Linux
  ☆3,432Updated this week
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆1,924Updated this week
• epasveer / seer
  Seer - a gui frontend to gdb
  ☆3,041Updated last week
• friendlyanon / cmake-init
  The missing CMake project initializer
  ☆2,171Updated this week
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆10,817Updated this week
• nakst / gf
  A GDB frontend for Linux.
  ☆1,946Updated this week
• andreasfertig / cppinsights
  C++ Insights - See your source code with the eyes of a compiler
  ☆4,171Updated this week
• glouw / ctl
  The C Template Library
  ☆1,088Updated 3 years ago
• nickdiego / compiledb
  Tool for generating Clang's JSON Compilation Database files for make-based build systems.
  ☆1,407Updated 5 months ago
• hanickadot / compile-time-regular-expressions
  Compile Time Regular Expression in C++
  ☆3,442Updated last week
• nemequ / hedley
  A C/C++ header to help move #ifdefs out of your code
  ☆811Updated 3 months ago
• Battelle / movfuscator
  The single instruction C compiler
  ☆1,344Updated 2 years ago