Developer Profile
yongjianchn
Discovered public repositories for yongjianchn in the GitHub catalog.
yongjianchn/os_QA
清华大学OS公开课——QA
yongjianchn/rtlinux-learning
real time linux 的学习
yongjianchn/kint
KINT使用、修改
yongjianchn/fwl-detect-int
Some work of Wenliang
yongjianchn/klee
KLEE使用、修改
yongjianchn/klee-play
KLEE分析
yongjianchn/kint_s2e_autotestkernel
test kernel using KINT and S2E
yongjianchn/s2e-MemoryManager
暂时可以检测kmalloc函数和rep movs指令
yongjianchn/s2e-print-linux
add plugin to s2e to print info of some linux OS
yongjianchn/2012-research
: 2012 12 20