A progress bar for static analyzers*

Woosuk Lee, Hakjoo Oh, Kwangkeun Yi

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)

Abstract

We present a technique for devising a progress indicator of static analyzers. Progress indicator is a useful user interface that shows how close a static analysis has progressed so far to its completion. Because static analysis’ progress depends on the semantic complexity, not on the code size, of the target software, devising an accurate progressindicator is not obvious. Our technique first combines a semantic-based pre-analysis and a statistical method to approximate how a main analysis progresses in terms of lattice height of the abstract domain. Then, we use this information during the main analysis and estimate the analysis’ current progress. We apply the technique to three existing analyses (interval, octagon, and pointer analyses) for C and show the technique estimates the actual analysis progress for various benchmarks.

Original languageEnglish
Pages (from-to)184-200
Number of pages17
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8723
DOIs
Publication statusPublished - 2014
Externally publishedYes

Bibliographical note

Funding Information:
This work was supported by the Engineering Research Center of Excellence Program of Korea Ministry of Science, ICT & Future Planning(MSIP) / National Research Foundation of Korea(NRF) (Grant NRF-2008-0062609).

Publisher Copyright:
© Springer International Publishing Switzerland 2014.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'A progress bar for static analyzers*'. Together they form a unique fingerprint.

Cite this