theft
property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
AI summary
Bug finder
Tools to find and fix obscure bugs in C software
- stars
- 613
- forks
- 31
- watching
- 24
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
C testing framework
A lightweight, portable testing framework for C programs with minimal setup and no dependencies.
sh1yo/x81.7K
Parameter scanner
Tools for discovering hidden parameters in web applications
Code debugger
Automates identification of frequently executed code blocks in executables using DynamoRIO to generate breakpoints for analysis
Code analyzer
A tool to identify likely bugs and design problems in Python code
Mutation tester
Tools to help detect potential bugs in Rust code by introducing mutations and testing their impact on tests.
Code scanner
Detects vulnerabilities in C# and VB.NET code
Code analyzer
Analyzes VBA code to generate visual call graphs and highlights potential malicious keywords
Path detector
Automates addition of API documentation paths and schemas to Utoipa crate
Property tester
Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement.
Testing library
A unit testing framework for Lua with support for randomized testing.
Bug scanner
A tool for automated vulnerability scanning and reconnaissance of websites for bug bounty opportunities
Bug detector
A tool for detecting common bugs in binary executables.
Code simplifier
Automated code review tool with mutation testing to simplify and improve code quality
Threat collector
Tool to gather Threat Intelligence indicators from publicly available sources
fscheck/fscheck1.2K
Property tester
Automatically tests .NET programs by generating random test cases based on predefined properties
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions theft.
