Mohannadcse

DepsRAG

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

IoTCOM

Verifying safety of interactions between IoT apps

LMCAS

AlloySpecRepair

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications

DINA

A hybrid analysis tool for detecting vulnerable inter-app communication between Android Apps

LMCAS_LLVM_Debloating_Passes

Contains llvm passes for debloating and profiling

autoMPI

Automatic annotation for Provenance analysis

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

debloating

DebloatingTestSuite

A suite of built executables for use in testing and measuring debloating tools

devops-course

Repository of the DevOps course at KTH Royal Institute of Technology DD2482

DevOpsCourse

dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

is593-2020-spring

jitana

A graph-based static-dynamic hybrid DEX code analysis tool

KG-LLM-Papers

[Paper List] Papers integrating knowledge graphs (KGs) and large language models (LLMs)

LMCAS_Demo

LMCAS_Partial_interpreter

Files for the debloating paper

log4jpwn_demo

log4j rce test environment and poc

Malware-1

IoT Security Reading List

mlops-course

A project-based course on the foundations of MLOps to responsibly develop, deploy and maintain ML.

mohannad-personal-profile

Normalizer-authorship

pdg

Source for program dependency graph

scored23_release

simple_cov_badge

UsefulCommandsForMe

Useful Commands

vscode-dep-ext-analysis

A master thesis on the topic of Cross-Language Dependency Analysis for VSCode Extension Ecosystem at Chalmers University of Technology

wyvern

LazyEval

youtubeToMP3