GeezerVison is showing github.com — Secure Software Engineering Group at Paderborn University and Fraunhofer IEM
Pinned
Loading
A LLVM-based static analysis framework.
C++
1.1k
161
A micro-benchmark suite to assess the stability of taint-analysis tools for Android
Java
305
117
FlowDroid Static Data Flow Tracker
Java
1.3k
324
SuSi - our tool to automatically discover sources and sinks in the Android framework
Java
155
70
Demand-Driven Pointer Analysis
CSS
15
8
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C
C++
CSS
Diff
HTML
Java
JavaScript
Jupyter Notebook
Kotlin
Logos
Python
Sort
Showing 10 of 71 repositories
phasar
Public
A LLVM-based static analysis framework.
secure-software-engineering/phasar's past year of commit activity
FlowDroid
Public
FlowDroid Static Data Flow Tracker
secure-software-engineering/FlowDroid's past year of commit activity
tamiflex
Public
TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
secure-software-engineering/tamiflex's past year of commit activity
Java
45
17
10
2
Updated Nov 9, 2026
Boomerang
Public
Demand-Driven Pointer Analysis
secure-software-engineering/Boomerang's past year of commit activity
CSS
15
EPL-2.0
8
11
4
Updated Nov 9, 2026
PathExpression
Public
An implementation of Tarjan's PathExpression algorithm
secure-software-engineering/PathExpression's past year of commit activity
Java
6
EPL-2.0
3
0
2
Updated Nov 9, 2026
actions
Public
Secure Software Engineering groups GitHub Actions - centralized & reusable
secure-software-engineering/actions's past year of commit activity
0
0
3
0
Updated Nov 2, 2026
TypeEvalPy
Public
A Micro-benchmarking Framework for Python Type Inference Tools
secure-software-engineering/TypeEvalPy's past year of commit activity
Python
38
Apache-2.0
6
2
1
Updated Oct 18, 2026
srm-dataset
Public
Cross-language dataset of security-relevant methods (SRMs) for taint analysis and machine learning approaches.
secure-software-engineering/srm-dataset's past year of commit activity
Java
0
0
0
0
Updated Sep 10, 2026
secure-software-engineering/achilles-benchmark-depscanners's past year of commit activity
Java
12
LGPL-3.0
7
0
5
Updated Jul 31, 2026
secure-software-engineering/CogniCryptSQPlugin's past year of commit activity
Java
0
0
0
1
Updated Jun 10, 2026
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.