SMT Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

Name: SMT Based Refutation of Spurious Bug Reports in the Clang Static Analyzer
Uploaded: 2019-01-01
Duration: 24 min 52 s
Description: SMT Based Refutation of Spurious Bug Reports in the Clang Static Analyzer — a 2019 FOSDEM 2019 security conference talk on vuln-research (24:52 min). Watch the full video, indexed free on the Breach Arc Archive.

FOSDEM 2019 · 2019 · 24:52

▶

SMT Based Refutation of Spurious Bug Reports in the Clang Static Analyzer — a 2019 FOSDEM 2019 security conference talk on vuln-research (24:52 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

vuln-research

← Back to the Breach Arc Archive