pgoodman

cparser

Sort-of GNU C99 Declaration Parser

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.

fslice

LLVM-based forward program slice instrumentation.

ddisasm

Datalog driven disassembly of binary executables

Clang-ast-viewer

Clang AST viewer

csc369

travis-ci-job-status

Travis CI job status badge

ece1747

ece540

testfs

user level toy file system that is similar to ext3

xiao

Simple clone of the original Google XRay function profiling tracer

angr-doc

Documentation for the angr suite

ccompiler2

cquery

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

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.

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

tdop

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

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

uwo-state-java

Automatically exported from code.google.com/p/uwo-state-java

uwogarage

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