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

No ratings

Presented at IEEE S&P 2025 by

Carter Yagemann

Zhiqiang Lin

Md Anwar

github.comwww.computer.org

This entry could use some 💚... Consider signing-up and making an edit request to fix this!