hypersimple Goto Github PK

angr

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

btkernel

Fast Binary Translator for the Kernel

cb-multios

DARPA Challenges Binaries for Linux, Windows, and OS X

claripy

An abstraction layer for constraint solvers

code_search

falco

Sysdig Falco: Behavioral Activity Monitoring With Container Support

fbt

A software dynamic translator for the ARMv6 architecture (a work-in-progress port of fastBT for IA32).

freebsd

FreeBSD src tree

fuzz_zone

Fuzzing utility which enables sending arbitrary SCMs to TrustZone

impala

Real-time Query for Hadoop

insiderecaptcha

Reverse-engineering the new “captchaless” ReCaptcha system...

kallsymsprint

lambda-javascript

Our own implementation of certain features of Lambda-JS, based on the paper "The Essence of JavaScript".

libput_user_exploit

CVE-2013-6282 exploit

linux-2.6-scribe

Scribe: the record-replay mechanism

llvm

Modified LLVM 3.6 for my own use.

mate7_tz_exploit

Huawei mate 7 TrustZone exploit

memory_hierarchy_simulator

Simulate operations of multiple levels of cache, TLB, page table, main memory, and disk with different write policies to ensure consistency.

memtrace

memTrace, a framework for lightweight memory tracing

mreplay

Mutable Replay

papers-we-love

Papers from the computer science community to read and discuss.

parquet-cpp

CPP implementations of the encodings for the Parquet columnar file format.

pebil

Fast static binary instrumentation for linux/x86

py-scribe

Scribe python bindings and Scribe userspace tools

qemu-logger-and-vm-introspector

Two parts: (1) Continuous TCG micro-operation logging functionality of QEMU. (2) VM-basd Browser/Application Introspection Gadgets, based on QEMU. For more information, please see README.

simuvex

A symbolic execution engine for the VEX IR

smallvm

QEMU micro-op interpreter, like a small virtual machine, interpret from an initial memory dump and CPU registers dump.

storage_system_performance_comparison_regarding_virtual_machines

Storage System Performance Comparison Regarding Virtual Machines

toy_language_interpreter

A CEK-style Interpreter for a Turing-complete Toy Language.