PLAST

doop-mirror

Mirror of Doop: https://bitbucket.org/yanniss/doop

cclyzer

A tool for analyzing LLVM bitcode using Datalog.

native-scanner

An analyzer of JNI code that matches native code information with Java code

cclyzer-souffle

CClyzer port to souffle lang

HeapDL

Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.

JInfoFlow-bench

sound-modulo-analysis-openjdk-8

This repository contains a modified `sound-modulo-analysis` version of the Java OpenJDK 8 as described in the PLDI 2020 paper "Static Analysis of Java Enterprise Applications: Frameworks and Caches, The Elephants in the Room"

doop-pldi15-tutorial

Tutorial site for PLDI 2015

souffle-addon

source-ir-fitter

A tool to map source code elements to IR elements.

redex

A bytecode optimizer for Android apps

clue-common

Common functionality shared by the components of the Clyze unified analysis framework.

credex

Extending facebook/redex with passes driven from external program analysis

plast-lab.github.io

mini-sarif

A library to generate statis analysis results in SARIF format.

Apktool

A tool for reverse engineering Android apk files

bccapture

A bytecode capture agent for the JVM

elasticsearch

Open Source, Distributed, RESTful Search Engine

FlowDroid

FlowDroid Static Data Flow Tracker

heapdl-site

hprof-parser

An extensible parser for hprof heap dump files produced by various JVMs

JDWPFactGen

Dynamic fact generation using the Java Debug Wire Protocol (JDWP)

jphantom-viewer-demo

A tool for Java program complementation.

litho

A declarative framework for building efficient UIs on Android.

proguard-experiments

soot

Soot - A Java optimization framework

spring-boot

Spring Boot

spring-framework

The Spring Framework

static-analysis

A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.

WALA

T.J. Watson Libraries for Analysis