Pinned Repositories
adiff
Tool for differentially testing soundness and precision of program analyzers
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"
Libra
A static-analysis framework for certifying fairness of deep neural networks
pi-fuzz
π-fuzz Policy Testing Framework
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
Practical-Formal-Methods's Repositories
Practical-Formal-Methods/storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Practical-Formal-Methods/queryFuzz
QueryFuzz implements a metamorphic testing approach to test Datalog engines.
Practical-Formal-Methods/bran
Static analysis framework for EVM bytecode
Practical-Formal-Methods/tailor
Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
Practical-Formal-Methods/DeepSearch
Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"
Practical-Formal-Methods/adiff
Tool for differentially testing soundness and precision of program analyzers
Practical-Formal-Methods/clam-racetrack
Neuro-aware program analyzer
Practical-Formal-Methods/pi-fuzz
π-fuzz Policy Testing Framework
Practical-Formal-Methods/Racetrack-Benchmark
Practical-Formal-Methods/AFL-public
american fuzzy lop - a security-oriented fuzzer
Practical-Formal-Methods/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!
Practical-Formal-Methods/procgen
Procgen Benchmark: Procedurally Generated Game-Like Gym Environments
Practical-Formal-Methods/Libra
A static-analysis framework for certifying fairness of deep neural networks
Practical-Formal-Methods/blossom
Fuzzes input program to generate ranges of numerical kernels
Practical-Formal-Methods/fuzzbench-public
FuzzBench - Fuzzer benchmarking as a service.
Practical-Formal-Methods/mod_gym
A toolkit for developing and comparing reinforcement learning algorithms.
Practical-Formal-Methods/mod_stable_baselines3
PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.
Practical-Formal-Methods/neurips2020_synthesizing-tasks_code