Runtime detection of temporal memory errors - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly
Journal Articles Lecture Notes in Computer Science Year : 2017

Runtime detection of temporal memory errors


State-of-the-art memory debuggers have become efficient in detecting spatial memory errors – dereference of pointers to unallocated memory. These tools, however, cannot always detect errors arising from the use of stale pointers to valid memory (temporal memory errors). This paper presents an approach to reliable detection of temporal memory errors during a run of a program. This technique tracks allocated memory tagging allocated objects and pointers with tokens that allow to reason about their temporal properties. The technique further checks pointer dereferences and detects temporal (and spatial) memory errors before they occur. The present approach has been implemented in E-ACSL – a runtime verification tool for C programs. Experimentation with E-ACSL using TempLIST benchmark comprising small C programs seeded with temporal errors shows that the suggested technique detects temporal memory errors missed by state-of-the-art memory debuggers. Further experiments with computationally intensive runs of programs from SPEC CPU indicate that the overheads of the proposed approach are within acceptable range to be used during testing or debugging.
Not file

Dates and versions

cea-01808783 , version 1 (06-06-2018)



K. Vorobyov, N. Kosmatov, J. Signoles, A. Jakobsson. Runtime detection of temporal memory errors. Lecture Notes in Computer Science, 2017, 10548 LNCS, pp.294-311. ⟨10.1007/978-3-319-67531-2_18⟩. ⟨cea-01808783⟩
44 View
0 Download



Gmail Facebook Twitter LinkedIn More