Lists (5)
Sort Name ascending (A-Z)
Stars
A master thesis on the topic of Cross-Language Dependency Analysis for VSCode Extension Ecosystem at Chalmers University of Technology
A tool for Container Debloating that removes bloat and improves performance.
MulVAL interaction rules and their mapping to MITRE ATT&CK Techniques
A tool to automatically build a dependency graph and Software Bill of Materials (SBOM) for packages and arbitrary source code repositories.
Material for CDL2024 Masterclass: "Mastering Graph Neural Networks: From Fundamentals to Applications"
Neural Code Intelligence Survey 2024; Reading lists and resources
DepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization
Open source vulnerability DB and triage service.
This repository holds the Dependency Graph Mining Framework (DGMF). DGMF offers fast, comparable depedency graph generation for multiple repositories.
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In Proceedings of The 46th IEEE/ACM International Conference on …
Dataset and resources for evaluating software debloating tools.
Interactive LLM Chatbot that constructs direct and transitive software dependencies as a knowledge graph and answers user's questions leveraging RAG and critic-agent approach
A Framework for Measuring and Analyzing Machine Learning Deployment Bloat.
Verifying safety of interactions between IoT apps
A LLVM-based static analysis framework.
Repository of the DevOps course at KTH Royal Institute of Technology DD2482
A deep learning model for localizing bugs in C/C++ source code (USENIX'23)
A list aggregating notable LLM Agent projects
ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker
Mohannadcse / Malware
Forked from RPISEC/MalwareCourse materials for Malware Analysis by RPISEC