Nicola Ruaro's repositories
securethe.gov
An opensource dashboard to monitor the status of secure web practices
SwEng2-CarSharing
Shared project by Giacomo Gregori and Nicola Ruaro
angr
A powerful and user-friendly binary analysis platform!
archr
Target-centric program analysis.
driller
Driller: augmenting AFL with symbolic execution!
python-jvm-visualizer
Java Virtual Machine implementation in Python
asm2vec
An unofficial implementation of asm2vec as a standalone python package
bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
panda
Platform for Architecture-Neutral Dynamic Analysis
pdbparse
Python code to parse Microsoft PDB files
phuzzer
The new phuzzing framework!
resources
A general collection of information, tools, and tips regarding CTFs and similar security competitions
reverie
:art: A ridiculously elegant Jekyll theme.
samples
DARPA Cyber Grand Challenge Sample Challenges
shellphish-afl
A pip wrapper around AFL.
Telepathy
Experimenting with natural language processing and sentiment analysis - Web Application
tracer
Utilities for generating dynamic traces
visited-countries
:earth_americas: Countries I Have visited
xlrd2
xlrd2 is a variant of xlrd that is actively maintained
yices2_python_bindings
Python bindings for yices2