jiseongg

configs

coreutils

Cross-platform Rust rewrite of the GNU coreutils

dd-klee

Data-driven symbolic execution engine, implemented on top of KLEE

devcontainers

Dev Containers for frequently used languages and build tools.

docker_images

evosuite

EvoSuite - automated generation of JUnit test suites for Java classes

infer

A static analyzer for Java, C, C++, and Objective-C

klee

KLEE Symbolic Execution Engine

spoon

Spoon is a metaprogramming library to analyze and transform Java source code (up to Java 15). :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

maven_example_no_cve

pmd

An extensible multilanguage static code analyzer.

semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

spotbugs

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

thefuck

Magnificent app which corrects your previous console command.

tree-sitter

An incremental parsing system for programming tools