SCVDT

Source Code Vulnerability Detection Tools（SCVDT）provides a vulnerable code database, vulnerability detection service for Java and C/C++ programs, and other security service.

JVulDS

JVulDS is a system for using deep learning to detect vulnerabilities.

PropertyGraph

A library to generate Abstract Syntax Trees, Control Flow Graphs, Program Dependency Graphs for Java programs.

HDVerify

HDVerify is a system that can find the input that trigger the suspicious vulnerability in C/C++ open-source software obtained by static tools based on improved directed grey-box fuzzing.

LMFuzzer

LMFuzzer is a fuzzing system that uses probabilistic models to guide seed generation, which can test Java open-source software.

VulnDB

The vulnerable code database (VulnDB) is a database for vulnerability patch files and their corresponding vulnerable source code and non-vulnerable source code.

VKGGen

VKGGen is a tool to collect and process data, and generate vulnerability knowledge graph.

VKGServe

VKGServe is a background program that performs vulnerability knowledge graph operations. It completes CARD operations on vulnerability knowledge through the form of the Restful API interface.

Binary-Exploit-Visualization

A tool for binary program to visualize the process of exploit, by analyzing the GOT, information leakage, heap memory, shllcode, and function calls.

CompilerTool

CompilerTool is a toolset that selects the test program based on the compiler's own coverage information.