Pinned Repositories
bugvm
We are the BugVM.
canary
A unification-based alias analysis and some relative tools
cpython
The Python programming language
llvm-ir-editor
An LLVM IR Editor plugin for Eclipse
pestrie
The PesTrie implementation for our PLDI'14 paper
slisp
sootTester
Testing soot
sqlcheck
Automatically identify anti-patterns in SQL queries
v8
The official mirror of the V8 SVN repository
richardxx's Repositories
richardxx/sootTester
Testing soot
richardxx/slisp
richardxx/sqlcheck
Automatically identify anti-patterns in SQL queries
richardxx/v8
The official mirror of the V8 SVN repository
richardxx/bugvm
We are the BugVM.
richardxx/cpython
The Python programming language
richardxx/dr_checker
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
richardxx/DockerTarBuilder
它是一个工作流。可快速构建指定架构/平台的docker镜像
richardxx/f-stack
F-Stack is an user space network development kit with high performance based on DPDK, FreeBSD TCP/IP stack and coroutine API.
richardxx/hopper
Goal-directed static analysis tool for JVM languages.
richardxx/iBoot
richardxx/KDR
List of Linux kernel data races found in recent 5 years
richardxx/mcsema
x86 to machine code translation framework
richardxx/mongo
The MongoDB Database
richardxx/mpv
🎥 Video player based on MPlayer/mplayer2
richardxx/obfuscator
richardxx/ojtester
OJ like program execution results comparator
richardxx/pigaios
A tool for matching and diffing source codes directly against binaries.
richardxx/rhino
Rhino is an open-source implementation of JavaScript written entirely in Java
richardxx/richardxx.github.io
richardxx/rinetd
TCP port redirector — forked for maintenance
richardxx/robovm
For more info see
richardxx/routersploit
The Router Exploitation Framework
richardxx/safecode-mirror
An unofficial, automated LLVM's SAFECode project mirror. Note: This repository may be deleted due to GitHub's repository size limit.
richardxx/SecurityManagement
分享在建设安全管理体系、ISO27001、等级保护、安全评审过程中的点点滴滴
richardxx/snake2
A simple text-based greedy snake game developed ten years ago
richardxx/snowman
Snowman decompiler
richardxx/soot
Soot - A Java optimization framework
richardxx/Sourcetrail
Sourcetrail - free and open-source interactive source explorer
richardxx/sourceweb
C/C++ source code indexer and navigator