BASICS: Binary Analysis and Stack Integrity Checker System for Buffer Overflow Mitigation

Name: BASICS: Binary Analysis and Stack Integrity Checker System for Buffer Overflow Mitigation
Uploaded: 2026-10-06T20:42:05.765123+00:00
Duration: 332 s
Description: BASICS is a system that automatically finds and fixes stack buffer overflow vulnerabilities in C programs by combining model checking with concolic execution and binary patching. It builds a memory state space from the program's code to verify security properties using Linear Temporal Logic, then uses validated patches to repair identified overflows.

BASICS is a system that automatically finds and fixes stack buffer overflow vulnerabilities in C programs by combining model checking with concolic execution and binary patching. It builds a memory state space from the program's code to verify security properties using Linear Temporal Logic, then uses validated patches to repair identified overflows.

Open the full episode