Alternatives and similar repositories for ikos

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

• rohanrhu / gdb-frontend
  ☕ GDBFrontend is an easy, flexible and extensible gui debugger.
  ☆2,966Updated 8 months ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,609Updated last year
• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,455Updated this week
• diffblue / cbmc
  C Bounded Model Checker
  ☆949Updated this week
• danmar / cppcheck
  static analysis of C/C++ code
  ☆6,330Updated this week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,299Updated last year
• MattPD / cpplinks
  A categorized list of C++ resources.
  ☆5,084Updated this week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,188Updated 5 months ago
• include-what-you-use / include-what-you-use
  A tool for use with clang to analyze #includes in C and C++ source files
  ☆4,487Updated last week
• epasveer / seer
  Seer - a gui frontend to gdb
  ☆3,223Updated last week
• 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,246Updated 11 months ago
• google / fuzztest
  ☆898Updated this week
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,828Updated 2 months ago
• rizsotto / Bear
  Bear is a tool that generates a compilation database for clang tooling.
  ☆5,859Updated last week
• Snaipe / Criterion
  A cross-platform C and C++ unit testing framework for the 21st century
  ☆2,166Updated 5 months ago
• Ericsson / CodeCompass
  CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
  ☆566Updated 3 weeks ago
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,032Updated 2 weeks ago
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,121Updated last year
• google / sandboxed-api
  Generate sandboxes for C/C++ libraries automatically
  ☆1,715Updated this week
• standardese / cppast
  Library to parse and work with the C++ AST
  ☆1,744Updated last year
• pizlonator / fil-c
  Fil-C: completely compatible memory safety for C and C++
  ☆1,382Updated this week
• hanickadot / compile-time-regular-expressions
  Compile Time Regular Expression in C++
  ☆3,662Updated last 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,740Updated last week
• google / orbit
  C/C++ Performance Profiler
  ☆4,311Updated 7 months ago
• seanbaxter / circle
  The compiler is available for download. Get it!
  ☆2,530Updated last year
• pfultz2 / Cloak
  A mini-preprocessor library to demostrate the recursive capabilites of the preprocessor
  ☆958Updated 5 years ago
• DynamoRIO / drmemory
  Memory Debugger for Windows, Linux, Mac, and Android
  ☆2,636Updated 2 months ago
• nakst / gf
  A GDB frontend for Linux.
  ☆2,630Updated this week
• asmjit / asmjit
  Low-latency machine code generation
  ☆4,283Updated 2 weeks ago
• nickdiego / compiledb
  Tool for generating Clang's JSON Compilation Database files for make-based build systems.
  ☆1,547Updated 6 months ago