GoSonar: Detecting Logical Vulnerabilities in Memory Safe Language Using Inductive Constraint Reasoning
Published in 46th IEEE Symposium on Security and Privacy, 2025
Inductive constraint reasoning is proposed to evaluate nontermination in Go programs, revealing five new vulnerabilities in the Go standard library.
Recommended citation: M. S. Anwar, C. Yagemann and Z. Lin, "GoSonar: Detecting Logical Vulnerabilities in Memory Safe Language Using Inductive Constraint Reasoning," in 2025 IEEE Symposium on Security and Privacy (SP), San Francisco, CA, USA, 2025, pp. 43-43, doi: 10.1109/SP61157.2025.00043.
Download Paper | View on GitHub | View on Docker Hub