Skip to content
Snippets Groups Projects
Commit 2004fbc1 authored by Thibaut Benjamin's avatar Thibaut Benjamin
Browse files

[e-acsl] first review

parent 306c98f8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 151 additions and 143 deletions
src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c
+ 1
− 2
View file @ 2004fbc1
......@@ -58,8 +58,7 @@ uintptr_t get_safe_locations_start() {
}
uintptr_t get_safe_locations_end() {
memory_location *first_location = get_safe_location(0);
uintptr_t max = first_location->address;
uintptr_t max = get_safe_location(0)->address;
for (int i = 1; i < get_safe_locations_count(); i++) {
memory_location *location = get_safe_location(i);
if (max <= location->address)
......
src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
+ 10
− 1
View file @ 2004fbc1
......@@ -223,6 +223,16 @@ static void grow_bounds_for_size(uintptr_t *min_bound, uintptr_t *max_bound,
}
}
// We do not exactly know the bounds of the TLS, we can only guess an
// approximation. To do that, we take TLS's known addresses and add a buffer
// around them. Since the TLS in Linux is positionned around the heap, we can
// check if the approximation overlaps with heap space and adjust it
// accordingly. The heap spaces allocated for E-ACSL are of course application
// heap and rtl spaces, but also shadow memory spaces. We also add as a condition
// that the [safe_locations] should be in the TLS, by construction. It might
// happen that those addresses are separated by a more than half the size of
// our initial guess. If this is the case, we have to increase the size of
// our guess in order to fit both the TLS that we see and its shadow model.
static void init_tls_size() {
uintptr_t data = (uintptr_t)&id_tdata, bss = (uintptr_t)&id_tbss;
uintptr_t min_safe_loc = safe_locations_boundaries.start;
......@@ -247,7 +257,6 @@ uintptr_t get_tls_start(int main_thread) {
min_addr = min_addr < min_safe_loc ? min_addr : min_safe_loc;
max_addr = max_addr > max_safe_loc ? max_addr : max_safe_loc;
}
// We do not exactly know the bounds of the TLS, we can only guess an
// approximation. To do that, we take TLS's known addresses and add a buffer
// around them. Since the TLS in Linux is positionned around the heap, we can
......
src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h
+ 1
− 1
View file @ 2004fbc1
......@@ -120,7 +120,7 @@ size_t get_heap_size();
size_t get_tls_size();
/*! \brief Return start address of a program's TLS */
uintptr_t get_tls_start();
uintptr_t get_tls_start(int main_thread);
/** }}} */
/** Shadow Layout {{{ */
......
src/plugins/e-acsl/tests/concurrency/oracle_dev/threads_debug.e-acsl.err.log
+ 129
− 129
View file @ 2004fbc1
>>> HEAP ---------------------
Application: 128 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 128 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 16 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> STACK --------------------
Application: 16 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 16 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 16 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> GLOBAL -------------------
Application: xxxkB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxkB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxkB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> TLS ----------------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> VDSO ---------------------
Application: xxxkB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxkB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxkB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> --------------------------
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread stack -------------
Application: 19 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 19 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> Thread TLS ---------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
*** WARNING: Leakedxxxbytes of heap memory in 2 blocks
src/plugins/e-acsl/tests/concurrency/threads_debug.c
+ 1
− 1
View file @ 2004fbc1
......@@ -4,7 +4,7 @@
MACRO: ROOT_EACSL_GCC_OPTS_EXT --rt-debug --rt-verbose --concurrency
COMMENT: Filter the addresses of the output so that the test is deterministic.
MACRO: ROOT_EACSL_EXEC_FILTER sed -e s_0x[0-9a-f-]*_0x0000-0000-0000_g | sed -e s_Offset:\s[0-9-]*_Offset:xxxxx_g | sed -e s/[0-9]*\skB/xxxkB/g | sed -e s/Leaked.*bytes/Leakedxxxbytes/g | sed -e s/[0-9]*\sMB/xxMB/g
MACRO: ROOT_EACSL_EXEC_FILTER sed -e s_0x[0-9a-f-]*_0x0000-0000-0000_g | sed -e s_Offset:\s[0-9-]*_Offset:xxxxx_g | sed -e s/[0-9]*\skB/xxxkB/g | sed -e s/[0-9]*\sMB/xxxMB/g | sed -e s/Leaked.*bytes/Leakedxxxbytes/g
*/
// Include existing test
......
src/plugins/e-acsl/tests/special/oracle_dev/e-acsl-rt-debug.e-acsl.err.log
+ 9
− 9
View file @ 2004fbc1
>>> HEAP ---------------------
Application: 128 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 128 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 16 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> STACK --------------------
Application: 16 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 16 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 16 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> GLOBAL -------------------
Application: xxxkB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxkB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxxkB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> TLS ----------------------
Application: 3 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : 3 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Application: xxMB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
Secondary : xxMB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
>>> VDSO ---------------------
Application: xxxkB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : xxxkB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset:xxxxx }
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment