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,213Updated 7 months ago
• KDE / heaptrack
  A heap memory profiler for Linux
  ☆3,529Updated 2 weeks ago
• andreasfertig / cppinsights
  C++ Insights - See your source code with the eyes of a compiler
  ☆4,222Updated last week
• MattPD / cpplinks
  A categorized list of C++ resources.
  ☆4,839Updated this week
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,559Updated 9 months ago
• google / orbit
  C/C++ Performance Profiler
  ☆4,271Updated 2 months ago
• nakst / gf
  A GDB frontend for Linux.
  ☆2,329Updated 2 weeks ago
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,728Updated 2 months ago
• asmjit / asmjit
  Low-latency machine code generation
  ☆4,092Updated 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,229Updated 5 months ago
• google / fuzztest
  ☆803Updated this week
• rohanrhu / gdb-frontend
  ☕ GDBFrontend is an easy, flexible and extensible gui debugger.
  ☆2,920Updated 3 months ago
• rizsotto / Bear
  Bear is a tool that generates a compilation database for clang tooling.
  ☆5,364Updated this week
• google / sandboxed-api
  Generate sandboxes for C/C++ libraries automatically
  ☆1,686Updated this week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆11,852Updated last week
• 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,034Updated last year
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆11,156Updated this week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆4,963Updated 5 months ago
• Snaipe / libcsptr
  Smart pointers for the (GNU) C programming language
  ☆1,648Updated 2 years ago
• capstone-engine / capstone
  Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX,…
  ☆7,887Updated this week
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,802Updated 8 months ago
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆1,953Updated last week
• hugsy / gef
  GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…
  ☆7,343Updated 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,261Updated last week
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆17,197Updated this week
• mjansson / rpmalloc
  Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
  ☆2,242Updated 2 weeks ago
• lifting-bits / mcsema
  Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
  ☆2,687Updated 2 years ago
• simd-everywhere / simde
  Implementations of SIMD instruction sets for systems which don't natively support them.
  ☆2,610Updated 2 weeks ago
• plasma-umass / coz
  Coz: Causal Profiling
  ☆4,198Updated 2 months ago
• nickdiego / compiledb
  Tool for generating Clang's JSON Compilation Database files for make-based build systems.
  ☆1,447Updated last week