Newer
Older
[metrics] Eva coverage statistics
=======================
Syntactically reachable functions = 18 (out of 34)
Semantically reached functions = 15
Coverage estimation = 83.3%
Unreached functions (3) =
<kgflags.h>: _kgflags_parse_double; _kgflags_parse_int; _kgflags_peek_arg;
[metrics] References to non-analyzed functions
------------------------------------
Function _kgflags_parse_flag calls _kgflags_parse_int (at kgflags.h:747)
Function _kgflags_parse_flag calls _kgflags_parse_double (at kgflags.h:765)
Function _kgflags_parse_flag calls _kgflags_peek_arg (at kgflags.h:779)
Function _kgflags_parse_flag calls _kgflags_peek_arg (at kgflags.h:797)
Function _kgflags_parse_flag calls _kgflags_parse_int (at kgflags.h:803)
Function _kgflags_parse_flag calls _kgflags_peek_arg (at kgflags.h:824)
Function _kgflags_parse_flag calls _kgflags_parse_double (at kgflags.h:830)
[metrics] Statements analyzed by Eva
--------------------------
474 stmts in analyzed functions, 240 stmts analyzed (50.6%)
_kgflags_add_error: 9 stmts out of 9 (100.0%)
_kgflags_add_non_flag_arg: 9 stmts out of 9 (100.0%)
_kgflags_consume_arg: 8 stmts out of 8 (100.0%)
_kgflags_get_flag_name: 15 stmts out of 15 (100.0%)
_kgflags_is_flag: 3 stmts out of 3 (100.0%)
eva_main: 13 stmts out of 13 (100.0%)
kgflags_print_errors: 40 stmts out of 40 (100.0%)
kgflags_string: 11 stmts out of 11 (100.0%)
main: 12 stmts out of 12 (100.0%)
kgflags_parse: 45 stmts out of 48 (93.8%)
_kgflags_get_flag: 18 stmts out of 29 (62.1%)
_kgflags_add_flag: 6 stmts out of 12 (50.0%)
_kgflags_assign_default_values: 13 stmts out of 31 (41.9%)
kgflags_print_usage: 26 stmts out of 110 (23.6%)
_kgflags_parse_flag: 12 stmts out of 124 (9.7%)