zustin Goto Github PK

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

issue1759

issue1874

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.

zustin

Config files for my GitHub profile.