Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. - Pascal Fradet; Ronan Caugne; Daniel Le Métayer (ESOP, 1996)