facebookexperimental / MIRAI

Conditional Complexity

The distribution of complexity of units (measured with McCabe index).

Intro

Conditional complexity (also called cyclomatic complexity) is a term used to measure the complexity of software. The term refers to the number of possible paths through a program function. A higher value ofter means higher maintenance and testing costs (infosecinstitute.com).
Conditional complexity is calculated by counting all conditions in the program that can affect the execution path (e.g. if statement, loops, switches, and/or operators, try and catch blocks...).
Conditional complexity is measured at the unit level (methods, functions...).
Units are classified in four categories based on the measured McCabe index: 1-5 (simple units), 6-10 (medium complex units), 11-25 (complex units), 26+ (very complex units).

Learn more...

Conditional Complexity Overall

There are 1,124 units with 18,026 lines of code in units (50.1% of code).

4 very complex units (1,697 lines of code)
4 complex units (699 lines of code)
36 medium complex units (4,129 lines of code)
58 simple units (2,799 lines of code)
1,022 very simple units (8,702 lines of code)

Legend:

51+

26-50

11-25

6-10

1-5

Alternative Visuals

3D view of all units

Conditional Complexity per Extension

51+

26-50

11-25

6-10

1-5

Conditional Complexity per Logical Component

primary logical decomposition

51+

26-50

11-25

6-10

1-5

Most Complex Units

Top 50 most complex units

Unit	# lines	McCabe index	# params
fn and() in checker/src/abstract_value.rs	577	271	2
fn or() in checker/src/abstract_value.rs	559	116	2
fn conditional_expression() in checker/src/abstract_value.rs	331	88	3
fn equals() in checker/src/abstract_value.rs	230	51	2
fn canonicalize() in checker/src/path.rs	171	38	2
fn handle_check_tag() in checker/src/call_visitor.rs	147	34	2
fn check_function_preconditions() in checker/src/call_visitor.rs	169	32	2
fn report_calls_to_special_functions() in checker/src/call_visitor.rs	212	28	1
fn visit_const_kind() in checker/src/block_visitor.rs	355	25	2
fn join() in checker/src/abstract_value.rs	113	24	2
fn visit_call() in checker/src/block_visitor.rs	169	23	5
fn copy_field_bits() in checker/src/body_visitor.rs	129	22	3
fn refine_parameters_and_paths() in checker/src/abstract_value.rs	436	22	3
fn refine_with() in checker/src/abstract_value.rs	277	22	3
fn less_or_equal() in checker/src/abstract_value.rs	99	21	2
fn not_equals() in checker/src/abstract_value.rs	84	21	2
fn visit_cast() in checker/src/block_visitor.rs	130	19	5
fn addition() in checker/src/abstract_value.rs	87	19	2
fn less_than() in checker/src/abstract_value.rs	82	19	2
fn promote_reference() in checker/src/body_visitor.rs	149	18	5
fn try_to_devirtualize() in checker/src/call_visitor.rs	100	17	1
fn add_overflows() in checker/src/abstract_value.rs	64	17	3
fn greater_than() in checker/src/abstract_value.rs	75	17	2
fn append_mangled_type, tcx: TyCtxt)() in checker/src/utils.rs	165	17	2
fn inline_indirectly_called_function() in checker/src/call_visitor.rs	136	16	1
fn visit_assert() in checker/src/block_visitor.rs	112	16	6
fn mul_overflows() in checker/src/abstract_value.rs	63	15	3
fn greater_or_equal() in checker/src/abstract_value.rs	68	14	2
fn uses() in checker/src/abstract_value.rs	86	14	2
fn subtract() in checker/src/abstract_value.rs	90	13	2
fn lookup_weak_value() in checker/src/body_visitor.rs	31	12	3
fn extract_side_effects() in checker/src/summaries.rs	43	12	2
fn main() in checker/src/main.rs	85	12	0
fn numeric_cast() in checker/src/z3_solver.rs	99	12	3
fn implies() in checker/src/abstract_value.rs	18	12	2
fn multiply() in checker/src/abstract_value.rs	47	12	2
fn get_widened_subexpression() in checker/src/abstract_value.rs	102	12	2
fn visit_address_of() in checker/src/block_visitor.rs	111	11	3
fn update_zeroed_flag_for_heap_block_from_environment() in checker/src/body_visitor.rs	60	11	3
fn to_datalog() in checker/src/call_graph.rs	82	11	5
fn general_relational() in checker/src/z3_solver.rs	69	11	6
fn make_presence_check() in checker/src/abstract_value.rs	160	11	2
fn cast() in checker/src/abstract_value.rs	92	11	2
fn logical_not() in checker/src/abstract_value.rs	61	11	1
fn coerce_to_string() in checker/src/call_visitor.rs	31	10	2
fn get_initial_state_from_predecessors() in checker/src/fixed_point_visitor.rs	70	10	3
fn general_ne() in checker/src/z3_solver.rs	50	10	3
fn divide() in checker/src/abstract_value.rs	44	10	2
fn deserialize_constant_bytes() in checker/src/block_visitor.rs	232	9	4
fn import_def_id_as_static() in checker/src/body_visitor.rs	105	9	4