/souper-cgo20-artifact

"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.

Primary LanguageCApache License 2.0Apache-2.0

Stargazers