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 is a system for using deep learning to detect vulnerabilities.
A library to generate Abstract Syntax Trees, Control Flow Graphs, Program Dependency Graphs for Java programs.
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 is a fuzzing system that uses probabilistic models to guide seed generation, which can test Java open-source software.
The vulnerable code database (VulnDB) is a database for vulnerability patch files and their corresponding vulnerable source code and non-vulnerable source code.
VKGGen is a tool to collect and process data, and generate vulnerability knowledge graph.
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.
A tool for binary program to visualize the process of exploit, by analyzing the GOT, information leakage, heap memory, shllcode, and function calls.
CompilerTool is a toolset that selects the test program based on the compiler's own coverage information.