MateusAraujoBorges

bvcount

abc

advent2022

Submissions to advent of code 2022

afl

american fuzzy lop (copy of the source code for easy access)

csmith

Csmith, a random generator of C programs

civl

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

deep-pokemon

Deep learning + Pokemon Showdown

driller

Driller: augmenting AFL with symbolic execution!

gmc

graal

Graal: High-Performance Polyglot Runtime :rocket: :trophy:

janala2

a concolic testing engine for Java

java-tutorials

javaslicing

jdart

A dynamic symbolic analysis tool for Java

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.

jpf-symbc

Symbolic PathFinder

JQF

JQF + Zest: Coverage-guided semantic fuzzing for Java.

mateusaraujoborges.github.io

motorola-ftestes-15

Materiais adicionais utilizados no curso de Ferramentas de Teste em 2015.1

paperwork

pp

Disciplina de Programação Paralela do CIn-UFPE

PyExZ3

Python Exploration with Z3

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

rwset

sarl

sharpSAT

The #SAT solver sharpSAT

tildes

truffle-wasm

Learning how truffle/wasm works (without looking at the Oracle implementation)

you-fb