Pinned Repositories
cgc-i386
i386 build from trailofbits/cb-multios
python-jvm-visualizer
Java Virtual Machine implementation in Python
securethe.gov
An opensource dashboard to monitor the status of secure web practices
SwEng2-CarSharing
Shared project by Giacomo Gregori and Nicola Ruaro
TelepathyBot
underexposed
greed
A symbolic execution engine for EVM smart contract binaries.
symbexcel
symbexcel-server
syml
ruaronicola's Repositories
ruaronicola/securethe.gov
An opensource dashboard to monitor the status of secure web practices
ruaronicola/cgc-i386
i386 build from trailofbits/cb-multios
ruaronicola/SwEng2-CarSharing
Shared project by Giacomo Gregori and Nicola Ruaro
ruaronicola/TelepathyBot
ruaronicola/angr
A powerful and user-friendly binary analysis platform!
ruaronicola/archr
Target-centric program analysis.
ruaronicola/cgc-inputs
ruaronicola/driller
Driller: augmenting AFL with symbolic execution!
ruaronicola/python-jvm-visualizer
Java Virtual Machine implementation in Python
ruaronicola/underexposed
ruaronicola/asm2vec
An unofficial implementation of asm2vec as a standalone python package
ruaronicola/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”.
ruaronicola/panda
Platform for Architecture-Neutral Dynamic Analysis
ruaronicola/pdbparse
Python code to parse Microsoft PDB files
ruaronicola/phuzzer
The new phuzzing framework!
ruaronicola/pydatatask
Library for constructing data-centric processing pipelines
ruaronicola/resources
A general collection of information, tools, and tips regarding CTFs and similar security competitions
ruaronicola/reverie
:art: A ridiculously elegant Jekyll theme.
ruaronicola/ruaronicola.github.io
ruaronicola/samples
DARPA Cyber Grand Challenge Sample Challenges
ruaronicola/shellphish-afl
A pip wrapper around AFL.
ruaronicola/teether
ruaronicola/Telepathy
Experimenting with natural language processing and sentiment analysis - Web Application
ruaronicola/tracer
Utilities for generating dynamic traces
ruaronicola/uniswap-python
🦄 The unofficial Python client for the Uniswap exchange.
ruaronicola/visited-countries
:earth_americas: Countries I Have visited
ruaronicola/xlrd2
xlrd2 is a variant of xlrd that is actively maintained
ruaronicola/yices2_python_bindings
Python bindings for yices2