Alternatives and similar repositories for calfuzzer

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

• fatimahkj / EBF

  View on GitHub
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆15May 14, 2024Updated last year
• stephenfreund / RoadRunner

  View on GitHub
  ☆75Nov 11, 2017Updated 8 years ago
• parasol-aser / UFO

  View on GitHub
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Feb 18, 2020Updated 5 years ago
• mc-imperial / sctbench

  View on GitHub
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆33Dec 16, 2021Updated 4 years ago
• jieyu / maple

  View on GitHub
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆70Mar 31, 2017Updated 8 years ago
• focs-lab / rapid

  View on GitHub
  Dynamic Analysis for Concurrent Programs
  ☆27Jan 31, 2026Updated last week
• isstac / kelinci

  View on GitHub
  AFL-based fuzzing for Java
  ☆238Jan 26, 2020Updated 6 years ago
• siemens / drace

  View on GitHub
  Data-race detector for windows applications - built on top of DynamoRIO
  ☆42Jun 29, 2021Updated 4 years ago
• uwsampa / coredet

  View on GitHub
  A Compiler and Runtime System for Deterministic Multithreaded Execution
  ☆11Jun 11, 2015Updated 10 years ago
• fujita / rust-nvme

  View on GitHub
  ☆15Aug 5, 2022Updated 3 years ago
• x64x6a / ctf-writeups

  View on GitHub
  Various CTF challenge solutions
  ☆12Apr 20, 2021Updated 4 years ago
• EyeOfMidas / text-adventure

  View on GitHub
  A text-based adventure game built in javascript
  ☆12Apr 7, 2025Updated 10 months ago
• tonistiigi / vzor

  View on GitHub
  gvisor hacks
  ☆13Feb 1, 2020Updated 6 years ago
• kunalkushwaha / ctr-powertest

  View on GitHub
  container runtime testsuite
  ☆10Jun 4, 2018Updated 7 years ago
• arguslab / Argus-SAF-playground

  View on GitHub
  Learning playground for Argus-SAF
  ☆10Dec 27, 2018Updated 7 years ago
• rgbkrk / iknowthis

  View on GitHub
  fuzz testing framework for Linux system calls
  ☆12Sep 4, 2015Updated 10 years ago
• runarorama / scala-bound

  View on GitHub
  A library for developing languages with scoped binders (like forall or lambda).
  ☆28Aug 21, 2018Updated 7 years ago
• Yuwenfeng2019 / K2S

  View on GitHub
  Yet another lightweight version for K8S, and even lighter than K3S.
  ☆11Mar 12, 2020Updated 5 years ago
• guyuanjunxi / yiyu

  View on GitHub
  在线登录注册（android客户端+javaweb服务端+腾讯云服务器+腾讯云数据库）
  ☆10Nov 11, 2020Updated 5 years ago
• Jezurko / potato

  View on GitHub
  Experimental MLIR based points-to analysis tool
  ☆17Jan 21, 2026Updated 3 weeks ago
• isstac / spf-wca

  View on GitHub
  Tool for algorithmic complexity analysis based on symbolic execution
  ☆10Sep 17, 2018Updated 7 years ago
• csail-csg / parsec

  View on GitHub
  ☆11Nov 13, 2020Updated 5 years ago
• mephi42 / memtrace

  View on GitHub
  Valgrind tool for tracing memory accesses
  ☆13Feb 6, 2025Updated last year
• bfirsh / funker-go

  View on GitHub
  Funker for Go
  ☆12Dec 31, 2016Updated 9 years ago
• ansemjo / version.sh

  View on GitHub
  output identical version strings from repository clones or downloaded archives
  ☆12Nov 23, 2021Updated 4 years ago
• shuzhenggao / sbllm

  View on GitHub
  ☆14Aug 18, 2025Updated 5 months ago
• joeshaw / json-lossless

  View on GitHub
  Lossless JSON encoding/decoding package in Go
  ☆18Dec 4, 2018Updated 7 years ago
• Michael-F-Bryan / github-template

  View on GitHub
  A template project for use with cargo-generate
  ☆13Nov 7, 2023Updated 2 years ago
• wcventure / ConcurrencyPaper

  View on GitHub
  Concurrency Paper
  ☆114Jun 1, 2023Updated 2 years ago
• bwasti / web_assembly_experiments

  View on GitHub
  A repo to hold some simple experiments
  ☆14May 4, 2022Updated 3 years ago
• ETH-IBK-SMECH / PIDyNN

  View on GitHub
  ☆12Jul 12, 2024Updated last year
• arnabd88 / Satire

  View on GitHub
  Scalable yet rigorous Floating-point Error Analysis
  ☆11Jul 23, 2025Updated 6 months ago
• andreas-abel / uiCA-eval

  View on GitHub
  Files used for the evaluation of uiCA
  ☆18Dec 14, 2022Updated 3 years ago
• FCAS-LAB / LEGOSIM_MICRO

  View on GitHub
  ☆27Aug 4, 2025Updated 6 months ago
• adamw / scala-di-showdown

  View on GitHub
  ☆10Apr 13, 2017Updated 8 years ago
• andreatulimiero / PinCFGReconstructor

  View on GitHub
  Implementation trade-offs in using Intel Pin for instruction tracing of complex programs
  ☆15Oct 16, 2019Updated 6 years ago
• contaconta / PCA_lecture

  View on GitHub
  ☆10Jun 12, 2015Updated 10 years ago
• skibum55 / chaos-as-a-service

  View on GitHub
  Central repository for Chaos as a service ideas, templates and links to other content
  ☆12Aug 5, 2020Updated 5 years ago
• wangyong1301108 / MMPINN

  View on GitHub
  ☆16Oct 29, 2023Updated 2 years ago