Field-Sensitive Value Analysis of Embedded C Programs with Union Types and Pointer Arithmetics

Published in: CoRR (2007)

Keyphrases

lower bound
quantitative analysis
automatic analysis
databases
digital libraries
information technology
database
data sets
machine learning
computer vision
website
image analysis
special case