Secure Software Engineering Group at Paderborn University and Fraunhofer IEM

icon indicating a website link https://www.hni.uni-paderborn.de/sse/

Results 15 repositories owned by Secure Software Engineering Group at Paderborn University and Fraunhofer IEM

phasar

590
Stars
84
Forks
Watchers

A LLVM-based static analysis framework.

verified publisher icon secure-software-engineering

DroidBench

255
Stars
110
Forks
Watchers

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

verified publisher icon secure-software-engineering

FlowDroid

1.0k
Stars
289
Forks
Watchers

FlowDroid Static Data Flow Tracker

verified publisher icon secure-software-engineering

boomerang

19
Stars
5
Forks
Watchers

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

verified publisher icon secure-software-engineering

COVA

31
Stars
9
Forks
Watchers

COVA - A static analysis tool to compute path conditions

verified publisher icon secure-software-engineering

DroidForce

17
Stars
15
Forks
Watchers

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

verified publisher icon secure-software-engineering

PointerBench

34
Stars
7
Forks
Watchers

A points-to and alias analysis benchmark suite

verified publisher icon secure-software-engineering

SPLlift

15
Stars
3
Forks
Watchers

verified publisher icon secure-software-engineering

SuSi

134
Stars
74
Forks
Watchers

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

verified publisher icon secure-software-engineering

swan

18
Stars
7
Forks
Watchers

Security methods for WeAkNess detection

verified publisher icon secure-software-engineering