Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
d4c7bcc7
Commit
d4c7bcc7
authored
Nov 13, 2020
by
Basile Desloges
Browse files
[eacsl] Fix testing of heap initialization
parent
5f45028b
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
View file @
d4c7bcc7
...
...
@@ -895,7 +895,7 @@ int heap_initialized(uintptr_t addr, long len) {
unsigned
char
mask
=
0
;
setbits64_skip
(
set
,
mask
,
skip
);
if
(
*
shadow
!=
mask
)
if
(
(
*
shadow
&
mask
)
!=
mask
)
return
0
;
}
if
(
len
>
0
)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment