richardxx's repos on GitHub
C++ · 4 人关注
pestrie
The PesTrie implementation for our PLDI'14 paper
Shell · 1 人关注
canary
A unification-based alias analysis and some relative tools
Java · 0 人关注
bugvm
We are the BugVM.
Python · 0 人关注
cpython
The Python programming language
C++ · 0 人关注
dr_checker
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
0 人关注
ecosoc
Automatically exported from code.google.com/p/ecosoc
C++ · 0 人关注
ecosoc.siot
Automatically exported from code.google.com/p/ecosoc.siot
C · 0 人关注
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 人关注
hopper
Goal-directed static analysis tool for JVM languages.
0 人关注
KDR
List of Linux kernel data races found in recent 5 years
C++ · 0 人关注
mcsema
x86 to machine code translation framework
C++ · 0 人关注
mongo
The MongoDB Database
C · 0 人关注
mpv
🎥 Video player based on MPlayer/mplayer2
JavaScript · 0 人关注
node
evented I/O for v8 javascript
C · 0 人关注
ojtester
OJ like program execution results comparator
Python · 0 人关注
pigaios
A tool for matching and diffing source codes directly against binaries.
C++ · 0 人关注
rhino
Rhino is an open-source implementation of JavaScript written entirely in Java
C · 0 人关注
rinetd
TCP port redirector — forked for maintenance
Java · 0 人关注
robovm
For more info see
Python · 0 人关注
routersploit
The Router Exploitation Framework
C · 0 人关注
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 人关注
snake2
A simple text-based greedy snake game developed ten years ago