☆22Sep 28, 2022Updated 4 years ago
Alternatives and similar repositories for CONFETTI
Users that are interested in CONFETTI are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Jul 11, 2025Updated last year
- Mutation-guided mutation-based fuzz testing☆54Jul 13, 2024Updated 2 years ago
- ☆20Apr 22, 2026Updated 6 months ago
- ☆12Jun 14, 2023Updated 3 years ago
- ExChain is a static/dynamic analysis tool aimed at pinpointing the root cause of failures resulting from exception propagation.☆13Mar 1, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Phosphor: Dynamic Taint Tracking for the JVM☆182Jun 17, 2025Updated last year
- ☆11Sep 2, 2024Updated 2 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- Benchmark for evaluation of LLMs on concurrency bug fixing tasks☆14Mar 11, 2026Updated 7 months ago
- ☆15Sep 14, 2022Updated 4 years ago
- Tai-e的Web插件☆22Jun 11, 2024Updated 2 years ago
- Main distribution of Petablox☆35Dec 10, 2017Updated 8 years ago
- JQF + Zest: Coverage-guided semantic fuzzing for Java.☆746Jul 22, 2026Updated 3 months ago
- Peasy: An Intuitive Development Environment for P☆17May 24, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A tool for automatically verifying configuration files☆20Oct 7, 2023Updated 3 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆35May 11, 2025Updated last year
- RFCs for Cedar☆24Oct 19, 2026Updated 2 weeks ago
- SimCommand is a library for writing high-performance RTL testbenches with simulation threads in Scala using chiseltest.☆16Aug 30, 2023Updated 3 years ago
- RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.☆48Sep 20, 2021Updated 5 years ago
- ☆29Mar 16, 2023Updated 3 years ago
- Semantic Crash Bucketing☆17Sep 8, 2020Updated 6 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- Property-based testing for Java, built on Hypothesis☆27Oct 22, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)☆21Sep 3, 2021Updated 5 years ago
- Symbolic PathFinder☆170Feb 26, 2026Updated 8 months ago
- A toy symbolic execution engine, supporting the blog article ...☆18Sep 8, 2021Updated 5 years ago
- OpenDST - Deterministic Simulation Testing for Java☆28Jul 16, 2026Updated 3 months ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 7 years ago
- Automatic Exploit Generation Paper☆87Dec 12, 2021Updated 4 years ago
- Dynamic taint analysis for Python.☆11Jul 20, 2024Updated 2 years ago
- Examples demonstrating the usage of avatar²☆30Dec 9, 2023Updated 2 years ago
- ☆13Oct 29, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Dec 22, 2019Updated 6 years ago
- ☆13Updated this week
- scenoRITA: Generating Diverse, Fully-Mutable, Safety-Critical and Motion Sickness-Inducing Scenarios for Autonomous Vehicles☆25Jul 26, 2022Updated 4 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 7 years ago
- Efficient Sampling of SAT Solutions for Testing☆34Sep 20, 2019Updated 7 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆87Mar 5, 2024Updated 2 years ago
- Saryn: Fuzzing with Taint Inference☆16Jun 16, 2022Updated 4 years ago