marstone's repositories
ingress-ios
Fully playable iOS port of Google's AR Game Ingress. forked, deprecated.
k8s-gitlab-ce
install gitlab-ce to kubernetes by yamls
dockerhub-images
useful images autobuild by dockerhub
ingress-influx-public
A Qt shell for Ingress
AppAnalysis_soot
Android App Malice Behavior Analysis
concolic-walk
Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.
defects4j-repair
An experiment on automatic software repair
defects4j-sandbox
defects4j project
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.
json8-patch
Moved to https://github.com/sonnyp/JSON8/tree/master/packages/patch
openIMSJTU
kanged from ali-baichuan. demo only