Name		Name	Last commit message	Last commit date
parent directory ..
assets		assets
cache		cache
codeql		codeql
concolic		concolic
deepgen		deepgen
dictgen		dictgen
expkit		expkit
fuzzers		fuzzers
javacrs_modules		javacrs_modules
jazzer-llm-augmented		jazzer-llm-augmented
joern		joern
libs		libs
llm-poc-gen		llm-poc-gen
prebuilt		prebuilt
static-analysis		static-analysis
tests		tests
.dockerignore		.dockerignore
.gitignore		.gitignore
Dockerfile.crs		Dockerfile.crs
Dockerfile.public_base		Dockerfile.public_base
README.md		README.md
__init__.py		__init__.py
cov_repro.py		cov_repro.py
cpmetadata.py		cpmetadata.py
crs-java.config		crs-java.config
dev-run.sh		dev-run.sh
install-dev.sh		install-dev.sh
javacrscfg.py		javacrscfg.py
jazzer_driver_stub		jazzer_driver_stub
main.py		main.py
requirements.txt		requirements.txt
run-crs-java.sh		run-crs-java.sh
sink-targets.txt		sink-targets.txt
ssmode-lpg.toml		ssmode-lpg.toml
ssmode-sink.txt		ssmode-sink.txt

README.md

CRS-java Source Code

CRS Component Source Code

javacrs_modules
- CRS manager layer, gluing all CRS components, managing corpus, crashes, sinkpoints, callgraphs, CP metadata info, etc
fuzzers
- jazzer, atl-jazzer, atl-directed-jazzer, atl-libafl-jazzer
llm-poc-gen
- Joern-based, path-based, LLM-based, sinkpoint-centered fuzzing input generator
static-analysis
- bytecode analyzer for locating & filtering sinkpoints, generating and scheduling direct fuzzer targets
codeql
- adding additional sinkpoints to crs
concolic
- concolic executor
expkit
- beep seed exploitation tool
deepgen
- fuzzing mutator generation agent (only for initial corpus generation)
dictgen
- harness dictionary generator
jazzer-llm-augmented
- LLM-based coverage enhancer, disabled in competition

Entry Script

run-crs-java.sh -> Entry script for k8s competition environment
dev-run.sh -> Entry script for local testing & dev environment

Miscs

crs-java.config -> Default configuration
Dockerfile.crs -> Dockerfile