xqx12/trace_reader
trace_reader for decaf temu
Developer Profile
xqx12
Discovered public repositories for xqx12 in the GitHub catalog.
xqx12/decaf-tfd
a plugin for decaf
xqx12/klee
KLEE Symbolic Virtual Machine
xqx12/LLVMSlicer
Static Slicer for LLVM
xqx12/llvm-ei
extensible interpreter for LLVM dynamic analyses
xqx12/thuthesis
LaTeX Thesis Template for Tsinghua University
xqx12/pysymemu
An intel 64 symbolic emulator
xqx12/setup-ubuntu
Scripts for setting up Ubuntu on my system.
xqx12/vvklee
Verification and Validation Project Using KLEE
xqx12/BGL-test
test for BGL-boost graph library
xqx12/zesti-test
test fo zesti
xqx12/kint-test
test for kint
xqx12/libse
Library for symbolic execution of C++ programs
xqx12/Klee-test
test klee for my research
xqx12/llvm-tutorial-cn
Simplified Chinese translation for the LLVM Tutorial
xqx12/vim
Ruchee's Vim Files
xqx12/xdot.py
Interactive viewer for graphs written in Graphviz's dot language.
xqx12/llvm-clang-samples
Examples of using the LLVM and Clang compilation libraries and tools
xqx12/llvm-tools
A set of tools for visualizing and inspecting LLVM bitcode modules
xqx12/cgf
Call-graph flattening transform for LLVM 2.8
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/CAnalyzer
copy from http://blog.csdn.net/niuox/article/details/8216186
xqx12/ini
Simple INI configuration parser
xqx12/SimpleXMLParser
Simple XML Parser in C
xqx12/c-markdown
Simple markdown parser implementation in C.
xqx12/green
the PDF reader
xqx12/PDFGen
Simple C PDF Generation library
xqx12/node-pdfutils
tool for analyzing and converting PDF
xqx12/pdftotxt
Extract plain text from pdf files.
xqx12/s2e1.2-stable
s2e-stable 1.2
xqx12/grandalf
graph and drawing algorithms framework
xqx12/callGraph.pl
parsing call graph from .so
xqx12/kernel_galaxys2_ics
Linux 3.0.15 kernel for Galaxy S II (for Android 4.0.x)
xqx12/VxWorks
VxWorks refer
xqx12/Markdown-Editor
Public repository.
xqx12/Markdown-Syntax-CN
Markdown 语法简体中文版（fork 于繁体中文版 http://markdown.tw/ ）
xqx12/kint
code of kint
xqx12/s2e1.1
s2e1.1 for develop
xqx12/s2e1.2
s2e1.2 for develop
xqx12/myvim
姜晨的vim配置
xqx12/s2eforucore
run ucore os on s2e
xqx12/testproj
Public repository.
xqx12/xqx
s2e develop