Pinned Repositories
Boomerang
Demand-Driven Pointer Analysis
COVA
COVA - A static analysis tool to compute path conditions
DroidBench
A micro-benchmark suite to assess the stability of taint-analysis tools for Android
FlowDroid
FlowDroid Static Data Flow Tracker
phasar
A LLVM-based static analysis framework.
PointerBench
A points-to and alias analysis benchmark suite
SootFX
A Static Code Feature Extraction Tool for Java and Android
SuSi
SuSi - our tool to automatically discover sources and sinks in the Android framework
tamiflex
TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
TypeEvalPy
A Micro-benchmarking Framework for Python Type Inference Tools
Secure Software Engineering Group at Paderborn University and Fraunhofer IEM's Repositories
secure-software-engineering/SuSi
SuSi - our tool to automatically discover sources and sinks in the Android framework
secure-software-engineering/tamiflex
TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
secure-software-engineering/PointerBench
A points-to and alias analysis benchmark suite
secure-software-engineering/DroidForce
DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.
secure-software-engineering/Jimple-Interpreter
Soot based Jimple interpreter
secure-software-engineering/SPLlift
secure-software-engineering/SPDS-experiments
secure-software-engineering/android-instrumentation-tutorial
secure-software-engineering/ideal
IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
secure-software-engineering/cheetah
Eclipse plugin for a JIT taint analysis
secure-software-engineering/denial-of-app-attack
Denial-Of-App Attack
secure-software-engineering/rose
Research Tool for Online Social Environments
secure-software-engineering/vulnerability-of-the-day
A pedagogically-curated collection of vulnerability demonstrations for undergraduate software engineering students.
secure-software-engineering/reviser
Reviser implementation
secure-software-engineering/heros
IFDS/IDE Solver for Soot
secure-software-engineering/vasco
An inter-procedural data flow analysis framework using value-based context-sensitivity
secure-software-engineering/CogniCrypt-IntelliJ
Static Code Analysis for Crypto-API misuse detection. IDE Plugin for IntelliJ and Android Studio
secure-software-engineering/crimestop
secure-software-engineering/CryptoAnalysis
CryptoAnalysis fork for the Testify project
secure-software-engineering/FlowStar
Common base project for taint analyses such as FlowDroid et al.
secure-software-engineering/ivy
secure-software-engineering/soot-infoflow-testgenerator
Test case generator for FlowDroid
secure-software-engineering/tamiflex.benchmarks
Automatically exported from code.google.com/p/tamiflex.benchmarks
secure-software-engineering/TS4J
A fluent interface for defining and computing typestate analyses
secure-software-engineering/visuflow
VisuFlow - An Eclipse plugin that helps static code developers in writing static analyses on top of Soot.
secure-software-engineering/soot-panathon
Soot Fork for the ISSTA2018 Panathon
secure-software-engineering/cilrep
JVM-based representation (and manipulation) of CIL bytecode
secure-software-engineering/mic9bench
secure-software-engineering/mudarri
Source code of the Mudarri IntelliJ plugin, using rule graphs
secure-software-engineering/SAGuidelines