Skip to content
@secure-software-engineering

Secure Software Engineering Group at Paderborn University and Fraunhofer IEM

Pinned Loading

  1. phasar phasar Public

    A LLVM-based static analysis framework.

    C++ 1k 154

  2. DroidBench DroidBench Public

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

    Java 299 115

  3. FlowDroid FlowDroid Public

    FlowDroid Static Data Flow Tracker

    Java 1.2k 316

  4. SuSi SuSi Public

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

    Java 151 69

  5. Boomerang Boomerang Public

    Demand-Driven Pointer Analysis

    CSS 14 7

Repositories

Showing 10 of 71 repositories
  • sosa-analyzer Public
    secure-software-engineering/sosa-analyzer’s past year of commit activity
    Kotlin 0 0 1 2 Updated Apr 12, 2026
  • phasar Public

    A LLVM-based static analysis framework.

    secure-software-engineering/phasar’s past year of commit activity
    C++ 1,038 154 33 (2 issues need help) 9 Updated Apr 12, 2026
  • actions Public

    Secure Software Engineering groups GitHub Actions - centralized & reusable

    secure-software-engineering/actions’s past year of commit activity
    0 0 5 0 Updated Apr 10, 2026
  • FlowDroid Public

    FlowDroid Static Data Flow Tracker

    secure-software-engineering/FlowDroid’s past year of commit activity
    Java 1,238 LGPL-2.1 316 240 2 Updated Apr 8, 2026
  • Boomerang Public

    Demand-Driven Pointer Analysis

    secure-software-engineering/Boomerang’s past year of commit activity
    CSS 14 EPL-2.0 7 10 4 Updated Apr 6, 2026
  • SWARM-CG Public

    Swiss Army Knife of Call Graph Micro-Benchmark

    secure-software-engineering/SWARM-CG’s past year of commit activity
    Python 9 1 2 0 Updated Mar 30, 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 2 1 0 Updated Mar 30, 2026
  • TypeEvalPy Public

    A Micro-benchmarking Framework for Python Type Inference Tools

    secure-software-engineering/TypeEvalPy’s past year of commit activity
    Python 38 5 1 1 Updated Mar 29, 2026
  • COVA Public

    COVA - A static analysis tool to compute path conditions

    secure-software-engineering/COVA’s past year of commit activity
    Python 40 LGPL-2.1 8 1 3 Updated Mar 2, 2026
  • upcy Public

    UpCy automatically finds compatible updates for Maven dependencies.

    secure-software-engineering/upcy’s past year of commit activity
    Java 12 Apache-2.0 1 1 0 Updated Feb 8, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…