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

GitHub

613 stars
24 watching
31 forks
Language: C
last commit: about 4 years ago
Linked from 2 awesome lists


Backlinks from these 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