MrZ's repositories
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
eclipse-jpf
A mirror of ssh://hg@bitbucket.org/stepanv/eclipse-jpf - Mercurial repository of Eclipse Java Pathfinder plug-in https://bitbucket.org/stepanv/eclipse-jpf
faceswap
Deepfakes Software For All
green-solver
Automatically exported from code.google.com/p/green-solver
joern
Open-source code analysis platform for C/C++ based on code property graphs
joern-1
A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.
jpdg
generate program dependence graphs for java programs.
jpf
Docs are related to JPF.
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
jpf-symbc
Symbolic PathFinder
jpf-wiki-sync
Repository that gets synchronized with the wiki on jpf-core
jung
JUNG: Java Universal Network/Graph Framework
koolshare.github.io
For koolshare.cn
shadowsocks-android
A shadowsocks client for Android
shadowsocks-windows
If you want to keep a secret, you must also hide it from yourself.
soot
Soot - A Java optimization framework
symbiosis
Symbiosis - Concurrency Debugging via Differential Schedule Projections
symbolic-execution
基于JPF的符号执行框架
UnblockNeteaseMusic
Revive unavailable songs for Netease Cloud Music
v2ray-core
A platform for building proxies to bypass network restrictions.
xbmc-addons-chinese
Addon scripts, plugins, and skins for XBMC Media Center. Special for chinese laguage.