bendrissou

Pinned Repositories

bFuzzer
A blackbox fuzzer.
Language:Python1 0 00
CarPooling
This is an android app that provides ride sharing service to its users, both drivers and passengers!
Language:Java00
DCUniverse
A simple program to help illustrate OOP
Language:Java1 1 00
decoder-replication
Evaluation framework and script files for replicating Decoder experiments.
Language:Python0 1 01
DP-3T
Modeling of DP-3T protocol with ProVerif.
1 2 00
fuzzingbook
Project page for "The Fuzzing Book"
Language:Jupyter Notebook00
glade-replication
This is the replication package for the experiments in "“Synthesizing Input Grammars”: A Critical Evaluation".
Language:Python1 1 02
gmutator-replication-stage-1
Replication of Gmutator experiments.
5 1 00
PyGlade
This is an independent Python implementation of the technique described in "Synthesizing Program Input Grammars" by Bastani et al.
Language:Python1 0 00
tex-fuzzer
A black-box fuzzer for TeX
Language:Python1 1 01

bendrissou's Repositories

bendrissou/gmutator-replication-stage-1
Replication of Gmutator experiments.
5 1 00
bendrissou/gmutator-replication
Replication of Gmutator experiments.
Language:Python3 1 00
bendrissou/bFuzzer
A blackbox fuzzer.
Language:Python1 0 00
bendrissou/DCUniverse
A simple program to help illustrate OOP
Language:Java1 1 00
bendrissou/DP-3T
Modeling of DP-3T protocol with ProVerif.
1 2 00
bendrissou/glade-replication
This is the replication package for the experiments in "“Synthesizing Input Grammars”: A Critical Evaluation".
Language:Python1 1 02
bendrissou/PyGlade
This is an independent Python implementation of the technique described in "Synthesizing Program Input Grammars" by Bastani et al.
Language:Python1 0 00
bendrissou/tex-fuzzer
A black-box fuzzer for TeX
Language:Python1 1 01
bendrissou/CarPooling
This is an android app that provides ride sharing service to its users, both drivers and passengers!
Language:Java00
bendrissou/decoder-replication
Evaluation framework and script files for replicating Decoder experiments.
Language:Python0 1 01
bendrissou/fuzzingbook
Project page for "The Fuzzing Book"
Language:Jupyter Notebook00
bendrissou/gcovr-diff
Compare code coverage of two program runs, and find unique lines covered in each run.
Language:Python1 0
bendrissou/grammars
A collection of language grammars for `lrpar`
Language:Yacc0 0
bendrissou/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Language:ANTLR0 0
bendrissou/grmtools
Rust grammar tool libraries and binaries
Language:Rust
bendrissou/json-grammar
JSON gammar in Lex & Yacc
Language:Yacc
bendrissou/nautilus
A grammar based feedback Fuzzer
Language:Python0 0