Path-Sensitive Value-Flow Analysis.

Rastislav Bodík Sadun Anik

Published in: POPL (1998)

Keyphrases

flow analysis
information flow
forensic analysis
shortest path
data sets
web services
path selection
case study
artificial neural networks
minimum cost