Completeness Thresholds for Memory Safety of Array Traversing Programs.

Tobias Reinhard Justus Fasse Bart Jacobs

Published in: SOAP@PLDI (2023)

Keyphrases

random access memory
memory usage
low memory
memory requirements
computer programs
memory space
computing power
limited memory
coal mining
linear array
main memory
control flow
computational power
external memory
threshold values
provably correct
adaptive threshold
data quality