Secure Software Engineering Group at Paderborn University and Fraunhofer IEM

Pinned Repositories

Boomerang
Demand-Driven Pointer Analysis
Language:CSS14 4 157
COVA
COVA - A static analysis tool to compute path conditions
Language:Python38 7 58
DroidBench
A micro-benchmark suite to assess the stability of taint-analysis tools for Android
Language:Java288 48 18116
FlowDroid
FlowDroid Static Data Flow Tracker
Language:Java1.2k 29 491311
phasar
A LLVM-based static analysis framework.
Language:C++1k 26 200151
PointerBench
A points-to and alias analysis benchmark suite
Language:Java41 8 17
SuSi
SuSi - our tool to automatically discover sources and sinks in the Android framework
Language:Java148 20 2374
swan
Security methods for WeAkNess detection
Language:Java20 8 227
tamiflex
TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
Language:Java44 12 1013
TypeEvalPy
A Micro-benchmarking Framework for Python Type Inference Tools
Language:Python38 4 24

secure-software-engineering/prm4j-sync
Parametric runtime monitoring for Java.
Language:Java3 12 0
secure-software-engineering/TypeChef
Type checking ifdef variability
Language:C1 13 01