Pinned Repositories
afl-crash-analyzer
Another crash analyzer tool for the American Fuzzy Lop (AFL) fuzzer
afl-test
afl fuzzer test
awesome-compilers
:sunglasses: A curated list of awesome resources on Compilers, Interpreters and Runtimes.
CAnalyzer
copy from http://blog.csdn.net/niuox/article/details/8216186
daily-info
Klee-test
test klee for my research
PDFGen
Simple C PDF Generation library
testproj
trace_reader
trace_reader for decaf temu
xqx
s2e develop
xqx12's Repositories
xqx12/trace_reader
trace_reader for decaf temu
xqx12/CAnalyzer
copy from http://blog.csdn.net/niuox/article/details/8216186
xqx12/PDFGen
Simple C PDF Generation library
xqx12/BGL-test
test for BGL-boost graph library
xqx12/c-markdown
Simple markdown parser implementation in C.
xqx12/CUTE-homework
Concolic testing for C programs
xqx12/decaf-tfd
a plugin for decaf
xqx12/flare-ida
IDA Pro utilities from FLARE team
xqx12/grandalf
graph and drawing algorithms framework
xqx12/grinder
Grinder is a system to automate the fuzzing of web browsers and the management of a large number of crashes.
xqx12/kint-test
test for kint
xqx12/klee
KLEE Symbolic Virtual Machine
xqx12/libse
Library for symbolic execution of C++ programs
xqx12/llvm-clang-samples
Examples of using the LLVM and Clang compilation libraries and tools
xqx12/llvm-ei
extensible interpreter for LLVM dynamic analyses
xqx12/llvm-tools
A set of tools for visualizing and inspecting LLVM bitcode modules
xqx12/llvm-tutorial-cn
Simplified Chinese translation for the LLVM Tutorial
xqx12/LLVMSlicer
Static Slicer for LLVM
xqx12/node-pdfutils
tool for analyzing and converting PDF
xqx12/paper.js
The Swiss Army Knife of Vector Graphics Scripting – Scriptographer ported to JavaScript and the browser, using HTML5 Canvas. Created by @lehni & @puckey
xqx12/predator
A Separation Logic-Based GCC Plug-in for Checking Manipulation of Dynamic Data Structures
xqx12/pysymemu
An intel 64 symbolic emulator
xqx12/s2e1.1
s2e1.1 for develop
xqx12/s2e1.2
s2e1.2 for develop
xqx12/s2e1.2-stable
s2e-stable 1.2
xqx12/setup-ubuntu
Scripts for setting up Ubuntu on my system.
xqx12/thuthesis
LaTeX Thesis Template for Tsinghua University
xqx12/vim
Ruchee's Vim Files
xqx12/VxWorks
VxWorks refer
xqx12/zesti-test
test fo zesti