A sound abstract memory model for static analysis of C programs.

Published in: Int. J. Comput. Sci. Eng. (2018)

Keyphrases

static analysis
probabilistic model
high level
real world
training data
mathematical model
neural network
knowledge base
error rate
security model
abstract interpretation