Andrew Fasano's repositories
ghidra-unicorn
Export a binary from ghidra to emulate with unicorn
angrypanda
Panda-angr integration
tenet_tracer
PANDA-powered tracing engine for tenet
futurepanda
An attempt to recreate PANDA on modern QEMU.
last-write-analysis
Using PANDA, identify where data passed into syscalls came from
andrewfasano.github.io
Personal website
angr-targets
This repository contains the currently implemented angr concrete targets.
buggy_firmware
Minimal buggy firmware
busybox
BusyBox mirror
DPA
CS4910: System Security with Dynamic Program Analysis
DPA-containers
Dockerfiles for various dynamic program analysis tools & frameworks
dtrace-linux-kernel
Additional kernel tracing features merged with recent Linux kernel releases. DTrace makes use of these additional features.
firmadyne
Platform for emulation and dynamic analysis of Linux-based firmware
FirmAE
Towards Large-Scale Emulation of IoT Firmware for Dynamic Analysis
Higan-Core
OpenEmu Core plugin with Higan
jefferson
JFFS2 filesystem extraction tool
kernel-v4.1
Instrumented ARM kernel
libkrunfw
A dynamic library bundling the guest payload consumed by libkrun
lmbench
Some bugfixes for lmbench
qemu
Some qemu prototyping
socket_dfa
What can you actually do with linux sockets
symlinks
symbolic link maintenance utility
turingmachine
Symbolic execution solver for the Turing Machine board game