Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.

Pascal Fradet Ronan Caugne Daniel Le Métayer

Published in: ESOP (1996)

Keyphrases

times faster
experimental evaluation
detection algorithm
image sequences
search space
dynamic programming
high accuracy
detection method
improved algorithm
detection scheme