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 |
---|---|---|
silentbicycle/greatest | A lightweight, portable testing framework for C programs with minimal setup and no dependencies. | 1,480 |
sh1yo/x8 | Tools for discovering hidden parameters in web applications | 1,715 |
secrary/findloop | Automates identification of frequently executed code blocks in executables using DynamoRIO to generate breakpoints for analysis | 26 |
pycqa/flake8-bugbear | A tool to identify likely bugs and design problems in Python code | 1,066 |
sourcefrog/cargo-mutants | Tools to help detect potential bugs in Rust code by introducing mutations and testing their impact on tests. | 626 |
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 | 140 |
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 | 877 |
fkie-cad/cwe_checker | A tool for detecting common bugs in binary executables. | 1,155 |
mbj/mutant | Automated code review tool with mutation testing to simplify and improve code quality | 1,956 |
mlsecproject/combine | Tool to gather Threat Intelligence indicators from publicly available sources | 657 |
fscheck/fscheck | Automatically tests .NET programs by generating random test cases based on predefined properties | 1,169 |