GoSonar: Detecting Logical Vulnerabilities in Memory Safe Language Using Inductive Constraint Reasoning

Name: GoSonar: Detecting Logical Vulnerabilities in Memory Safe Language Using Inductive Constraint Reasoning
Duration: 15 min
Description: Talk from IEEE Symposium on Security and Privacy 2025.

Md Sakib Anwar, Carter Yagemann, Zhiqiang LinThe Ohio State

IEEE Symposium on Security and Privacy 2025 · Day 1 · Memory Safety