解决undifined问题
SWEET解决方法：
对于函数，直接不执行（simply not to be made） 对于变量，先设置成Top值，再根据abstract execution中逐步精确。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
sweet -i=floorplan_ompi_trim.alf,std_hll.alf func=_taskFunc0_ -c extref=off -ae pu aac=insertsort.clt tc=st,op merge =all
-c后加
extref=<X> Checks if there are any unresolved external references in the
program (like calls to external functions or accesses to external
global variables). <X> can be one of:
on - (default) Turns on this check
off - Turns off this check
-ae后加
pu Process undefined functions, which means that calls to undefined
functions will simply not be made. Further, all undefined global
variables will initially be set to TOP, but become updated
according to writes made during the AE analysis. Option must be
set if AE should be run on code containing imports to functions
that are not provided.
