leima-hit's repositories
droidsafe-src
DroidSafe Android Static Analysis Source Repository
nexus-public
Sonatype Nexus Repository Manager; Open-source codebase mirror
DependencyCheck
OWASP dependency-check is a utility that detects publicly disclosed vulnerabilities in application dependencies.
choco-solver
An open-source Java library for Constraint Programming
Deep-Android-Malware-Detection
Code for Deep Android Malware Detection paper
mit-deep-learning-book-pdf
MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville
revapi
Revapi is an API analysis and change tracking tool written in Java. Its focus is mainly on Java language itself but it has been specifically designed to not be limited to just Java. API is much more than just java classes - also various configuration files, schemas, etc. can contribute to it and users can become reliant on them.
sapo
Reachability analysis and synthesis of parameters for polynomial dynamical systems
jcomposition
Composition over inheritance. Lightweight Java (Android) API for creating a compositions at compile-time
modernizer-maven-plugin
Detect uses of legacy Java APIs
muJava
Mutation system for Java programs, including OO mutation operators.
klee
KLEE Symbolic Virtual Machine
storm
A Probabilistic Model Checker
crest
CREST is a concolic test generation tool for C.
ConTeGe
Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes
jsemver
Java implementation of the SemVer Specification
dreal3
New version of the dReal solver. More info at
pom-explorer
A tool to aid managing lots of maven projects
FalsifCPSML
Compositional falsification framework for cyber-pysical systems with machine learning components
tool_lists
Links to tools by subject
codeclimate
Code Climate CLI
namazu
:fish: 鯰: Programmable fuzzy scheduler for testing distributed systems
null-analysis
Java utility related to NULL analysis
memoization.java
Java memoization library
natural
general natural language facilities for node