Zustin's repositories
asm2vec
An unofficial implementation of asm2vec as a standalone python package
checkstyle
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
DeepBinDiff
Official repository for DeepBinDiff
dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
drr
Tool & data on the correctness of Defects4 patches generated by program repair tools
error-prone
Catch common Java mistakes as compile-time errors
genprog-code
GenProg code, faithfully transferred from svn repository.
gumtree-spoon-ast-diff
Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees
infer
A static analyzer for Java, C, C++, and Objective-C
jacoco
:microscope: Java Code Coverage Library
JavaFuzzer
Java* Fuzzer for Android*
JCoz
JCoz -- The first Java causal profiler
MarkdownTutorial
自我參考的Markdown語法
oi-slides
我的信息学竞赛讲课课件
pmd
An extensible multilanguage static code analyzer.
pmd.github.io
PMD Homepage
queryFuzz
QueryFuzz implements a metamorphic testing approach to test Datalog engines.
SF-zh
《软件基础》中译版 Software Foundations Chinese Translation
spoon
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.
spotbugs
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
SVF-Teaching
Teaching and Learning Software Analysis via SVF
TIP
Static program analysis for TIP
Zettlr
A Markdown Editor for the 21st century.