There are no reviews yet. Be the first to send feedback to the community and the maintainers!
MUBench
MUDetect
opal-backup
apsa
Applied Static AnalysisCodeMatch-LibDetect
ungoml
[@akwick, @Cortys, @gh0st42, @huellermeier, and @miramezini] Tool (UNGOML) for the publication UNGOML: Automated Classification of unsafe Usages in GoStringHound
sedc
Content of the Lecture SED&Ctype-pragmatics
licma
LICMA: Language Independent Crypto-misuse Analysis with a Java and Python analysis componentkave
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 Pluginwasma
WasmA is a framework to create static analyses for WebAssembly binaries.LoRe
verified local-first programmingcode-LLM-critical-evaluation
Code for ACL 2024 paper: A Critical Study of What Code-LLMs (Do not) Learntigerseyeplugin-examples
Example Language Projects for the Tigerseye Plugintigerseyeplugin-examples-languagetestbench
The Language Testbench for the Tigerseye Pluginpython-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 LanguagEsbp2022_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-rsparseq-notation
artifacts-proksch-pbn
cveenhance
ctbd
bp7eval
bp7 eval docker envkave-java
This repository contains the Java parts of the KaVE Project.tigerseyeplugin-releases
Official releases of the Eclipse TigersEye Plug-inprisma
A tierless language for enforcing protocols in decentralized applications in Scala. [@drcicero]Love Open Source and this site? Check out how you can help us