Alternatives and similar repositories for kmax

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

• error27 / smatch
  Static Analyser for C
  ☆121Updated last month
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆29Updated 2 years ago
• mpdn / unthread
  A deterministic, fuzzable pthread implementation
  ☆39Updated 2 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• pwnforce / uSBS
  μSBS: Static Binary Sanitization of Bare-metal Embedded Devices
  ☆30Updated 2 years ago
• androidoffsec / baremetal_kasan
  ☆49Updated last year
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆144Updated 4 months ago
• vusec / floatzone
  ☆70Updated 11 months ago
• HexHive / SyzRisk
  Official repository of SyzRisk [ASIA CCS'24]
  ☆12Updated 10 months ago
• purseclab / Patcherex2
  A versatile and easy-to-use static binary patching tool.
  ☆37Updated 2 months ago
• sslab-gatech / krace
  Source code release for the KRace project
  ☆28Updated 3 years ago
• SyzTrust / syztrust
  SyzTrust's main repository. Start here to install.
  ☆17Updated last year
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆77Updated 3 years ago
• mit-ll / HAKC
  ☆35Updated 3 years ago
• ZHYfeng / Dependency
  ☆24Updated 2 months ago
• binsec / rosa
  ROSA: Finding Backdoors with Fuzzing
  ☆23Updated 3 months ago
• trusslab / hecaton
  ☆11Updated 4 years ago
• valour01 / arm_disasssembler_study
  This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
  ☆63Updated last year
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 6 months ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆29Updated 4 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆81Updated 4 years ago
• 17451k / clade
  Clade is a tool for extracting information about software build process and source code
  ☆21Updated last year
• cyruscyliu / firmguide
  FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution
  ☆20Updated 2 years ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆53Updated 4 years ago
• BUseclab / FuzzNG
  ☆27Updated 2 years ago
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆60Updated 6 months ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆222Updated last week
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated last year
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆54Updated last year
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆15Updated 5 years ago