Repositories
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
websocket and http client and server library, with TLS support and very few dependencies
Concolic execution framework based on Pin. It provides components like a taint engine, a dynamic symbolic execution engine, a snapshot engine, translation of x64 instruction into SMT2-LIB, a Z3 interface to solve constraints and Python bindings. Based on these components, you can build tools for automated reverse engineering.
Abandoned start to a dynamic analysis framework.
ANA provides a place for objects to live out their lives and be distributed to other python instances.
Some helper scripts to set up an environment for angr development.
large-scale testing of cfg and decompiler
Run travis-ci testing on release version of angr
Automate repetitive tasks for fuzzing
UDP server for bash (using netcat).
A useful class for dealing with unstructured data.
Automated bing searching with casperjs
Awesome caching module for python.
Compiled CGC binaries for experimentation porpoises.
CGC for other architectures.
a little murder mystery in chatgpt
A template repository for easy AI creation of cloudflare-hosted web application, without the typical minor gotchas.