Pinned Repositories
3000web
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
Examples
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.
z420's Repositories
z420/PSODS
z420/jung
JUNG: Java Universal Network/Graph Framework
z420/joern
Open-source code analysis platform for C/C++ based on code property graphs
z420/soot
Soot - A Java optimization framework
z420/faceswap
Deepfakes Software For All
z420/UnblockNeteaseMusic
Revive unavailable songs for Netease Cloud Music
z420/v2ray-core
A platform for building proxies to bypass network restrictions.
z420/3000web
z420/v2rayN
z420/joern-1
A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.
z420/shadowsocks-android
A shadowsocks client for Android
z420/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.
z420/jpf-wiki-sync
Repository that gets synchronized with the wiki on jpf-core
z420/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
z420/jpf-symbc
Symbolic PathFinder
z420/symbolic-execution
基于JPF的符号执行框架
z420/green-solver
Automatically exported from code.google.com/p/green-solver
z420/jpdg
generate program dependence graphs for java programs.
z420/xbmc-addons-chinese
Addon scripts, plugins, and skins for XBMC Media Center. Special for chinese laguage.
z420/koolshare.github.io
For koolshare.cn
z420/shadowsocks-windows
If you want to keep a secret, you must also hide it from yourself.
z420/symbiosis
Symbiosis - Concurrency Debugging via Differential Schedule Projections
z420/Examples
z420/jpf
Docs are related to JPF.
z420/z420.github.com
z420/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
z420/nikola-dipl