Discover stg-tud/bp2022_netlab Open Source project

Stars
1
Language
Go
License
MIT License
Created about 2 years ago
Updated over 1 year ago

stg-tud

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

MUBench

Python

MUDetect

Java

opal-backup

Scala

apsa

Applied Static Analysis

HTML

CodeMatch-LibDetect

Scala

ungoml

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

Python

StringHound

Java

sedc

Content of the Lecture SED&C

HTML

type-pragmatics

Scala

licma

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

Java

kave

Repository of the "KaVE" Project (Software Campus, S. Proksch)

eise

Slides (in German) for the lecture: "Introduction to Software Engineering"/Folien zur Vorlesung "Einführung in Software Engineering"

tigerseyeplugin

The Tigerseye Plugin

Java

wasma

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

LoRe

verified local-first programming

Scala

code-LLM-critical-evaluation

Code for ACL 2024 paper: A Critical Study of What Code-LLMs (Do not) Learn

Jupyter Notebook

tigerseyeplugin-examples

Example Language Projects for the Tigerseye Plugin

Java

tigerseyeplugin-examples-languagetestbench

The Language Testbench for the Tigerseye Plugin

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]

Shell

candle

Comprehension Assessment for Newly Developed LanguagEs

Java

tigerseye

Tigerseye is an extensible language embedding in Groovy based on the reflective embedding architecture (REA). REA embeds languages into reflective host languages, as Tigerseye exemplifies for Groovy. A reflective language is a special programming language with support for reflection that enables programs to reason about their structure and behavior. Specifically, there is support for introspection that allows analyzing programs, and support for intercession that allows transforming programs. Using reflection helps overcoming current limitations of language embedding, since it enables evolution of embedded languages by analyzing and transforming the language embedding itself.

Groovy

dtnmqtt

MQTT to DTN/Bundle Protocol 7 Proxy using dtn7-rs

Rust

parseq-notation

Scala

artifacts-proksch-pbn

cveenhance

ctbd

bp7eval

kave-java

This repository contains the Java parts of the KaVE Project.

Java

tigerseyeplugin-releases

Official releases of the Eclipse TigersEye Plug-in

prisma

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

Scala

stg-tud/bp2022_netlab

stg-tud

Reviews

Repository Details

More Repositories