History-Driven Test Program Synthesis for JVM Testing

llama3 implementation one matrix multiplication at a time

LLM powered fuzzing via OSS-Fuzz.

Java* Fuzzer for Android*

JQF + Zest: Coverage-guided semantic fuzzing for Java.

Recent Fuzzing Paper

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

Coverage-guided, in-process fuzzing for the JVM

Java* Fuzzer for Android*

https://openjdk.org/projects/code-tools/jmh

windows系统一句命令激活，office套件一句命令激活，一键搭建kms服务器，kms一键脚本，安卓Android搭建kms服务器

JamVM adapted version on macOS Catalina 10.15.6

Getting started with static program analysis. 静态程序分析入门教程。

🤗 JVM 底层原理最全知识总结

Bringing LaTeX to Sketch!

V2rayU,基于v2ray核心的mac版客户端,用于科学上网,使用swift编写,支持trojan,vmess,shadowsocks,socks5等服务协议,支持订阅, 支持二维码,剪贴板导入,手动配置,二维码分享等

american fuzzy lop - a security-oriented fuzzer

Parallels Removal Tool Mac OS X All Versions

The Excel add-in for creating LaTeX tables

使用 JDK8 实现 JVM(Java Virtual Machine)

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 infrastruc…

网络收集的JAVA学习资料，仅作学习交流使用，列表中没有的书籍，可前往公众号【zxiaofan】留言

Tool for shell commands execution, visualization and alerting. Configured with a simple YAML file.

Your ultimate Go microservices framework for the cloud-native era.

State of the art mutation testing system for the JVM

A curated list of awesome Go frameworks, libraries and software

The Z3 Theorem Prover

Dragonfly（蜻蜓）是阿里自研的 P2P 文件分发系统，开源版的 Dragonfly 可用于 P2P 文件分发、容器镜像分发、局部限速、磁盘容量预检等。它支持多种容器技术，对容器本身无需做任何改造，镜像分发比 natvie 方式提速可高达 57 倍，Registry 网络出流量降低99.5%以上。

Linux kernel source tree

SATCheck Vagrant code