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.
chacha
Verilog 2001 implementation of the ChaCha stream cipher.
codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
CodeHawk-Java
CodeHawk Java Byte Code Static Analyzer
jcute
Java Concolic Unit Testing Engine
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
ktadvance
KT Advance Memory Safety Analyzer for C
lapse-plus
Automatically exported from code.google.com/p/lapse-plus
sonar-findbugs
SpotBugs plugin for SonarQube