Chen Rui's repositories
andersencpu
Automatically exported from code.google.com/p/andersencpu
andersengpu
Automatically exported from code.google.com/p/andersengpu
Benchmark
OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST), Dynamic (DAST), and Runtime (IAST) tools that support Java. The idea is that since it is fully runnable and all the vulnerabilities are actually exploitable, it’s a fair test for any kind of vulnerability detection tool. For more details on this project, please see the OWASP Benchmark Project home page.
CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
CodeHawk-Java
CodeHawk Java Byte Code Static Analyzer
codellm-devkit
codellm-devkit provides unified language to get off-the-shelf static analysis for multiple programming languages and support for applying those analyses for code LLM use cases.
jcute
Java Concolic Unit Testing Engine
error-prone
Catch common Java mistakes as compile-time errors
kt-semantic-code-search
Kestrel Technology tool that implements machine learning techniques to perform semantic code search on java byte code and x86 (malware) executables
lapse-plus
Automatically exported from code.google.com/p/lapse-plus
NeuraL-Coverage
Research Artifact of ICSE 2023 Paper: Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion
OpenRace
Open source implementation of the Coderrect Scanner core race detection functionality.
RepoAgent
An LLM-powered repository agent designed to assist developers and teams in generating documentation and understanding repositories quickly.
sonar-findbugs
SpotBugs plugin for SonarQube
UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage