Newer
Older
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
[kernel] Parsing tests/metrics/referenced-by-acsl.c (with preprocessing)
[metrics] Defined functions (2)
=====================
f (address taken) (0 call); main (0 call);
Specified-only functions (0)
============================
Undefined and unspecified functions (0)
=======================================
'Extern' global variables (0)
=============================
Potential entry points (1)
==========================
main;
Global metrics
==============
Sloc = 3
Decision point = 0
Global variables = 0
If = 0
Loop = 0
Goto = 0
Assignment = 1
Exit point = 2
Function = 2
Function call = 0
Pointer dereferencing = 0
Cyclomatic complexity = 2
[eva] Analyzing a complete application starting at main
[eva] Computing initial state
[eva] Initial state computed
[eva:initial-state] Values of globals at initialization
[eva] done for function main
[eva:summary] ====== ANALYSIS SUMMARY ======
----------------------------------------------------------------------------
1 function analyzed (out of 2): 50% coverage.
In this function, 2 statements reached (out of 2): 100% coverage.
----------------------------------------------------------------------------
No errors or warnings raised during the analysis.
----------------------------------------------------------------------------
0 alarms generated by the analysis.
----------------------------------------------------------------------------
No logical properties have been reached by the analysis.
----------------------------------------------------------------------------
[metrics] Eva coverage statistics
=======================
Syntactically reachable functions = 2 (out of 2)
Semantically reached functions = 1
Coverage estimation = 50.0%
Unreached functions (1) =
<tests/metrics/referenced-by-acsl.c>: f;
[metrics] References to non-analyzed functions
------------------------------------
f referenced by an ACSL specification (at tests/metrics/referenced-by-acsl.c:7)
[metrics] Statements analyzed by Eva
--------------------------
2 stmts in analyzed functions, 2 stmts analyzed (100.0%)
main: 2 stmts out of 2 (100.0%)