Alternatives and similar repositories for ikos

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

• google / fuzztest
  ☆871Updated this week
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,601Updated last year
• google / souper
  A superoptimizer for LLVM IR
  ☆2,264Updated 10 months ago
• rohanrhu / gdb-frontend
  ☕ GDBFrontend is an easy, flexible and extensible gui debugger.
  ☆2,951Updated 6 months ago
• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,419Updated last week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,115Updated 3 months ago
• diffblue / cbmc
  C Bounded Model Checker
  ☆932Updated last week
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,108Updated last year
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,800Updated 2 weeks ago
• ccurtsinger / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆575Updated 3 years ago
• seanbaxter / circle
  The compiler is available for download. Get it!
  ☆2,517Updated last year
• namhyung / uftrace
  Function graph tracer for C/C++/Rust/Python
  ☆3,274Updated 2 weeks ago
• pizlonator / llvm-project-deluge
  Fil-C
  ☆900Updated this week
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,821Updated last year
• Ericsson / CodeCompass
  CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
  ☆561Updated this week
• MattPD / cpplinks
  A categorized list of C++ resources.
  ☆5,032Updated this week
• nakst / gf
  A GDB frontend for Linux.
  ☆2,504Updated 3 months ago
• rizsotto / Bear
  Bear is a tool that generates a compilation database for clang tooling.
  ☆5,713Updated this week
• KDE / heaptrack
  A heap memory profiler for Linux
  ☆3,721Updated 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,684Updated this week
• trailofbits / deepstate
  A unit test-like interface for fuzzing and symbolic execution
  ☆837Updated 6 months ago
• emil-e / rapidcheck
  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
  ☆1,046Updated last year
• DynamoRIO / drmemory
  Memory Debugger for Windows, Linux, Mac, and Android
  ☆2,615Updated last week
• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆940Updated last month
• pfultz2 / Cloak
  A mini-preprocessor library to demostrate the recursive capabilites of the preprocessor
  ☆949Updated 5 years ago
• nemequ / portable-snippets
  Collection of miscellaneous portable C snippets.
  ☆718Updated last year
• include-what-you-use / include-what-you-use
  A tool for use with clang to analyze #includes in C and C++ source files
  ☆4,415Updated last week
• plasma-umass / coz
  Coz: Causal Profiling
  ☆4,280Updated 5 months ago
• epasveer / seer
  Seer - a gui frontend to gdb
  ☆3,183Updated this week
• google / nsync
  nsync is a C library that exports various synchronization primitives, such as mutexes
  ☆1,183Updated 3 months ago