stg-tud/ungoml stg-tud/ungoml

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Python
  • License
    MIT License
  • Created about 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
stg-tud/ungoml
github

stg-tud

Reviews

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

Repository Details

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

More Repositories

1

MUBench

Python
53
star
2

MUDetect

Java
25
star
3

opal-backup

Scala
10
star
4

apsa

Applied Static Analysis
HTML
9
star
5

CodeMatch-LibDetect

Scala
8
star
6

StringHound

Java
7
star
7

sedc

Content of the Lecture SED&C
HTML
6
star
8

type-pragmatics

Scala
6
star
9

licma

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

kave

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

eise

Slides (in German) for the lecture: "Introduction to Software Engineering"/Folien zur Vorlesung "Einfรผhrung in Software Engineering"
4
star
12

tigerseyeplugin

The Tigerseye Plugin
Java
4
star
13

wasma

WasmA is a framework to create static analyses for WebAssembly binaries.
Go
4
star
14

LoRe

verified local-first programming
Scala
4
star
15

code-LLM-critical-evaluation

Code for ACL 2024 paper: A Critical Study of What Code-LLMs (Do not) Learn
Jupyter Notebook
4
star
16

tigerseyeplugin-examples

Example Language Projects for the Tigerseye Plugin
Java
4
star
17

tigerseyeplugin-examples-languagetestbench

The Language Testbench for the Tigerseye Plugin
3
star
18

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
3
star
19

candle

Comprehension Assessment for Newly Developed LanguagEs
Java
2
star
20

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
2
star
21

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.
Go
1
star
22

dtnmqtt

MQTT to DTN/Bundle Protocol 7 Proxy using dtn7-rs
Rust
1
star
23

parseq-notation

Scala
1
star
24

artifacts-proksch-pbn

Java
1
star
25

cveenhance

Java
1
star
26

ctbd

Ruby
1
star
27

bp7eval

bp7 eval docker env
Jupyter Notebook
1
star
28

kave-java

This repository contains the Java parts of the KaVE Project.
Java
1
star
29

tigerseyeplugin-releases

Official releases of the Eclipse TigersEye Plug-in
1
star
30

prisma

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