stg-tud/kave

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Created over 10 years ago
Updated over 7 years ago

stg-tud/kave

stg-tud

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

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

MUBench

MUDetect

opal-backup

apsa

Applied Static Analysis

CodeMatch-LibDetect

ungoml

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

StringHound

sedc

Content of the Lecture SED&C

type-pragmatics

licma

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

eise

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

tigerseyeplugin

The Tigerseye Plugin

wasma

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

LoRe

verified local-first programming

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

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]

candle

Comprehension Assessment for Newly Developed LanguagEs

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.

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.

dtnmqtt

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

parseq-notation

artifacts-proksch-pbn

cveenhance

ctbd

bp7eval

bp7 eval docker env

Jupyter Notebook

kave-java

This repository contains the Java parts of the KaVE Project.

tigerseyeplugin-releases

Official releases of the Eclipse TigersEye Plug-in

prisma

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