Skip to content

@stg-tud Software Technology Group

Change the repository type filter

All

    Repositories list

    97 repositories

    • ChorLean

      Public
      Repository for ChorLean library, intended for use in DAIMPL 24/25 project
      Lean
      •0•3•0•0•Updated Dec 16, 2024Dec 16, 2024

    • ainf-compiling-with-arrays

      Public
      Lean
      •
      Apache License 2.0
      •0•1•0•0•Updated Nov 5, 2024Nov 5, 2024

    • daimpl-2024-DAIMBRIA

      Public
      Kotlin
      •
      MIT License
      •0•0•0•0•Updated Sep 15, 2024Sep 15, 2024

    • AXABenchmark

      Public
      Cross-Language Points-To Analysis Benchmark for Java-JS and Java-Native
      Java
      •
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Aug 23, 2024Aug 23, 2024

    • TAJS-xl

      Public
      Type Analyzer for JavaScript extended for cross-language analysis
      Java
      •
      Apache License 2.0
      •40•0•0•0•Updated Aug 9, 2024Aug 9, 2024

    • code-LLM-critical-evaluation

      Public
      Code for ACL 2024 paper: A Critical Study of What Code-LLMs (Do not) Learn
      Jupyter Notebook
      •
      MIT License
      •0•5•0•0•Updated Jun 3, 2024Jun 3, 2024

    • github-query-script

      Public
      [@akwick] Code to retrieve data from GitHub of thesis: Benchmarking of API-misuse Detectors for Parametric Cryptographic API-misuses
      Python
      •
      MIT License
      •2•1•0•0•Updated May 7, 2024May 7, 2024

    • go-safer

      Public
      Go Vet-style linter to find incorrect uses of reflect.SliceHeader and reflect.StringHeader, and unsafe casts between structs with architecture-sized fields
      Go
      •
      MIT License
      •4•1•0•0•Updated May 7, 2024May 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
      •
      Creative Commons Attribution 4.0 International
      •2•3•0•0•Updated May 7, 2024May 7, 2024

    • LoRe

      Public
      verified local-first programming
      Scala
      •
      Mozilla Public License 2.0
      •0•5•0•0•Updated Apr 30, 2024Apr 30, 2024

    • bp2022_netlab

      Public
      The repository provides software that creates configuration files for the BonnMotion, CORE, coreemu-lab and The ONE programmes from a single TOML file.
      Go
      •
      MIT License
      •0•0•10•1•Updated Mar 13, 2024Mar 13, 2024

    • CodeRL

      Public
      This is the official code for the paper CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning (NeurIPS22).
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •61•0•0•0•Updated Feb 1, 2024Feb 1, 2024

    • MUBench

      Public
      Python
      •
      Other
      •30•55•46•6•Updated Dec 8, 2023Dec 8, 2023

    • thesis-2022-regev-code

      Public
      Java
      •
      Other
      •0•0•0•0•Updated Oct 10, 2023Oct 10, 2023

    • aicodecompletionbenchmark

      Public
      Python
      •0•0•0•0•Updated Jul 30, 2023Jul 30, 2023

    • pi4

      Public
      OCaml
      •
      Apache License 2.0
      •4•2•0•1•Updated Jul 18, 2023Jul 18, 2023

    • parseq-notation

      Public
      Scala
      •
      Apache License 2.0
      •0•1•0•0•Updated Jul 14, 2023Jul 14, 2023

    • ungoml

      Public
      [@akwick, @Cortys, @gh0st42, @huellermeier, and @miramezini] Tool (UNGOML) for the publication UNGOML: Automated Classification of unsafe Usages in Go
      Python
      •
      MIT License
      •0•8•0•0•Updated Jun 1, 2023Jun 1, 2023

    • unsafe_go_study_results

      Public
      Data set and replication scripts for our paper "Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild" [@jlauinger @gh0st42 @akwick @miramezini]
      gogolangdatasetunsafe-code
      Jupyter Notebook
      •3•0•0•0•Updated Feb 23, 2023Feb 23, 2023

    • prisma

      Public
      A tierless language for enforcing protocols in decentralized applications in Scala. [@drcicero]
      Scala
      •
      Apache License 2.0
      •0•1•0•0•Updated Jan 31, 2023Jan 31, 2023

    • wasma

      Public
      WasmA is a framework to create static analyses for WebAssembly binaries.
      Go
      •
      MIT License
      •0•6•0•1•Updated Jan 13, 2023Jan 13, 2023

    • wwc_public

      Public
      Webcrawler
      Python
      •
      MIT License
      •0•0•0•0•Updated Nov 26, 2022Nov 26, 2022

    • dep-classes-smt

      Public
      Scala
      •0•0•0•0•Updated Sep 7, 2022Sep 7, 2022

    • dtn-dwd

      Public
      Proof-of-Concept demonstrator for distributing DWD warnings via dtn
      HTML
      •1•0•0•0•Updated Jul 29, 2022Jul 29, 2022

    • wasp

      Public
      WebAssembly module decoder in C++
      C++
      •
      Apache License 2.0
      •16•0•0•0•Updated Apr 27, 2022Apr 27, 2022

    • wassail

      Public
      wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.
      WebAssembly
      •
      Other
      •8•0•0•0•Updated Apr 27, 2022Apr 27, 2022

    • daimpl_ws21_e-dtn7_schmidt

      Public
      Rust
      •
      Other
      •0•0•0•0•Updated Mar 22, 2022Mar 22, 2022

    • thesis-2021-stricker-differentiable

      Public
      Supervisor: [@drcicero]. Differentiable Programming Thesis
      TeX
      •
      Apache License 2.0
      •0•0•4•0•Updated Mar 21, 2022Mar 21, 2022

    • the-onetwo

      Public
      The Opportunistic Network Environment simulator
      Java
      •
      Other
      •199•0•0•0•Updated Mar 21, 2022Mar 21, 2022

    • googletest

      Public
      GoogleTest - Google Testing and Mocking Framework
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •10k•0•0•0•Updated Mar 11, 2022Mar 11, 2022