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,203Updated 5 months ago
• rohanrhu / gdb-frontend
  ☕ GDBFrontend is an easy, flexible and extensible gui debugger.
  ☆2,902Updated last month
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,548Updated 8 months ago
• MattPD / cpplinks
  A categorized list of C++ resources.
  ☆4,767Updated this week
• epasveer / seer
  Seer - a gui frontend to gdb
  ☆3,071Updated this week
• DynamoRIO / dynamorio
  Dynamic Instrumentation Tool Platform
  ☆2,751Updated this week
• andreasfertig / cppinsights
  C++ Insights - See your source code with the eyes of a compiler
  ☆4,193Updated 3 weeks ago
• asmjit / asmjit
  Low-latency machine code generation
  ☆4,045Updated last week
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,791Updated 7 months ago
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,059Updated last year
• capstone-engine / capstone
  Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…
  ☆7,798Updated this week
• mjansson / rpmalloc
  Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
  ☆2,230Updated last month
• Ericsson / CodeCompass
  CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
  ☆536Updated last week
• danmar / cppcheck
  static analysis of C/C++ code
  ☆6,011Updated this 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,228Updated 4 months ago
• rizinorg / rizin
  UNIX-like reverse engineering framework and command-line toolset.
  ☆2,803Updated this week
• revng / revng
  revng: the core repository of the rev.ng project
  ☆1,367Updated this week
• DynamoRIO / drmemory
  Memory Debugger for Windows, Linux, Mac, and Android
  ☆2,512Updated last week
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆17,033Updated this week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆4,918Updated 4 months ago
• yrnkrn / zapcc
  zapcc is a caching C++ compiler based on clang, designed to perform faster compilations
  ☆1,252Updated 4 years ago
• seanbaxter / circle
  The compiler is available for download. Get it!
  ☆2,479Updated last year
• ruslashev / elfcat
  ELF visualizer. Generates HTML files from ELF binaries.
  ☆932Updated last month
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆11,004Updated this week
• intelxed / xed
  The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions
  ☆1,444Updated 3 months ago
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,702Updated last month
• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,331Updated this week
• namhyung / uftrace
  Function graph tracer for C/C++/Rust/Python
  ☆3,127Updated last month
• cs01 / gdbgui
  Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…
  ☆10,002Updated 11 months ago
• lief-project / LIEF
  LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
  ☆4,654Updated this week