Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
plugins
e-acsl
misc.mli
Find file
Blame
History
Permalink
Detect illegal accesses to allocated memory.
· 6cb5d379
Kostyantyn Vorobyov
authored
Feb 09, 2017
\valid(p+i) now additionally checks whether p and p+i point to the same block
6cb5d379