Survey of array out of bound access checkers for C code.

Bharti Chimdyalwar

Published in: ISEC (2012)

Keyphrases

lower bound
source code
upper bound
fully functional
worst case
data collection
programmable logic
data model
high speed
access control
literature review
static analysis
windows xp