☆24Mar 13, 2015Updated 10 years ago
Alternatives and similar repositories for calfuzzer
Users that are interested in calfuzzer are comparing it to the libraries listed below
Sorting:
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated last year
- ☆75Nov 11, 2017Updated 8 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 6 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆33Dec 16, 2021Updated 4 years ago
- Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes☆16Jul 20, 2019Updated 6 years ago
- 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
- Dynamic Analysis for Concurrent Programs☆27Jan 31, 2026Updated last month
- AFL-based fuzzing for Java☆238Jan 26, 2020Updated 6 years ago
- Data-race detector for windows applications - built on top of DynamoRIO☆43Jun 29, 2021Updated 4 years ago
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 10 years ago
- gvisor hacks☆13Feb 1, 2020Updated 6 years ago
- Funker for Go☆12Dec 31, 2016Updated 9 years ago
- A template project for use with cargo-generate☆13Nov 7, 2023Updated 2 years ago
- A C++ format IO library, based on standard streams.☆10Jan 3, 2022Updated 4 years ago
- An LLM-based LS implementation that makes use of tree-sitter context to perform code actions☆16Sep 6, 2024Updated last year
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- ☆11Nov 13, 2020Updated 5 years ago
- A Python obfuscator using Python's abstract Syntax trees to change all variable names to different Unicode variations of X.☆11Jun 27, 2020Updated 5 years ago
- output identical version strings from repository clones or downloaded archives☆12Nov 23, 2021Updated 4 years ago
- Reduction Server in Rust☆13Apr 9, 2024Updated last year
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- ☆15Aug 5, 2022Updated 3 years ago
- Sending whispers across the interstellar space!☆11Aug 11, 2019Updated 6 years ago
- ☆12Aug 5, 2021Updated 4 years ago
- container runtime testsuite☆10Jun 4, 2018Updated 7 years ago
- Infrakit plugins for Google Cloud Platform.☆12May 8, 2017Updated 8 years ago
- Run nested VMs on cloud providers that don't support nested virtualization.☆17Dec 18, 2024Updated last year
- Sample Integration application along with lifecycle automation☆13Jan 7, 2023Updated 3 years ago
- 在线登录注册（android客户端+javaweb服务端+腾讯云服务器+腾讯云数据库）☆10Nov 11, 2020Updated 5 years ago
- Valgrind tool for tracing memory accesses☆13Feb 6, 2025Updated last year
- ☆14Aug 18, 2025Updated 6 months ago
- A tool to gather data from JIRA and run extended queries on top of it☆12Feb 11, 2023Updated 3 years ago
- fuzz testing framework for Linux system calls☆12Sep 4, 2015Updated 10 years ago
- Betelgeuse reads standard Python test cases and offers tools to interact with Polarion.☆13Aug 20, 2025Updated 6 months ago
- Learning playground for Argus-SAF☆10Dec 27, 2018Updated 7 years ago
- Yet another lightweight version for K8S, and even lighter than K3S.☆11Mar 12, 2020Updated 5 years ago
- Concurrency Paper☆115Jun 1, 2023Updated 2 years ago
- Windows 10 and 11 on Linux using KVM and Qemu☆18Dec 9, 2025Updated 2 months ago
- Test Result Aggregator and Analysis Tool☆13Aug 26, 2023Updated 2 years ago