Skip to content
@stg-tud

Software Technology Group

Popular repositories Loading

  1. MUBench MUBench Public

    Python 55 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. ungoml ungoml Public

    [@akwick, @Cortys, @gh0st42, @huellermeier, and @miramezini] Tool (UNGOML) for the publication UNGOML: Automated Classification of unsafe Usages in Go

    Python 8

Repositories

Showing 10 of 97 repositories
  • ChorLean Public

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

    stg-tud/ChorLean’s past year of commit activity
    Lean 0 0 0 0 Updated Nov 28, 2024
  • ainf-compiling-with-arrays Public
    stg-tud/ainf-compiling-with-arrays’s past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Nov 5, 2024
  • daimpl-2024-DAIMBRIA Public
    stg-tud/daimpl-2024-DAIMBRIA’s past year of commit activity
    Kotlin 0 MIT 0 0 0 Updated Sep 15, 2024
  • AXABenchmark Public

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

    stg-tud/AXABenchmark’s past year of commit activity
    Java 0 BSD-2-Clause 0 0 0 Updated Aug 23, 2024
  • TAJS-xl Public Forked from cs-au-dk/TAJS

    Type Analyzer for JavaScript extended for cross-language analysis

    stg-tud/TAJS-xl’s past year of commit activity
    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

    stg-tud/code-LLM-critical-evaluation’s past year of commit activity
    Jupyter Notebook 4 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

    stg-tud/github-query-script’s past year of commit activity
    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

    stg-tud/go-safer’s past year of commit activity
    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]

    stg-tud/python-crypto-misuses-study-results’s past year of commit activity
    Shell 3 CC-BY-4.0 1 0 0 Updated May 7, 2024
  • LoRe Public

    verified local-first programming

    stg-tud/LoRe’s past year of commit activity
    Scala 4 MPL-2.0 0 0 0 Updated Apr 30, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…