Software Technology Group

MUBench

ungoml

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

StringHound

licma

LICMA: Language Independent Crypto-misuse Analysis with a Java and Python analysis component

LoRe

verified local-first programming

python-crypto-misuses-study-results

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

wasma

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

github-query-script

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

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

parseq-notation

prisma

A tierless language for enforcing protocols in decentralized applications in Scala. [@drcicero]

bp2022_netlab

The repository provides software that creates configuration files for the BonnMotion, CORE, coreemu-lab and The ONE programmes from a single TOML file.

pi4

reactive-framework-benchmarks

comparisons between mutliple reactive frameworks

thesis-2021-stricker-differentiable

Supervisor: [@drcicero]. Differentiable Programming Thesis

thesis-2022-regev-code

abseil-cpp

Abseil Common Libraries (C++)

aicodecompletionbenchmark

CodeRL

This is the official code for the paper CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning (NeurIPS22).

daimpl_ws21_e-dtn7_schmidt

dep-classes-smt

dtn-dwd

Proof-of-Concept demonstrator for distributing DWD warnings via dtn

googletest

GoogleTest - Google Testing and Mocking Framework

miner-ray.github.io

This repo contains the data and tools from the accompanying "MinerRay: Semantics-Aware Analysis for Ever-EvolvingCryptojacking Detection"ASE 2020 submission

testsuite

Mirror of the spec testsuite

the-onetwo

The Opportunistic Network Environment simulator

unsafe_go_study_results

Data set and replication scripts for our paper "Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild" [@jlauinger @gh0st42 @akwick @miramezini]

wasp

WebAssembly module decoder in C++

wassail

wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.

wwc_public

Webcrawler