diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-07-19 12:11:37 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-07-19 12:11:37 +0200 |
commit | 78f1b6a57c95ecc68c104d4764fc8d5851d7dd54 (patch) | |
tree | 0c39dadd44f196baa0835ba525e7fb4246ebee3d /test/spass/hash.c | |
parent | 2932b531ceff2cd4573714aeaeb9b4e537d36af8 (diff) | |
download | compcert-78f1b6a57c95ecc68c104d4764fc8d5851d7dd54.tar.gz compcert-78f1b6a57c95ecc68c104d4764fc8d5851d7dd54.zip |
Value analysis: keep track of pointer values that leak through small integers with Uns or Sgn abstract values.
This is a follow-up to commit 2932b53. It adds provenance tracking to the Uns and Sgn abstract values.
Diffstat (limited to 'test/spass/hash.c')
0 files changed, 0 insertions, 0 deletions