Software Technology Group
- 12 followers
- Technische Universität Darmstadt, Germany
- http://www.stg.tu-darmstadt.de
Popular repositories Loading
Repositories
Showing 10 of 96 repositories
- ainf-compiling-with-arrays Public
stg-tud/ainf-compiling-with-arrays’s past year of commit activity - daimpl-2024-DAIMBRIA Public
stg-tud/daimpl-2024-DAIMBRIA’s past year of commit activity - 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 - 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 - 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-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 - 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.
stg-tud/bp2022_netlab’s past year of commit activity