facebookincubator / smt2utils

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 375 units with 4,080 lines of code in units (55.1% of code).

0 very complex units (0 lines of code)
1 complex units (92 lines of code)
4 medium complex units (454 lines of code)
8 simple units (290 lines of code)
362 very simple units (3,244 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 get_dependency_graph() in z3tracer/src/main.rs	92	26	4
fn next() in smt2parser/src/lexer.rs	172	25	1
fn main() in z3tracer/src/main.rs	161	19	0
fn log_instance() in z3tracer/src/model.rs	86	14	2
fn read_symbol() in z3tracer/src/lexer.rs	35	11	1
fn check_literal_equality() in z3tracer/src/model.rs	33	10	4
fn read_word() in z3tracer/src/lexer.rs	17	8	1
fn make_z3_args() in smt2proxy/src/main.rs	24	8	1
fn fmt() in smt2parser/src/concrete.rs	39	6	2
fn next() in smt2parser/src/lib.rs	34	6	1
fn parse_smt2_options() in smt2proxy/src/lib.rs	21	6	1
fn process_events() in smt2proxy/src/main.rs	71	6	3
fn main() in smt2proxy/src/main.rs	51	6	0
fn max_ts_and_count() in z3tracer/src/report.rs	15	5	2
fn term_equality_class() in z3tracer/src/model.rs	31	5	2
fn term_max_scope_index() in z3tracer/src/model.rs	15	5	2
fn check_matching_terms() in z3tracer/src/model.rs	26	5	4
fn main() in smt2parser/src/main.rs	47	5	0
fn from() in smt2proxy/src/lib.rs	50	5	1
fn spawn_child_stream_logger() in smt2proxy/src/main.rs	23	5	4
fn parse_line() in z3tracer/src/parser.rs	220	4	1
fn term_data_mut() in z3tracer/src/model.rs	20	4	2
fn make_terms_equal_at_scope() in z3tracer/src/model.rs	34	4	6
fn fmt() in smt2parser/src/concrete.rs	11	4	2
fn skip_comment() in smt2parser/src/lexer.rs	14	4	1
fn iter_args() in smt2proxy/src/main.rs	14	4	0
fn parse_clauses() in smt2patch/src/lib.rs	9	3	1
fn make_clause_name() in smt2patch/src/lib.rs	11	3	2
fn consume_byte() in z3tracer/src/lexer.rs	12	3	1
fn read_ident_internal() in z3tracer/src/lexer.rs	19	3	2
fn scoped_term_data_mut() in z3tracer/src/model.rs	10	3	2
fn scoped_term_data() in z3tracer/src/model.rs	17	3	2
fn check_ident() in z3tracer/src/model.rs	7	3	2
fn check_matching_ids() in z3tracer/src/model.rs	16	3	4
fn consolidate_equality_classes() in z3tracer/src/model.rs	18	3	1
fn test_term_rewriter() in smt2parser/src/rewriter.rs	108	3	0
fn consume_byte() in smt2parser/src/lexer.rs	12	3	1
fn initial_commands_if_needed() in smt2proxy/src/lib.rs	14	3	1
fn get_clause_name() in smt2patch/src/lib.rs	6	2	1
fn id2s() in z3tracer/src/report.rs	5	2	2
fn get_instantiations() in z3tracer/src/main.rs	14	2	1
fn visit() in z3tracer/src/syntax.rs	6	2	2
fn visit() in z3tracer/src/syntax.rs	6	2	2
fn visit() in z3tracer/src/syntax.rs	6	2	2
fn from_str() in z3tracer/src/syntax.rs	17	2	1
fn skip_spaces() in z3tracer/src/lexer.rs	3	2	1
fn read_token() in z3tracer/src/lexer.rs	12	2	2
fn make_ident() in z3tracer/src/lexer.rs	18	2	4
fn make_key() in z3tracer/src/lexer.rs	13	2	3
fn make_terms_equal() in z3tracer/src/model.rs	39	2	5