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 149

  2. DroidBench DroidBench Public

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

    Java 288 116

  3. FlowDroid FlowDroid Public

    FlowDroid Static Data Flow Tracker

    Java 1.2k 309

  4. SuSi SuSi Public

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

    Java 148 74

  5. Boomerang Boomerang Public

    Demand-Driven Pointer Analysis

    Java 13 7

Repositories

Showing 10 of 67 repositories
  • phasar Public

    A LLVM-based static analysis framework.

    secure-software-engineering/phasar’s past year of commit activity
    C++ 1,004 149 40 (2 issues need help) 11 Updated Sep 11, 2025
  • FlowDroid Public

    FlowDroid Static Data Flow Tracker

    secure-software-engineering/FlowDroid’s past year of commit activity
    Java 1,162 LGPL-2.1 309 236 2 Updated Sep 9, 2025
  • Boomerang Public

    Demand-Driven Pointer Analysis

    secure-software-engineering/Boomerang’s past year of commit activity
    Java 13 EPL-2.0 7 9 6 Updated Sep 8, 2025
  • actions Public

    Secure Software Engineering groups GitHub Actions - centralized & reusable

    secure-software-engineering/actions’s past year of commit activity
    0 0 5 1 Updated Sep 3, 2025
  • Deblometer Public

    A Java Debloating Benchmark

    secure-software-engineering/Deblometer’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Aug 29, 2025
  • 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 Aug 25, 2025
  • achilles-benchmark-depscanners Public

    Achilles - Benchmark for assessing OSS-Vulnerability Scanners 59

    secure-software-engineering/achilles-benchmark-depscanners’s past year of commit activity
    Java 8 LGPL-3.0 5 0 1 Updated Jul 12, 2025
  • COVA Public

    COVA - A static analysis tool to compute path conditions

    secure-software-engineering/COVA’s past year of commit activity
    Python 37 LGPL-2.1 8 1 3 Updated Jul 12, 2025
  • DroidBench Public

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

    secure-software-engineering/DroidBench’s past year of commit activity
    Java 288 116 12 6 Updated Jul 10, 2025
  • upcy Public

    UpCy automatically finds compatible updates for Maven dependencies.

    secure-software-engineering/upcy’s past year of commit activity
    Java 10 Apache-2.0 1 1 0 Updated Jun 3, 2025
View all repositories

Top languages

Loading…