chubbymaggie Goto Github PK

jakstab

The Jakstab static analysis platform for binaries

jalangi

janala2

a concolic testing engine for Java

janusgraph

JanusGraph: an open-source, distributed graph database

japi-compliance-checker

A tool for checking backward API/ABI compatibility of a Java library

japi-monitor

A tool to monitor new versions of a Java library

japi-tracker

A tool to visualize API changes timeline of a Java library

japicmp

Comparison of two versions of a jar archive

jarvis

"Just Another ReVersIng Suite" or whatever other bullshit you can think of

jasome

JaSoMe (Java Source Metrics) - Object Oriented Metrics analyzer for Java code

jast

Syntactic detection of malicious (obfuscated) JavaScript files

java-afl

Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.

java-asm-obfuscator

java-callgraph

Programs for producing static and dynamic (runtime) call graphs for Java programs

java-maven-repo

List of github repo using maven as build tool.

java-semantics

The semantics of Java in K

java-sketch

a Java front-end for Sketch synthesis tool

javamethodautoabridging

javascript-malware-collection

Collection of almost 40.000 javascript malware samples

javascript-semantics

KJS: A Complete Formal Semantics of JavaScript

jayhorn

Static checker for Java

jbse

A symbolic Java virtual machine for program analysis, verification and test generation

jcute

Java Concolic Unit Testing Engine

jdart

A dynamic symbolic analysis tool for Java

jdbl

JDbl automatically specializes Java projects through dynamic debloating

jdeps-maven-plugin

Includes JDeps in Maven

jdex2sex

jeeves

Python implementation of the Jeeves programming language.

jefferson

JFFS2 filesystem extraction tool, forked to support additional file and compression types

jerryscript

Ultra-lightweight JavaScript engine for Internet of Things. http://www.jerryscript.net