Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes.

Steven Arzt Eric Bodden

Published in: ICSE (2014)

Keyphrases

data flow
control flow
database machine
symbolic execution
data transfer
incremental learning
digital signal processing
object oriented software
systolic array
computer programs
object oriented
incremental update
business processes
formal semantics
incremental updating