Eventually Sound Points-To Analysis with Missing Code.

Osbert Bastani Lazaro Clapp Saswat Anand Rahul Sharma Alex Aiken

Published in: CoRR (2017)

Keyphrases

feature selection
image analysis
database
artificial intelligence
social networks
image sequences
multiscale
d objects
quantitative analysis
endpoints