From c24b7df1766f5666572b82849bbc5203a65e99b7 Mon Sep 17 00:00:00 2001
From: Jan Rochel <jan.rochel@cea.fr>
Date: Mon, 26 Feb 2024 17:44:17 +0100
Subject: [PATCH] [alias] be less verbose for unanalysed functions
---
src/plugins/alias/src/analysis.ml | 16 +-
.../tests/basic/oracle/function2.res.oracle | 224 --------
.../tests/basic/oracle/while_for1.res.oracle | 224 --------
.../tests/offsets/oracle/array3.res.oracle | 224 --------
.../tests/offsets/oracle/nested1.res.oracle | 224 --------
.../tests/offsets/oracle/nested2.res.oracle | 224 --------
.../offsets/oracle/structure4.res.oracle | 224 --------
.../offsets/oracle/structure5.res.oracle | 224 --------
.../real_world/oracle/example1.res.oracle | 512 ------------------
.../real_world/oracle/example2.res.oracle | 512 ------------------
.../real_world/oracle/function1_v2.res.oracle | 224 --------
11 files changed, 9 insertions(+), 2823 deletions(-)
diff --git a/src/plugins/alias/src/analysis.ml b/src/plugins/alias/src/analysis.ml
index 148dabcd63c..f416639864f 100644
--- a/src/plugins/alias/src/analysis.ml
+++ b/src/plugins/alias/src/analysis.ml
@@ -209,9 +209,9 @@ let do_stmt (a: Abstract_state.t) (s:stmt) : Abstract_state.t =
| _ -> a
let analyse_function (kf:kernel_function) =
- Options.feedback ~level:2 "analysing function: %a" Kernel_function.pretty kf;
if Kernel_function.has_definition kf then
begin
+ Options.feedback ~level:2 "analysing function: %a" Kernel_function.pretty kf;
let first_stmt =
try Kernel_function.find_first_stmt kf
with Kernel_function.No_Statement -> assert false
@@ -235,12 +235,14 @@ let analyse_function (kf:kernel_function) =
let doFunction (kf:kernel_function) =
let final_state = analyse_function kf in
let level = if Kernel_function.is_main kf then 1 else 2 in
- Options.feedback ~level "@[May-aliases at the end of function %a:@ @[%a@]"
- Kernel_function.pretty kf
- (pp_abstract_state_opt ~debug:false) final_state;
- Options.debug ~level "May-alias graph at the end of function %a:@;<4>@[%a@]"
- Kernel_function.pretty kf
- (pp_abstract_state_opt ~debug:true) final_state;
+ final_state |> Option.iter (fun s ->
+ Options.feedback ~level "@[May-aliases at the end of function %a:@ @[%a@]"
+ Kernel_function.pretty kf
+ (Abstract_state.pretty ~debug:false) s;
+ Options.debug ~level "May-alias graph at the end of function %a:@;<4>@[%a@]"
+ Kernel_function.pretty kf
+ (Abstract_state.pretty ~debug:true)s;
+ );
let result =
match final_state with
(* final state is None if kf has no definition *)
diff --git a/src/plugins/alias/tests/basic/oracle/function2.res.oracle b/src/plugins/alias/tests/basic/oracle/function2.res.oracle
index bf75d622971..8a156f682a6 100644
--- a/src/plugins/alias/tests/basic/oracle/function2.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/function2.res.oracle
@@ -1,100 +1,4 @@
[kernel] Parsing function2.c (with preprocessing)
-[alias] analysing function: _Exit
-[alias] May-aliases at the end of function _Exit: ⊥
-[alias] May-alias graph at the end of function _Exit:
- ⊥
-[alias] analysing function: abort
-[alias] May-aliases at the end of function abort: ⊥
-[alias] May-alias graph at the end of function abort:
- ⊥
-[alias] analysing function: abs
-[alias] May-aliases at the end of function abs: ⊥
-[alias] May-alias graph at the end of function abs:
- ⊥
-[alias] analysing function: at_quick_exit
-[alias] May-aliases at the end of function at_quick_exit: ⊥
-[alias] May-alias graph at the end of function at_quick_exit:
- ⊥
-[alias] analysing function: atexit
-[alias] May-aliases at the end of function atexit: ⊥
-[alias] May-alias graph at the end of function atexit:
- ⊥
-[alias] analysing function: atof
-[alias] May-aliases at the end of function atof: ⊥
-[alias] May-alias graph at the end of function atof:
- ⊥
-[alias] analysing function: atoi
-[alias] May-aliases at the end of function atoi: ⊥
-[alias] May-alias graph at the end of function atoi:
- ⊥
-[alias] analysing function: atol
-[alias] May-aliases at the end of function atol: ⊥
-[alias] May-alias graph at the end of function atol:
- ⊥
-[alias] analysing function: atoll
-[alias] May-aliases at the end of function atoll: ⊥
-[alias] May-alias graph at the end of function atoll:
- ⊥
-[alias] analysing function: bsearch
-[alias] May-aliases at the end of function bsearch: ⊥
-[alias] May-alias graph at the end of function bsearch:
- ⊥
-[alias] analysing function: calloc
-[alias] May-aliases at the end of function calloc: ⊥
-[alias] May-alias graph at the end of function calloc:
- ⊥
-[alias] analysing function: div
-[alias] May-aliases at the end of function div: ⊥
-[alias] May-alias graph at the end of function div:
- ⊥
-[alias] analysing function: drand48
-[alias] May-aliases at the end of function drand48: ⊥
-[alias] May-alias graph at the end of function drand48:
- ⊥
-[alias] analysing function: erand48
-[alias] May-aliases at the end of function erand48: ⊥
-[alias] May-alias graph at the end of function erand48:
- ⊥
-[alias] analysing function: exit
-[alias] May-aliases at the end of function exit: ⊥
-[alias] May-alias graph at the end of function exit:
- ⊥
-[alias] analysing function: free
-[alias] May-aliases at the end of function free: ⊥
-[alias] May-alias graph at the end of function free:
- ⊥
-[alias] analysing function: getenv
-[alias] May-aliases at the end of function getenv: ⊥
-[alias] May-alias graph at the end of function getenv:
- ⊥
-[alias] analysing function: jrand48
-[alias] May-aliases at the end of function jrand48: ⊥
-[alias] May-alias graph at the end of function jrand48:
- ⊥
-[alias] analysing function: labs
-[alias] May-aliases at the end of function labs: ⊥
-[alias] May-alias graph at the end of function labs:
- ⊥
-[alias] analysing function: lcong48
-[alias] May-aliases at the end of function lcong48: ⊥
-[alias] May-alias graph at the end of function lcong48:
- ⊥
-[alias] analysing function: ldiv
-[alias] May-aliases at the end of function ldiv: ⊥
-[alias] May-alias graph at the end of function ldiv:
- ⊥
-[alias] analysing function: llabs
-[alias] May-aliases at the end of function llabs: ⊥
-[alias] May-alias graph at the end of function llabs:
- ⊥
-[alias] analysing function: lldiv
-[alias] May-aliases at the end of function lldiv: ⊥
-[alias] May-alias graph at the end of function lldiv:
- ⊥
-[alias] analysing function: lrand48
-[alias] May-aliases at the end of function lrand48: ⊥
-[alias] May-alias graph at the end of function lrand48:
- ⊥
[alias] analysing function: main
[alias] analysing instruction: int *a = (int *)0;
[alias] May-aliases after instruction int *a = (int *)0; are <none>
@@ -133,34 +37,6 @@
4:{ a } → 3:{ } 8:{ b } → 7:{ }
[alias] Summary of function main:
formals: locals: a b __retres returns: __retres state: <none>
-[alias] analysing function: malloc
-[alias] May-aliases at the end of function malloc: ⊥
-[alias] May-alias graph at the end of function malloc:
- ⊥
-[alias] analysing function: mblen
-[alias] May-aliases at the end of function mblen: ⊥
-[alias] May-alias graph at the end of function mblen:
- ⊥
-[alias] analysing function: mbstowcs
-[alias] May-aliases at the end of function mbstowcs: ⊥
-[alias] May-alias graph at the end of function mbstowcs:
- ⊥
-[alias] analysing function: mbtowc
-[alias] May-aliases at the end of function mbtowc: ⊥
-[alias] May-alias graph at the end of function mbtowc:
- ⊥
-[alias] analysing function: mkstemp
-[alias] May-aliases at the end of function mkstemp: ⊥
-[alias] May-alias graph at the end of function mkstemp:
- ⊥
-[alias] analysing function: mkstemps
-[alias] May-aliases at the end of function mkstemps: ⊥
-[alias] May-alias graph at the end of function mkstemps:
- ⊥
-[alias] analysing function: mrand48
-[alias] May-aliases at the end of function mrand48: ⊥
-[alias] May-alias graph at the end of function mrand48:
- ⊥
[alias] analysing function: my_malloc
[alias] analysing instruction: int *res = (int *)0;
[alias] May-aliases after instruction int *res = (int *)0; are <none>
@@ -170,104 +46,4 @@
0:{ res } → 1:{ }
[alias] Summary of function my_malloc:
formals: size locals: res returns: res state: <none>
-[alias] analysing function: nrand48
-[alias] May-aliases at the end of function nrand48: ⊥
-[alias] May-alias graph at the end of function nrand48:
- ⊥
-[alias] analysing function: posix_memalign
-[alias] May-aliases at the end of function posix_memalign: ⊥
-[alias] May-alias graph at the end of function posix_memalign:
- ⊥
-[alias] analysing function: putenv
-[alias] May-aliases at the end of function putenv: ⊥
-[alias] May-alias graph at the end of function putenv:
- ⊥
-[alias] analysing function: qsort
-[alias] May-aliases at the end of function qsort: ⊥
-[alias] May-alias graph at the end of function qsort:
- ⊥
-[alias] analysing function: quick_exit
-[alias] May-aliases at the end of function quick_exit: ⊥
-[alias] May-alias graph at the end of function quick_exit:
- ⊥
-[alias] analysing function: rand
-[alias] May-aliases at the end of function rand: ⊥
-[alias] May-alias graph at the end of function rand:
- ⊥
-[alias] analysing function: random
-[alias] May-aliases at the end of function random: ⊥
-[alias] May-alias graph at the end of function random:
- ⊥
-[alias] analysing function: realloc
-[alias] May-aliases at the end of function realloc: ⊥
-[alias] May-alias graph at the end of function realloc:
- ⊥
-[alias] analysing function: reallocarray
-[alias] May-aliases at the end of function reallocarray: ⊥
-[alias] May-alias graph at the end of function reallocarray:
- ⊥
-[alias] analysing function: seed48
-[alias] May-aliases at the end of function seed48: ⊥
-[alias] May-alias graph at the end of function seed48:
- ⊥
-[alias] analysing function: setenv
-[alias] May-aliases at the end of function setenv: ⊥
-[alias] May-alias graph at the end of function setenv:
- ⊥
-[alias] analysing function: srand
-[alias] May-aliases at the end of function srand: ⊥
-[alias] May-alias graph at the end of function srand:
- ⊥
-[alias] analysing function: srand48
-[alias] May-aliases at the end of function srand48: ⊥
-[alias] May-alias graph at the end of function srand48:
- ⊥
-[alias] analysing function: srandom
-[alias] May-aliases at the end of function srandom: ⊥
-[alias] May-alias graph at the end of function srandom:
- ⊥
-[alias] analysing function: strtod
-[alias] May-aliases at the end of function strtod: ⊥
-[alias] May-alias graph at the end of function strtod:
- ⊥
-[alias] analysing function: strtof
-[alias] May-aliases at the end of function strtof: ⊥
-[alias] May-alias graph at the end of function strtof:
- ⊥
-[alias] analysing function: strtol
-[alias] May-aliases at the end of function strtol: ⊥
-[alias] May-alias graph at the end of function strtol:
- ⊥
-[alias] analysing function: strtold
-[alias] May-aliases at the end of function strtold: ⊥
-[alias] May-alias graph at the end of function strtold:
- ⊥
-[alias] analysing function: strtoll
-[alias] May-aliases at the end of function strtoll: ⊥
-[alias] May-alias graph at the end of function strtoll:
- ⊥
-[alias] analysing function: strtoul
-[alias] May-aliases at the end of function strtoul: ⊥
-[alias] May-alias graph at the end of function strtoul:
- ⊥
-[alias] analysing function: strtoull
-[alias] May-aliases at the end of function strtoull: ⊥
-[alias] May-alias graph at the end of function strtoull:
- ⊥
-[alias] analysing function: system
-[alias] May-aliases at the end of function system: ⊥
-[alias] May-alias graph at the end of function system:
- ⊥
-[alias] analysing function: unsetenv
-[alias] May-aliases at the end of function unsetenv: ⊥
-[alias] May-alias graph at the end of function unsetenv:
- ⊥
-[alias] analysing function: wcstombs
-[alias] May-aliases at the end of function wcstombs: ⊥
-[alias] May-alias graph at the end of function wcstombs:
- ⊥
-[alias] analysing function: wctomb
-[alias] May-aliases at the end of function wctomb: ⊥
-[alias] May-alias graph at the end of function wctomb:
- ⊥
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/basic/oracle/while_for1.res.oracle b/src/plugins/alias/tests/basic/oracle/while_for1.res.oracle
index b79b50e7195..c389176d8e7 100644
--- a/src/plugins/alias/tests/basic/oracle/while_for1.res.oracle
+++ b/src/plugins/alias/tests/basic/oracle/while_for1.res.oracle
@@ -1,100 +1,4 @@
[kernel] Parsing while_for1.c (with preprocessing)
-[alias] analysing function: _Exit
-[alias] May-aliases at the end of function _Exit: ⊥
-[alias] May-alias graph at the end of function _Exit:
- ⊥
-[alias] analysing function: abort
-[alias] May-aliases at the end of function abort: ⊥
-[alias] May-alias graph at the end of function abort:
- ⊥
-[alias] analysing function: abs
-[alias] May-aliases at the end of function abs: ⊥
-[alias] May-alias graph at the end of function abs:
- ⊥
-[alias] analysing function: at_quick_exit
-[alias] May-aliases at the end of function at_quick_exit: ⊥
-[alias] May-alias graph at the end of function at_quick_exit:
- ⊥
-[alias] analysing function: atexit
-[alias] May-aliases at the end of function atexit: ⊥
-[alias] May-alias graph at the end of function atexit:
- ⊥
-[alias] analysing function: atof
-[alias] May-aliases at the end of function atof: ⊥
-[alias] May-alias graph at the end of function atof:
- ⊥
-[alias] analysing function: atoi
-[alias] May-aliases at the end of function atoi: ⊥
-[alias] May-alias graph at the end of function atoi:
- ⊥
-[alias] analysing function: atol
-[alias] May-aliases at the end of function atol: ⊥
-[alias] May-alias graph at the end of function atol:
- ⊥
-[alias] analysing function: atoll
-[alias] May-aliases at the end of function atoll: ⊥
-[alias] May-alias graph at the end of function atoll:
- ⊥
-[alias] analysing function: bsearch
-[alias] May-aliases at the end of function bsearch: ⊥
-[alias] May-alias graph at the end of function bsearch:
- ⊥
-[alias] analysing function: calloc
-[alias] May-aliases at the end of function calloc: ⊥
-[alias] May-alias graph at the end of function calloc:
- ⊥
-[alias] analysing function: div
-[alias] May-aliases at the end of function div: ⊥
-[alias] May-alias graph at the end of function div:
- ⊥
-[alias] analysing function: drand48
-[alias] May-aliases at the end of function drand48: ⊥
-[alias] May-alias graph at the end of function drand48:
- ⊥
-[alias] analysing function: erand48
-[alias] May-aliases at the end of function erand48: ⊥
-[alias] May-alias graph at the end of function erand48:
- ⊥
-[alias] analysing function: exit
-[alias] May-aliases at the end of function exit: ⊥
-[alias] May-alias graph at the end of function exit:
- ⊥
-[alias] analysing function: free
-[alias] May-aliases at the end of function free: ⊥
-[alias] May-alias graph at the end of function free:
- ⊥
-[alias] analysing function: getenv
-[alias] May-aliases at the end of function getenv: ⊥
-[alias] May-alias graph at the end of function getenv:
- ⊥
-[alias] analysing function: jrand48
-[alias] May-aliases at the end of function jrand48: ⊥
-[alias] May-alias graph at the end of function jrand48:
- ⊥
-[alias] analysing function: labs
-[alias] May-aliases at the end of function labs: ⊥
-[alias] May-alias graph at the end of function labs:
- ⊥
-[alias] analysing function: lcong48
-[alias] May-aliases at the end of function lcong48: ⊥
-[alias] May-alias graph at the end of function lcong48:
- ⊥
-[alias] analysing function: ldiv
-[alias] May-aliases at the end of function ldiv: ⊥
-[alias] May-alias graph at the end of function ldiv:
- ⊥
-[alias] analysing function: llabs
-[alias] May-aliases at the end of function llabs: ⊥
-[alias] May-alias graph at the end of function llabs:
- ⊥
-[alias] analysing function: lldiv
-[alias] May-aliases at the end of function lldiv: ⊥
-[alias] May-alias graph at the end of function lldiv:
- ⊥
-[alias] analysing function: lrand48
-[alias] May-aliases at the end of function lrand48: ⊥
-[alias] May-alias graph at the end of function lrand48:
- ⊥
[alias] analysing function: main
[alias] analysing instruction: int *s = (int *)0;
[alias] May-aliases after instruction int *s = (int *)0; are <none>
@@ -121,132 +25,4 @@
0:{ s } → 1:{ }
[alias] Summary of function main:
formals: locals: s idx __retres returns: __retres state: <none>
-[alias] analysing function: malloc
-[alias] May-aliases at the end of function malloc: ⊥
-[alias] May-alias graph at the end of function malloc:
- ⊥
-[alias] analysing function: mblen
-[alias] May-aliases at the end of function mblen: ⊥
-[alias] May-alias graph at the end of function mblen:
- ⊥
-[alias] analysing function: mbstowcs
-[alias] May-aliases at the end of function mbstowcs: ⊥
-[alias] May-alias graph at the end of function mbstowcs:
- ⊥
-[alias] analysing function: mbtowc
-[alias] May-aliases at the end of function mbtowc: ⊥
-[alias] May-alias graph at the end of function mbtowc:
- ⊥
-[alias] analysing function: mkstemp
-[alias] May-aliases at the end of function mkstemp: ⊥
-[alias] May-alias graph at the end of function mkstemp:
- ⊥
-[alias] analysing function: mkstemps
-[alias] May-aliases at the end of function mkstemps: ⊥
-[alias] May-alias graph at the end of function mkstemps:
- ⊥
-[alias] analysing function: mrand48
-[alias] May-aliases at the end of function mrand48: ⊥
-[alias] May-alias graph at the end of function mrand48:
- ⊥
-[alias] analysing function: nrand48
-[alias] May-aliases at the end of function nrand48: ⊥
-[alias] May-alias graph at the end of function nrand48:
- ⊥
-[alias] analysing function: posix_memalign
-[alias] May-aliases at the end of function posix_memalign: ⊥
-[alias] May-alias graph at the end of function posix_memalign:
- ⊥
-[alias] analysing function: putenv
-[alias] May-aliases at the end of function putenv: ⊥
-[alias] May-alias graph at the end of function putenv:
- ⊥
-[alias] analysing function: qsort
-[alias] May-aliases at the end of function qsort: ⊥
-[alias] May-alias graph at the end of function qsort:
- ⊥
-[alias] analysing function: quick_exit
-[alias] May-aliases at the end of function quick_exit: ⊥
-[alias] May-alias graph at the end of function quick_exit:
- ⊥
-[alias] analysing function: rand
-[alias] May-aliases at the end of function rand: ⊥
-[alias] May-alias graph at the end of function rand:
- ⊥
-[alias] analysing function: random
-[alias] May-aliases at the end of function random: ⊥
-[alias] May-alias graph at the end of function random:
- ⊥
-[alias] analysing function: realloc
-[alias] May-aliases at the end of function realloc: ⊥
-[alias] May-alias graph at the end of function realloc:
- ⊥
-[alias] analysing function: reallocarray
-[alias] May-aliases at the end of function reallocarray: ⊥
-[alias] May-alias graph at the end of function reallocarray:
- ⊥
-[alias] analysing function: seed48
-[alias] May-aliases at the end of function seed48: ⊥
-[alias] May-alias graph at the end of function seed48:
- ⊥
-[alias] analysing function: setenv
-[alias] May-aliases at the end of function setenv: ⊥
-[alias] May-alias graph at the end of function setenv:
- ⊥
-[alias] analysing function: srand
-[alias] May-aliases at the end of function srand: ⊥
-[alias] May-alias graph at the end of function srand:
- ⊥
-[alias] analysing function: srand48
-[alias] May-aliases at the end of function srand48: ⊥
-[alias] May-alias graph at the end of function srand48:
- ⊥
-[alias] analysing function: srandom
-[alias] May-aliases at the end of function srandom: ⊥
-[alias] May-alias graph at the end of function srandom:
- ⊥
-[alias] analysing function: strtod
-[alias] May-aliases at the end of function strtod: ⊥
-[alias] May-alias graph at the end of function strtod:
- ⊥
-[alias] analysing function: strtof
-[alias] May-aliases at the end of function strtof: ⊥
-[alias] May-alias graph at the end of function strtof:
- ⊥
-[alias] analysing function: strtol
-[alias] May-aliases at the end of function strtol: ⊥
-[alias] May-alias graph at the end of function strtol:
- ⊥
-[alias] analysing function: strtold
-[alias] May-aliases at the end of function strtold: ⊥
-[alias] May-alias graph at the end of function strtold:
- ⊥
-[alias] analysing function: strtoll
-[alias] May-aliases at the end of function strtoll: ⊥
-[alias] May-alias graph at the end of function strtoll:
- ⊥
-[alias] analysing function: strtoul
-[alias] May-aliases at the end of function strtoul: ⊥
-[alias] May-alias graph at the end of function strtoul:
- ⊥
-[alias] analysing function: strtoull
-[alias] May-aliases at the end of function strtoull: ⊥
-[alias] May-alias graph at the end of function strtoull:
- ⊥
-[alias] analysing function: system
-[alias] May-aliases at the end of function system: ⊥
-[alias] May-alias graph at the end of function system:
- ⊥
-[alias] analysing function: unsetenv
-[alias] May-aliases at the end of function unsetenv: ⊥
-[alias] May-alias graph at the end of function unsetenv:
- ⊥
-[alias] analysing function: wcstombs
-[alias] May-aliases at the end of function wcstombs: ⊥
-[alias] May-alias graph at the end of function wcstombs:
- ⊥
-[alias] analysing function: wctomb
-[alias] May-aliases at the end of function wctomb: ⊥
-[alias] May-alias graph at the end of function wctomb:
- ⊥
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/offsets/oracle/array3.res.oracle b/src/plugins/alias/tests/offsets/oracle/array3.res.oracle
index 151198ba598..91e72cbb2e6 100644
--- a/src/plugins/alias/tests/offsets/oracle/array3.res.oracle
+++ b/src/plugins/alias/tests/offsets/oracle/array3.res.oracle
@@ -1,100 +1,4 @@
[kernel] Parsing array3.c (with preprocessing)
-[alias] analysing function: _Exit
-[alias] May-aliases at the end of function _Exit: ⊥
-[alias] May-alias graph at the end of function _Exit:
- ⊥
-[alias] analysing function: abort
-[alias] May-aliases at the end of function abort: ⊥
-[alias] May-alias graph at the end of function abort:
- ⊥
-[alias] analysing function: abs
-[alias] May-aliases at the end of function abs: ⊥
-[alias] May-alias graph at the end of function abs:
- ⊥
-[alias] analysing function: at_quick_exit
-[alias] May-aliases at the end of function at_quick_exit: ⊥
-[alias] May-alias graph at the end of function at_quick_exit:
- ⊥
-[alias] analysing function: atexit
-[alias] May-aliases at the end of function atexit: ⊥
-[alias] May-alias graph at the end of function atexit:
- ⊥
-[alias] analysing function: atof
-[alias] May-aliases at the end of function atof: ⊥
-[alias] May-alias graph at the end of function atof:
- ⊥
-[alias] analysing function: atoi
-[alias] May-aliases at the end of function atoi: ⊥
-[alias] May-alias graph at the end of function atoi:
- ⊥
-[alias] analysing function: atol
-[alias] May-aliases at the end of function atol: ⊥
-[alias] May-alias graph at the end of function atol:
- ⊥
-[alias] analysing function: atoll
-[alias] May-aliases at the end of function atoll: ⊥
-[alias] May-alias graph at the end of function atoll:
- ⊥
-[alias] analysing function: bsearch
-[alias] May-aliases at the end of function bsearch: ⊥
-[alias] May-alias graph at the end of function bsearch:
- ⊥
-[alias] analysing function: calloc
-[alias] May-aliases at the end of function calloc: ⊥
-[alias] May-alias graph at the end of function calloc:
- ⊥
-[alias] analysing function: div
-[alias] May-aliases at the end of function div: ⊥
-[alias] May-alias graph at the end of function div:
- ⊥
-[alias] analysing function: drand48
-[alias] May-aliases at the end of function drand48: ⊥
-[alias] May-alias graph at the end of function drand48:
- ⊥
-[alias] analysing function: erand48
-[alias] May-aliases at the end of function erand48: ⊥
-[alias] May-alias graph at the end of function erand48:
- ⊥
-[alias] analysing function: exit
-[alias] May-aliases at the end of function exit: ⊥
-[alias] May-alias graph at the end of function exit:
- ⊥
-[alias] analysing function: free
-[alias] May-aliases at the end of function free: ⊥
-[alias] May-alias graph at the end of function free:
- ⊥
-[alias] analysing function: getenv
-[alias] May-aliases at the end of function getenv: ⊥
-[alias] May-alias graph at the end of function getenv:
- ⊥
-[alias] analysing function: jrand48
-[alias] May-aliases at the end of function jrand48: ⊥
-[alias] May-alias graph at the end of function jrand48:
- ⊥
-[alias] analysing function: labs
-[alias] May-aliases at the end of function labs: ⊥
-[alias] May-alias graph at the end of function labs:
- ⊥
-[alias] analysing function: lcong48
-[alias] May-aliases at the end of function lcong48: ⊥
-[alias] May-alias graph at the end of function lcong48:
- ⊥
-[alias] analysing function: ldiv
-[alias] May-aliases at the end of function ldiv: ⊥
-[alias] May-alias graph at the end of function ldiv:
- ⊥
-[alias] analysing function: llabs
-[alias] May-aliases at the end of function llabs: ⊥
-[alias] May-alias graph at the end of function llabs:
- ⊥
-[alias] analysing function: lldiv
-[alias] May-aliases at the end of function lldiv: ⊥
-[alias] May-alias graph at the end of function lldiv:
- ⊥
-[alias] analysing function: lrand48
-[alias] May-aliases at the end of function lrand48: ⊥
-[alias] May-alias graph at the end of function lrand48:
- ⊥
[alias] analysing function: main
[alias] analysing instruction: int *x = malloc((unsigned long)4 * sizeof(int));
[alias] May-aliases after instruction
@@ -125,132 +29,4 @@
[alias] Summary of function main:
formals: locals: mat x→{ mat[0..] } y→{ mat[0..] } __retres
returns: __retres state: { x; y }
-[alias] analysing function: malloc
-[alias] May-aliases at the end of function malloc: ⊥
-[alias] May-alias graph at the end of function malloc:
- ⊥
-[alias] analysing function: mblen
-[alias] May-aliases at the end of function mblen: ⊥
-[alias] May-alias graph at the end of function mblen:
- ⊥
-[alias] analysing function: mbstowcs
-[alias] May-aliases at the end of function mbstowcs: ⊥
-[alias] May-alias graph at the end of function mbstowcs:
- ⊥
-[alias] analysing function: mbtowc
-[alias] May-aliases at the end of function mbtowc: ⊥
-[alias] May-alias graph at the end of function mbtowc:
- ⊥
-[alias] analysing function: mkstemp
-[alias] May-aliases at the end of function mkstemp: ⊥
-[alias] May-alias graph at the end of function mkstemp:
- ⊥
-[alias] analysing function: mkstemps
-[alias] May-aliases at the end of function mkstemps: ⊥
-[alias] May-alias graph at the end of function mkstemps:
- ⊥
-[alias] analysing function: mrand48
-[alias] May-aliases at the end of function mrand48: ⊥
-[alias] May-alias graph at the end of function mrand48:
- ⊥
-[alias] analysing function: nrand48
-[alias] May-aliases at the end of function nrand48: ⊥
-[alias] May-alias graph at the end of function nrand48:
- ⊥
-[alias] analysing function: posix_memalign
-[alias] May-aliases at the end of function posix_memalign: ⊥
-[alias] May-alias graph at the end of function posix_memalign:
- ⊥
-[alias] analysing function: putenv
-[alias] May-aliases at the end of function putenv: ⊥
-[alias] May-alias graph at the end of function putenv:
- ⊥
-[alias] analysing function: qsort
-[alias] May-aliases at the end of function qsort: ⊥
-[alias] May-alias graph at the end of function qsort:
- ⊥
-[alias] analysing function: quick_exit
-[alias] May-aliases at the end of function quick_exit: ⊥
-[alias] May-alias graph at the end of function quick_exit:
- ⊥
-[alias] analysing function: rand
-[alias] May-aliases at the end of function rand: ⊥
-[alias] May-alias graph at the end of function rand:
- ⊥
-[alias] analysing function: random
-[alias] May-aliases at the end of function random: ⊥
-[alias] May-alias graph at the end of function random:
- ⊥
-[alias] analysing function: realloc
-[alias] May-aliases at the end of function realloc: ⊥
-[alias] May-alias graph at the end of function realloc:
- ⊥
-[alias] analysing function: reallocarray
-[alias] May-aliases at the end of function reallocarray: ⊥
-[alias] May-alias graph at the end of function reallocarray:
- ⊥
-[alias] analysing function: seed48
-[alias] May-aliases at the end of function seed48: ⊥
-[alias] May-alias graph at the end of function seed48:
- ⊥
-[alias] analysing function: setenv
-[alias] May-aliases at the end of function setenv: ⊥
-[alias] May-alias graph at the end of function setenv:
- ⊥
-[alias] analysing function: srand
-[alias] May-aliases at the end of function srand: ⊥
-[alias] May-alias graph at the end of function srand:
- ⊥
-[alias] analysing function: srand48
-[alias] May-aliases at the end of function srand48: ⊥
-[alias] May-alias graph at the end of function srand48:
- ⊥
-[alias] analysing function: srandom
-[alias] May-aliases at the end of function srandom: ⊥
-[alias] May-alias graph at the end of function srandom:
- ⊥
-[alias] analysing function: strtod
-[alias] May-aliases at the end of function strtod: ⊥
-[alias] May-alias graph at the end of function strtod:
- ⊥
-[alias] analysing function: strtof
-[alias] May-aliases at the end of function strtof: ⊥
-[alias] May-alias graph at the end of function strtof:
- ⊥
-[alias] analysing function: strtol
-[alias] May-aliases at the end of function strtol: ⊥
-[alias] May-alias graph at the end of function strtol:
- ⊥
-[alias] analysing function: strtold
-[alias] May-aliases at the end of function strtold: ⊥
-[alias] May-alias graph at the end of function strtold:
- ⊥
-[alias] analysing function: strtoll
-[alias] May-aliases at the end of function strtoll: ⊥
-[alias] May-alias graph at the end of function strtoll:
- ⊥
-[alias] analysing function: strtoul
-[alias] May-aliases at the end of function strtoul: ⊥
-[alias] May-alias graph at the end of function strtoul:
- ⊥
-[alias] analysing function: strtoull
-[alias] May-aliases at the end of function strtoull: ⊥
-[alias] May-alias graph at the end of function strtoull:
- ⊥
-[alias] analysing function: system
-[alias] May-aliases at the end of function system: ⊥
-[alias] May-alias graph at the end of function system:
- ⊥
-[alias] analysing function: unsetenv
-[alias] May-aliases at the end of function unsetenv: ⊥
-[alias] May-alias graph at the end of function unsetenv:
- ⊥
-[alias] analysing function: wcstombs
-[alias] May-aliases at the end of function wcstombs: ⊥
-[alias] May-alias graph at the end of function wcstombs:
- ⊥
-[alias] analysing function: wctomb
-[alias] May-aliases at the end of function wctomb: ⊥
-[alias] May-alias graph at the end of function wctomb:
- ⊥
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/offsets/oracle/nested1.res.oracle b/src/plugins/alias/tests/offsets/oracle/nested1.res.oracle
index 650eac343ab..87b1ce12e31 100644
--- a/src/plugins/alias/tests/offsets/oracle/nested1.res.oracle
+++ b/src/plugins/alias/tests/offsets/oracle/nested1.res.oracle
@@ -1,100 +1,4 @@
[kernel] Parsing nested1.c (with preprocessing)
-[alias] analysing function: _Exit
-[alias] May-aliases at the end of function _Exit: ⊥
-[alias] May-alias graph at the end of function _Exit:
- ⊥
-[alias] analysing function: abort
-[alias] May-aliases at the end of function abort: ⊥
-[alias] May-alias graph at the end of function abort:
- ⊥
-[alias] analysing function: abs
-[alias] May-aliases at the end of function abs: ⊥
-[alias] May-alias graph at the end of function abs:
- ⊥
-[alias] analysing function: at_quick_exit
-[alias] May-aliases at the end of function at_quick_exit: ⊥
-[alias] May-alias graph at the end of function at_quick_exit:
- ⊥
-[alias] analysing function: atexit
-[alias] May-aliases at the end of function atexit: ⊥
-[alias] May-alias graph at the end of function atexit:
- ⊥
-[alias] analysing function: atof
-[alias] May-aliases at the end of function atof: ⊥
-[alias] May-alias graph at the end of function atof:
- ⊥
-[alias] analysing function: atoi
-[alias] May-aliases at the end of function atoi: ⊥
-[alias] May-alias graph at the end of function atoi:
- ⊥
-[alias] analysing function: atol
-[alias] May-aliases at the end of function atol: ⊥
-[alias] May-alias graph at the end of function atol:
- ⊥
-[alias] analysing function: atoll
-[alias] May-aliases at the end of function atoll: ⊥
-[alias] May-alias graph at the end of function atoll:
- ⊥
-[alias] analysing function: bsearch
-[alias] May-aliases at the end of function bsearch: ⊥
-[alias] May-alias graph at the end of function bsearch:
- ⊥
-[alias] analysing function: calloc
-[alias] May-aliases at the end of function calloc: ⊥
-[alias] May-alias graph at the end of function calloc:
- ⊥
-[alias] analysing function: div
-[alias] May-aliases at the end of function div: ⊥
-[alias] May-alias graph at the end of function div:
- ⊥
-[alias] analysing function: drand48
-[alias] May-aliases at the end of function drand48: ⊥
-[alias] May-alias graph at the end of function drand48:
- ⊥
-[alias] analysing function: erand48
-[alias] May-aliases at the end of function erand48: ⊥
-[alias] May-alias graph at the end of function erand48:
- ⊥
-[alias] analysing function: exit
-[alias] May-aliases at the end of function exit: ⊥
-[alias] May-alias graph at the end of function exit:
- ⊥
-[alias] analysing function: free
-[alias] May-aliases at the end of function free: ⊥
-[alias] May-alias graph at the end of function free:
- ⊥
-[alias] analysing function: getenv
-[alias] May-aliases at the end of function getenv: ⊥
-[alias] May-alias graph at the end of function getenv:
- ⊥
-[alias] analysing function: jrand48
-[alias] May-aliases at the end of function jrand48: ⊥
-[alias] May-alias graph at the end of function jrand48:
- ⊥
-[alias] analysing function: labs
-[alias] May-aliases at the end of function labs: ⊥
-[alias] May-alias graph at the end of function labs:
- ⊥
-[alias] analysing function: lcong48
-[alias] May-aliases at the end of function lcong48: ⊥
-[alias] May-alias graph at the end of function lcong48:
- ⊥
-[alias] analysing function: ldiv
-[alias] May-aliases at the end of function ldiv: ⊥
-[alias] May-alias graph at the end of function ldiv:
- ⊥
-[alias] analysing function: llabs
-[alias] May-aliases at the end of function llabs: ⊥
-[alias] May-alias graph at the end of function llabs:
- ⊥
-[alias] analysing function: lldiv
-[alias] May-aliases at the end of function lldiv: ⊥
-[alias] May-alias graph at the end of function lldiv:
- ⊥
-[alias] analysing function: lrand48
-[alias] May-aliases at the end of function lrand48: ⊥
-[alias] May-alias graph at the end of function lrand48:
- ⊥
[alias] analysing function: main
[alias] analysing instruction: st_1_t x1 = {.a = 0, .b = 1};
[alias] May-aliases after instruction st_1_t x1 = {.a = 0, .b = 1}; are <none>
@@ -224,132 +128,4 @@
returns: __retres
state: { z1->s; z2->s; tab_y[0..] } { t->t; z1 } { z1->c; t->d; a }
{ z2->c; b }
-[alias] analysing function: malloc
-[alias] May-aliases at the end of function malloc: ⊥
-[alias] May-alias graph at the end of function malloc:
- ⊥
-[alias] analysing function: mblen
-[alias] May-aliases at the end of function mblen: ⊥
-[alias] May-alias graph at the end of function mblen:
- ⊥
-[alias] analysing function: mbstowcs
-[alias] May-aliases at the end of function mbstowcs: ⊥
-[alias] May-alias graph at the end of function mbstowcs:
- ⊥
-[alias] analysing function: mbtowc
-[alias] May-aliases at the end of function mbtowc: ⊥
-[alias] May-alias graph at the end of function mbtowc:
- ⊥
-[alias] analysing function: mkstemp
-[alias] May-aliases at the end of function mkstemp: ⊥
-[alias] May-alias graph at the end of function mkstemp:
- ⊥
-[alias] analysing function: mkstemps
-[alias] May-aliases at the end of function mkstemps: ⊥
-[alias] May-alias graph at the end of function mkstemps:
- ⊥
-[alias] analysing function: mrand48
-[alias] May-aliases at the end of function mrand48: ⊥
-[alias] May-alias graph at the end of function mrand48:
- ⊥
-[alias] analysing function: nrand48
-[alias] May-aliases at the end of function nrand48: ⊥
-[alias] May-alias graph at the end of function nrand48:
- ⊥
-[alias] analysing function: posix_memalign
-[alias] May-aliases at the end of function posix_memalign: ⊥
-[alias] May-alias graph at the end of function posix_memalign:
- ⊥
-[alias] analysing function: putenv
-[alias] May-aliases at the end of function putenv: ⊥
-[alias] May-alias graph at the end of function putenv:
- ⊥
-[alias] analysing function: qsort
-[alias] May-aliases at the end of function qsort: ⊥
-[alias] May-alias graph at the end of function qsort:
- ⊥
-[alias] analysing function: quick_exit
-[alias] May-aliases at the end of function quick_exit: ⊥
-[alias] May-alias graph at the end of function quick_exit:
- ⊥
-[alias] analysing function: rand
-[alias] May-aliases at the end of function rand: ⊥
-[alias] May-alias graph at the end of function rand:
- ⊥
-[alias] analysing function: random
-[alias] May-aliases at the end of function random: ⊥
-[alias] May-alias graph at the end of function random:
- ⊥
-[alias] analysing function: realloc
-[alias] May-aliases at the end of function realloc: ⊥
-[alias] May-alias graph at the end of function realloc:
- ⊥
-[alias] analysing function: reallocarray
-[alias] May-aliases at the end of function reallocarray: ⊥
-[alias] May-alias graph at the end of function reallocarray:
- ⊥
-[alias] analysing function: seed48
-[alias] May-aliases at the end of function seed48: ⊥
-[alias] May-alias graph at the end of function seed48:
- ⊥
-[alias] analysing function: setenv
-[alias] May-aliases at the end of function setenv: ⊥
-[alias] May-alias graph at the end of function setenv:
- ⊥
-[alias] analysing function: srand
-[alias] May-aliases at the end of function srand: ⊥
-[alias] May-alias graph at the end of function srand:
- ⊥
-[alias] analysing function: srand48
-[alias] May-aliases at the end of function srand48: ⊥
-[alias] May-alias graph at the end of function srand48:
- ⊥
-[alias] analysing function: srandom
-[alias] May-aliases at the end of function srandom: ⊥
-[alias] May-alias graph at the end of function srandom:
- ⊥
-[alias] analysing function: strtod
-[alias] May-aliases at the end of function strtod: ⊥
-[alias] May-alias graph at the end of function strtod:
- ⊥
-[alias] analysing function: strtof
-[alias] May-aliases at the end of function strtof: ⊥
-[alias] May-alias graph at the end of function strtof:
- ⊥
-[alias] analysing function: strtol
-[alias] May-aliases at the end of function strtol: ⊥
-[alias] May-alias graph at the end of function strtol:
- ⊥
-[alias] analysing function: strtold
-[alias] May-aliases at the end of function strtold: ⊥
-[alias] May-alias graph at the end of function strtold:
- ⊥
-[alias] analysing function: strtoll
-[alias] May-aliases at the end of function strtoll: ⊥
-[alias] May-alias graph at the end of function strtoll:
- ⊥
-[alias] analysing function: strtoul
-[alias] May-aliases at the end of function strtoul: ⊥
-[alias] May-alias graph at the end of function strtoul:
- ⊥
-[alias] analysing function: strtoull
-[alias] May-aliases at the end of function strtoull: ⊥
-[alias] May-alias graph at the end of function strtoull:
- ⊥
-[alias] analysing function: system
-[alias] May-aliases at the end of function system: ⊥
-[alias] May-alias graph at the end of function system:
- ⊥
-[alias] analysing function: unsetenv
-[alias] May-aliases at the end of function unsetenv: ⊥
-[alias] May-alias graph at the end of function unsetenv:
- ⊥
-[alias] analysing function: wcstombs
-[alias] May-aliases at the end of function wcstombs: ⊥
-[alias] May-alias graph at the end of function wcstombs:
- ⊥
-[alias] analysing function: wctomb
-[alias] May-aliases at the end of function wctomb: ⊥
-[alias] May-alias graph at the end of function wctomb:
- ⊥
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/offsets/oracle/nested2.res.oracle b/src/plugins/alias/tests/offsets/oracle/nested2.res.oracle
index b3fc55f974f..7c472531448 100644
--- a/src/plugins/alias/tests/offsets/oracle/nested2.res.oracle
+++ b/src/plugins/alias/tests/offsets/oracle/nested2.res.oracle
@@ -1,100 +1,4 @@
[kernel] Parsing nested2.c (with preprocessing)
-[alias] analysing function: _Exit
-[alias] May-aliases at the end of function _Exit: ⊥
-[alias] May-alias graph at the end of function _Exit:
- ⊥
-[alias] analysing function: abort
-[alias] May-aliases at the end of function abort: ⊥
-[alias] May-alias graph at the end of function abort:
- ⊥
-[alias] analysing function: abs
-[alias] May-aliases at the end of function abs: ⊥
-[alias] May-alias graph at the end of function abs:
- ⊥
-[alias] analysing function: at_quick_exit
-[alias] May-aliases at the end of function at_quick_exit: ⊥
-[alias] May-alias graph at the end of function at_quick_exit:
- ⊥
-[alias] analysing function: atexit
-[alias] May-aliases at the end of function atexit: ⊥
-[alias] May-alias graph at the end of function atexit:
- ⊥
-[alias] analysing function: atof
-[alias] May-aliases at the end of function atof: ⊥
-[alias] May-alias graph at the end of function atof:
- ⊥
-[alias] analysing function: atoi
-[alias] May-aliases at the end of function atoi: ⊥
-[alias] May-alias graph at the end of function atoi:
- ⊥
-[alias] analysing function: atol
-[alias] May-aliases at the end of function atol: ⊥
-[alias] May-alias graph at the end of function atol:
- ⊥
-[alias] analysing function: atoll
-[alias] May-aliases at the end of function atoll: ⊥
-[alias] May-alias graph at the end of function atoll:
- ⊥
-[alias] analysing function: bsearch
-[alias] May-aliases at the end of function bsearch: ⊥
-[alias] May-alias graph at the end of function bsearch:
- ⊥
-[alias] analysing function: calloc
-[alias] May-aliases at the end of function calloc: ⊥
-[alias] May-alias graph at the end of function calloc:
- ⊥
-[alias] analysing function: div
-[alias] May-aliases at the end of function div: ⊥
-[alias] May-alias graph at the end of function div:
- ⊥
-[alias] analysing function: drand48
-[alias] May-aliases at the end of function drand48: ⊥
-[alias] May-alias graph at the end of function drand48:
- ⊥
-[alias] analysing function: erand48
-[alias] May-aliases at the end of function erand48: ⊥
-[alias] May-alias graph at the end of function erand48:
- ⊥
-[alias] analysing function: exit
-[alias] May-aliases at the end of function exit: ⊥
-[alias] May-alias graph at the end of function exit:
- ⊥
-[alias] analysing function: free
-[alias] May-aliases at the end of function free: ⊥
-[alias] May-alias graph at the end of function free:
- ⊥
-[alias] analysing function: getenv
-[alias] May-aliases at the end of function getenv: ⊥
-[alias] May-alias graph at the end of function getenv:
- ⊥
-[alias] analysing function: jrand48
-[alias] May-aliases at the end of function jrand48: ⊥
-[alias] May-alias graph at the end of function jrand48:
- ⊥
-[alias] analysing function: labs
-[alias] May-aliases at the end of function labs: ⊥
-[alias] May-alias graph at the end of function labs:
- ⊥
-[alias] analysing function: lcong48
-[alias] May-aliases at the end of function lcong48: ⊥
-[alias] May-alias graph at the end of function lcong48:
- ⊥
-[alias] analysing function: ldiv
-[alias] May-aliases at the end of function ldiv: ⊥
-[alias] May-alias graph at the end of function ldiv:
- ⊥
-[alias] analysing function: llabs
-[alias] May-aliases at the end of function llabs: ⊥
-[alias] May-alias graph at the end of function llabs:
- ⊥
-[alias] analysing function: lldiv
-[alias] May-aliases at the end of function lldiv: ⊥
-[alias] May-alias graph at the end of function lldiv:
- ⊥
-[alias] analysing function: lrand48
-[alias] May-aliases at the end of function lrand48: ⊥
-[alias] May-alias graph at the end of function lrand48:
- ⊥
[alias] analysing function: main
[alias] analysing instruction: st_1_t x1 = {.a = 0, .b = 1};
[alias] May-aliases after instruction st_1_t x1 = {.a = 0, .b = 1}; are <none>
@@ -172,132 +76,4 @@
[alias] Summary of function main:
formals: locals: x1 x2 z1 t a __retres returns: __retres
state: { t->t; z1 } { z1->c; t->d; a }
-[alias] analysing function: malloc
-[alias] May-aliases at the end of function malloc: ⊥
-[alias] May-alias graph at the end of function malloc:
- ⊥
-[alias] analysing function: mblen
-[alias] May-aliases at the end of function mblen: ⊥
-[alias] May-alias graph at the end of function mblen:
- ⊥
-[alias] analysing function: mbstowcs
-[alias] May-aliases at the end of function mbstowcs: ⊥
-[alias] May-alias graph at the end of function mbstowcs:
- ⊥
-[alias] analysing function: mbtowc
-[alias] May-aliases at the end of function mbtowc: ⊥
-[alias] May-alias graph at the end of function mbtowc:
- ⊥
-[alias] analysing function: mkstemp
-[alias] May-aliases at the end of function mkstemp: ⊥
-[alias] May-alias graph at the end of function mkstemp:
- ⊥
-[alias] analysing function: mkstemps
-[alias] May-aliases at the end of function mkstemps: ⊥
-[alias] May-alias graph at the end of function mkstemps:
- ⊥
-[alias] analysing function: mrand48
-[alias] May-aliases at the end of function mrand48: ⊥
-[alias] May-alias graph at the end of function mrand48:
- ⊥
-[alias] analysing function: nrand48
-[alias] May-aliases at the end of function nrand48: ⊥
-[alias] May-alias graph at the end of function nrand48:
- ⊥
-[alias] analysing function: posix_memalign
-[alias] May-aliases at the end of function posix_memalign: ⊥
-[alias] May-alias graph at the end of function posix_memalign:
- ⊥
-[alias] analysing function: putenv
-[alias] May-aliases at the end of function putenv: ⊥
-[alias] May-alias graph at the end of function putenv:
- ⊥
-[alias] analysing function: qsort
-[alias] May-aliases at the end of function qsort: ⊥
-[alias] May-alias graph at the end of function qsort:
- ⊥
-[alias] analysing function: quick_exit
-[alias] May-aliases at the end of function quick_exit: ⊥
-[alias] May-alias graph at the end of function quick_exit:
- ⊥
-[alias] analysing function: rand
-[alias] May-aliases at the end of function rand: ⊥
-[alias] May-alias graph at the end of function rand:
- ⊥
-[alias] analysing function: random
-[alias] May-aliases at the end of function random: ⊥
-[alias] May-alias graph at the end of function random:
- ⊥
-[alias] analysing function: realloc
-[alias] May-aliases at the end of function realloc: ⊥
-[alias] May-alias graph at the end of function realloc:
- ⊥
-[alias] analysing function: reallocarray
-[alias] May-aliases at the end of function reallocarray: ⊥
-[alias] May-alias graph at the end of function reallocarray:
- ⊥
-[alias] analysing function: seed48
-[alias] May-aliases at the end of function seed48: ⊥
-[alias] May-alias graph at the end of function seed48:
- ⊥
-[alias] analysing function: setenv
-[alias] May-aliases at the end of function setenv: ⊥
-[alias] May-alias graph at the end of function setenv:
- ⊥
-[alias] analysing function: srand
-[alias] May-aliases at the end of function srand: ⊥
-[alias] May-alias graph at the end of function srand:
- ⊥
-[alias] analysing function: srand48
-[alias] May-aliases at the end of function srand48: ⊥
-[alias] May-alias graph at the end of function srand48:
- ⊥
-[alias] analysing function: srandom
-[alias] May-aliases at the end of function srandom: ⊥
-[alias] May-alias graph at the end of function srandom:
- ⊥
-[alias] analysing function: strtod
-[alias] May-aliases at the end of function strtod: ⊥
-[alias] May-alias graph at the end of function strtod:
- ⊥
-[alias] analysing function: strtof
-[alias] May-aliases at the end of function strtof: ⊥
-[alias] May-alias graph at the end of function strtof:
- ⊥
-[alias] analysing function: strtol
-[alias] May-aliases at the end of function strtol: ⊥
-[alias] May-alias graph at the end of function strtol:
- ⊥
-[alias] analysing function: strtold
-[alias] May-aliases at the end of function strtold: ⊥
-[alias] May-alias graph at the end of function strtold:
- ⊥
-[alias] analysing function: strtoll
-[alias] May-aliases at the end of function strtoll: ⊥
-[alias] May-alias graph at the end of function strtoll:
- ⊥
-[alias] analysing function: strtoul
-[alias] May-aliases at the end of function strtoul: ⊥
-[alias] May-alias graph at the end of function strtoul:
- ⊥
-[alias] analysing function: strtoull
-[alias] May-aliases at the end of function strtoull: ⊥
-[alias] May-alias graph at the end of function strtoull:
- ⊥
-[alias] analysing function: system
-[alias] May-aliases at the end of function system: ⊥
-[alias] May-alias graph at the end of function system:
- ⊥
-[alias] analysing function: unsetenv
-[alias] May-aliases at the end of function unsetenv: ⊥
-[alias] May-alias graph at the end of function unsetenv:
- ⊥
-[alias] analysing function: wcstombs
-[alias] May-aliases at the end of function wcstombs: ⊥
-[alias] May-alias graph at the end of function wcstombs:
- ⊥
-[alias] analysing function: wctomb
-[alias] May-aliases at the end of function wctomb: ⊥
-[alias] May-alias graph at the end of function wctomb:
- ⊥
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/offsets/oracle/structure4.res.oracle b/src/plugins/alias/tests/offsets/oracle/structure4.res.oracle
index 73a0215ca74..f9ca72c149d 100644
--- a/src/plugins/alias/tests/offsets/oracle/structure4.res.oracle
+++ b/src/plugins/alias/tests/offsets/oracle/structure4.res.oracle
@@ -1,100 +1,4 @@
[kernel] Parsing structure4.c (with preprocessing)
-[alias] analysing function: _Exit
-[alias] May-aliases at the end of function _Exit: ⊥
-[alias] May-alias graph at the end of function _Exit:
- ⊥
-[alias] analysing function: abort
-[alias] May-aliases at the end of function abort: ⊥
-[alias] May-alias graph at the end of function abort:
- ⊥
-[alias] analysing function: abs
-[alias] May-aliases at the end of function abs: ⊥
-[alias] May-alias graph at the end of function abs:
- ⊥
-[alias] analysing function: at_quick_exit
-[alias] May-aliases at the end of function at_quick_exit: ⊥
-[alias] May-alias graph at the end of function at_quick_exit:
- ⊥
-[alias] analysing function: atexit
-[alias] May-aliases at the end of function atexit: ⊥
-[alias] May-alias graph at the end of function atexit:
- ⊥
-[alias] analysing function: atof
-[alias] May-aliases at the end of function atof: ⊥
-[alias] May-alias graph at the end of function atof:
- ⊥
-[alias] analysing function: atoi
-[alias] May-aliases at the end of function atoi: ⊥
-[alias] May-alias graph at the end of function atoi:
- ⊥
-[alias] analysing function: atol
-[alias] May-aliases at the end of function atol: ⊥
-[alias] May-alias graph at the end of function atol:
- ⊥
-[alias] analysing function: atoll
-[alias] May-aliases at the end of function atoll: ⊥
-[alias] May-alias graph at the end of function atoll:
- ⊥
-[alias] analysing function: bsearch
-[alias] May-aliases at the end of function bsearch: ⊥
-[alias] May-alias graph at the end of function bsearch:
- ⊥
-[alias] analysing function: calloc
-[alias] May-aliases at the end of function calloc: ⊥
-[alias] May-alias graph at the end of function calloc:
- ⊥
-[alias] analysing function: div
-[alias] May-aliases at the end of function div: ⊥
-[alias] May-alias graph at the end of function div:
- ⊥
-[alias] analysing function: drand48
-[alias] May-aliases at the end of function drand48: ⊥
-[alias] May-alias graph at the end of function drand48:
- ⊥
-[alias] analysing function: erand48
-[alias] May-aliases at the end of function erand48: ⊥
-[alias] May-alias graph at the end of function erand48:
- ⊥
-[alias] analysing function: exit
-[alias] May-aliases at the end of function exit: ⊥
-[alias] May-alias graph at the end of function exit:
- ⊥
-[alias] analysing function: free
-[alias] May-aliases at the end of function free: ⊥
-[alias] May-alias graph at the end of function free:
- ⊥
-[alias] analysing function: getenv
-[alias] May-aliases at the end of function getenv: ⊥
-[alias] May-alias graph at the end of function getenv:
- ⊥
-[alias] analysing function: jrand48
-[alias] May-aliases at the end of function jrand48: ⊥
-[alias] May-alias graph at the end of function jrand48:
- ⊥
-[alias] analysing function: labs
-[alias] May-aliases at the end of function labs: ⊥
-[alias] May-alias graph at the end of function labs:
- ⊥
-[alias] analysing function: lcong48
-[alias] May-aliases at the end of function lcong48: ⊥
-[alias] May-alias graph at the end of function lcong48:
- ⊥
-[alias] analysing function: ldiv
-[alias] May-aliases at the end of function ldiv: ⊥
-[alias] May-alias graph at the end of function ldiv:
- ⊥
-[alias] analysing function: llabs
-[alias] May-aliases at the end of function llabs: ⊥
-[alias] May-alias graph at the end of function llabs:
- ⊥
-[alias] analysing function: lldiv
-[alias] May-aliases at the end of function lldiv: ⊥
-[alias] May-alias graph at the end of function lldiv:
- ⊥
-[alias] analysing function: lrand48
-[alias] May-aliases at the end of function lrand48: ⊥
-[alias] May-alias graph at the end of function lrand48:
- ⊥
[alias] analysing function: main
[alias] analysing instruction: st_1_t x1 = {.a = 0, .b = 1};
[alias] May-aliases after instruction st_1_t x1 = {.a = 0, .b = 1}; are <none>
@@ -139,132 +43,4 @@
[alias] Summary of function main:
formals: locals: x1 x2 y1→{ x1 } z __retres returns: __retres
state: { z->s; y1 }
-[alias] analysing function: malloc
-[alias] May-aliases at the end of function malloc: ⊥
-[alias] May-alias graph at the end of function malloc:
- ⊥
-[alias] analysing function: mblen
-[alias] May-aliases at the end of function mblen: ⊥
-[alias] May-alias graph at the end of function mblen:
- ⊥
-[alias] analysing function: mbstowcs
-[alias] May-aliases at the end of function mbstowcs: ⊥
-[alias] May-alias graph at the end of function mbstowcs:
- ⊥
-[alias] analysing function: mbtowc
-[alias] May-aliases at the end of function mbtowc: ⊥
-[alias] May-alias graph at the end of function mbtowc:
- ⊥
-[alias] analysing function: mkstemp
-[alias] May-aliases at the end of function mkstemp: ⊥
-[alias] May-alias graph at the end of function mkstemp:
- ⊥
-[alias] analysing function: mkstemps
-[alias] May-aliases at the end of function mkstemps: ⊥
-[alias] May-alias graph at the end of function mkstemps:
- ⊥
-[alias] analysing function: mrand48
-[alias] May-aliases at the end of function mrand48: ⊥
-[alias] May-alias graph at the end of function mrand48:
- ⊥
-[alias] analysing function: nrand48
-[alias] May-aliases at the end of function nrand48: ⊥
-[alias] May-alias graph at the end of function nrand48:
- ⊥
-[alias] analysing function: posix_memalign
-[alias] May-aliases at the end of function posix_memalign: ⊥
-[alias] May-alias graph at the end of function posix_memalign:
- ⊥
-[alias] analysing function: putenv
-[alias] May-aliases at the end of function putenv: ⊥
-[alias] May-alias graph at the end of function putenv:
- ⊥
-[alias] analysing function: qsort
-[alias] May-aliases at the end of function qsort: ⊥
-[alias] May-alias graph at the end of function qsort:
- ⊥
-[alias] analysing function: quick_exit
-[alias] May-aliases at the end of function quick_exit: ⊥
-[alias] May-alias graph at the end of function quick_exit:
- ⊥
-[alias] analysing function: rand
-[alias] May-aliases at the end of function rand: ⊥
-[alias] May-alias graph at the end of function rand:
- ⊥
-[alias] analysing function: random
-[alias] May-aliases at the end of function random: ⊥
-[alias] May-alias graph at the end of function random:
- ⊥
-[alias] analysing function: realloc
-[alias] May-aliases at the end of function realloc: ⊥
-[alias] May-alias graph at the end of function realloc:
- ⊥
-[alias] analysing function: reallocarray
-[alias] May-aliases at the end of function reallocarray: ⊥
-[alias] May-alias graph at the end of function reallocarray:
- ⊥
-[alias] analysing function: seed48
-[alias] May-aliases at the end of function seed48: ⊥
-[alias] May-alias graph at the end of function seed48:
- ⊥
-[alias] analysing function: setenv
-[alias] May-aliases at the end of function setenv: ⊥
-[alias] May-alias graph at the end of function setenv:
- ⊥
-[alias] analysing function: srand
-[alias] May-aliases at the end of function srand: ⊥
-[alias] May-alias graph at the end of function srand:
- ⊥
-[alias] analysing function: srand48
-[alias] May-aliases at the end of function srand48: ⊥
-[alias] May-alias graph at the end of function srand48:
- ⊥
-[alias] analysing function: srandom
-[alias] May-aliases at the end of function srandom: ⊥
-[alias] May-alias graph at the end of function srandom:
- ⊥
-[alias] analysing function: strtod
-[alias] May-aliases at the end of function strtod: ⊥
-[alias] May-alias graph at the end of function strtod:
- ⊥
-[alias] analysing function: strtof
-[alias] May-aliases at the end of function strtof: ⊥
-[alias] May-alias graph at the end of function strtof:
- ⊥
-[alias] analysing function: strtol
-[alias] May-aliases at the end of function strtol: ⊥
-[alias] May-alias graph at the end of function strtol:
- ⊥
-[alias] analysing function: strtold
-[alias] May-aliases at the end of function strtold: ⊥
-[alias] May-alias graph at the end of function strtold:
- ⊥
-[alias] analysing function: strtoll
-[alias] May-aliases at the end of function strtoll: ⊥
-[alias] May-alias graph at the end of function strtoll:
- ⊥
-[alias] analysing function: strtoul
-[alias] May-aliases at the end of function strtoul: ⊥
-[alias] May-alias graph at the end of function strtoul:
- ⊥
-[alias] analysing function: strtoull
-[alias] May-aliases at the end of function strtoull: ⊥
-[alias] May-alias graph at the end of function strtoull:
- ⊥
-[alias] analysing function: system
-[alias] May-aliases at the end of function system: ⊥
-[alias] May-alias graph at the end of function system:
- ⊥
-[alias] analysing function: unsetenv
-[alias] May-aliases at the end of function unsetenv: ⊥
-[alias] May-alias graph at the end of function unsetenv:
- ⊥
-[alias] analysing function: wcstombs
-[alias] May-aliases at the end of function wcstombs: ⊥
-[alias] May-alias graph at the end of function wcstombs:
- ⊥
-[alias] analysing function: wctomb
-[alias] May-aliases at the end of function wctomb: ⊥
-[alias] May-alias graph at the end of function wctomb:
- ⊥
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/offsets/oracle/structure5.res.oracle b/src/plugins/alias/tests/offsets/oracle/structure5.res.oracle
index 6a135db357a..b7ff584de85 100644
--- a/src/plugins/alias/tests/offsets/oracle/structure5.res.oracle
+++ b/src/plugins/alias/tests/offsets/oracle/structure5.res.oracle
@@ -1,100 +1,4 @@
[kernel] Parsing structure5.c (with preprocessing)
-[alias] analysing function: _Exit
-[alias] May-aliases at the end of function _Exit: ⊥
-[alias] May-alias graph at the end of function _Exit:
- ⊥
-[alias] analysing function: abort
-[alias] May-aliases at the end of function abort: ⊥
-[alias] May-alias graph at the end of function abort:
- ⊥
-[alias] analysing function: abs
-[alias] May-aliases at the end of function abs: ⊥
-[alias] May-alias graph at the end of function abs:
- ⊥
-[alias] analysing function: at_quick_exit
-[alias] May-aliases at the end of function at_quick_exit: ⊥
-[alias] May-alias graph at the end of function at_quick_exit:
- ⊥
-[alias] analysing function: atexit
-[alias] May-aliases at the end of function atexit: ⊥
-[alias] May-alias graph at the end of function atexit:
- ⊥
-[alias] analysing function: atof
-[alias] May-aliases at the end of function atof: ⊥
-[alias] May-alias graph at the end of function atof:
- ⊥
-[alias] analysing function: atoi
-[alias] May-aliases at the end of function atoi: ⊥
-[alias] May-alias graph at the end of function atoi:
- ⊥
-[alias] analysing function: atol
-[alias] May-aliases at the end of function atol: ⊥
-[alias] May-alias graph at the end of function atol:
- ⊥
-[alias] analysing function: atoll
-[alias] May-aliases at the end of function atoll: ⊥
-[alias] May-alias graph at the end of function atoll:
- ⊥
-[alias] analysing function: bsearch
-[alias] May-aliases at the end of function bsearch: ⊥
-[alias] May-alias graph at the end of function bsearch:
- ⊥
-[alias] analysing function: calloc
-[alias] May-aliases at the end of function calloc: ⊥
-[alias] May-alias graph at the end of function calloc:
- ⊥
-[alias] analysing function: div
-[alias] May-aliases at the end of function div: ⊥
-[alias] May-alias graph at the end of function div:
- ⊥
-[alias] analysing function: drand48
-[alias] May-aliases at the end of function drand48: ⊥
-[alias] May-alias graph at the end of function drand48:
- ⊥
-[alias] analysing function: erand48
-[alias] May-aliases at the end of function erand48: ⊥
-[alias] May-alias graph at the end of function erand48:
- ⊥
-[alias] analysing function: exit
-[alias] May-aliases at the end of function exit: ⊥
-[alias] May-alias graph at the end of function exit:
- ⊥
-[alias] analysing function: free
-[alias] May-aliases at the end of function free: ⊥
-[alias] May-alias graph at the end of function free:
- ⊥
-[alias] analysing function: getenv
-[alias] May-aliases at the end of function getenv: ⊥
-[alias] May-alias graph at the end of function getenv:
- ⊥
-[alias] analysing function: jrand48
-[alias] May-aliases at the end of function jrand48: ⊥
-[alias] May-alias graph at the end of function jrand48:
- ⊥
-[alias] analysing function: labs
-[alias] May-aliases at the end of function labs: ⊥
-[alias] May-alias graph at the end of function labs:
- ⊥
-[alias] analysing function: lcong48
-[alias] May-aliases at the end of function lcong48: ⊥
-[alias] May-alias graph at the end of function lcong48:
- ⊥
-[alias] analysing function: ldiv
-[alias] May-aliases at the end of function ldiv: ⊥
-[alias] May-alias graph at the end of function ldiv:
- ⊥
-[alias] analysing function: llabs
-[alias] May-aliases at the end of function llabs: ⊥
-[alias] May-alias graph at the end of function llabs:
- ⊥
-[alias] analysing function: lldiv
-[alias] May-aliases at the end of function lldiv: ⊥
-[alias] May-alias graph at the end of function lldiv:
- ⊥
-[alias] analysing function: lrand48
-[alias] May-aliases at the end of function lrand48: ⊥
-[alias] May-alias graph at the end of function lrand48:
- ⊥
[alias] analysing function: main
[alias] analysing instruction: st_1_t x1 = {.a = 0, .b = 1};
[alias] May-aliases after instruction st_1_t x1 = {.a = 0, .b = 1}; are <none>
@@ -175,132 +79,4 @@
[alias] Summary of function main:
formals: locals: x1 x2 y1→{ x1 } z t a __retres
returns: __retres state: { z->s; y1 } { t->t; z } { z->c; t->d; a }
-[alias] analysing function: malloc
-[alias] May-aliases at the end of function malloc: ⊥
-[alias] May-alias graph at the end of function malloc:
- ⊥
-[alias] analysing function: mblen
-[alias] May-aliases at the end of function mblen: ⊥
-[alias] May-alias graph at the end of function mblen:
- ⊥
-[alias] analysing function: mbstowcs
-[alias] May-aliases at the end of function mbstowcs: ⊥
-[alias] May-alias graph at the end of function mbstowcs:
- ⊥
-[alias] analysing function: mbtowc
-[alias] May-aliases at the end of function mbtowc: ⊥
-[alias] May-alias graph at the end of function mbtowc:
- ⊥
-[alias] analysing function: mkstemp
-[alias] May-aliases at the end of function mkstemp: ⊥
-[alias] May-alias graph at the end of function mkstemp:
- ⊥
-[alias] analysing function: mkstemps
-[alias] May-aliases at the end of function mkstemps: ⊥
-[alias] May-alias graph at the end of function mkstemps:
- ⊥
-[alias] analysing function: mrand48
-[alias] May-aliases at the end of function mrand48: ⊥
-[alias] May-alias graph at the end of function mrand48:
- ⊥
-[alias] analysing function: nrand48
-[alias] May-aliases at the end of function nrand48: ⊥
-[alias] May-alias graph at the end of function nrand48:
- ⊥
-[alias] analysing function: posix_memalign
-[alias] May-aliases at the end of function posix_memalign: ⊥
-[alias] May-alias graph at the end of function posix_memalign:
- ⊥
-[alias] analysing function: putenv
-[alias] May-aliases at the end of function putenv: ⊥
-[alias] May-alias graph at the end of function putenv:
- ⊥
-[alias] analysing function: qsort
-[alias] May-aliases at the end of function qsort: ⊥
-[alias] May-alias graph at the end of function qsort:
- ⊥
-[alias] analysing function: quick_exit
-[alias] May-aliases at the end of function quick_exit: ⊥
-[alias] May-alias graph at the end of function quick_exit:
- ⊥
-[alias] analysing function: rand
-[alias] May-aliases at the end of function rand: ⊥
-[alias] May-alias graph at the end of function rand:
- ⊥
-[alias] analysing function: random
-[alias] May-aliases at the end of function random: ⊥
-[alias] May-alias graph at the end of function random:
- ⊥
-[alias] analysing function: realloc
-[alias] May-aliases at the end of function realloc: ⊥
-[alias] May-alias graph at the end of function realloc:
- ⊥
-[alias] analysing function: reallocarray
-[alias] May-aliases at the end of function reallocarray: ⊥
-[alias] May-alias graph at the end of function reallocarray:
- ⊥
-[alias] analysing function: seed48
-[alias] May-aliases at the end of function seed48: ⊥
-[alias] May-alias graph at the end of function seed48:
- ⊥
-[alias] analysing function: setenv
-[alias] May-aliases at the end of function setenv: ⊥
-[alias] May-alias graph at the end of function setenv:
- ⊥
-[alias] analysing function: srand
-[alias] May-aliases at the end of function srand: ⊥
-[alias] May-alias graph at the end of function srand:
- ⊥
-[alias] analysing function: srand48
-[alias] May-aliases at the end of function srand48: ⊥
-[alias] May-alias graph at the end of function srand48:
- ⊥
-[alias] analysing function: srandom
-[alias] May-aliases at the end of function srandom: ⊥
-[alias] May-alias graph at the end of function srandom:
- ⊥
-[alias] analysing function: strtod
-[alias] May-aliases at the end of function strtod: ⊥
-[alias] May-alias graph at the end of function strtod:
- ⊥
-[alias] analysing function: strtof
-[alias] May-aliases at the end of function strtof: ⊥
-[alias] May-alias graph at the end of function strtof:
- ⊥
-[alias] analysing function: strtol
-[alias] May-aliases at the end of function strtol: ⊥
-[alias] May-alias graph at the end of function strtol:
- ⊥
-[alias] analysing function: strtold
-[alias] May-aliases at the end of function strtold: ⊥
-[alias] May-alias graph at the end of function strtold:
- ⊥
-[alias] analysing function: strtoll
-[alias] May-aliases at the end of function strtoll: ⊥
-[alias] May-alias graph at the end of function strtoll:
- ⊥
-[alias] analysing function: strtoul
-[alias] May-aliases at the end of function strtoul: ⊥
-[alias] May-alias graph at the end of function strtoul:
- ⊥
-[alias] analysing function: strtoull
-[alias] May-aliases at the end of function strtoull: ⊥
-[alias] May-alias graph at the end of function strtoull:
- ⊥
-[alias] analysing function: system
-[alias] May-aliases at the end of function system: ⊥
-[alias] May-alias graph at the end of function system:
- ⊥
-[alias] analysing function: unsetenv
-[alias] May-aliases at the end of function unsetenv: ⊥
-[alias] May-alias graph at the end of function unsetenv:
- ⊥
-[alias] analysing function: wcstombs
-[alias] May-aliases at the end of function wcstombs: ⊥
-[alias] May-alias graph at the end of function wcstombs:
- ⊥
-[alias] analysing function: wctomb
-[alias] May-aliases at the end of function wctomb: ⊥
-[alias] May-alias graph at the end of function wctomb:
- ⊥
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/real_world/oracle/example1.res.oracle b/src/plugins/alias/tests/real_world/oracle/example1.res.oracle
index 9da1fbb86ac..8dba09dab09 100644
--- a/src/plugins/alias/tests/real_world/oracle/example1.res.oracle
+++ b/src/plugins/alias/tests/real_world/oracle/example1.res.oracle
@@ -1,180 +1,4 @@
[kernel] Parsing example1.c (with preprocessing)
-[alias] analysing function: _Exit
-[alias] May-aliases at the end of function _Exit: ⊥
-[alias] May-alias graph at the end of function _Exit:
- ⊥
-[alias] analysing function: __fc_fpclassify
-[alias] May-aliases at the end of function __fc_fpclassify: ⊥
-[alias] May-alias graph at the end of function __fc_fpclassify:
- ⊥
-[alias] analysing function: __fc_fpclassifyf
-[alias] May-aliases at the end of function __fc_fpclassifyf: ⊥
-[alias] May-alias graph at the end of function __fc_fpclassifyf:
- ⊥
-[alias] analysing function: __fc_infinity
-[alias] May-aliases at the end of function __fc_infinity: ⊥
-[alias] May-alias graph at the end of function __fc_infinity:
- ⊥
-[alias] analysing function: __fc_nan
-[alias] May-aliases at the end of function __fc_nan: ⊥
-[alias] May-alias graph at the end of function __fc_nan:
- ⊥
-[alias] analysing function: __finite
-[alias] May-aliases at the end of function __finite: ⊥
-[alias] May-alias graph at the end of function __finite:
- ⊥
-[alias] analysing function: __finitef
-[alias] May-aliases at the end of function __finitef: ⊥
-[alias] May-alias graph at the end of function __finitef:
- ⊥
-[alias] analysing function: abort
-[alias] May-aliases at the end of function abort: ⊥
-[alias] May-alias graph at the end of function abort:
- ⊥
-[alias] analysing function: abs
-[alias] May-aliases at the end of function abs: ⊥
-[alias] May-alias graph at the end of function abs:
- ⊥
-[alias] analysing function: acos
-[alias] May-aliases at the end of function acos: ⊥
-[alias] May-alias graph at the end of function acos:
- ⊥
-[alias] analysing function: acosf
-[alias] May-aliases at the end of function acosf: ⊥
-[alias] May-alias graph at the end of function acosf:
- ⊥
-[alias] analysing function: acosh
-[alias] May-aliases at the end of function acosh: ⊥
-[alias] May-alias graph at the end of function acosh:
- ⊥
-[alias] analysing function: acoshf
-[alias] May-aliases at the end of function acoshf: ⊥
-[alias] May-alias graph at the end of function acoshf:
- ⊥
-[alias] analysing function: acoshl
-[alias] May-aliases at the end of function acoshl: ⊥
-[alias] May-alias graph at the end of function acoshl:
- ⊥
-[alias] analysing function: acosl
-[alias] May-aliases at the end of function acosl: ⊥
-[alias] May-alias graph at the end of function acosl:
- ⊥
-[alias] analysing function: asin
-[alias] May-aliases at the end of function asin: ⊥
-[alias] May-alias graph at the end of function asin:
- ⊥
-[alias] analysing function: asinf
-[alias] May-aliases at the end of function asinf: ⊥
-[alias] May-alias graph at the end of function asinf:
- ⊥
-[alias] analysing function: asinl
-[alias] May-aliases at the end of function asinl: ⊥
-[alias] May-alias graph at the end of function asinl:
- ⊥
-[alias] analysing function: at_quick_exit
-[alias] May-aliases at the end of function at_quick_exit: ⊥
-[alias] May-alias graph at the end of function at_quick_exit:
- ⊥
-[alias] analysing function: atan
-[alias] May-aliases at the end of function atan: ⊥
-[alias] May-alias graph at the end of function atan:
- ⊥
-[alias] analysing function: atan2
-[alias] May-aliases at the end of function atan2: ⊥
-[alias] May-alias graph at the end of function atan2:
- ⊥
-[alias] analysing function: atan2f
-[alias] May-aliases at the end of function atan2f: ⊥
-[alias] May-alias graph at the end of function atan2f:
- ⊥
-[alias] analysing function: atan2l
-[alias] May-aliases at the end of function atan2l: ⊥
-[alias] May-alias graph at the end of function atan2l:
- ⊥
-[alias] analysing function: atanf
-[alias] May-aliases at the end of function atanf: ⊥
-[alias] May-alias graph at the end of function atanf:
- ⊥
-[alias] analysing function: atanl
-[alias] May-aliases at the end of function atanl: ⊥
-[alias] May-alias graph at the end of function atanl:
- ⊥
-[alias] analysing function: atexit
-[alias] May-aliases at the end of function atexit: ⊥
-[alias] May-alias graph at the end of function atexit:
- ⊥
-[alias] analysing function: atof
-[alias] May-aliases at the end of function atof: ⊥
-[alias] May-alias graph at the end of function atof:
- ⊥
-[alias] analysing function: atoi
-[alias] May-aliases at the end of function atoi: ⊥
-[alias] May-alias graph at the end of function atoi:
- ⊥
-[alias] analysing function: atol
-[alias] May-aliases at the end of function atol: ⊥
-[alias] May-alias graph at the end of function atol:
- ⊥
-[alias] analysing function: atoll
-[alias] May-aliases at the end of function atoll: ⊥
-[alias] May-alias graph at the end of function atoll:
- ⊥
-[alias] analysing function: bsearch
-[alias] May-aliases at the end of function bsearch: ⊥
-[alias] May-alias graph at the end of function bsearch:
- ⊥
-[alias] analysing function: calloc
-[alias] May-aliases at the end of function calloc: ⊥
-[alias] May-alias graph at the end of function calloc:
- ⊥
-[alias] analysing function: ceil
-[alias] May-aliases at the end of function ceil: ⊥
-[alias] May-alias graph at the end of function ceil:
- ⊥
-[alias] analysing function: ceilf
-[alias] May-aliases at the end of function ceilf: ⊥
-[alias] May-alias graph at the end of function ceilf:
- ⊥
-[alias] analysing function: ceill
-[alias] May-aliases at the end of function ceill: ⊥
-[alias] May-alias graph at the end of function ceill:
- ⊥
-[alias] analysing function: cos
-[alias] May-aliases at the end of function cos: ⊥
-[alias] May-alias graph at the end of function cos:
- ⊥
-[alias] analysing function: cosf
-[alias] May-aliases at the end of function cosf: ⊥
-[alias] May-alias graph at the end of function cosf:
- ⊥
-[alias] analysing function: cosl
-[alias] May-aliases at the end of function cosl: ⊥
-[alias] May-alias graph at the end of function cosl:
- ⊥
-[alias] analysing function: div
-[alias] May-aliases at the end of function div: ⊥
-[alias] May-alias graph at the end of function div:
- ⊥
-[alias] analysing function: drand48
-[alias] May-aliases at the end of function drand48: ⊥
-[alias] May-alias graph at the end of function drand48:
- ⊥
-[alias] analysing function: erand48
-[alias] May-aliases at the end of function erand48: ⊥
-[alias] May-alias graph at the end of function erand48:
- ⊥
-[alias] analysing function: exit
-[alias] May-aliases at the end of function exit: ⊥
-[alias] May-alias graph at the end of function exit:
- ⊥
-[alias] analysing function: exp
-[alias] May-aliases at the end of function exp: ⊥
-[alias] May-alias graph at the end of function exp:
- ⊥
-[alias] analysing function: expf
-[alias] May-aliases at the end of function expf: ⊥
-[alias] May-alias graph at the end of function expf:
- ⊥
[alias] analysing function: f1
[alias] analysing instruction: ty *tmp = x;
[alias] May-aliases after instruction ty *tmp = x; are { x; tmp }
@@ -206,10 +30,6 @@
0:{ x; tmp } → 1:{ } 4:{ tmp->t2[0..]; idata } → 5:{ }
7:{ tmp->t1[0..]; odata } → 8:{ }
[alias] analysing instruction: tmp_1 = sin(*(idata + idx));
-[alias] analysing function: sin
-[alias] May-aliases at the end of function sin: ⊥
-[alias] May-alias graph at the end of function sin:
- ⊥
[alias:undefined:fn] example1.c:45: Warning: function sin has no definition
[alias] May-aliases after instruction tmp_1 = sin(*(idata + idx)); are
{ x; tmp } { tmp->t2[0..]; idata } { tmp->t1[0..]; odata }
@@ -336,130 +156,6 @@
[alias] Summary of function f2:
formals: x locals: tmp idx idata odata __retres
returns: __retres state: <none>
-[alias] analysing function: fabs
-[alias] May-aliases at the end of function fabs: ⊥
-[alias] May-alias graph at the end of function fabs:
- ⊥
-[alias] analysing function: fabsf
-[alias] May-aliases at the end of function fabsf: ⊥
-[alias] May-alias graph at the end of function fabsf:
- ⊥
-[alias] analysing function: fabsl
-[alias] May-aliases at the end of function fabsl: ⊥
-[alias] May-alias graph at the end of function fabsl:
- ⊥
-[alias] analysing function: floor
-[alias] May-aliases at the end of function floor: ⊥
-[alias] May-alias graph at the end of function floor:
- ⊥
-[alias] analysing function: floorf
-[alias] May-aliases at the end of function floorf: ⊥
-[alias] May-alias graph at the end of function floorf:
- ⊥
-[alias] analysing function: floorl
-[alias] May-aliases at the end of function floorl: ⊥
-[alias] May-alias graph at the end of function floorl:
- ⊥
-[alias] analysing function: fmod
-[alias] May-aliases at the end of function fmod: ⊥
-[alias] May-alias graph at the end of function fmod:
- ⊥
-[alias] analysing function: fmodf
-[alias] May-aliases at the end of function fmodf: ⊥
-[alias] May-alias graph at the end of function fmodf:
- ⊥
-[alias] analysing function: free
-[alias] May-aliases at the end of function free: ⊥
-[alias] May-alias graph at the end of function free:
- ⊥
-[alias] analysing function: frexp
-[alias] May-aliases at the end of function frexp: ⊥
-[alias] May-alias graph at the end of function frexp:
- ⊥
-[alias] analysing function: frexpf
-[alias] May-aliases at the end of function frexpf: ⊥
-[alias] May-alias graph at the end of function frexpf:
- ⊥
-[alias] analysing function: frexpl
-[alias] May-aliases at the end of function frexpl: ⊥
-[alias] May-alias graph at the end of function frexpl:
- ⊥
-[alias] analysing function: getenv
-[alias] May-aliases at the end of function getenv: ⊥
-[alias] May-alias graph at the end of function getenv:
- ⊥
-[alias] analysing function: jrand48
-[alias] May-aliases at the end of function jrand48: ⊥
-[alias] May-alias graph at the end of function jrand48:
- ⊥
-[alias] analysing function: labs
-[alias] May-aliases at the end of function labs: ⊥
-[alias] May-alias graph at the end of function labs:
- ⊥
-[alias] analysing function: lcong48
-[alias] May-aliases at the end of function lcong48: ⊥
-[alias] May-alias graph at the end of function lcong48:
- ⊥
-[alias] analysing function: ldexp
-[alias] May-aliases at the end of function ldexp: ⊥
-[alias] May-alias graph at the end of function ldexp:
- ⊥
-[alias] analysing function: ldexpf
-[alias] May-aliases at the end of function ldexpf: ⊥
-[alias] May-alias graph at the end of function ldexpf:
- ⊥
-[alias] analysing function: ldiv
-[alias] May-aliases at the end of function ldiv: ⊥
-[alias] May-alias graph at the end of function ldiv:
- ⊥
-[alias] analysing function: llabs
-[alias] May-aliases at the end of function llabs: ⊥
-[alias] May-alias graph at the end of function llabs:
- ⊥
-[alias] analysing function: lldiv
-[alias] May-aliases at the end of function lldiv: ⊥
-[alias] May-alias graph at the end of function lldiv:
- ⊥
-[alias] analysing function: log
-[alias] May-aliases at the end of function log: ⊥
-[alias] May-alias graph at the end of function log:
- ⊥
-[alias] analysing function: log10
-[alias] May-aliases at the end of function log10: ⊥
-[alias] May-alias graph at the end of function log10:
- ⊥
-[alias] analysing function: log10f
-[alias] May-aliases at the end of function log10f: ⊥
-[alias] May-alias graph at the end of function log10f:
- ⊥
-[alias] analysing function: log10l
-[alias] May-aliases at the end of function log10l: ⊥
-[alias] May-alias graph at the end of function log10l:
- ⊥
-[alias] analysing function: log2
-[alias] May-aliases at the end of function log2: ⊥
-[alias] May-alias graph at the end of function log2:
- ⊥
-[alias] analysing function: log2f
-[alias] May-aliases at the end of function log2f: ⊥
-[alias] May-alias graph at the end of function log2f:
- ⊥
-[alias] analysing function: log2l
-[alias] May-aliases at the end of function log2l: ⊥
-[alias] May-alias graph at the end of function log2l:
- ⊥
-[alias] analysing function: logf
-[alias] May-aliases at the end of function logf: ⊥
-[alias] May-alias graph at the end of function logf:
- ⊥
-[alias] analysing function: logl
-[alias] May-aliases at the end of function logl: ⊥
-[alias] May-alias graph at the end of function logl:
- ⊥
-[alias] analysing function: lrand48
-[alias] May-aliases at the end of function lrand48: ⊥
-[alias] May-alias graph at the end of function lrand48:
- ⊥
[alias] analysing function: main
[alias] analysing instruction: a = (ty *)malloc(sizeof(ty));
[alias] May-aliases after instruction a = (ty *)malloc(sizeof(ty)); are <none>
@@ -637,217 +333,9 @@
formals: locals: a b i __retres returns: __retres
state: { a->t1[0..]; b->t1[0..] } { a->t2[0..]; b->t2[0..] }
{ a->n1; b->n1 } { a->n2; b->n2 }
-[alias] analysing function: malloc
-[alias] May-aliases at the end of function malloc: ⊥
-[alias] May-alias graph at the end of function malloc:
- ⊥
-[alias] analysing function: mblen
-[alias] May-aliases at the end of function mblen: ⊥
-[alias] May-alias graph at the end of function mblen:
- ⊥
-[alias] analysing function: mbstowcs
-[alias] May-aliases at the end of function mbstowcs: ⊥
-[alias] May-alias graph at the end of function mbstowcs:
- ⊥
-[alias] analysing function: mbtowc
-[alias] May-aliases at the end of function mbtowc: ⊥
-[alias] May-alias graph at the end of function mbtowc:
- ⊥
-[alias] analysing function: mkstemp
-[alias] May-aliases at the end of function mkstemp: ⊥
-[alias] May-alias graph at the end of function mkstemp:
- ⊥
-[alias] analysing function: mkstemps
-[alias] May-aliases at the end of function mkstemps: ⊥
-[alias] May-alias graph at the end of function mkstemps:
- ⊥
-[alias] analysing function: mrand48
-[alias] May-aliases at the end of function mrand48: ⊥
-[alias] May-alias graph at the end of function mrand48:
- ⊥
-[alias] analysing function: nan
-[alias] May-aliases at the end of function nan: ⊥
-[alias] May-alias graph at the end of function nan:
- ⊥
-[alias] analysing function: nanf
-[alias] May-aliases at the end of function nanf: ⊥
-[alias] May-alias graph at the end of function nanf:
- ⊥
-[alias] analysing function: nanl
-[alias] May-aliases at the end of function nanl: ⊥
-[alias] May-alias graph at the end of function nanl:
- ⊥
-[alias] analysing function: nrand48
-[alias] May-aliases at the end of function nrand48: ⊥
-[alias] May-alias graph at the end of function nrand48:
- ⊥
-[alias] analysing function: posix_memalign
-[alias] May-aliases at the end of function posix_memalign: ⊥
-[alias] May-alias graph at the end of function posix_memalign:
- ⊥
-[alias] analysing function: pow
-[alias] May-aliases at the end of function pow: ⊥
-[alias] May-alias graph at the end of function pow:
- ⊥
-[alias] analysing function: powf
-[alias] May-aliases at the end of function powf: ⊥
-[alias] May-alias graph at the end of function powf:
- ⊥
-[alias] analysing function: putenv
-[alias] May-aliases at the end of function putenv: ⊥
-[alias] May-alias graph at the end of function putenv:
- ⊥
-[alias] analysing function: qsort
-[alias] May-aliases at the end of function qsort: ⊥
-[alias] May-alias graph at the end of function qsort:
- ⊥
-[alias] analysing function: quick_exit
-[alias] May-aliases at the end of function quick_exit: ⊥
-[alias] May-alias graph at the end of function quick_exit:
- ⊥
-[alias] analysing function: rand
-[alias] May-aliases at the end of function rand: ⊥
-[alias] May-alias graph at the end of function rand:
- ⊥
-[alias] analysing function: random
-[alias] May-aliases at the end of function random: ⊥
-[alias] May-alias graph at the end of function random:
- ⊥
-[alias] analysing function: realloc
-[alias] May-aliases at the end of function realloc: ⊥
-[alias] May-alias graph at the end of function realloc:
- ⊥
-[alias] analysing function: reallocarray
-[alias] May-aliases at the end of function reallocarray: ⊥
-[alias] May-alias graph at the end of function reallocarray:
- ⊥
-[alias] analysing function: round
-[alias] May-aliases at the end of function round: ⊥
-[alias] May-alias graph at the end of function round:
- ⊥
-[alias] analysing function: roundf
-[alias] May-aliases at the end of function roundf: ⊥
-[alias] May-alias graph at the end of function roundf:
- ⊥
-[alias] analysing function: roundl
-[alias] May-aliases at the end of function roundl: ⊥
-[alias] May-alias graph at the end of function roundl:
- ⊥
-[alias] analysing function: seed48
-[alias] May-aliases at the end of function seed48: ⊥
-[alias] May-alias graph at the end of function seed48:
- ⊥
-[alias] analysing function: setenv
-[alias] May-aliases at the end of function setenv: ⊥
-[alias] May-alias graph at the end of function setenv:
- ⊥
-[alias] analysing function: sin
-[alias] May-aliases at the end of function sin: ⊥
-[alias] May-alias graph at the end of function sin:
- ⊥
-[alias] analysing function: sinf
-[alias] May-aliases at the end of function sinf: ⊥
-[alias] May-alias graph at the end of function sinf:
- ⊥
-[alias] analysing function: sinl
-[alias] May-aliases at the end of function sinl: ⊥
-[alias] May-alias graph at the end of function sinl:
- ⊥
-[alias] analysing function: sqrt
-[alias] May-aliases at the end of function sqrt: ⊥
-[alias] May-alias graph at the end of function sqrt:
- ⊥
-[alias] analysing function: sqrtf
-[alias] May-aliases at the end of function sqrtf: ⊥
-[alias] May-alias graph at the end of function sqrtf:
- ⊥
-[alias] analysing function: sqrtl
-[alias] May-aliases at the end of function sqrtl: ⊥
-[alias] May-alias graph at the end of function sqrtl:
- ⊥
-[alias] analysing function: srand
-[alias] May-aliases at the end of function srand: ⊥
-[alias] May-alias graph at the end of function srand:
- ⊥
-[alias] analysing function: srand48
-[alias] May-aliases at the end of function srand48: ⊥
-[alias] May-alias graph at the end of function srand48:
- ⊥
-[alias] analysing function: srandom
-[alias] May-aliases at the end of function srandom: ⊥
-[alias] May-alias graph at the end of function srandom:
- ⊥
-[alias] analysing function: strtod
-[alias] May-aliases at the end of function strtod: ⊥
-[alias] May-alias graph at the end of function strtod:
- ⊥
-[alias] analysing function: strtof
-[alias] May-aliases at the end of function strtof: ⊥
-[alias] May-alias graph at the end of function strtof:
- ⊥
-[alias] analysing function: strtol
-[alias] May-aliases at the end of function strtol: ⊥
-[alias] May-alias graph at the end of function strtol:
- ⊥
-[alias] analysing function: strtold
-[alias] May-aliases at the end of function strtold: ⊥
-[alias] May-alias graph at the end of function strtold:
- ⊥
-[alias] analysing function: strtoll
-[alias] May-aliases at the end of function strtoll: ⊥
-[alias] May-alias graph at the end of function strtoll:
- ⊥
-[alias] analysing function: strtoul
-[alias] May-aliases at the end of function strtoul: ⊥
-[alias] May-alias graph at the end of function strtoul:
- ⊥
-[alias] analysing function: strtoull
-[alias] May-aliases at the end of function strtoull: ⊥
-[alias] May-alias graph at the end of function strtoull:
- ⊥
[alias] analysing function: swap
[alias] May-aliases at the end of function swap: <none>
[alias] May-alias graph at the end of function swap:
<empty>
[alias] Summary of function swap:
-[alias] analysing function: system
-[alias] May-aliases at the end of function system: ⊥
-[alias] May-alias graph at the end of function system:
- ⊥
-[alias] analysing function: tan
-[alias] May-aliases at the end of function tan: ⊥
-[alias] May-alias graph at the end of function tan:
- ⊥
-[alias] analysing function: tanf
-[alias] May-aliases at the end of function tanf: ⊥
-[alias] May-alias graph at the end of function tanf:
- ⊥
-[alias] analysing function: tanl
-[alias] May-aliases at the end of function tanl: ⊥
-[alias] May-alias graph at the end of function tanl:
- ⊥
-[alias] analysing function: trunc
-[alias] May-aliases at the end of function trunc: ⊥
-[alias] May-alias graph at the end of function trunc:
- ⊥
-[alias] analysing function: truncf
-[alias] May-aliases at the end of function truncf: ⊥
-[alias] May-alias graph at the end of function truncf:
- ⊥
-[alias] analysing function: truncl
-[alias] May-aliases at the end of function truncl: ⊥
-[alias] May-alias graph at the end of function truncl:
- ⊥
-[alias] analysing function: unsetenv
-[alias] May-aliases at the end of function unsetenv: ⊥
-[alias] May-alias graph at the end of function unsetenv:
- ⊥
-[alias] analysing function: wcstombs
-[alias] May-aliases at the end of function wcstombs: ⊥
-[alias] May-alias graph at the end of function wcstombs:
- ⊥
-[alias] analysing function: wctomb
-[alias] May-aliases at the end of function wctomb: ⊥
-[alias] May-alias graph at the end of function wctomb:
- ⊥
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/real_world/oracle/example2.res.oracle b/src/plugins/alias/tests/real_world/oracle/example2.res.oracle
index fc423c49e94..0ef7ddca0a1 100644
--- a/src/plugins/alias/tests/real_world/oracle/example2.res.oracle
+++ b/src/plugins/alias/tests/real_world/oracle/example2.res.oracle
@@ -1,180 +1,4 @@
[kernel] Parsing example2.c (with preprocessing)
-[alias] analysing function: _Exit
-[alias] May-aliases at the end of function _Exit: ⊥
-[alias] May-alias graph at the end of function _Exit:
- ⊥
-[alias] analysing function: __fc_fpclassify
-[alias] May-aliases at the end of function __fc_fpclassify: ⊥
-[alias] May-alias graph at the end of function __fc_fpclassify:
- ⊥
-[alias] analysing function: __fc_fpclassifyf
-[alias] May-aliases at the end of function __fc_fpclassifyf: ⊥
-[alias] May-alias graph at the end of function __fc_fpclassifyf:
- ⊥
-[alias] analysing function: __fc_infinity
-[alias] May-aliases at the end of function __fc_infinity: ⊥
-[alias] May-alias graph at the end of function __fc_infinity:
- ⊥
-[alias] analysing function: __fc_nan
-[alias] May-aliases at the end of function __fc_nan: ⊥
-[alias] May-alias graph at the end of function __fc_nan:
- ⊥
-[alias] analysing function: __finite
-[alias] May-aliases at the end of function __finite: ⊥
-[alias] May-alias graph at the end of function __finite:
- ⊥
-[alias] analysing function: __finitef
-[alias] May-aliases at the end of function __finitef: ⊥
-[alias] May-alias graph at the end of function __finitef:
- ⊥
-[alias] analysing function: abort
-[alias] May-aliases at the end of function abort: ⊥
-[alias] May-alias graph at the end of function abort:
- ⊥
-[alias] analysing function: abs
-[alias] May-aliases at the end of function abs: ⊥
-[alias] May-alias graph at the end of function abs:
- ⊥
-[alias] analysing function: acos
-[alias] May-aliases at the end of function acos: ⊥
-[alias] May-alias graph at the end of function acos:
- ⊥
-[alias] analysing function: acosf
-[alias] May-aliases at the end of function acosf: ⊥
-[alias] May-alias graph at the end of function acosf:
- ⊥
-[alias] analysing function: acosh
-[alias] May-aliases at the end of function acosh: ⊥
-[alias] May-alias graph at the end of function acosh:
- ⊥
-[alias] analysing function: acoshf
-[alias] May-aliases at the end of function acoshf: ⊥
-[alias] May-alias graph at the end of function acoshf:
- ⊥
-[alias] analysing function: acoshl
-[alias] May-aliases at the end of function acoshl: ⊥
-[alias] May-alias graph at the end of function acoshl:
- ⊥
-[alias] analysing function: acosl
-[alias] May-aliases at the end of function acosl: ⊥
-[alias] May-alias graph at the end of function acosl:
- ⊥
-[alias] analysing function: asin
-[alias] May-aliases at the end of function asin: ⊥
-[alias] May-alias graph at the end of function asin:
- ⊥
-[alias] analysing function: asinf
-[alias] May-aliases at the end of function asinf: ⊥
-[alias] May-alias graph at the end of function asinf:
- ⊥
-[alias] analysing function: asinl
-[alias] May-aliases at the end of function asinl: ⊥
-[alias] May-alias graph at the end of function asinl:
- ⊥
-[alias] analysing function: at_quick_exit
-[alias] May-aliases at the end of function at_quick_exit: ⊥
-[alias] May-alias graph at the end of function at_quick_exit:
- ⊥
-[alias] analysing function: atan
-[alias] May-aliases at the end of function atan: ⊥
-[alias] May-alias graph at the end of function atan:
- ⊥
-[alias] analysing function: atan2
-[alias] May-aliases at the end of function atan2: ⊥
-[alias] May-alias graph at the end of function atan2:
- ⊥
-[alias] analysing function: atan2f
-[alias] May-aliases at the end of function atan2f: ⊥
-[alias] May-alias graph at the end of function atan2f:
- ⊥
-[alias] analysing function: atan2l
-[alias] May-aliases at the end of function atan2l: ⊥
-[alias] May-alias graph at the end of function atan2l:
- ⊥
-[alias] analysing function: atanf
-[alias] May-aliases at the end of function atanf: ⊥
-[alias] May-alias graph at the end of function atanf:
- ⊥
-[alias] analysing function: atanl
-[alias] May-aliases at the end of function atanl: ⊥
-[alias] May-alias graph at the end of function atanl:
- ⊥
-[alias] analysing function: atexit
-[alias] May-aliases at the end of function atexit: ⊥
-[alias] May-alias graph at the end of function atexit:
- ⊥
-[alias] analysing function: atof
-[alias] May-aliases at the end of function atof: ⊥
-[alias] May-alias graph at the end of function atof:
- ⊥
-[alias] analysing function: atoi
-[alias] May-aliases at the end of function atoi: ⊥
-[alias] May-alias graph at the end of function atoi:
- ⊥
-[alias] analysing function: atol
-[alias] May-aliases at the end of function atol: ⊥
-[alias] May-alias graph at the end of function atol:
- ⊥
-[alias] analysing function: atoll
-[alias] May-aliases at the end of function atoll: ⊥
-[alias] May-alias graph at the end of function atoll:
- ⊥
-[alias] analysing function: bsearch
-[alias] May-aliases at the end of function bsearch: ⊥
-[alias] May-alias graph at the end of function bsearch:
- ⊥
-[alias] analysing function: calloc
-[alias] May-aliases at the end of function calloc: ⊥
-[alias] May-alias graph at the end of function calloc:
- ⊥
-[alias] analysing function: ceil
-[alias] May-aliases at the end of function ceil: ⊥
-[alias] May-alias graph at the end of function ceil:
- ⊥
-[alias] analysing function: ceilf
-[alias] May-aliases at the end of function ceilf: ⊥
-[alias] May-alias graph at the end of function ceilf:
- ⊥
-[alias] analysing function: ceill
-[alias] May-aliases at the end of function ceill: ⊥
-[alias] May-alias graph at the end of function ceill:
- ⊥
-[alias] analysing function: cos
-[alias] May-aliases at the end of function cos: ⊥
-[alias] May-alias graph at the end of function cos:
- ⊥
-[alias] analysing function: cosf
-[alias] May-aliases at the end of function cosf: ⊥
-[alias] May-alias graph at the end of function cosf:
- ⊥
-[alias] analysing function: cosl
-[alias] May-aliases at the end of function cosl: ⊥
-[alias] May-alias graph at the end of function cosl:
- ⊥
-[alias] analysing function: div
-[alias] May-aliases at the end of function div: ⊥
-[alias] May-alias graph at the end of function div:
- ⊥
-[alias] analysing function: drand48
-[alias] May-aliases at the end of function drand48: ⊥
-[alias] May-alias graph at the end of function drand48:
- ⊥
-[alias] analysing function: erand48
-[alias] May-aliases at the end of function erand48: ⊥
-[alias] May-alias graph at the end of function erand48:
- ⊥
-[alias] analysing function: exit
-[alias] May-aliases at the end of function exit: ⊥
-[alias] May-alias graph at the end of function exit:
- ⊥
-[alias] analysing function: exp
-[alias] May-aliases at the end of function exp: ⊥
-[alias] May-alias graph at the end of function exp:
- ⊥
-[alias] analysing function: expf
-[alias] May-aliases at the end of function expf: ⊥
-[alias] May-alias graph at the end of function expf:
- ⊥
[alias] analysing function: f1
[alias] analysing instruction: ty *tmp = x;
[alias] May-aliases after instruction ty *tmp = x; are { x; tmp }
@@ -210,10 +34,6 @@
0:{ x; tmp } → 1:{ } 4:{ tmp->t2[0..]; idata } → 5:{ }
7:{ tmp->t1[0..]; odata } → 8:{ }
[alias] analysing instruction: tmp_1 = sin(*(idata + idx));
-[alias] analysing function: sin
-[alias] May-aliases at the end of function sin: ⊥
-[alias] May-alias graph at the end of function sin:
- ⊥
[alias:undefined:fn] example2.c:45: Warning: function sin has no definition
[alias] May-aliases after instruction tmp_1 = sin(*(idata + idx)); are
{ x; tmp } { tmp->t2[0..]; idata } { tmp->t1[0..]; odata }
@@ -370,130 +190,6 @@
formals: x locals: tmp idx idata odata i __retres
returns: __retres
state: { x; tmp } { tmp->t1[0..]; idata } { tmp->t2[0..]; odata }
-[alias] analysing function: fabs
-[alias] May-aliases at the end of function fabs: ⊥
-[alias] May-alias graph at the end of function fabs:
- ⊥
-[alias] analysing function: fabsf
-[alias] May-aliases at the end of function fabsf: ⊥
-[alias] May-alias graph at the end of function fabsf:
- ⊥
-[alias] analysing function: fabsl
-[alias] May-aliases at the end of function fabsl: ⊥
-[alias] May-alias graph at the end of function fabsl:
- ⊥
-[alias] analysing function: floor
-[alias] May-aliases at the end of function floor: ⊥
-[alias] May-alias graph at the end of function floor:
- ⊥
-[alias] analysing function: floorf
-[alias] May-aliases at the end of function floorf: ⊥
-[alias] May-alias graph at the end of function floorf:
- ⊥
-[alias] analysing function: floorl
-[alias] May-aliases at the end of function floorl: ⊥
-[alias] May-alias graph at the end of function floorl:
- ⊥
-[alias] analysing function: fmod
-[alias] May-aliases at the end of function fmod: ⊥
-[alias] May-alias graph at the end of function fmod:
- ⊥
-[alias] analysing function: fmodf
-[alias] May-aliases at the end of function fmodf: ⊥
-[alias] May-alias graph at the end of function fmodf:
- ⊥
-[alias] analysing function: free
-[alias] May-aliases at the end of function free: ⊥
-[alias] May-alias graph at the end of function free:
- ⊥
-[alias] analysing function: frexp
-[alias] May-aliases at the end of function frexp: ⊥
-[alias] May-alias graph at the end of function frexp:
- ⊥
-[alias] analysing function: frexpf
-[alias] May-aliases at the end of function frexpf: ⊥
-[alias] May-alias graph at the end of function frexpf:
- ⊥
-[alias] analysing function: frexpl
-[alias] May-aliases at the end of function frexpl: ⊥
-[alias] May-alias graph at the end of function frexpl:
- ⊥
-[alias] analysing function: getenv
-[alias] May-aliases at the end of function getenv: ⊥
-[alias] May-alias graph at the end of function getenv:
- ⊥
-[alias] analysing function: jrand48
-[alias] May-aliases at the end of function jrand48: ⊥
-[alias] May-alias graph at the end of function jrand48:
- ⊥
-[alias] analysing function: labs
-[alias] May-aliases at the end of function labs: ⊥
-[alias] May-alias graph at the end of function labs:
- ⊥
-[alias] analysing function: lcong48
-[alias] May-aliases at the end of function lcong48: ⊥
-[alias] May-alias graph at the end of function lcong48:
- ⊥
-[alias] analysing function: ldexp
-[alias] May-aliases at the end of function ldexp: ⊥
-[alias] May-alias graph at the end of function ldexp:
- ⊥
-[alias] analysing function: ldexpf
-[alias] May-aliases at the end of function ldexpf: ⊥
-[alias] May-alias graph at the end of function ldexpf:
- ⊥
-[alias] analysing function: ldiv
-[alias] May-aliases at the end of function ldiv: ⊥
-[alias] May-alias graph at the end of function ldiv:
- ⊥
-[alias] analysing function: llabs
-[alias] May-aliases at the end of function llabs: ⊥
-[alias] May-alias graph at the end of function llabs:
- ⊥
-[alias] analysing function: lldiv
-[alias] May-aliases at the end of function lldiv: ⊥
-[alias] May-alias graph at the end of function lldiv:
- ⊥
-[alias] analysing function: log
-[alias] May-aliases at the end of function log: ⊥
-[alias] May-alias graph at the end of function log:
- ⊥
-[alias] analysing function: log10
-[alias] May-aliases at the end of function log10: ⊥
-[alias] May-alias graph at the end of function log10:
- ⊥
-[alias] analysing function: log10f
-[alias] May-aliases at the end of function log10f: ⊥
-[alias] May-alias graph at the end of function log10f:
- ⊥
-[alias] analysing function: log10l
-[alias] May-aliases at the end of function log10l: ⊥
-[alias] May-alias graph at the end of function log10l:
- ⊥
-[alias] analysing function: log2
-[alias] May-aliases at the end of function log2: ⊥
-[alias] May-alias graph at the end of function log2:
- ⊥
-[alias] analysing function: log2f
-[alias] May-aliases at the end of function log2f: ⊥
-[alias] May-alias graph at the end of function log2f:
- ⊥
-[alias] analysing function: log2l
-[alias] May-aliases at the end of function log2l: ⊥
-[alias] May-alias graph at the end of function log2l:
- ⊥
-[alias] analysing function: logf
-[alias] May-aliases at the end of function logf: ⊥
-[alias] May-alias graph at the end of function logf:
- ⊥
-[alias] analysing function: logl
-[alias] May-aliases at the end of function logl: ⊥
-[alias] May-alias graph at the end of function logl:
- ⊥
-[alias] analysing function: lrand48
-[alias] May-aliases at the end of function lrand48: ⊥
-[alias] May-alias graph at the end of function lrand48:
- ⊥
[alias] analysing function: main
[alias] analysing instruction: a = (ty *)malloc(sizeof(ty));
[alias] May-aliases after instruction a = (ty *)malloc(sizeof(ty)); are <none>
@@ -671,217 +367,9 @@
formals: locals: a b i __retres returns: __retres
state: { a->t1[0..]; b->t1[0..] } { a->t2[0..]; b->t2[0..] }
{ a->n1; b->n1 } { a->n2; b->n2 }
-[alias] analysing function: malloc
-[alias] May-aliases at the end of function malloc: ⊥
-[alias] May-alias graph at the end of function malloc:
- ⊥
-[alias] analysing function: mblen
-[alias] May-aliases at the end of function mblen: ⊥
-[alias] May-alias graph at the end of function mblen:
- ⊥
-[alias] analysing function: mbstowcs
-[alias] May-aliases at the end of function mbstowcs: ⊥
-[alias] May-alias graph at the end of function mbstowcs:
- ⊥
-[alias] analysing function: mbtowc
-[alias] May-aliases at the end of function mbtowc: ⊥
-[alias] May-alias graph at the end of function mbtowc:
- ⊥
-[alias] analysing function: mkstemp
-[alias] May-aliases at the end of function mkstemp: ⊥
-[alias] May-alias graph at the end of function mkstemp:
- ⊥
-[alias] analysing function: mkstemps
-[alias] May-aliases at the end of function mkstemps: ⊥
-[alias] May-alias graph at the end of function mkstemps:
- ⊥
-[alias] analysing function: mrand48
-[alias] May-aliases at the end of function mrand48: ⊥
-[alias] May-alias graph at the end of function mrand48:
- ⊥
-[alias] analysing function: nan
-[alias] May-aliases at the end of function nan: ⊥
-[alias] May-alias graph at the end of function nan:
- ⊥
-[alias] analysing function: nanf
-[alias] May-aliases at the end of function nanf: ⊥
-[alias] May-alias graph at the end of function nanf:
- ⊥
-[alias] analysing function: nanl
-[alias] May-aliases at the end of function nanl: ⊥
-[alias] May-alias graph at the end of function nanl:
- ⊥
-[alias] analysing function: nrand48
-[alias] May-aliases at the end of function nrand48: ⊥
-[alias] May-alias graph at the end of function nrand48:
- ⊥
-[alias] analysing function: posix_memalign
-[alias] May-aliases at the end of function posix_memalign: ⊥
-[alias] May-alias graph at the end of function posix_memalign:
- ⊥
-[alias] analysing function: pow
-[alias] May-aliases at the end of function pow: ⊥
-[alias] May-alias graph at the end of function pow:
- ⊥
-[alias] analysing function: powf
-[alias] May-aliases at the end of function powf: ⊥
-[alias] May-alias graph at the end of function powf:
- ⊥
-[alias] analysing function: putenv
-[alias] May-aliases at the end of function putenv: ⊥
-[alias] May-alias graph at the end of function putenv:
- ⊥
-[alias] analysing function: qsort
-[alias] May-aliases at the end of function qsort: ⊥
-[alias] May-alias graph at the end of function qsort:
- ⊥
-[alias] analysing function: quick_exit
-[alias] May-aliases at the end of function quick_exit: ⊥
-[alias] May-alias graph at the end of function quick_exit:
- ⊥
-[alias] analysing function: rand
-[alias] May-aliases at the end of function rand: ⊥
-[alias] May-alias graph at the end of function rand:
- ⊥
-[alias] analysing function: random
-[alias] May-aliases at the end of function random: ⊥
-[alias] May-alias graph at the end of function random:
- ⊥
-[alias] analysing function: realloc
-[alias] May-aliases at the end of function realloc: ⊥
-[alias] May-alias graph at the end of function realloc:
- ⊥
-[alias] analysing function: reallocarray
-[alias] May-aliases at the end of function reallocarray: ⊥
-[alias] May-alias graph at the end of function reallocarray:
- ⊥
-[alias] analysing function: round
-[alias] May-aliases at the end of function round: ⊥
-[alias] May-alias graph at the end of function round:
- ⊥
-[alias] analysing function: roundf
-[alias] May-aliases at the end of function roundf: ⊥
-[alias] May-alias graph at the end of function roundf:
- ⊥
-[alias] analysing function: roundl
-[alias] May-aliases at the end of function roundl: ⊥
-[alias] May-alias graph at the end of function roundl:
- ⊥
-[alias] analysing function: seed48
-[alias] May-aliases at the end of function seed48: ⊥
-[alias] May-alias graph at the end of function seed48:
- ⊥
-[alias] analysing function: setenv
-[alias] May-aliases at the end of function setenv: ⊥
-[alias] May-alias graph at the end of function setenv:
- ⊥
-[alias] analysing function: sin
-[alias] May-aliases at the end of function sin: ⊥
-[alias] May-alias graph at the end of function sin:
- ⊥
-[alias] analysing function: sinf
-[alias] May-aliases at the end of function sinf: ⊥
-[alias] May-alias graph at the end of function sinf:
- ⊥
-[alias] analysing function: sinl
-[alias] May-aliases at the end of function sinl: ⊥
-[alias] May-alias graph at the end of function sinl:
- ⊥
-[alias] analysing function: sqrt
-[alias] May-aliases at the end of function sqrt: ⊥
-[alias] May-alias graph at the end of function sqrt:
- ⊥
-[alias] analysing function: sqrtf
-[alias] May-aliases at the end of function sqrtf: ⊥
-[alias] May-alias graph at the end of function sqrtf:
- ⊥
-[alias] analysing function: sqrtl
-[alias] May-aliases at the end of function sqrtl: ⊥
-[alias] May-alias graph at the end of function sqrtl:
- ⊥
-[alias] analysing function: srand
-[alias] May-aliases at the end of function srand: ⊥
-[alias] May-alias graph at the end of function srand:
- ⊥
-[alias] analysing function: srand48
-[alias] May-aliases at the end of function srand48: ⊥
-[alias] May-alias graph at the end of function srand48:
- ⊥
-[alias] analysing function: srandom
-[alias] May-aliases at the end of function srandom: ⊥
-[alias] May-alias graph at the end of function srandom:
- ⊥
-[alias] analysing function: strtod
-[alias] May-aliases at the end of function strtod: ⊥
-[alias] May-alias graph at the end of function strtod:
- ⊥
-[alias] analysing function: strtof
-[alias] May-aliases at the end of function strtof: ⊥
-[alias] May-alias graph at the end of function strtof:
- ⊥
-[alias] analysing function: strtol
-[alias] May-aliases at the end of function strtol: ⊥
-[alias] May-alias graph at the end of function strtol:
- ⊥
-[alias] analysing function: strtold
-[alias] May-aliases at the end of function strtold: ⊥
-[alias] May-alias graph at the end of function strtold:
- ⊥
-[alias] analysing function: strtoll
-[alias] May-aliases at the end of function strtoll: ⊥
-[alias] May-alias graph at the end of function strtoll:
- ⊥
-[alias] analysing function: strtoul
-[alias] May-aliases at the end of function strtoul: ⊥
-[alias] May-alias graph at the end of function strtoul:
- ⊥
-[alias] analysing function: strtoull
-[alias] May-aliases at the end of function strtoull: ⊥
-[alias] May-alias graph at the end of function strtoull:
- ⊥
[alias] analysing function: swap
[alias] May-aliases at the end of function swap: <none>
[alias] May-alias graph at the end of function swap:
<empty>
[alias] Summary of function swap:
-[alias] analysing function: system
-[alias] May-aliases at the end of function system: ⊥
-[alias] May-alias graph at the end of function system:
- ⊥
-[alias] analysing function: tan
-[alias] May-aliases at the end of function tan: ⊥
-[alias] May-alias graph at the end of function tan:
- ⊥
-[alias] analysing function: tanf
-[alias] May-aliases at the end of function tanf: ⊥
-[alias] May-alias graph at the end of function tanf:
- ⊥
-[alias] analysing function: tanl
-[alias] May-aliases at the end of function tanl: ⊥
-[alias] May-alias graph at the end of function tanl:
- ⊥
-[alias] analysing function: trunc
-[alias] May-aliases at the end of function trunc: ⊥
-[alias] May-alias graph at the end of function trunc:
- ⊥
-[alias] analysing function: truncf
-[alias] May-aliases at the end of function truncf: ⊥
-[alias] May-alias graph at the end of function truncf:
- ⊥
-[alias] analysing function: truncl
-[alias] May-aliases at the end of function truncl: ⊥
-[alias] May-alias graph at the end of function truncl:
- ⊥
-[alias] analysing function: unsetenv
-[alias] May-aliases at the end of function unsetenv: ⊥
-[alias] May-alias graph at the end of function unsetenv:
- ⊥
-[alias] analysing function: wcstombs
-[alias] May-aliases at the end of function wcstombs: ⊥
-[alias] May-alias graph at the end of function wcstombs:
- ⊥
-[alias] analysing function: wctomb
-[alias] May-aliases at the end of function wctomb: ⊥
-[alias] May-alias graph at the end of function wctomb:
- ⊥
[alias] Analysis complete
diff --git a/src/plugins/alias/tests/real_world/oracle/function1_v2.res.oracle b/src/plugins/alias/tests/real_world/oracle/function1_v2.res.oracle
index ccace2436d1..f1ed57eb726 100644
--- a/src/plugins/alias/tests/real_world/oracle/function1_v2.res.oracle
+++ b/src/plugins/alias/tests/real_world/oracle/function1_v2.res.oracle
@@ -1,16 +1,4 @@
[kernel] Parsing function1_v2.c (with preprocessing)
-[alias] analysing function: _Exit
-[alias] May-aliases at the end of function _Exit: ⊥
-[alias] May-alias graph at the end of function _Exit:
- ⊥
-[alias] analysing function: abort
-[alias] May-aliases at the end of function abort: ⊥
-[alias] May-alias graph at the end of function abort:
- ⊥
-[alias] analysing function: abs
-[alias] May-aliases at the end of function abs: ⊥
-[alias] May-alias graph at the end of function abs:
- ⊥
[alias] analysing function: alias
[alias] analysing instruction: *x = *y;
[alias] May-aliases after instruction *x = *y; are { x; y }
@@ -22,90 +10,6 @@
[alias] Summary of function alias:
formals: x→{ *x; *y } y→{ *x; *y } locals: returns: <none>
state: { x; y }
-[alias] analysing function: at_quick_exit
-[alias] May-aliases at the end of function at_quick_exit: ⊥
-[alias] May-alias graph at the end of function at_quick_exit:
- ⊥
-[alias] analysing function: atexit
-[alias] May-aliases at the end of function atexit: ⊥
-[alias] May-alias graph at the end of function atexit:
- ⊥
-[alias] analysing function: atof
-[alias] May-aliases at the end of function atof: ⊥
-[alias] May-alias graph at the end of function atof:
- ⊥
-[alias] analysing function: atoi
-[alias] May-aliases at the end of function atoi: ⊥
-[alias] May-alias graph at the end of function atoi:
- ⊥
-[alias] analysing function: atol
-[alias] May-aliases at the end of function atol: ⊥
-[alias] May-alias graph at the end of function atol:
- ⊥
-[alias] analysing function: atoll
-[alias] May-aliases at the end of function atoll: ⊥
-[alias] May-alias graph at the end of function atoll:
- ⊥
-[alias] analysing function: bsearch
-[alias] May-aliases at the end of function bsearch: ⊥
-[alias] May-alias graph at the end of function bsearch:
- ⊥
-[alias] analysing function: calloc
-[alias] May-aliases at the end of function calloc: ⊥
-[alias] May-alias graph at the end of function calloc:
- ⊥
-[alias] analysing function: div
-[alias] May-aliases at the end of function div: ⊥
-[alias] May-alias graph at the end of function div:
- ⊥
-[alias] analysing function: drand48
-[alias] May-aliases at the end of function drand48: ⊥
-[alias] May-alias graph at the end of function drand48:
- ⊥
-[alias] analysing function: erand48
-[alias] May-aliases at the end of function erand48: ⊥
-[alias] May-alias graph at the end of function erand48:
- ⊥
-[alias] analysing function: exit
-[alias] May-aliases at the end of function exit: ⊥
-[alias] May-alias graph at the end of function exit:
- ⊥
-[alias] analysing function: free
-[alias] May-aliases at the end of function free: ⊥
-[alias] May-alias graph at the end of function free:
- ⊥
-[alias] analysing function: getenv
-[alias] May-aliases at the end of function getenv: ⊥
-[alias] May-alias graph at the end of function getenv:
- ⊥
-[alias] analysing function: jrand48
-[alias] May-aliases at the end of function jrand48: ⊥
-[alias] May-alias graph at the end of function jrand48:
- ⊥
-[alias] analysing function: labs
-[alias] May-aliases at the end of function labs: ⊥
-[alias] May-alias graph at the end of function labs:
- ⊥
-[alias] analysing function: lcong48
-[alias] May-aliases at the end of function lcong48: ⊥
-[alias] May-alias graph at the end of function lcong48:
- ⊥
-[alias] analysing function: ldiv
-[alias] May-aliases at the end of function ldiv: ⊥
-[alias] May-alias graph at the end of function ldiv:
- ⊥
-[alias] analysing function: llabs
-[alias] May-aliases at the end of function llabs: ⊥
-[alias] May-alias graph at the end of function llabs:
- ⊥
-[alias] analysing function: lldiv
-[alias] May-aliases at the end of function lldiv: ⊥
-[alias] May-alias graph at the end of function lldiv:
- ⊥
-[alias] analysing function: lrand48
-[alias] May-aliases at the end of function lrand48: ⊥
-[alias] May-alias graph at the end of function lrand48:
- ⊥
[alias] analysing function: main
[alias] analysing instruction: int *a = malloc(sizeof(int));
[alias] May-aliases after instruction int *a = malloc(sizeof(int)); are <none>
@@ -139,132 +43,4 @@
4:{ a; b } → 5:{ } 11:{ } → 4:{ a; b } 12:{ } → 4:{ a; b }
[alias] Summary of function main:
formals: locals: a b __retres returns: __retres state: { a; b }
-[alias] analysing function: malloc
-[alias] May-aliases at the end of function malloc: ⊥
-[alias] May-alias graph at the end of function malloc:
- ⊥
-[alias] analysing function: mblen
-[alias] May-aliases at the end of function mblen: ⊥
-[alias] May-alias graph at the end of function mblen:
- ⊥
-[alias] analysing function: mbstowcs
-[alias] May-aliases at the end of function mbstowcs: ⊥
-[alias] May-alias graph at the end of function mbstowcs:
- ⊥
-[alias] analysing function: mbtowc
-[alias] May-aliases at the end of function mbtowc: ⊥
-[alias] May-alias graph at the end of function mbtowc:
- ⊥
-[alias] analysing function: mkstemp
-[alias] May-aliases at the end of function mkstemp: ⊥
-[alias] May-alias graph at the end of function mkstemp:
- ⊥
-[alias] analysing function: mkstemps
-[alias] May-aliases at the end of function mkstemps: ⊥
-[alias] May-alias graph at the end of function mkstemps:
- ⊥
-[alias] analysing function: mrand48
-[alias] May-aliases at the end of function mrand48: ⊥
-[alias] May-alias graph at the end of function mrand48:
- ⊥
-[alias] analysing function: nrand48
-[alias] May-aliases at the end of function nrand48: ⊥
-[alias] May-alias graph at the end of function nrand48:
- ⊥
-[alias] analysing function: posix_memalign
-[alias] May-aliases at the end of function posix_memalign: ⊥
-[alias] May-alias graph at the end of function posix_memalign:
- ⊥
-[alias] analysing function: putenv
-[alias] May-aliases at the end of function putenv: ⊥
-[alias] May-alias graph at the end of function putenv:
- ⊥
-[alias] analysing function: qsort
-[alias] May-aliases at the end of function qsort: ⊥
-[alias] May-alias graph at the end of function qsort:
- ⊥
-[alias] analysing function: quick_exit
-[alias] May-aliases at the end of function quick_exit: ⊥
-[alias] May-alias graph at the end of function quick_exit:
- ⊥
-[alias] analysing function: rand
-[alias] May-aliases at the end of function rand: ⊥
-[alias] May-alias graph at the end of function rand:
- ⊥
-[alias] analysing function: random
-[alias] May-aliases at the end of function random: ⊥
-[alias] May-alias graph at the end of function random:
- ⊥
-[alias] analysing function: realloc
-[alias] May-aliases at the end of function realloc: ⊥
-[alias] May-alias graph at the end of function realloc:
- ⊥
-[alias] analysing function: reallocarray
-[alias] May-aliases at the end of function reallocarray: ⊥
-[alias] May-alias graph at the end of function reallocarray:
- ⊥
-[alias] analysing function: seed48
-[alias] May-aliases at the end of function seed48: ⊥
-[alias] May-alias graph at the end of function seed48:
- ⊥
-[alias] analysing function: setenv
-[alias] May-aliases at the end of function setenv: ⊥
-[alias] May-alias graph at the end of function setenv:
- ⊥
-[alias] analysing function: srand
-[alias] May-aliases at the end of function srand: ⊥
-[alias] May-alias graph at the end of function srand:
- ⊥
-[alias] analysing function: srand48
-[alias] May-aliases at the end of function srand48: ⊥
-[alias] May-alias graph at the end of function srand48:
- ⊥
-[alias] analysing function: srandom
-[alias] May-aliases at the end of function srandom: ⊥
-[alias] May-alias graph at the end of function srandom:
- ⊥
-[alias] analysing function: strtod
-[alias] May-aliases at the end of function strtod: ⊥
-[alias] May-alias graph at the end of function strtod:
- ⊥
-[alias] analysing function: strtof
-[alias] May-aliases at the end of function strtof: ⊥
-[alias] May-alias graph at the end of function strtof:
- ⊥
-[alias] analysing function: strtol
-[alias] May-aliases at the end of function strtol: ⊥
-[alias] May-alias graph at the end of function strtol:
- ⊥
-[alias] analysing function: strtold
-[alias] May-aliases at the end of function strtold: ⊥
-[alias] May-alias graph at the end of function strtold:
- ⊥
-[alias] analysing function: strtoll
-[alias] May-aliases at the end of function strtoll: ⊥
-[alias] May-alias graph at the end of function strtoll:
- ⊥
-[alias] analysing function: strtoul
-[alias] May-aliases at the end of function strtoul: ⊥
-[alias] May-alias graph at the end of function strtoul:
- ⊥
-[alias] analysing function: strtoull
-[alias] May-aliases at the end of function strtoull: ⊥
-[alias] May-alias graph at the end of function strtoull:
- ⊥
-[alias] analysing function: system
-[alias] May-aliases at the end of function system: ⊥
-[alias] May-alias graph at the end of function system:
- ⊥
-[alias] analysing function: unsetenv
-[alias] May-aliases at the end of function unsetenv: ⊥
-[alias] May-alias graph at the end of function unsetenv:
- ⊥
-[alias] analysing function: wcstombs
-[alias] May-aliases at the end of function wcstombs: ⊥
-[alias] May-alias graph at the end of function wcstombs:
- ⊥
-[alias] analysing function: wctomb
-[alias] May-aliases at the end of function wctomb: ⊥
-[alias] May-alias graph at the end of function wctomb:
- ⊥
[alias] Analysis complete
--
GitLab