ValBench: Benchmarking Exact Value Analysis

Explore a conference talk presenting ValBench, an extensible value benchmark suite for evaluating and comparing value analysis approaches in static program analysis. Learn about the challenges in assessing value analysis tools and discover how ValBench addresses these issues with 372 test cases for Java analysis and 59 for Android analysis tools. Understand the evaluation framework that automatically generates ground truth, identifies analysis challenges, and orchestrates tool execution. Gain insights from an empirical overview of 7 existing value analysis tools tested on ValBench, highlighting the current state of the art and challenges in the field. Presented by Marc Miltenberger and Steven Arzt from Fraunhofer SIT and ATHENE at the SOAP 2024 conference, this 18-minute talk offers valuable information for researchers and practitioners in program analysis and software engineering.

[SOAP24] ValBench: Benchmarking exact value analysis