diff --git a/src/plugins/alias/tests/basic/assignment1.c b/src/plugins/alias/tests/basic/assignment1.c
index 9c5d3d3d9ebeb894bafaf370a3056aa10f772cc7..2851d98907fe53177b4139ba9868a78f6201cf74 100644
--- a/src/plugins/alias/tests/basic/assignment1.c
+++ b/src/plugins/alias/tests/basic/assignment1.c
@@ -1,6 +1,5 @@
// single pointer assignment
-// { a; b; c; d } are aliased
-// { *a; *b; *c; *d } are aliased
+// {a, b, c, d} are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/assignment2.c b/src/plugins/alias/tests/basic/assignment2.c
index 38f76970e36cbf393eb670855fb4999d08317f0a..ba0a8dc53e64428a841d94466d52a9f6cfda563a 100644
--- a/src/plugins/alias/tests/basic/assignment2.c
+++ b/src/plugins/alias/tests/basic/assignment2.c
@@ -1,7 +1,6 @@
// double pointer assignment
-// { *b; *d } are aliased
-// { a; c } are aliased
-// { b; d; *a; *d } are aliased
+// {a, c} are aliased
+// {*a, *c, b, d} are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/assignment3.c b/src/plugins/alias/tests/basic/assignment3.c
index 6556765963be347e5bf8ab49723f032895c985fb..203e93650c145bd0ee2a10cf547852a24551c02f 100644
--- a/src/plugins/alias/tests/basic/assignment3.c
+++ b/src/plugins/alias/tests/basic/assignment3.c
@@ -1,6 +1,5 @@
// address assignment
-// { a; c } are aliased
-// { *a; *c } are aliased
+// {a, c} are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/assignment4.c b/src/plugins/alias/tests/basic/assignment4.c
index 3ad85cacf833c95ce6958b65201bac4eed681285..136a763cb531aa5b7ac9db937a41a49d60ca5041 100644
--- a/src/plugins/alias/tests/basic/assignment4.c
+++ b/src/plugins/alias/tests/basic/assignment4.c
@@ -1,6 +1,6 @@
// double pointer assignment
-// { *b; *d } are aliased
-// { b; d; *a; *c } are aliased
+// {a, c} are aliased
+// {*a, *c, b, d} are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/assignment5.c b/src/plugins/alias/tests/basic/assignment5.c
index 4df3b55d6226f888dfc52b993f3f17a63394355b..03ccff7f6bf62d8eb127a9ff487c1b3bb0ecd6c4 100644
--- a/src/plugins/alias/tests/basic/assignment5.c
+++ b/src/plugins/alias/tests/basic/assignment5.c
@@ -1,7 +1,6 @@
// triple pointer assignment with some tricky alias
-// { *b; *d } are aliased
-// { b; d; *a; *c } are aliased
-
+// {*a, b} are aliased
+// {*(*a), *b, c, d} are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/cast1.c b/src/plugins/alias/tests/basic/cast1.c
index d72530eb4f3f2ed59c54c98ae79e15e3afe5c2fe..4a0713d879d9ae2d319aba0c359a3d8f8dedc102 100644
--- a/src/plugins/alias/tests/basic/cast1.c
+++ b/src/plugins/alias/tests/basic/cast1.c
@@ -1,8 +1,6 @@
// homogeneous cast
-// { a; c; } are aliased
-// { *a; *c; } are aliased
-// { b; d; } are aliased
-// { *b; *d; } are aliased
+// {a, c} are aliased
+// {b, d} are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/conditional1.c b/src/plugins/alias/tests/basic/conditional1.c
index 10faff476cfe284bc4d82daa29e5ca35a7369ff5..a668cd7d083a810096ccde023c6fa83985ad2105 100644
--- a/src/plugins/alias/tests/basic/conditional1.c
+++ b/src/plugins/alias/tests/basic/conditional1.c
@@ -1,6 +1,5 @@
// conditional cfg
-// { a; b; c } are aliased
-// { *a; *b; *c } are aliased
+// {a, b, c} are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/conditional2.c b/src/plugins/alias/tests/basic/conditional2.c
index 3f8307062180feb50137cd7461ebfb4aadd135a3..7243bebdbde9675572b75eaa0c134bd65bd65fe1 100644
--- a/src/plugins/alias/tests/basic/conditional2.c
+++ b/src/plugins/alias/tests/basic/conditional2.c
@@ -1,7 +1,7 @@
// conditional cfg
-// {d; *c; } are aliased
-// {a; b; } are aliased
-// {c; *a; *b; } are aliased
+// {*a, *b, c} are aliased
+// {*(*a), *(*b), *c, d} are aliased
+// {a, b} are aliased
int main () {
diff --git a/src/plugins/alias/tests/basic/function1.c b/src/plugins/alias/tests/basic/function1.c
index 9b22f4c7756dcd510baab3415060ae0f47116c31..63bc345a7f779fd9c10517e951607731a896436b 100644
--- a/src/plugins/alias/tests/basic/function1.c
+++ b/src/plugins/alias/tests/basic/function1.c
@@ -1,8 +1,6 @@
// function with no return
-// { a; b } are aliased
-// { *a; *b } are aliased
-// { c; d } are aliased
-// { *c; *d } are aliased
+// {a, b} are aliased
+// {c, d} are aliased
void swap(int *x, int* y) {
@@ -13,8 +11,6 @@ void swap(int *x, int* y) {
}
-
-
int main(void)
{
int *a=0, *b=0, *c=0, *d=0;
diff --git a/src/plugins/alias/tests/basic/function3.c b/src/plugins/alias/tests/basic/function3.c
index 25dcd272d5ac92a07eedcdf0523d76b120f657cd..2142dcd0adefbce2ee3397a11d0c13efbb286ae2 100644
--- a/src/plugins/alias/tests/basic/function3.c
+++ b/src/plugins/alias/tests/basic/function3.c
@@ -1,8 +1,6 @@
// function with a loop inside
-// { a; b } are aliased
-// { *a; *b } are aliased
-// { c; d } are aliased
-// { *c; *d } are aliased
+// {a, b} are aliased
+// {c, d} are aliased
void *f1(int *x, int* y)
{
diff --git a/src/plugins/alias/tests/basic/function4.c b/src/plugins/alias/tests/basic/function4.c
index 1dc6f9778ae07f10d2f89d1f0054a7570549f8b0..806b68cc3c364ead33143a0ad0a85e0cd9802a94 100644
--- a/src/plugins/alias/tests/basic/function4.c
+++ b/src/plugins/alias/tests/basic/function4.c
@@ -1,6 +1,5 @@
// funxtion with address agument
-// { a; b } are aliased
-// { *a; *b } are aliased
+// {a, b} are aliased
int * addr(int* x)
{
diff --git a/src/plugins/alias/tests/basic/function5.c b/src/plugins/alias/tests/basic/function5.c
index 29cb214dbfeaf7fed830deabb991fb759483369f..94247a286c146fc451f4f7107846146d9a43d995 100644
--- a/src/plugins/alias/tests/basic/function5.c
+++ b/src/plugins/alias/tests/basic/function5.c
@@ -1,6 +1,5 @@
// function with multiple returns
-// { a; b; c } are aliased
-// { *a; *b; *c } are aliased
+// {a, b, c} are aliased
int * choice(int* x, int* y)
diff --git a/src/plugins/alias/tests/basic/if_then1.c b/src/plugins/alias/tests/basic/if_then1.c
index 7e9adbf05e3f41241502b1cba69bd9261109ba25..e4a001171709dffe6b6461511c3a8fe60b99e475 100644
--- a/src/plugins/alias/tests/basic/if_then1.c
+++ b/src/plugins/alias/tests/basic/if_then1.c
@@ -1,3 +1,8 @@
+// another test for conditional
+// {*b, *c, a, y} are aliased
+// {b, c} are aliased
+
+
int main () {
int *a, **b, **c, *y, x, z, p;
a = &x;
diff --git a/src/plugins/alias/tests/basic/switch1.c b/src/plugins/alias/tests/basic/switch1.c
index 87fddf120ef96c3b3c9b5971749f9cfdcd95741d..c0b97a18180983bda26f3439f939f604cc58624d 100644
--- a/src/plugins/alias/tests/basic/switch1.c
+++ b/src/plugins/alias/tests/basic/switch1.c
@@ -1,6 +1,5 @@
-// control structure and arrays
-// { a; b; d } are aliased
-// { *a; *b; *d } are aliased
+// switch
+// {a, b, d} are aliased
int main ()
{
diff --git a/src/plugins/alias/tests/basic/switch2.c b/src/plugins/alias/tests/basic/switch2.c
index 419c5dfa5a73d759a0b9b3471653ecdeff0c465b..05d162bd67a0dd14fb8010af75281c989425e705 100644
--- a/src/plugins/alias/tests/basic/switch2.c
+++ b/src/plugins/alias/tests/basic/switch2.c
@@ -1,6 +1,5 @@
-// control structure and arrays
-// { a; b; c; d } are aliased
-// { *a; *b; *c; *d } are aliased
+// switch with default
+// {a, b, c, d} are aliased
int main ()
{
diff --git a/src/plugins/alias/tests/basic/while_for2.c b/src/plugins/alias/tests/basic/while_for2.c
index 8908b28ac622e8154f62af115e65588187279cff..f98677716b7e80a6f746b6e7033a61c4069b4c7f 100644
--- a/src/plugins/alias/tests/basic/while_for2.c
+++ b/src/plugins/alias/tests/basic/while_for2.c
@@ -1,6 +1,5 @@
// while loops with trivial conditions
-// { a; b } are aliased
-// { *a; *b } are aliased
+// {a, b} are aliased
int main ()
{
diff --git a/src/plugins/alias/tests/basic/while_for3.c b/src/plugins/alias/tests/basic/while_for3.c
index 8bbd9d968a4a4788e7b4235e81e64e1956a71aa1..e7ffb9f39523ca14abdc8ba00b84fd55699e195b 100644
--- a/src/plugins/alias/tests/basic/while_for3.c
+++ b/src/plugins/alias/tests/basic/while_for3.c
@@ -1,6 +1,5 @@
// continue
-// { a; b } are aliased
-// { *a; *b } are aliased
+// {a, b} are aliased
int main ()
{
diff --git a/src/plugins/alias/tests/offsets/array1.c b/src/plugins/alias/tests/offsets/array1.c
index 16ba79a28c39ca27d344f1dec7c8af91e5eb895f..34518455ecb6fae2be23331c1a9a3a1ba0251135 100644
--- a/src/plugins/alias/tests/offsets/array1.c
+++ b/src/plugins/alias/tests/offsets/array1.c
@@ -1,4 +1,5 @@
-
+// simple array
+// {x, y} are aliased
int main () {
int tab[4];
diff --git a/src/plugins/alias/tests/offsets/array2.c b/src/plugins/alias/tests/offsets/array2.c
index 668d4bcdfe51280938d0c09fbbf87c02966a2deb..f5c96b077b42fa304ac0a9dbf7f876f0a9210ade 100644
--- a/src/plugins/alias/tests/offsets/array2.c
+++ b/src/plugins/alias/tests/offsets/array2.c
@@ -1,4 +1,5 @@
// matrices
+// no alias
int main () {
int mat[4][4];
diff --git a/src/plugins/alias/tests/offsets/nested1.c b/src/plugins/alias/tests/offsets/nested1.c
index f142539d9fb3c46d1778e275a3f0e6ebcbe50358..06c14b9512b4ee4d15c4451f2d22382c2703f49c 100644
--- a/src/plugins/alias/tests/offsets/nested1.c
+++ b/src/plugins/alias/tests/offsets/nested1.c
@@ -1,3 +1,10 @@
+// nested structures and arrays
+// {z1->s, z2->s, tab_y[0]} are aliased
+// {t->t, z1} are aliased
+// {z1->c, t->d, a} are aliased
+// {z2->c, b} are aliased
+
+
#include <stdlib.h>
typedef struct
@@ -21,8 +28,6 @@ typedef struct
-
-
int main () {
st_1_t x1 = {0,1};
diff --git a/src/plugins/alias/tests/offsets/nested2.c b/src/plugins/alias/tests/offsets/nested2.c
index c108aada0f7155fa8150bd3e679fe25d8eff4c80..193bdd1adba16542da95e964e384c3651c373379 100644
--- a/src/plugins/alias/tests/offsets/nested2.c
+++ b/src/plugins/alias/tests/offsets/nested2.c
@@ -1,3 +1,8 @@
+// nested structures and arrays
+// {t->t, z1} are aliased
+// {z1->c, t->d, a} are aliased
+
+
#include <stdlib.h>
typedef struct
diff --git a/src/plugins/alias/tests/offsets/oracle/array3.res.oracle b/src/plugins/alias/tests/offsets/oracle/array3.res.oracle
index 551c50f4524c2c9c32b2062f918aaf5735eba33d..a4299c7ac1ee4a38bf3d5e31dcfacd95033068ec 100644
--- a/src/plugins/alias/tests/offsets/oracle/array3.res.oracle
+++ b/src/plugins/alias/tests/offsets/oracle/array3.res.oracle
@@ -1,144 +1,128 @@
[kernel] Parsing array3.c (with preprocessing)
-[kernel:typing:implicit-function-declaration] array3.c:6: Warning:
- Calling undeclared function malloc. Old style K&R code?
-[alias] analysing function: asprintf
-[alias] May-aliases at the end of function asprintf:
-[alias] analysing function: clearerr
-[alias] May-aliases at the end of function clearerr:
-[alias] analysing function: clearerr_unlocked
-[alias] May-aliases at the end of function clearerr_unlocked:
-[alias] analysing function: fclose
-[alias] May-aliases at the end of function fclose:
-[alias] analysing function: fdopen
-[alias] May-aliases at the end of function fdopen:
-[alias] analysing function: feof
-[alias] May-aliases at the end of function feof:
-[alias] analysing function: feof_unlocked
-[alias] May-aliases at the end of function feof_unlocked:
-[alias] analysing function: ferror
-[alias] May-aliases at the end of function ferror:
-[alias] analysing function: ferror_unlocked
-[alias] May-aliases at the end of function ferror_unlocked:
-[alias] analysing function: fflush
-[alias] May-aliases at the end of function fflush:
-[alias] analysing function: fgetc
-[alias] May-aliases at the end of function fgetc:
-[alias] analysing function: fgetpos
-[alias] May-aliases at the end of function fgetpos:
-[alias] analysing function: fgets
-[alias] May-aliases at the end of function fgets:
-[alias] analysing function: fileno
-[alias] May-aliases at the end of function fileno:
-[alias] analysing function: fileno_unlocked
-[alias] May-aliases at the end of function fileno_unlocked:
-[alias] analysing function: flockfile
-[alias] May-aliases at the end of function flockfile:
-[alias] analysing function: fmemopen
-[alias] May-aliases at the end of function fmemopen:
-[alias] analysing function: fopen
-[alias] May-aliases at the end of function fopen:
-[alias] analysing function: fputc
-[alias] May-aliases at the end of function fputc:
-[alias] analysing function: fputs
-[alias] May-aliases at the end of function fputs:
-[alias] analysing function: fread
-[alias] May-aliases at the end of function fread:
-[alias] analysing function: freopen
-[alias] May-aliases at the end of function freopen:
-[alias] analysing function: fseek
-[alias] May-aliases at the end of function fseek:
-[alias] analysing function: fseeko
-[alias] May-aliases at the end of function fseeko:
-[alias] analysing function: fsetpos
-[alias] May-aliases at the end of function fsetpos:
-[alias] analysing function: ftell
-[alias] May-aliases at the end of function ftell:
-[alias] analysing function: ftello
-[alias] May-aliases at the end of function ftello:
-[alias] analysing function: ftrylockfile
-[alias] May-aliases at the end of function ftrylockfile:
-[alias] analysing function: funlockfile
-[alias] May-aliases at the end of function funlockfile:
-[alias] analysing function: fwrite
-[alias] May-aliases at the end of function fwrite:
-[alias] analysing function: getc
-[alias] May-aliases at the end of function getc:
-[alias] analysing function: getc_unlocked
-[alias] May-aliases at the end of function getc_unlocked:
-[alias] analysing function: getchar
-[alias] May-aliases at the end of function getchar:
-[alias] analysing function: getchar_unlocked
-[alias] May-aliases at the end of function getchar_unlocked:
-[alias] analysing function: gets
-[alias] May-aliases at the end of function gets:
+[alias] analysing function: _Exit
+[alias] May-aliases at the end of function _Exit:
+[alias] analysing function: abort
+[alias] May-aliases at the end of function abort:
+[alias] analysing function: abs
+[alias] May-aliases at the end of function abs:
+[alias] analysing function: at_quick_exit
+[alias] May-aliases at the end of function at_quick_exit:
+[alias] analysing function: atexit
+[alias] May-aliases at the end of function atexit:
+[alias] analysing function: atof
+[alias] May-aliases at the end of function atof:
+[alias] analysing function: atoi
+[alias] May-aliases at the end of function atoi:
+[alias] analysing function: atol
+[alias] May-aliases at the end of function atol:
+[alias] analysing function: atoll
+[alias] May-aliases at the end of function atoll:
+[alias] analysing function: bsearch
+[alias] May-aliases at the end of function bsearch:
+[alias] analysing function: calloc
+[alias] May-aliases at the end of function calloc:
+[alias] analysing function: div
+[alias] May-aliases at the end of function div:
+[alias] analysing function: drand48
+[alias] May-aliases at the end of function drand48:
+[alias] analysing function: erand48
+[alias] May-aliases at the end of function erand48:
+[alias] analysing function: exit
+[alias] May-aliases at the end of function exit:
+[alias] analysing function: free
+[alias] May-aliases at the end of function free:
+[alias] analysing function: getenv
+[alias] May-aliases at the end of function getenv:
+[alias] analysing function: jrand48
+[alias] May-aliases at the end of function jrand48:
+[alias] analysing function: labs
+[alias] May-aliases at the end of function labs:
+[alias] analysing function: lcong48
+[alias] May-aliases at the end of function lcong48:
+[alias] analysing function: ldiv
+[alias] May-aliases at the end of function ldiv:
+[alias] analysing function: llabs
+[alias] May-aliases at the end of function llabs:
+[alias] analysing function: lldiv
+[alias] May-aliases at the end of function lldiv:
+[alias] analysing function: lrand48
+[alias] May-aliases at the end of function lrand48:
[alias] analysing function: main
-[alias] analysing instruction: tmp = malloc((unsigned long)4 * sizeof(int));
+[alias] analysing instruction: int *x = malloc((unsigned long)4 * sizeof(int));
[alias] May-aliases at the end of instruction:
-[alias] analysing instruction: int *x = (int *)tmp;
+[alias] analysing instruction: int *y = malloc((unsigned long)4 * sizeof(int));
[alias] May-aliases at the end of instruction:
- {x, tmp} are aliased
-[alias] analysing instruction: tmp_0 = malloc((unsigned long)4 * sizeof(int));
-[alias] May-aliases at the end of instruction:
- {x, tmp} are aliased
-[alias] analysing instruction: int *y = (int *)tmp_0;
-[alias] May-aliases at the end of instruction:
- {x, tmp} are aliased
- {y, tmp_0} are aliased
[alias] analysing instruction: x = mat[0];
[alias] May-aliases at the end of instruction:
- {x, tmp} are aliased
- {y, tmp_0} are aliased
[alias] analysing instruction: y = mat[1];
[alias] May-aliases at the end of instruction:
- {x, tmp, y, tmp_0} are aliased
+ {x, y} are aliased
[alias] analysing instruction: __retres = 0;
[alias] May-aliases at the end of instruction:
- {x, tmp, y, tmp_0} are aliased
+ {x, y} are aliased
[alias] May-aliases at the end of function main:
- {x, tmp, y, tmp_0} are aliased
+ {x, y} are aliased
[alias] analysing function: malloc
[alias] May-aliases at the end of function malloc:
-[alias] analysing function: pclose
-[alias] May-aliases at the end of function pclose:
-[alias] analysing function: perror
-[alias] May-aliases at the end of function perror:
-[alias] analysing function: popen
-[alias] May-aliases at the end of function popen:
-[alias] analysing function: putc
-[alias] May-aliases at the end of function putc:
-[alias] analysing function: putc_unlocked
-[alias] May-aliases at the end of function putc_unlocked:
-[alias] analysing function: putchar
-[alias] May-aliases at the end of function putchar:
-[alias] analysing function: putchar_unlocked
-[alias] May-aliases at the end of function putchar_unlocked:
-[alias] analysing function: puts
-[alias] May-aliases at the end of function puts:
-[alias] analysing function: remove
-[alias] May-aliases at the end of function remove:
-[alias] analysing function: rename
-[alias] May-aliases at the end of function rename:
-[alias] analysing function: rewind
-[alias] May-aliases at the end of function rewind:
-[alias] analysing function: setbuf
-[alias] May-aliases at the end of function setbuf:
-[alias] analysing function: setvbuf
-[alias] May-aliases at the end of function setvbuf:
-[alias] analysing function: tmpfile
-[alias] May-aliases at the end of function tmpfile:
-[alias] analysing function: tmpnam
-[alias] May-aliases at the end of function tmpnam:
-[alias] analysing function: ungetc
-[alias] May-aliases at the end of function ungetc:
-[alias] analysing function: vfprintf
-[alias] May-aliases at the end of function vfprintf:
-[alias] analysing function: vfscanf
-[alias] May-aliases at the end of function vfscanf:
-[alias] analysing function: vprintf
-[alias] May-aliases at the end of function vprintf:
-[alias] analysing function: vscanf
-[alias] May-aliases at the end of function vscanf:
-[alias] analysing function: vsnprintf
-[alias] May-aliases at the end of function vsnprintf:
-[alias] analysing function: vsprintf
-[alias] May-aliases at the end of function vsprintf:
+[alias] analysing function: mblen
+[alias] May-aliases at the end of function mblen:
+[alias] analysing function: mbstowcs
+[alias] May-aliases at the end of function mbstowcs:
+[alias] analysing function: mbtowc
+[alias] May-aliases at the end of function mbtowc:
+[alias] analysing function: mkstemp
+[alias] May-aliases at the end of function mkstemp:
+[alias] analysing function: mkstemps
+[alias] May-aliases at the end of function mkstemps:
+[alias] analysing function: mrand48
+[alias] May-aliases at the end of function mrand48:
+[alias] analysing function: nrand48
+[alias] May-aliases at the end of function nrand48:
+[alias] analysing function: posix_memalign
+[alias] May-aliases at the end of function posix_memalign:
+[alias] analysing function: putenv
+[alias] May-aliases at the end of function putenv:
+[alias] analysing function: qsort
+[alias] May-aliases at the end of function qsort:
+[alias] analysing function: quick_exit
+[alias] May-aliases at the end of function quick_exit:
+[alias] analysing function: rand
+[alias] May-aliases at the end of function rand:
+[alias] analysing function: random
+[alias] May-aliases at the end of function random:
+[alias] analysing function: realloc
+[alias] May-aliases at the end of function realloc:
+[alias] analysing function: reallocarray
+[alias] May-aliases at the end of function reallocarray:
+[alias] analysing function: seed48
+[alias] May-aliases at the end of function seed48:
+[alias] analysing function: setenv
+[alias] May-aliases at the end of function setenv:
+[alias] analysing function: srand
+[alias] May-aliases at the end of function srand:
+[alias] analysing function: srand48
+[alias] May-aliases at the end of function srand48:
+[alias] analysing function: srandom
+[alias] May-aliases at the end of function srandom:
+[alias] analysing function: strtod
+[alias] May-aliases at the end of function strtod:
+[alias] analysing function: strtof
+[alias] May-aliases at the end of function strtof:
+[alias] analysing function: strtol
+[alias] May-aliases at the end of function strtol:
+[alias] analysing function: strtold
+[alias] May-aliases at the end of function strtold:
+[alias] analysing function: strtoll
+[alias] May-aliases at the end of function strtoll:
+[alias] analysing function: strtoul
+[alias] May-aliases at the end of function strtoul:
+[alias] analysing function: strtoull
+[alias] May-aliases at the end of function strtoull:
+[alias] analysing function: system
+[alias] May-aliases at the end of function system:
+[alias] analysing function: unsetenv
+[alias] May-aliases at the end of function unsetenv:
+[alias] analysing function: wcstombs
+[alias] May-aliases at the end of function wcstombs:
+[alias] analysing function: wctomb
+[alias] May-aliases at the end of function wctomb:
diff --git a/src/plugins/alias/tests/offsets/structure1.c b/src/plugins/alias/tests/offsets/structure1.c
index d18d5bd600366b3dabe52ed0f8f0a6c4dd9a0d7d..95cf272878359073767764d7340b0546eb21f65c 100644
--- a/src/plugins/alias/tests/offsets/structure1.c
+++ b/src/plugins/alias/tests/offsets/structure1.c
@@ -1,4 +1,6 @@
-/* no alias */
+// simple structure
+// {p_x, p_y} are aliased
+
typedef struct
{
diff --git a/src/plugins/alias/tests/offsets/structure2.c b/src/plugins/alias/tests/offsets/structure2.c
index 0f135a2f48345a50d80c1fd1bb1e872be758f968..92ff3a41783f5e35b94622b1ebe1553946938e7a 100644
--- a/src/plugins/alias/tests/offsets/structure2.c
+++ b/src/plugins/alias/tests/offsets/structure2.c
@@ -1,4 +1,5 @@
-
+// structure with initialisation and pointer
+// no alias
typedef struct
{
diff --git a/src/plugins/alias/tests/offsets/structure3.c b/src/plugins/alias/tests/offsets/structure3.c
index ba23405ed6926845ae7e9826adc368ea86921519..9582ccd3f86dfe6b9b186213836c29aee37a600f 100644
--- a/src/plugins/alias/tests/offsets/structure3.c
+++ b/src/plugins/alias/tests/offsets/structure3.c
@@ -1,4 +1,5 @@
-
+// double structure with initialisation and pointer
+// no alias
typedef struct
{
diff --git a/src/plugins/alias/tests/offsets/structure4.c b/src/plugins/alias/tests/offsets/structure4.c
index 68903054a741241fa73fdd8f32e806f420fb5340..c33bce757fec2a73fa1a55d075081c9955fa14a7 100644
--- a/src/plugins/alias/tests/offsets/structure4.c
+++ b/src/plugins/alias/tests/offsets/structure4.c
@@ -1,3 +1,6 @@
+// structure with malloc
+// {z->s, y1} are aliased
+
#include <stdlib.h>
typedef struct
diff --git a/src/plugins/alias/tests/real_world/example1.c b/src/plugins/alias/tests/real_world/example1.c
index f0bc2690f5403a3c49a3198259688dcf3f41beaa..a3709a6736725db096563ff80de05329276ef3aa 100644
--- a/src/plugins/alias/tests/real_world/example1.c
+++ b/src/plugins/alias/tests/real_world/example1.c
@@ -1,3 +1,10 @@
+// real world example
+// {a->t1[0], b->t1[0]} are aliased
+// {a->t2[0], b->t2[0]} are aliased
+// {a->n1, b->n1} are aliased
+// {a->n2, b->n2} are aliased
+
+
#include <stdlib.h>
#include <math.h>