Pinned Repositories
aprof
an input-sensitive profiler
GardeningBot
Yet another gardening bot based on ESP8266 nodemcu v3
HadoopInternals
Diagrams describing Apache Hadoop internals (2.3.0 or later).
homework-symbolic-execution
Homework on symbolic execution for the course "DATA AND NETWORK SECURITY" (Sapienza University of Rome, Computer Science Department)
symbolic-execution-tutorial
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
fuzzolic
fuzzing + concolic = fuzzolic :)
fuzzy-sat
An approximate solver for concolic execution
SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution
ercoppa's Repositories
ercoppa/HadoopInternals
Diagrams describing Apache Hadoop internals (2.3.0 or later).
ercoppa/symbolic-execution-tutorial
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
ercoppa/aprof
an input-sensitive profiler
ercoppa/homework-symbolic-execution
Homework on symbolic execution for the course "DATA AND NETWORK SECURITY" (Sapienza University of Rome, Computer Science Department)
ercoppa/GardeningBot
Yet another gardening bot based on ESP8266 nodemcu v3
ercoppa/docker-hadoop
Ubuntu 16.04 + Apache Hadoop 2.7.6 + Apache Pig 0.15
ercoppa/fuzzing-and-symbolic-execution-hands-on
ercoppa/PinCTF
Using Intel's PIN tool to solve CTF problems
ercoppa/rust-scripts
few scripts in rust
ercoppa/binaries
A repository with binaries for angr tests and examples.
ercoppa/debug-ce-symqemu
ercoppa/MaterialMasterDISD
ercoppa/angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
ercoppa/angr-doc
Documentation for the angr suite
ercoppa/ascii-ctf
A tiny and minimal web platform for jeopardy ctf hosting. Who needs javascript? Real hackers use ascii.
ercoppa/claripy
An abstraction layer for constraint solvers
ercoppa/ctforge
Forge your own CTF
ercoppa/debug-ce
ercoppa/gnome-shell-extension-font-scaler
ercoppa/htmlui
HTML UI for Kopia
ercoppa/immich
Self-hosted photo and video backup solution directly from your mobile phone.
ercoppa/kopia
Cross-platform backup tool for Windows, macOS & Linux with fast, incremental backups, client-side end-to-end encryption, compression and data deduplication. CLI and GUI included.
ercoppa/libsym-qsym
ercoppa/qsym-debug-ce
ercoppa/simuvex
A symbolic execution engine for the VEX IR
ercoppa/symcc
SymCC: efficient compiler-based symbolic execution
ercoppa/symcc-debug-ce
ercoppa/symqemu
SymQEMU: Compilation-based symbolic execution for binaries
ercoppa/Unraid
ercoppa/wifs2023-tutorial