pgoodman Goto Github PK

angr-doc

Documentation for the angr suite

ccompiler2

clang-ast-viewer

Clang AST viewer

cparser

Sort-of GNU C99 Declaration Parser

cquery

Low-latency vscode language server for large C++ code-bases, powered by libclang.

csc369

ddisasm

Datalog driven disassembly of binary executables

ece1747

ece540

fslice

LLVM-based forward program slice instrumentation.

grail-plus

Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDAs), and context-free grammars (CFGs). Grail+ is built on top of the Formal Language Template Library (FLTL), a library for representing and symbolically manipulating CFGs, NFAs, and PDAs.

hellscape

Playground for testing feedback

immintrin-debug

immintrin_dbg.h is an include file, a wrapper around immintrin.h. It implements most of AVX, AVX2, AVX-512 vector intrinsics to enable source level debug of vector code.

libbeauty

Decompiler and Reverse Engineering tool

mcsema-legacy

Archive of the initial monolithic version of mcsema

mlir-www

monitor

An efficient VMM that only supports a single VM at any time (precursor to btkernel)

pagai

peter-compiler

Automatically exported from code.google.com/p/peter-compiler

peter-project-euler

Automatically exported from code.google.com/p/peter-project-euler

pinq-php

Automatically exported from code.google.com/p/pinq-php

pjit

python-binary-instrumenter

An example of how to do static assembly instrumentation with Python.

rcu

C++ implementation of RCU based on reference counting and hazard pointers.

tdop

Automatically exported from code.google.com/p/tdop

testfs

user level toy file system that is similar to ext3

travis-ci-job-status

Travis CI job status badge

uwo-cooper

Automatically exported from code.google.com/p/uwo-cooper

uwo-gomoku

Automatically exported from code.google.com/p/uwo-gomoku

uwo-santa-clause

Automatically exported from code.google.com/p/uwo-santa-clause