Practical-Formal-Methods

storm

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

queryFuzz

QueryFuzz implements a metamorphic testing approach to test Datalog engines.

bran

Static analysis framework for EVM bytecode

tailor

Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints

DeepSearch

Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"

adiff

Tool for differentially testing soundness and precision of program analyzers

clam-racetrack

Neuro-aware program analyzer

pi-fuzz

π-fuzz Policy Testing Framework

Racetrack-Benchmark

AFL-public

american fuzzy lop - a security-oriented fuzzer

AFLplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

procgen

Procgen Benchmark: Procedurally Generated Game-Like Gym Environments

Libra

A static-analysis framework for certifying fairness of deep neural networks

blossom

Fuzzes input program to generate ranges of numerical kernels

fuzzbench-public

FuzzBench - Fuzzer benchmarking as a service.

mod_gym

A toolkit for developing and comparing reinforcement learning algorithms.

mod_stable_baselines3

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

neurips2020_synthesizing-tasks_code