Skip to content
Change the repository type filter

All

    Repositories list

    • FlowDroid

      Public
      FlowDroid Static Data Flow Tracker
      Java
      GNU Lesser General Public License v2.1
      2991.1k2261Updated Nov 15, 2024Nov 15, 2024
    • A Micro-benchmarking Framework for Python Type Inference Tools
      Python
      23110Updated Nov 14, 2024Nov 14, 2024
    • phasar

      Public
      A LLVM-based static analysis framework.
      C++
      Other
      1429423211Updated Nov 13, 2024Nov 13, 2024
    • SWARM-CG

      Public
      Swiss Army Knife of Call Graph Micro-Benchmark
      Python
      0100Updated Nov 9, 2024Nov 9, 2024
    • Sparse Demand-Driven Pointer Analysis
      Java
      Eclipse Public License 2.0
      2420Updated Nov 6, 2024Nov 6, 2024
    • An implementation of Tarjan's PathExpression algorithm
      Java
      Eclipse Public License 2.0
      2400Updated Nov 6, 2024Nov 6, 2024
    • upcy

      Public
      UpCy automatically finds compatible updates for Maven dependencies.
      Java
      Apache License 2.0
      0710Updated Oct 20, 2024Oct 20, 2024
    • swan

      Public
      Security methods for WeAkNess detection
      Java
      BSD 3-Clause "New" or "Revised" License
      719194Updated Oct 18, 2024Oct 18, 2024
    • HeaderGen

      Public
      HeaderGen annotates Jupyter notebooks using static analysis. Improves PyCG's call graph analysis by supporting external libraries and flow-sensitivity.
      Jupyter Notebook
      11311Updated Oct 18, 2024Oct 18, 2024
    • Supplementary website for the paper "Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications"
      HTML
      0100Updated Jul 30, 2024Jul 30, 2024
    • neck

      Public
      C++
      MIT License
      3300Updated Jul 15, 2024Jul 15, 2024
    • Taint Analysis on top of Soot.
      Java
      MIT License
      31011Updated May 24, 2024May 24, 2024
    • sootdiff

      Public
      SootDiff - Bytecode Comparison Across Different Java Compilers
      Java
      MIT License
      41911Updated May 24, 2024May 24, 2024
    • 3000Updated Mar 25, 2024Mar 25, 2024
    • secucheck

      Public
      Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.
      Java
      MIT License
      71660Updated Mar 14, 2024Mar 14, 2024
    • Java
      1000Updated Mar 14, 2024Mar 14, 2024
    • SparseIDE

      Public
      Sparse IDE/IFDS solver and client implementation
      GNU Lesser General Public License v2.1
      1100Updated Jan 29, 2024Jan 29, 2024
    • Achilles - Benchmark for assessing OSS-Vulnerability Scanners 59
      Java
      GNU Lesser General Public License v3.0
      47011Updated Sep 28, 2023Sep 28, 2023
    • modguard

      Public
      Java
      GNU Lesser General Public License v2.1
      0100Updated Jun 16, 2023Jun 16, 2023
    • SootFX

      Public
      A Static Code Feature Extraction Tool for Java and Android
      Java
      GNU Lesser General Public License v2.1
      41900Updated Jun 7, 2023Jun 7, 2023
    • A micro-benchmark suite to assess the stability of taint-analysis tools for Android
      Java
      114269126Updated Apr 17, 2023Apr 17, 2023
    • COVA

      Public
      COVA - A static analysis tool to compute path conditions
      Python
      GNU Lesser General Public License v2.1
      83211Updated Nov 16, 2022Nov 16, 2022
    • authcheck

      Public
      Analysis for access-control vulnerabilities in Java Spring Security applications.
      JavaScript
      MIT License
      51402Updated May 25, 2022May 25, 2022
    • Vulnerable version of the Spring PetClinic application in Kotlin
      Kotlin
      Apache License 2.0
      1200Updated May 19, 2022May 19, 2022
    • This repository contains code for a Jenkins adaptor for CogniCrypt which is based on warnings-ng-plugin https://github.com/jenkinsci/warnings-ng-plugin
      Java
      MIT License
      1051Updated Mar 21, 2022Mar 21, 2022
    • An opcua client scanning for servers in a network
      Java
      3800Updated Dec 16, 2021Dec 16, 2021
    • z3

      Public
      The Z3 Theorem Prover
      C++
      Other
      1.5k000Updated Oct 25, 2021Oct 25, 2021
    • cards

      Public
      Component-based Assumptions and Restrictions for Dataflow Specifications
      Java
      MIT License
      0100Updated Jul 29, 2021Jul 29, 2021
    • Jadx extended to ease documentation of taint flows
      Java
      Other
      1300Updated Jul 16, 2021Jul 16, 2021
    • tamiflex

      Public
      TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
      Java
      134282Updated May 15, 2021May 15, 2021