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
612 stars
23 watching
31 forks
Language: C
last commit: almost 4 years ago
Linked from 2 awesome lists
oz123/awesome-c
uhub/awesome-cRelated projects:
| Repository | Description | Stars |
|---|---|---|
| silentbicycle/greatest | A lightweight, portable testing framework for C programs with minimal setup and no dependencies. | 1,481 |
 sh1yo/x8 | Tools for discovering hidden parameters in web applications | 1,695 |
 secrary/findloop | Automates identification of frequently executed code blocks in executables using DynamoRIO to generate breakpoints for analysis | 26 |
 pycqa/flake8-bugbear | A plugin that extends flake8 to detect design problems and likely bugs in Python code. | 1,065 |
 sourcefrog/cargo-mutants | Tools to help detect potential bugs in Rust code by introducing mutations and testing their impact on tests. | 607 |
 security-code-scan/security-code-scan | Detects vulnerabilities in C# and VB.NET code | 942 |
 malwarecantfly/vba2graph | Analyzes VBA code to generate visual call graphs and highlights potential malicious keywords | 275 |
 probablyclem/utoipauto | Automates addition of API documentation paths and schemas to Utoipa crate | 134 |
 rudymatela/fitspec | Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. | 74 |
| silentbicycle/lunatest | A unit testing framework for Lua with support for randomized testing. | 84 |
 chvancooten/bugbountyscanner | A tool for automated vulnerability scanning and reconnaissance of websites for bug bounty opportunities | 876 |
 fkie-cad/cwe_checker | Automated binary analysis tool to detect common software vulnerabilities | 1,138 |
 mbj/mutant | Automated code review tool with mutation testing to simplify and improve code quality | 1,957 |
 mlsecproject/combine | Tool to gather Threat Intelligence indicators from publicly available sources | 655 |
 fscheck/fscheck | Automatically tests .NET programs by generating random test cases based on predefined properties | 1,167 |