10 open source projects by secure-software-engineering

A micro-benchmark suite to assess the stability of taint-analysis tools for Android

SuSi - our tool to automatically discover sources and sinks in the Android framework

A LLVM-based static analysis framework.

FlowDroid Static Data Flow Tracker

Android-specific components of FlowDroid

Analysis for access-control vulnerabilities in Java Spring Security applications.

TamiFlex facilitates static analysis of programs that use reflection and custom class loaders

COVA - A static analysis tool to compute path conditions

DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.

Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.