Pinned Repositories
abc
advent2022
Submissions to advent of code 2022
boiler
Boiler control system in CSP-M (university project)
bvcount
cheepcheep
Set Coverage applied to SPL
contests
some solutions for problems from programming competitions
csmith
Csmith, a random generator of C programs
music-computing
perfectatm
ATM system developed in Perfect
scriptviz
MateusAraujoBorges's Repositories
MateusAraujoBorges/bvcount
MateusAraujoBorges/abc
MateusAraujoBorges/advent2022
Submissions to advent of code 2022
MateusAraujoBorges/afl
american fuzzy lop (copy of the source code for easy access)
MateusAraujoBorges/csmith
Csmith, a random generator of C programs
MateusAraujoBorges/civl
MateusAraujoBorges/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
MateusAraujoBorges/deep-pokemon
Deep learning + Pokemon Showdown
MateusAraujoBorges/driller
Driller: augmenting AFL with symbolic execution!
MateusAraujoBorges/gmc
MateusAraujoBorges/graal
Graal: High-Performance Polyglot Runtime :rocket: :trophy:
MateusAraujoBorges/janala2
a concolic testing engine for Java
MateusAraujoBorges/java-tutorials
MateusAraujoBorges/javaslicing
MateusAraujoBorges/jdart
A dynamic symbolic analysis tool for Java
MateusAraujoBorges/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
MateusAraujoBorges/jpf-symbc
Symbolic PathFinder
MateusAraujoBorges/JQF
JQF + Zest: Coverage-guided semantic fuzzing for Java.
MateusAraujoBorges/mateusaraujoborges.github.io
MateusAraujoBorges/motorola-ftestes-15
Materiais adicionais utilizados no curso de Ferramentas de Teste em 2015.1
MateusAraujoBorges/paperwork
MateusAraujoBorges/pp
Disciplina de Programação Paralela do CIn-UFPE
MateusAraujoBorges/PyExZ3
Python Exploration with Z3
MateusAraujoBorges/qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
MateusAraujoBorges/rwset
MateusAraujoBorges/sarl
MateusAraujoBorges/sharpSAT
The #SAT solver sharpSAT
MateusAraujoBorges/sturm
MateusAraujoBorges/tildes
MateusAraujoBorges/truffle-wasm
Learning how truffle/wasm works (without looking at the Oracle implementation)