Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

stg-tud

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
@stg-tud

Software Technology Group

Popular repositoriesLoading

  1. MUBenchMUBenchPublic

    Python 56 30

  2. MUDetectMUDetectPublic

    Java 25 9

  3. opal-backupopal-backupPublic

    Scala 10 3

  4. apsaapsaPublic

    Applied Static Analysis

    HTML 10 5

  5. CodeMatch-LibDetectCodeMatch-LibDetectPublic

    Scala 8 9

  6. wasmawasmaPublic

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

    Go 8

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
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 40 0 0 UpdatedMar 7, 2025
  • stg-tud/ainf-compiling-with-arrays’s past year of commit activity
    Lean 1Apache-2.00 0 0 UpdatedNov 5, 2024
  • stg-tud/daimpl-2024-DAIMBRIA’s past year of commit activity
    Kotlin0MIT0 0 0 UpdatedSep 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 2BSD-2-Clause0 1 0 UpdatedAug 23, 2024
  • TAJS-xl Public Forked fromcs-au-dk/TAJS

    Type Analyzer for JavaScript extended for cross-language analysis

    stg-tud/TAJS-xl’s past year of commit activity
    Java0Apache-2.0 42 0 0 UpdatedAug 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 5MIT0 0 0 UpdatedJun 3, 2024
  • github-query-script Public Forked fromanam-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 1MIT 2 0 0 UpdatedMay 7, 2024
  • go-safer Public Forked fromjlauinger/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 1MIT 4 0 0 UpdatedMay 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 3CC-BY-4.0 2 0 0 UpdatedMay 7, 2024
  • LoRe Public

    verified local-first programming

    stg-tud/LoRe’s past year of commit activity
    Scala 5MPL-2.00 0 0 UpdatedApr 30, 2024

Top languages

Loading…

Most used topics

Loading…

[8]ページ先頭
©2009-2025 Movatter.jp