Pinned 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
i8051
Intel 8051 family architecture plugin for Binary Ninja.
jcute
Java Concolic Unit Testing Engine
racebench
Examples for NASAC 2019 interrupt race detection competition
chenruibuaa's Repositories
chenruibuaa/racebench
Examples for NASAC 2019 interrupt race detection competition
chenruibuaa/andersencpu
Automatically exported from code.google.com/p/andersencpu
chenruibuaa/andersengpu
Automatically exported from code.google.com/p/andersengpu
chenruibuaa/i8051
Intel 8051 family architecture plugin for Binary Ninja.
chenruibuaa/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.
chenruibuaa/chacha
Verilog 2001 implementation of the ChaCha stream cipher.
chenruibuaa/codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
chenruibuaa/CodeHawk-C
CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
chenruibuaa/CodeHawk-Java
CodeHawk Java Byte Code Static Analyzer
chenruibuaa/jcute
Java Concolic Unit Testing Engine
chenruibuaa/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
chenruibuaa/ktadvance
KT Advance Memory Safety Analyzer for C
chenruibuaa/lapse-plus
Automatically exported from code.google.com/p/lapse-plus
chenruibuaa/OpenRace
Open source implementation of the Coderrect Scanner core race detection functionality.
chenruibuaa/sonar-findbugs
SpotBugs plugin for SonarQube
chenruibuaa/xml-kt-advance-java