practical-formal-methods Goto Github PK

adiff

Tool for differentially testing soundness and precision of program analyzers

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!

blossom

Fuzzes input program to generate ranges of numerical kernels

bran

Static analysis framework for EVM bytecode

clam-racetrack

Neuro-aware program analyzer

deepsearch

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

fuzzbench-public

FuzzBench - Fuzzer benchmarking as a service.

libra

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

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

pi-fuzz

π-fuzz Policy Testing Framework

procgen

Procgen Benchmark: Procedurally Generated Game-Like Gym Environments

queryfuzz

QueryFuzz implements a metamorphic testing approach to test Datalog engines.

racetrack-benchmark

storm

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

tailor

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