Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.

Published in: LCTES (2006)

Keyphrases

database
multiscale
statistical analysis
real time
neural network
artificial intelligence
high level
wide range
data analysis
image analysis
digital images
low cost
static analysis