Static analysis tool for the impact of Java-based code fixes on other code

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Slicing tool for c++ programs using clang AST.

Transmit data with sound. Includes binaries for soundcards and .wav files.

A taint-tracking plugin for the Valgrind memory checking tool

Recent Fuzzing Paper

INFILTRATE 2019 Demo Materials

基于 docsify 快速部署 Awesome-POC 中的漏洞文档

物联网设备安全测试指南

一个简单而轻量级的 Hexo 主题。 | A simple, lightweight Hexo theme.

静态程序分析工具 主要生成方法的CFG和.java文件的AST

Modelio is a modeling solution offering a wide range of functionalities based on the main standards of enterprise architecture, software development and systems engineering.