theorem-labs/oss-verify-proofs
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
A star delta has been computed for 61,707 of 62,640 tracked repositories in this period, and only those can be ranked in it.
A repository missing here has not been measured far enough back yet. That does not mean it did not move.
Star counts measured between 00:33 and 04:32 (BKK).
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
OSS-Fuzz - continuous fuzzing for open source software.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Catch API bugs before your users do
The property-based testing library for Python
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
syzkaller is an unsupervised coverage-guided kernel fuzzer
A coverage-guided REST API fuzzer developed on top of LibAFL
The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise applications. Currently targeting whitebox and blackbox testing of Web APIs, like REST, GraphQL and RPC (e.g., gRPC and Thrift).
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Scalable fuzzing infrastructure.
Reversense (Dexcalibur2) is a fully rewriting and rethinking of Dexcalibur. Reversense is a binary intelligence platform that automates the reverse engineering of mobile and embedded applications.
A toolset for reverse engineering and fuzzing Protobuf-based apps
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Ethereum smart contract fuzzer
Single-pass SSA compiler and tiered register VM for a sandboxed Python subset, with NaN-boxed values, inline caches, memoization, mark-sweep GC and snapshots. One WebAssembly module runs in browsers, JavaScript runtimes and the CLI.
To make fuzzing Rust easy
A differential fuzzer for x86 decoders
blint is a Binary Linter that checks the security properties and capabilities of your executables. It can also generate a Software Bill-of-Materials (SBOM) for supported binaries.
Coverage-guided, in-process fuzzing for the JVM
Native red, blue, and purple security-agent harness for CYBER-FROST
Automated testing to find logic and performance bugs in database systems
An analysis tool for Python that blurs the line between testing and type systems.
That's all 23 repositories in this period.