1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/sparecode/top.i (no preprocessing)
[sparecode] remove unused code...
[sparecode] selecting function main_top_not_used outputs and entry point
[value] Analyzing a complete application starting at main_top_not_used
[value] Computing initial state
[value] Initial state computed
[value:initial-state] Values of globals at initialization
[value] computing for function main_top <- main_top_not_used.
Called from tests/sparecode/top.i:32.
[value] computing for function f <- main_top <- main_top_not_used.
Called from tests/sparecode/top.i:21.
[value] Recording results for f
[value] Done for function f
[value] Recording results for main_top
[value] Done for function main_top
[value] computing for function f <- main_top_not_used.
Called from tests/sparecode/top.i:33.
[value] Recording results for f
[value] Done for function f
[value] Recording results for main_top_not_used
[value] done for function main_top_not_used
[pdg] computing for function main_top_not_used
[from] Computing for function main_top
[from] Computing for function f <-main_top
[from] Done for function f
[from] Done for function main_top
[pdg] done for function main_top_not_used
[sparecode] add selection in function 'main_top_not_used'
[sparecode] selecting output zones \nothing
[sparecode] add selection in function 'main_top_not_used'
[pdg] computing for function f
[pdg] done for function f
[pdg] computing for function main_top
[pdg] warning: not implemented by pdg yet: variadic function
[pdg] Top for function main_top
[kernel] Plug-in pdg aborted: unimplemented feature.
You may send a feature request at http://bts.frama-c.com with:
'[Plug-in pdg] mark propagation in Top PDG'.
|
