Path	Lines of Code
checker/src/abstract_value.rs	6125
checker/src/block_visitor.rs	3209
checker/src/body_visitor.rs	2612
checker/src/bool_domain.rs	44
checker/src/call_graph.rs	842
checker/src/call_visitor.rs	2747
checker/src/callbacks.rs	139
checker/src/cargo_mirai.rs	191
checker/src/constant_domain.rs	1177
checker/src/crate_visitor.rs	238
checker/src/environment.rs	31
checker/src/expected_errors.rs	80
checker/src/expression.rs	1355
checker/src/fixed_point_visitor.rs	329
checker/src/interval_domain.rs	352
checker/src/k_limits.rs	6
checker/src/known_names.rs	436
checker/src/lib.rs	65
checker/src/main.rs	102
checker/src/options.rs	177
checker/src/path.rs	1148
checker/src/smt_solver.rs	57
checker/src/summaries.rs	484
checker/src/tag_domain.rs	174
checker/src/type_visitor.rs	1169
checker/src/utils.rs	442
checker/src/z3_solver.rs	2017