ercoppa

HadoopInternals

Diagrams describing Apache Hadoop internals (2.3.0 or later).

symbolic-execution-tutorial

Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

aprof

an input-sensitive profiler

homework-symbolic-execution

Homework on symbolic execution for the course "DATA AND NETWORK SECURITY" (Sapienza University of Rome, Computer Science Department)

GardeningBot

Yet another gardening bot based on ESP8266 nodemcu v3

docker-hadoop

Ubuntu 16.04 + Apache Hadoop 2.7.6 + Apache Pig 0.15

fuzzing-and-symbolic-execution-hands-on

PinCTF

Using Intel's PIN tool to solve CTF problems

rust-scripts

few scripts in rust

DataScience_in_Python

debug-ce-symqemu

MaterialMasterDISD

angr

The next-generation binary analysis platform from UC Santa Barbara's Seclab!

ascii-ctf

A tiny and minimal web platform for jeopardy ctf hosting. Who needs javascript? Real hackers use ascii.

binder-sandbox

A sandbox environment that can be used to define an environment for lots of Binder demos

claripy

An abstraction layer for constraint solvers

ctforge

Forge your own CTF

debug-ce

gnome-shell-extension-font-scaler

htmlui

HTML UI for Kopia

immich

Self-hosted photo and video backup solution directly from your mobile phone.

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.

labds

libsym-qsym

qsym-debug-ce

symcc

SymCC: efficient compiler-based symbolic execution

symcc-debug-ce

symqemu

SymQEMU: Compilation-based symbolic execution for binaries

Unraid

wifs2023-tutorial