Alternatives and similar repositories for ikos:

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

• danmar / cppcheck
  static analysis of C/C++ code
  ☆6,066Updated this week
• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,353Updated 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,250Updated this week
• google / fuzztest
  ☆801Updated this week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆4,955Updated 5 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,229Updated 5 months ago
• seanbaxter / circle
  The compiler is available for download. Get it!
  ☆2,491Updated last year
• rizsotto / Bear
  Bear is a tool that generates a compilation database for clang tooling.
  ☆5,339Updated this week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,210Updated 6 months ago
• microsoft / GSL
  Guidelines Support Library
  ☆6,342Updated 2 weeks ago
• MattPD / cpplinks
  A categorized list of C++ resources.
  ☆4,820Updated this week
• yrnkrn / zapcc
  zapcc is a caching C++ compiler based on clang, designed to perform faster compilations
  ☆1,252Updated 4 years ago
• google / orbit
  C/C++ Performance Profiler
  ☆4,269Updated last month
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,557Updated 9 months ago
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆11,831Updated last week
• KDE / heaptrack
  A heap memory profiler for Linux
  ☆3,503Updated last week
• andreasfertig / cppinsights
  C++ Insights - See your source code with the eyes of a compiler
  ☆4,218Updated this week
• KDAB / hotspot
  The Linux perf GUI for performance analysis.
  ☆4,311Updated this week
• rohanrhu / gdb-frontend
  ☕ GDBFrontend is an easy, flexible and extensible gui debugger.
  ☆2,919Updated 2 months ago
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,797Updated 8 months ago
• rr-debugger / rr
  Record and Replay Framework
  ☆9,563Updated last week
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,719Updated 2 months ago
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,071Updated last year
• hugsy / gef
  GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Li…
  ☆7,320Updated this week
• standardese / cppast
  Library to parse and work with the C++ AST
  ☆1,718Updated 9 months ago
• asmjit / asmjit
  Low-latency machine code generation
  ☆4,083Updated last week
• wolfpld / tracy
  Frame profiler
  ☆10,987Updated last week
• epasveer / seer
  Seer - a gui frontend to gdb
  ☆3,080Updated this week
• BinaryAnalysisPlatform / bap
  Binary Analysis Platform
  ☆2,111Updated this week
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆11,079Updated this week