[powerwindow] Eva analysis added

powerwindow/.frama-c/powerwindow.eva/alarms.csv

+directory	file	line	function	property kind	status	property

powerwindow/.frama-c/powerwindow.eva/metrics.log

+[metrics] Eva coverage statistics
+=======================
+Syntactically reachable functions = 50 (out of 51)
+Semantically reached functions = 50
+Coverage estimation = 100.0%
+[metrics] References to non-analyzed functions
+------------------------------------
+[metrics] Statements analyzed by Eva
+--------------------------
+580 stmts in analyzed functions, 566 stmts analyzed (97.6%)
+main: 4 stmts out of 4 (100.0%)
+powerwindow_Booleaninputarray_initialize: 7 stmts out of 7 (100.0%)
+powerwindow_PW_Control_DRV_initialize: 31 stmts out of 31 (100.0%)
+powerwindow_PW_Control_DRV_main: 10 stmts out of 10 (100.0%)
+powerwindow_PW_Control_DRV_terminate: 1 stmts out of 1 (100.0%)
+powerwindow_PW_Control_PSG_BackL_initialize: 15 stmts out of 15 (100.0%)
+powerwindow_PW_Control_PSG_BackL_main: 5 stmts out of 5 (100.0%)
+powerwindow_PW_Control_PSG_BackL_terminate: 1 stmts out of 1 (100.0%)
+powerwindow_PW_Control_PSG_BackR_initialize: 15 stmts out of 15 (100.0%)
+powerwindow_PW_Control_PSG_BackR_main: 5 stmts out of 5 (100.0%)
+powerwindow_PW_Control_PSG_BackR_terminate: 1 stmts out of 1 (100.0%)
+powerwindow_PW_Control_PSG_Front_initialize: 15 stmts out of 15 (100.0%)
+powerwindow_PW_Control_PSG_Front_main: 5 stmts out of 5 (100.0%)
+powerwindow_PW_Control_PSG_Front_terminate: 1 stmts out of 1 (100.0%)
+powerwindow_Uint8inputarray_initialize: 7 stmts out of 7 (100.0%)
+powerwindow_controlexclusion_initialize: 1 stmts out of 1 (100.0%)
+powerwindow_controlexclusion_main: 30 stmts out of 30 (100.0%)
+powerwindow_debounce_Init: 6 stmts out of 6 (100.0%)
+powerwindow_debounce_Start: 2 stmts out of 2 (100.0%)
+powerwindow_debounce_initialize: 5 stmts out of 5 (100.0%)
+powerwindow_init: 6 stmts out of 6 (100.0%)
+powerwindow_init_DRV: 11 stmts out of 11 (100.0%)
+powerwindow_init_PSG_BackL: 7 stmts out of 7 (100.0%)
+powerwindow_init_PSG_BackR: 7 stmts out of 7 (100.0%)
+powerwindow_init_PSG_Front: 7 stmts out of 7 (100.0%)
+powerwindow_initialize_DRV: 2 stmts out of 2 (100.0%)
+powerwindow_initialize_PSG_BackL: 2 stmts out of 2 (100.0%)
+powerwindow_initialize_PSG_BackR: 2 stmts out of 2 (100.0%)
+powerwindow_initialize_PSG_Front: 2 stmts out of 2 (100.0%)
+powerwindow_input_initialize_DRV: 11 stmts out of 11 (100.0%)
+powerwindow_input_initialize_PSG_BackL: 5 stmts out of 5 (100.0%)
+powerwindow_input_initialize_PSG_BackR: 5 stmts out of 5 (100.0%)
+powerwindow_input_initialize_PSG_Front: 5 stmts out of 5 (100.0%)
+powerwindow_main: 18 stmts out of 18 (100.0%)
+powerwindow_powerwindow_con_broadcast_ticks: 159 stmts out of 159 (100.0%)
+powerwindow_powerwindow_control_Init: 16 stmts out of 16 (100.0%)
+powerwindow_powerwindow_control_Start: 2 stmts out of 2 (100.0%)
+powerwindow_powerwindow_control_initialize: 5 stmts out of 5 (100.0%)
+powerwindow_return: 6 stmts out of 6 (100.0%)
+powerwindow_return_DRV: 2 stmts out of 2 (100.0%)
+powerwindow_return_PSG_BackL: 2 stmts out of 2 (100.0%)
+powerwindow_return_PSG_BackR: 2 stmts out of 2 (100.0%)
+powerwindow_return_PSG_Front: 2 stmts out of 2 (100.0%)
+wcclib_memset: 13 stmts out of 13 (100.0%)
+powerwindow_debounce_main: 53 stmts out of 54 (98.1%)
+powerwindow_powerwindow_control_main: 27 stmts out of 28 (96.4%)
+powerwindow_DRV_main: 5 stmts out of 8 (62.5%)
+powerwindow_PSG_BackL_main: 5 stmts out of 8 (62.5%)
+powerwindow_PSG_BackR_main: 5 stmts out of 8 (62.5%)
+powerwindow_PSG_Front_main: 5 stmts out of 8 (62.5%)

powerwindow/.frama-c/powerwindow.parse/metrics.log

+[metrics] Defined functions (51)
+======================
+ main (0 call); powerwindow_Booleaninputarray_initialize (18 calls);
+ powerwindow_DRV_main (1 call); powerwindow_PSG_BackL_main (1 call);
+ powerwindow_PSG_BackR_main (1 call); powerwindow_PSG_Front_main (1 call);
+ powerwindow_PW_Control_DRV_initialize (1 call);
+ powerwindow_PW_Control_DRV_main (1 call);
+ powerwindow_PW_Control_DRV_terminate (1 call);
+ powerwindow_PW_Control_PSG_BackL_initialize (1 call);
+ powerwindow_PW_Control_PSG_BackL_main (1 call);
+ powerwindow_PW_Control_PSG_BackL_terminate (1 call);
+ powerwindow_PW_Control_PSG_BackR_initialize (1 call);
+ powerwindow_PW_Control_PSG_BackR_main (1 call);
+ powerwindow_PW_Control_PSG_BackR_terminate (1 call);
+ powerwindow_PW_Control_PSG_Front_initialize (1 call);
+ powerwindow_PW_Control_PSG_Front_main (1 call);
+ powerwindow_PW_Control_PSG_Front_terminate (1 call);
+ powerwindow_Uint8inputarray_initialize (4 calls);
+ powerwindow_controlexclusion_initialize (3 calls);
+ powerwindow_controlexclusion_main (3 calls);
+ powerwindow_controlexclusion_terminate (0 call);
+ powerwindow_debounce_Init (14 calls); powerwindow_debounce_Start (14 calls);
+ powerwindow_debounce_initialize (14 calls);
+ powerwindow_debounce_main (14 calls); powerwindow_init (1 call);
+ powerwindow_init_DRV (1 call); powerwindow_init_PSG_BackL (1 call);
+ powerwindow_init_PSG_BackR (1 call); powerwindow_init_PSG_Front (1 call);
+ powerwindow_initialize_DRV (1 call);
+ powerwindow_initialize_PSG_BackL (1 call);
+ powerwindow_initialize_PSG_BackR (1 call);
+ powerwindow_initialize_PSG_Front (1 call);
+ powerwindow_input_initialize_DRV (1 call);
+ powerwindow_input_initialize_PSG_BackL (1 call);
+ powerwindow_input_initialize_PSG_BackR (1 call);
+ powerwindow_input_initialize_PSG_Front (1 call); powerwindow_main (1 call);
+ powerwindow_powerwindow_con_broadcast_ticks (1 call);
+ powerwindow_powerwindow_control_Init (4 calls);
+ powerwindow_powerwindow_control_Start (4 calls);
+ powerwindow_powerwindow_control_initialize (4 calls);
+ powerwindow_powerwindow_control_main (4 calls); powerwindow_return (1 call);
+ powerwindow_return_DRV (1 call); powerwindow_return_PSG_BackL (1 call);
+ powerwindow_return_PSG_BackR (1 call);
+ powerwindow_return_PSG_Front (1 call); wcclib_memset (16 calls); 
+
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
+ 
+
+'Extern' global variables (0)
+=============================
+ 
+
+Potential entry points (2)
+==========================
+ main; powerwindow_controlexclusion_terminate; 
+
+Global metrics
+============== 
+Sloc = 581
+Decision point = 75
+Global variables = 76
+If = 63
+Loop = 4
+Goto = 7
+Assignment = 243
+Exit point = 51
+Function = 51
+Function call = 152
+Pointer dereferencing = 264
+Cyclomatic complexity = 126

powerwindow/.frama-c/powerwindow.parse/warnings.log

+powerwindow.c:671:[kernel:parser:unsupported:pragma] warning: Discarding _Pragma's in function declaration