Data Loss Prevention - Detect source code leaks with Data Loss Prevention

LLMs Detect Vulnerabilities by Recognizing Safe Code Patterns, Not Vulnerable Ones, Study Finds

This research paper uses mechanistic interpretability to analyze how LLMs (specifically Gemma-2-2b) detect software vulnerabilities in C/C++

Slopo: An embedding-based CLI tool for detecting non-exact code duplication across modules

Slopo is a lightweight CLI tool that detects non-exact code duplication using embedding models. Unlike traditional tools that catch exact co

Dynamic Borrow-Checking in a Toy Programming Language: Implementing Rust-like Memory Safety Without Static Types

This article presents a demonstration of a toy programming language that implements borrow-checking without static type-checking. The langua

Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development [pdf]

BPE Tokenization Creates Exploitable Safety Gaps in LLM Alignment, Study Finds

This research paper identifies a structural vulnerability in LLM safety alignment caused by BPE tokenization. When safety-critical words are

Comparative Analysis: Ada, SPARK, and Rust vs C/C++ for High-Integrity Embedded Systems

This article from AdaCore provides a comparative analysis of programming languages for high-integrity embedded systems development, focusing