Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Storm	26	4 years ago		apache-2.0	SMT
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Stringfuzz	9	5 years ago	13	other	Python
Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.

Alternatives To Storm

Select To Compare

Storm ⭐ 26

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

most recent commit 4 years ago

Stringfuzz ⭐ 9

Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.

most recent commit 5 years ago

Suggest An Alternative To storm

Alternative Project Comparisons

Storm vs Stringfuzz

Popular Smt Projects

Vim Polyglot ⭐ 5,431

A solid language pack for Vim.

most recent commit 7 months ago

Manticore ⭐ 3,535

Symbolic execution tool

dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months ago

Fstar ⭐ 2,522

A Proof-oriented Programming Language

most recent commit 3 months ago

Openpnp ⭐ 1,501

Open Source SMT Pick and Place Hardware and Software

most recent commit 4 months ago

Barf Project ⭐ 1,193

BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework

dependent packages 1total releases 4latest release November 24, 2019most recent commit 4 years ago

Popular Fuzzer Projects

Dirsearch ⭐ 11,165

Web path scanner

total releases 8latest release October 03, 2022most recent commit a month ago

Ffuf ⭐ 10,658

Fast web fuzzer written in Go

dependent packages 1total releases 20latest release September 16, 2023most recent commit 4 months ago

Ctf Tools ⭐ 7,860

Some setup scripts for security research tools.

most recent commit 5 months ago

Fuzzdicts ⭐ 6,494

Web Pentesting Fuzz 字典,一个就够了。

most recent commit 5 months ago

Wfuzz ⭐ 5,013

Web application fuzzer

most recent commit a year ago

Popular Software Quality Categories

Test Driven Development

Rspec

Junit