chenruibuaa Goto Github PK

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

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

racebench

Examples for NASAC 2019 interrupt race detection competition

sonar-findbugs

SpotBugs plugin for SonarQube

xml-kt-advance-java