RafaelTupynamba

Pinned Repositories

meta-vant-finep
Yocto layer for the FINEP UAV at the Universidade Federal de Minas Gerais.
Language:Makefile0 2 00
pdva-pilot
Language:C00
fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
Language:Python1.1k 35 506276
collision
Language:Python0 0 01
fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
Language:Python00
GuidedSampler
GuidedSampler: Coverage-guided Sampling of SMT Solutions
Language:Python12 3 22
quicksampler
Efficient Sampling of SAT Solutions for Testing
Language:C++34 4 115
SMTSampler
SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
Language:Python24 3 89
AFLplusplus
AFL++ with support for FormatFuzzer
Language:C10 9 21
FormatFuzzer
FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.
Language:Python402 14 1331

RafaelTupynamba's Repositories

RafaelTupynamba/quicksampler
Efficient Sampling of SAT Solutions for Testing
Language:C++34 4 115
RafaelTupynamba/SMTSampler
SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
Language:Python24 3 89
RafaelTupynamba/GuidedSampler
GuidedSampler: Coverage-guided Sampling of SMT Solutions
Language:Python12 3 22
RafaelTupynamba/collision
Language:Python0 0 01
RafaelTupynamba/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
Language:Python00