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. Note: 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