Skip to content
@stg-tud

Software Technology Group

Popular repositories Loading

  1. MUBench MUBench Public

    Python 56 30

  2. MUDetect MUDetect Public

    Java 25 9

  3. opal-backup opal-backup Public

    Scala 10 3

  4. apsa apsa Public

    Applied Static Analysis

    HTML 10 5

  5. CodeMatch-LibDetect CodeMatch-LibDetect Public

    Scala 8 9

  6. wasma wasma Public

    WasmA is a framework to create static analyses for WebAssembly binaries.

    Go 8

Repositories

Showing 10 of 97 repositories
  • ChorLean Public

    Repository for ChorLean library, intended for use in DAIMPL 24/25 project

    Lean 4 0 0 0 Updated Mar 7, 2025
  • ainf-compiling-with-arrays Public
    Lean 1 Apache-2.0 0 0 0 Updated Nov 5, 2024
  • daimpl-2024-DAIMBRIA Public
    Kotlin 0 MIT 0 0 0 Updated Sep 15, 2024
  • AXABenchmark Public

    Cross-Language Points-To Analysis Benchmark for Java-JS and Java-Native

    Java 2 BSD-2-Clause 0 1 0 Updated Aug 23, 2024
  • TAJS-xl Public Forked from cs-au-dk/TAJS

    Type Analyzer for JavaScript extended for cross-language analysis

    Java 0 Apache-2.0 42 0 0 Updated Aug 9, 2024
  • code-LLM-critical-evaluation Public

    Code for ACL 2024 paper: A Critical Study of What Code-LLMs (Do not) Learn

    Jupyter Notebook 5 MIT 0 0 0 Updated Jun 3, 2024
  • github-query-script Public Forked from anam-dodhy/github-query-script

    [@akwick] Code to retrieve data from GitHub of thesis: Benchmarking of API-misuse Detectors for Parametric Cryptographic API-misuses

    Python 1 MIT 2 0 0 Updated May 7, 2024
  • go-safer Public Forked from jlauinger/go-safer

    Go Vet-style linter to find incorrect uses of reflect.SliceHeader and reflect.StringHeader, and unsafe casts between structs with architecture-sized fields

    Go 1 MIT 4 0 0 Updated May 7, 2024
  • python-crypto-misuses-study-results Public

    Study results and scripts to obtain the results for our paper "Python Crypto Misuses in the Wild" [@akwick @gh0st42 @Breitfelder @miramezini]

    Shell 3 CC-BY-4.0 2 0 0 Updated May 7, 2024
  • LoRe Public

    verified local-first programming

    Scala 5 MPL-2.0 0 0 0 Updated Apr 30, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…