theft
Bug finder
Tools to find and fix obscure bugs in C software
property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
613 stars
24 watching
31 forks
Language: C
last commit: about 4 years ago
Linked from 2 awesome lists
Related projects:
Repository | Description | Stars |
---|---|---|
| A lightweight, portable testing framework for C programs with minimal setup and no dependencies. | 1,480 |
| Tools for discovering hidden parameters in web applications | 1,715 |
| Automates identification of frequently executed code blocks in executables using DynamoRIO to generate breakpoints for analysis | 26 |
| A tool to identify likely bugs and design problems in Python code | 1,066 |
| Tools to help detect potential bugs in Rust code by introducing mutations and testing their impact on tests. | 626 |
| Detects vulnerabilities in C# and VB.NET code | 942 |
| Analyzes VBA code to generate visual call graphs and highlights potential malicious keywords | 275 |
| Automates addition of API documentation paths and schemas to Utoipa crate | 140 |
| Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
| A unit testing framework for Lua with support for randomized testing. | 84 |
| A tool for automated vulnerability scanning and reconnaissance of websites for bug bounty opportunities | 877 |
| A tool for detecting common bugs in binary executables. | 1,155 |
| Automated code review tool with mutation testing to simplify and improve code quality | 1,956 |
| Tool to gather Threat Intelligence indicators from publicly available sources | 657 |
| Automatically tests .NET programs by generating random test cases based on predefined properties | 1,169 |