ruaronicola Goto Github PK

angr

A powerful and user-friendly binary analysis platform!

archr

Target-centric program analysis.

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”.

cgc-i386

i386 build from trailofbits/cb-multios

cgc-inputs

driller

Driller: augmenting AFL with symbolic execution!

panda

Platform for Architecture-Neutral Dynamic Analysis

pdbparse

Python code to parse Microsoft PDB files

phuzzer

The new phuzzing framework!

pydatatask

Library for constructing data-centric processing pipelines

python-jvm-visualizer

Java Virtual Machine implementation in Python

resources

A general collection of information, tools, and tips regarding CTFs and similar security competitions

reverie

:art: A ridiculously elegant Jekyll theme.

ruaronicola.github.io

samples

DARPA Cyber Grand Challenge Sample Challenges

securethe.gov

An opensource dashboard to monitor the status of secure web practices

shellphish-afl

A pip wrapper around AFL.

sweng2-carsharing

Shared project by Giacomo Gregori and Nicola Ruaro

teether

telepathy

Experimenting with natural language processing and sentiment analysis - Web Application

telepathybot

tracer

Utilities for generating dynamic traces

underexposed

uniswap-python

🦄 The unofficial Python client for the Uniswap exchange.

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