
Effects of Precise and Imprecise Value-Set Analysis (VSA) Information on Manual Code Analysis
Author(s) -
Laura E. Matzen,
Michelle Leger,
Geoffrey Reedy
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.14722/bar.2021.23002
Subject(s) - computer science , set (abstract data type) , code (set theory) , value (mathematics) , programming language , machine learning