AndrewFasano
Researching the intersection of dynamic program analysis, embedded systems, and vulnerability discovery
Pinned Repositories
angrypanda
Panda-angr integration
futurepanda
An attempt to recreate PANDA on modern QEMU.
ghidra-unicorn
Export a binary from ghidra to emulate with unicorn
panda-tutorial
simple-crs
Rode0day API Client
tenet_tracer
PANDA-powered tracing engine for tenet
lava
LAVA: Large-scale Automated Vulnerability Addition
panda
Platform for Architecture-Neutral Dynamic Analysis
AndrewFasano's Repositories
AndrewFasano/ghidra-unicorn
Export a binary from ghidra to emulate with unicorn
AndrewFasano/angrypanda
Panda-angr integration
AndrewFasano/tenet_tracer
PANDA-powered tracing engine for tenet
AndrewFasano/futurepanda
An attempt to recreate PANDA on modern QEMU.
AndrewFasano/panda-tutorial
AndrewFasano/last-write-analysis
Using PANDA, identify where data passed into syscalls came from
AndrewFasano/andrewfasano.github.io
Personal website
AndrewFasano/angr
A powerful and user-friendly binary analysis platform!
AndrewFasano/angr-targets
This repository contains the currently implemented angr concrete targets.
AndrewFasano/buggy_firmware
Minimal buggy firmware
AndrewFasano/busybox
BusyBox mirror
AndrewFasano/DPA
CS4910: System Security with Dynamic Program Analysis
AndrewFasano/DPA-containers
Dockerfiles for various dynamic program analysis tools & frameworks
AndrewFasano/dtrace-linux-kernel
Additional kernel tracing features merged with recent Linux kernel releases. DTrace makes use of these additional features.
AndrewFasano/firmadyne
Platform for emulation and dynamic analysis of Linux-based firmware
AndrewFasano/FirmAE
Towards Large-Scale Emulation of IoT Firmware for Dynamic Analysis
AndrewFasano/Higan-Core
OpenEmu Core plugin with Higan
AndrewFasano/jefferson
JFFS2 filesystem extraction tool
AndrewFasano/kernel-v4.1
Instrumented ARM kernel
AndrewFasano/libkrunfw
A dynamic library bundling the guest payload consumed by libkrun
AndrewFasano/linux
Linux kernel source tree
AndrewFasano/lmbench
Some bugfixes for lmbench
AndrewFasano/nation.state.actor
AndrewFasano/panda
Platform for Architecture-Neutral Dynamic Analysis
AndrewFasano/qemu
Some qemu prototyping
AndrewFasano/socket_dfa
What can you actually do with linux sockets
AndrewFasano/symlinks
symbolic link maintenance utility
AndrewFasano/treelib
An efficient implementation of tree data structure in python 2/3.
AndrewFasano/turingmachine
Symbolic execution solver for the Turing Machine board game
AndrewFasano/VisualizingFuzzerCoverage