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++ 951 142

  2. DroidBench DroidBench Public

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

    Java 271 114

  3. FlowDroid FlowDroid Public

    FlowDroid Static Data Flow Tracker

    Java 1.1k 300

  4. SuSi SuSi Public

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

    Java 143 74

Repositories

Showing 10 of 62 repositories
  • TypeEvalPy Public

    A Micro-benchmarking Framework for Python Type Inference Tools

    secure-software-engineering/TypeEvalPy’s past year of commit activity
    Python 32 2 1 1 Updated Dec 18, 2024
  • phasar Public

    A LLVM-based static analysis framework.

    secure-software-engineering/phasar’s past year of commit activity
    C++ 951 142 33 (2 issues need help) 15 Updated Dec 17, 2024
  • SparseBoomerang Public

    Sparse Demand-Driven Pointer Analysis

    secure-software-engineering/SparseBoomerang’s past year of commit activity
    Java 4 EPL-2.0 3 3 1 Updated Dec 17, 2024
  • PathExpression Public

    An implementation of Tarjan's PathExpression algorithm

    secure-software-engineering/PathExpression’s past year of commit activity
    Java 4 EPL-2.0 2 0 2 Updated Dec 16, 2024
  • FlowDroid Public

    FlowDroid Static Data Flow Tracker

    secure-software-engineering/FlowDroid’s past year of commit activity
    Java 1,081 LGPL-2.1 300 231 1 Updated Dec 9, 2024
  • secucheck Public

    Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.

    secure-software-engineering/secucheck’s past year of commit activity
    Java 17 MIT 7 6 0 Updated Dec 6, 2024
  • secucheck-core Public

    Taint Analysis on top of Soot.

    secure-software-engineering/secucheck-core’s past year of commit activity
    Java 10 MIT 3 1 1 Updated Dec 6, 2024
  • secucheck-catalog Public
    secure-software-engineering/secucheck-catalog’s past year of commit activity
    0 3 0 0 Updated Dec 6, 2024
  • SWARM-CG Public

    Swiss Army Knife of Call Graph Micro-Benchmark

    secure-software-engineering/SWARM-CG’s past year of commit activity
    Python 1 0 0 0 Updated Nov 30, 2024
  • boomerang Public

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

    secure-software-engineering/boomerang’s past year of commit activity
    Java 23 LGPL-2.1 6 0 0 Updated Nov 28, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…