z420 Goto Github PK

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://[email protected]/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.

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

nikola-dipl

psods

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.

v2rayn

xbmc-addons-chinese

Addon scripts, plugins, and skins for XBMC Media Center. Special for chinese laguage.

z420.github.com