richardxx's repos on GitHub
C++ 4 watchers
pestrie The PesTrie implementation for our PLDI'14 paper
Shell 1 watchers
canary A unification-based alias analysis and some relative tools
C++ 1 watchers
sqlcheck Automatically identify anti-patterns in SQL queries
C++ 1 watchers
v8 The official mirror of the V8 SVN repository
Java 0 watchers
bugvm We are the BugVM.
Python 0 watchers
cpython The Python programming language
C++ 0 watchers
dr_checker DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
0 watchers
ecosoc Automatically exported from code.google.com/p/ecosoc
C++ 0 watchers
ecosoc.siot Automatically exported from code.google.com/p/ecosoc.siot
C 0 watchers
f-stack F-Stack is an user space network development kit with high performance based on DPDK, FreeBSD TCP/IP stack and coroutine API.
Scala 0 watchers
hopper Goal-directed static analysis tool for JVM languages.
0 watchers
KDR List of Linux kernel data races found in recent 5 years
C++ 0 watchers
mcsema x86 to machine code translation framework
C++ 0 watchers
mongo The MongoDB Database
C 0 watchers
mpv Video player based on MPlayer/mplayer2
Javascript 0 watchers
node evented I/O for v8 Javascript
C 0 watchers
ojtester OJ like program execution results comparator
Python 0 watchers
pigaios A tool for matching and diffing source codes directly against binaries.
C++ 0 watchers
rhino Rhino is an open-source implementation of Javascript written entirely in Java
C 0 watchers
rinetd TCP port redirector forked for maintenance
Java 0 watchers
robovm For more info see
Python 0 watchers
routersploit The Router Exploitation Framework
C 0 watchers
safecode-mirror An unofficial, automated LLVM's SAFECode project mirror. Not: This repository may be deleted due to GitHub's repository size limit.
C++ 0 watchers
snake2 A simple text-based greedy snake game developed ten years ago
C++ 0 watchers
snowman Snowman decompiler
Java 0 watchers
soot Soot - A Java optimization framework
0 watchers
Sourcetrail Sourcetrail - free and open-source interactive source explorer
C++ 0 watchers
sourceweb C/C++ source code indexer and navigator
Java 0 watchers
thresher Static heap reachability analysis for Java bytecode and Android memory leak finder.
CSS 0 watchers
tingDB The tingDB database service