Marple: a demand-driven path-sensitive buffer overflow detector.

Wei Le Mary Lou Soffa

Published in: SIGSOFT FSE (2008)

Keyphrases

demand driven
buffer overflow
shortest path
data corruption
resource allocation
response time
detection algorithm
load balance
security problems