id: 1 unit: void construct_wpo() file: include/WeakPartialOrdering.h start line: 376 end line: 557 size: 135 LOC McCabe index: 25 number of parameters: 0 id: 2 unit: inline bool leq() file: include/PatriciaTreeMap.h start line: 610 end line: 707 size: 69 LOC McCabe index: 24 number of parameters: 2 id: 3 unit: void run() file: include/MonotonicFixpointIterator.h start line: 399 end line: 491 size: 65 LOC McCabe index: 11 number of parameters: 1 id: 4 unit: void run() file: include/MonotonicFixpointIterator.h start line: 551 end line: 631 size: 61 LOC McCabe index: 12 number of parameters: 1 id: 5 unit: void construct_auxilary() file: include/WeakPartialOrdering.h start line: 299 end line: 374 size: 55 LOC McCabe index: 8 number of parameters: 1 id: 6 unit: void SpartaWorkQueue::run_all() file: include/SpartaWorkQueue.h start line: 259 end line: 323 size: 53 LOC McCabe index: 13 number of parameters: 0 id: 7 unit: inline bool is_subset_of() file: include/PatriciaTreeSet.h start line: 492 end line: 535 size: 42 LOC McCabe index: 14 number of parameters: 2 id: 8 unit: inline bool equals() file: include/PatriciaTreeSet.h start line: 540 end line: 580 size: 37 LOC McCabe index: 11 number of parameters: 2 id: 9 unit: uint32_t visit() file: include/WeakTopologicalOrdering.h start line: 267 end line: 305 size: 36 LOC McCabe index: 8 number of parameters: 2 id: 10 unit: inline bool equals() file: include/PatriciaTreeMap.h start line: 712 end line: 748 size: 35 LOC McCabe index: 11 number of parameters: 2 id: 11 unit: virtual ~FixpointIterator() file: include/FixpointIterator.h start line: 52 end line: 93 size: 34 LOC McCabe index: 1 number of parameters: 0 id: 12 unit: virtual std::shared_ptr run() file: include/Analyzer.h start line: 224 end line: 267 size: 34 LOC McCabe index: 9 number of parameters: 1 id: 13 unit: void meet_like_operation() file: include/HashedAbstractPartition.h start line: 234 end line: 264 size: 26 LOC McCabe index: 6 number of parameters: 2 id: 14 unit: bool leq() file: include/AbstractDomain.h start line: 385 end line: 407 size: 23 LOC McCabe index: 5 number of parameters: 1 id: 15 unit: void sanity_check() file: include/FiniteAbstractDomain.h start line: 365 end line: 388 size: 22 LOC McCabe index: 6 number of parameters: 1 id: 16 unit: bool leq() file: include/HashedAbstractEnvironment.h start line: 262 end line: 290 size: 21 LOC McCabe index: 7 number of parameters: 1 id: 17 unit: bool leq() file: include/HashedAbstractPartition.h start line: 146 end line: 170 size: 21 LOC McCabe index: 7 number of parameters: 1 id: 18 unit: AbstractValueKind join_like_operation() file: include/HashedAbstractEnvironment.h start line: 341 end line: 365 size: 20 LOC McCabe index: 4 number of parameters: 2 id: 19 unit: void analyze_scc() file: include/MonotonicFixpointIterator.h start line: 288 end line: 319 size: 20 LOC McCabe index: 4 number of parameters: 2 id: 20 unit: void join_like_operation() file: include/HashedAbstractPartition.h start line: 208 end line: 232 size: 20 LOC McCabe index: 5 number of parameters: 2 id: 21 unit: inline bool contains() file: include/PatriciaTreeSet.h start line: 471 end line: 489 size: 19 LOC McCabe index: 4 number of parameters: 2 id: 22 unit: AbstractValueKind meet_like_operation() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 289 end line: 307 size: 19 LOC McCabe index: 3 number of parameters: 2 id: 23 unit: AbstractValueKind meet_like_operation() file: include/HashedAbstractEnvironment.h start line: 367 end line: 387 size: 17 LOC McCabe index: 4 number of parameters: 2 id: 24 unit: bool equals() file: include/S_Expression.h start line: 509 end line: 527 size: 17 LOC McCabe index: 4 number of parameters: 1 id: 25 unit: bool match_with() file: include/S_Expression.h start line: 628 end line: 644 size: 17 LOC McCabe index: 6 number of parameters: 1 id: 26 unit: void apply() file: include/ReducedProductAbstractDomain.h start line: 166 end line: 182 size: 17 LOC McCabe index: 4 number of parameters: 1 id: 27 unit: void build() file: include/WeakPartialOrdering.h start line: 275 end line: 292 size: 16 LOC McCabe index: 4 number of parameters: 1 id: 28 unit: void add_successor() file: include/WeakPartialOrdering.h start line: 588 end line: 603 size: 16 LOC McCabe index: 3 number of parameters: 4 id: 29 unit: bool is_subset_of() file: include/FlatSet.h start line: 73 end line: 89 size: 16 LOC McCabe index: 5 number of parameters: 1 id: 30 unit: bool equals() file: include/AbstractDomain.h start line: 409 end line: 424 size: 16 LOC McCabe index: 4 number of parameters: 1 id: 31 unit: void join_like_operation_with() file: include/AbstractDomain.h start line: 490 end line: 505 size: 16 LOC McCabe index: 5 number of parameters: 2 id: 32 unit: void meet_like_operation_with() file: include/AbstractDomain.h start line: 507 end line: 522 size: 16 LOC McCabe index: 5 number of parameters: 2 id: 33 unit: bool equals() file: include/HashedAbstractEnvironment.h start line: 292 end line: 306 size: 15 LOC McCabe index: 5 number of parameters: 1 id: 34 unit: void narrow_with() file: include/IntervalDomain.h start line: 192 end line: 210 size: 15 LOC McCabe index: 5 number of parameters: 1 id: 35 unit: bool operator() file: include/DisjointUnionAbstractDomain.h start line: 231 end line: 245 size: 15 LOC McCabe index: 5 number of parameters: 0 id: 36 unit: bool equals() file: include/HashedAbstractPartition.h start line: 172 end line: 186 size: 15 LOC McCabe index: 6 number of parameters: 1 id: 37 unit: boost::optional pop_task() file: include/SpartaWorkQueue.h start line: 153 end line: 166 size: 14 LOC McCabe index: 3 number of parameters: 1 id: 38 unit: void difference_with() file: include/PowersetAbstractDomain.h start line: 155 end line: 169 size: 14 LOC McCabe index: 7 number of parameters: 1 id: 39 unit: virtual ~AbstractDomain() file: include/AbstractDomain.h start line: 69 end line: 90 size: 14 LOC McCabe index: 1 number of parameters: 0 id: 40 unit: void visit_depth_first() file: include/WeakTopologicalOrdering.h start line: 225 end line: 238 size: 14 LOC McCabe index: 4 number of parameters: 1 id: 41 unit: bool contains() file: include/PowersetAbstractDomain.h start line: 171 end line: 183 size: 13 LOC McCabe index: 4 number of parameters: 1 id: 42 unit: const boost::optional maybe_get() file: include/DisjointUnionAbstractDomain.h start line: 137 end line: 149 size: 13 LOC McCabe index: 4 number of parameters: 0 id: 43 unit: void go_to_next_leaf() file: include/PatriciaTreeMap.h start line: 1225 end line: 1241 size: 13 LOC McCabe index: 2 number of parameters: 1 id: 44 unit: void print() file: include/S_Expression.h start line: 455 end line: 472 size: 13 LOC McCabe index: 3 number of parameters: 1 id: 45 unit: inline void s_expr_istream::skip_white_spaces() file: include/S_Expression.h start line: 838 end line: 850 size: 13 LOC McCabe index: 5 number of parameters: 0 id: 46 unit: virtual std::shared_ptr run_on_function() file: include/Analyzer.h start line: 269 end line: 282 size: 13 LOC McCabe index: 1 number of parameters: 4 id: 47 unit: bool contains() file: include/SmallSortedSetAbstractDomain.h start line: 160 end line: 172 size: 13 LOC McCabe index: 4 number of parameters: 1 id: 48 unit: void join_like_operation() file: include/PatriciaTreeMapAbstractPartition.h start line: 178 end line: 189 size: 12 LOC McCabe index: 3 number of parameters: 2 id: 49 unit: void meet_like_operation() file: include/PatriciaTreeMapAbstractPartition.h start line: 191 end line: 202 size: 12 LOC McCabe index: 3 number of parameters: 2 id: 50 unit: void widen_with() file: include/IntervalDomain.h start line: 156 end line: 169 size: 12 LOC McCabe index: 4 number of parameters: 1 id: 51 unit: void DisjointUnionAbstractDomain::join_with() file: include/DisjointUnionAbstractDomain.h start line: 296 end line: 307 size: 12 LOC McCabe index: 3 number of parameters: 1 id: 52 unit: void DisjointUnionAbstractDomain::meet_with() file: include/DisjointUnionAbstractDomain.h start line: 310 end line: 321 size: 12 LOC McCabe index: 3 number of parameters: 1 id: 53 unit: return merge() file: include/PatriciaTreeMap.h start line: 1034 end line: 1045 size: 12 LOC McCabe index: 3 number of parameters: 2 id: 54 unit: void remove() file: include/SparseSetAbstractDomain.h start line: 96 end line: 107 size: 12 LOC McCabe index: 4 number of parameters: 1 id: 55 unit: virtual ~InterproceduralAnalyzer() file: include/Analyzer.h start line: 202 end line: 215 size: 12 LOC McCabe index: 1 number of parameters: 0 id: 56 unit: void go_to_next_leaf() file: include/PatriciaTreeSet.h start line: 1002 end line: 1017 size: 12 LOC McCabe index: 2 number of parameters: 1 id: 57 unit: inline std::vector create_permutation() file: include/SpartaWorkQueue.h start line: 48 end line: 58 size: 11 LOC McCabe index: 1 number of parameters: 2 id: 58 unit: void push_task() file: include/SpartaWorkQueue.h start line: 128 end line: 138 size: 11 LOC McCabe index: 3 number of parameters: 1 id: 59 unit: void difference_like_operation() file: include/PatriciaTreeMapAbstractPartition.h start line: 204 end line: 214 size: 11 LOC McCabe index: 3 number of parameters: 2 id: 60 unit: bool leq() file: include/HashedSetAbstractDomain.h start line: 55 end line: 65 size: 11 LOC McCabe index: 4 number of parameters: 1 id: 61 unit: virtual ~PowersetAbstractDomain() file: include/PowersetAbstractDomain.h start line: 73 end line: 86 size: 11 LOC McCabe index: 1 number of parameters: 0 id: 62 unit: bool leq() file: include/PatriciaTreeMap.h start line: 244 end line: 254 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 63 unit: bool leq() file: include/SparseSetAbstractDomain.h start line: 68 end line: 78 size: 11 LOC McCabe index: 4 number of parameters: 1 id: 64 unit: void add() file: include/SparseSetAbstractDomain.h start line: 84 end line: 94 size: 11 LOC McCabe index: 4 number of parameters: 1 id: 65 unit: AbstractValueKind join_with() file: include/SparseSetAbstractDomain.h start line: 119 end line: 129 size: 11 LOC McCabe index: 3 number of parameters: 1 id: 66 unit: FlatSet get_union_with() file: include/FlatSet.h start line: 180 end line: 190 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 67 unit: FlatSet get_intersection_with() file: include/FlatSet.h start line: 192 end line: 202 size: 11 LOC McCabe index: 2 number of parameters: 1 id: 68 unit: void compute_entry_state() file: include/MonotonicFixpointIterator.h start line: 188 end line: 198 size: 11 LOC McCabe index: 3 number of parameters: 3 id: 69 unit: void add() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 195 end line: 205 size: 11 LOC McCabe index: 5 number of parameters: 1 id: 70 unit: AbstractValueKind meet_with() file: include/HashedSetAbstractDomain.h start line: 78 end line: 87 size: 10 LOC McCabe index: 3 number of parameters: 1 id: 71 unit: AbstractValueKind difference_with() file: include/HashedSetAbstractDomain.h start line: 89 end line: 98 size: 10 LOC McCabe index: 3 number of parameters: 1 id: 72 unit: bool equals() file: include/S_Expression.h start line: 406 end line: 417 size: 10 LOC McCabe index: 3 number of parameters: 1 id: 73 unit: bool equals() file: include/S_Expression.h start line: 437 end line: 448 size: 10 LOC McCabe index: 3 number of parameters: 1 id: 74 unit: void print() file: include/S_Expression.h start line: 533 end line: 542 size: 10 LOC McCabe index: 3 number of parameters: 1 id: 75 unit: bool match_with() file: include/S_Expression.h start line: 582 end line: 591 size: 10 LOC McCabe index: 3 number of parameters: 1 id: 76 unit: bool match_with() file: include/S_Expression.h start line: 605 end line: 614 size: 10 LOC McCabe index: 3 number of parameters: 1 id: 77 unit: AbstractValueKind meet_with() file: include/SparseSetAbstractDomain.h start line: 135 end line: 148 size: 10 LOC McCabe index: 3 number of parameters: 1 id: 78 unit: AbstractValueKind difference_with() file: include/SparseSetAbstractDomain.h start line: 154 end line: 163 size: 10 LOC McCabe index: 3 number of parameters: 1 id: 79 unit: virtual ~AbstractValue() file: include/AbstractDomain.h start line: 249 end line: 258 size: 10 LOC McCabe index: 1 number of parameters: 0 id: 80 unit: virtual void extrapolate() file: include/MonotonicFixpointIterator.h start line: 134 end line: 143 size: 10 LOC McCabe index: 2 number of parameters: 4 id: 81 unit: void apply() file: include/DirectProductAbstractDomain.h start line: 82 end line: 91 size: 10 LOC McCabe index: 2 number of parameters: 1 id: 82 unit: std::enable_if_t combine_with() file: include/DirectProductAbstractDomain.h start line: 244 end line: 253 size: 10 LOC McCabe index: 4 number of parameters: 3 id: 83 unit: inline void give() file: include/SpartaWorkQueue.h start line: 64 end line: 72 size: 9 LOC McCabe index: 2 number of parameters: 1 id: 84 unit: void set_running() file: include/SpartaWorkQueue.h start line: 142 end line: 150 size: 9 LOC McCabe index: 5 number of parameters: 1 id: 85 unit: bool leq() file: include/PatriciaTreeMapAbstractPartition.h start line: 141 end line: 149 size: 9 LOC McCabe index: 3 number of parameters: 1 id: 86 unit: static Num clamped_add() file: include/IntervalDomain.h start line: 221 end line: 233 size: 9 LOC McCabe index: 5 number of parameters: 2 id: 87 unit: const Domain get() file: include/DisjointUnionAbstractDomain.h start line: 126 end line: 134 size: 9 LOC McCabe index: 3 number of parameters: 0 id: 88 unit: bool operator() file: include/DisjointUnionAbstractDomain.h start line: 256 end line: 264 size: 9 LOC McCabe index: 3 number of parameters: 0 id: 89 unit: bool leq() file: include/LiftedDomain.h start line: 83 end line: 91 size: 9 LOC McCabe index: 3 number of parameters: 1 id: 90 unit: void meet_with() file: include/LiftedDomain.h start line: 139 end line: 147 size: 9 LOC McCabe index: 3 number of parameters: 1 id: 91 unit: void narrow_with() file: include/LiftedDomain.h start line: 156 end line: 164 size: 9 LOC McCabe index: 3 number of parameters: 1 id: 92 unit: void normalize() file: include/AbstractDomain.h start line: 472 end line: 487 size: 9 LOC McCabe index: 3 number of parameters: 0 id: 93 unit: bool all_of() file: include/DirectProductAbstractDomain.h start line: 198 end line: 206 size: 9 LOC McCabe index: 2 number of parameters: 1 id: 94 unit: bool any_of() file: include/DirectProductAbstractDomain.h start line: 209 end line: 217 size: 9 LOC McCabe index: 2 number of parameters: 1 id: 95 unit: void insert_binding() file: include/HashedAbstractEnvironment.h start line: 329 end line: 339 size: 8 LOC McCabe index: 2 number of parameters: 2 id: 96 unit: void add() file: include/PowersetAbstractDomain.h start line: 121 end line: 128 size: 8 LOC McCabe index: 3 number of parameters: 2 id: 97 unit: void remove() file: include/PowersetAbstractDomain.h start line: 136 end line: 143 size: 8 LOC McCabe index: 3 number of parameters: 1 id: 98 unit: void remove() file: include/PowersetAbstractDomain.h start line: 146 end line: 153 size: 8 LOC McCabe index: 3 number of parameters: 2 id: 99 unit: explicit ReducedProductAbstractDomain() file: include/ReducedProductAbstractDomain.h start line: 112 end line: 127 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 100 unit: explicit MonotonicFixpointIteratorContext() file: include/MonotonicFixpointIterator.h start line: 62 end line: 70 size: 8 LOC McCabe index: 2 number of parameters: 2 id: 101 unit: void increase_iteration_count() file: include/MonotonicFixpointIterator.h start line: 74 end line: 81 size: 8 LOC McCabe index: 2 number of parameters: 2 id: 102 unit: void analyze_vertex() file: include/MonotonicFixpointIterator.h start line: 200 end line: 216 size: 8 LOC McCabe index: 1 number of parameters: 2 id: 103 unit: void analyze_component() file: include/MonotonicFixpointIterator.h start line: 279 end line: 286 size: 8 LOC McCabe index: 2 number of parameters: 2 id: 104 unit: std::enable_if_t compare_with() file: include/DirectProductAbstractDomain.h start line: 230 end line: 237 size: 8 LOC McCabe index: 3 number of parameters: 2 id: 105 unit: uint32_t set_dfn() file: include/WeakTopologicalOrdering.h start line: 323 end line: 330 size: 8 LOC McCabe index: 2 number of parameters: 2 id: 106 unit: bool map() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 113 end line: 120 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 107 unit: bool erase_all_matching() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 122 end line: 129 size: 8 LOC McCabe index: 2 number of parameters: 1 id: 108 unit: size_t size() file: include/HashedAbstractEnvironment.h start line: 102 end line: 108 size: 7 LOC McCabe index: 1 number of parameters: 0 id: 109 unit: inline void take() file: include/SpartaWorkQueue.h start line: 74 end line: 80 size: 7 LOC McCabe index: 2 number of parameters: 0 id: 110 unit: void meet_with() file: include/IntervalDomain.h start line: 176 end line: 184 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 111 unit: Snapshot elements() file: include/PowersetAbstractDomain.h start line: 96 end line: 102 size: 7 LOC McCabe index: 1 number of parameters: 0 id: 112 unit: size_t size() file: include/PowersetAbstractDomain.h start line: 104 end line: 110 size: 7 LOC McCabe index: 1 number of parameters: 0 id: 113 unit: uint32_t get_post_dfn() file: include/WeakPartialOrdering.h start line: 168 end line: 174 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 114 unit: uint32_t get_dfn() file: include/WeakPartialOrdering.h start line: 559 end line: 565 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 115 unit: bool erase_all_matching() file: include/PatriciaTreeMap.h start line: 310 end line: 316 size: 7 LOC McCabe index: 1 number of parameters: 1 id: 116 unit: explicit PatriciaTreeIterator() file: include/PatriciaTreeMap.h start line: 1172 end line: 1178 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 117 unit: s_expr get_element() file: include/S_Expression.h start line: 490 end line: 498 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 118 unit: inline void s_expr::add_element() file: include/S_Expression.h start line: 736 end line: 742 size: 7 LOC McCabe index: 1 number of parameters: 1 id: 119 unit: inline void s_expr_istream::set_status() file: include/S_Expression.h start line: 852 end line: 858 size: 7 LOC McCabe index: 1 number of parameters: 2 id: 120 unit: bool contains() file: include/SparseSetAbstractDomain.h start line: 60 end line: 66 size: 7 LOC McCabe index: 3 number of parameters: 1 id: 121 unit: explicit CallGraphFixpointIterator() file: include/Analyzer.h start line: 178 end line: 184 size: 7 LOC McCabe index: 1 number of parameters: 3 id: 122 unit: CallerContext analyze_edge() file: include/Analyzer.h start line: 193 end line: 199 size: 7 LOC McCabe index: 1 number of parameters: 2 id: 123 unit: explicit PatriciaTreeIterator() file: include/PatriciaTreeSet.h start line: 955 end line: 961 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 124 unit: AbstractValueKind kind() file: include/SmallSortedSetAbstractDomain.h start line: 29 end line: 35 size: 7 LOC McCabe index: 2 number of parameters: 0 id: 125 unit: std::size_t size() file: include/SmallSortedSetAbstractDomain.h start line: 138 end line: 144 size: 7 LOC McCabe index: 1 number of parameters: 0 id: 126 unit: void join_with() file: include/LiftedDomain.h start line: 109 end line: 115 size: 7 LOC McCabe index: 3 number of parameters: 1 id: 127 unit: void widen_with() file: include/LiftedDomain.h start line: 124 end line: 130 size: 7 LOC McCabe index: 3 number of parameters: 1 id: 128 unit: virtual ~AbstractDomainScaffolding() file: include/AbstractDomain.h start line: 342 end line: 348 size: 7 LOC McCabe index: 1 number of parameters: 0 id: 129 unit: uint32_t get_local_iterations_for() file: include/MonotonicFixpointIterator.h start line: 43 end line: 49 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 130 unit: uint32_t get_global_iterations_for() file: include/MonotonicFixpointIterator.h start line: 51 end line: 57 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 131 unit: void run() file: include/MonotonicFixpointIterator.h start line: 270 end line: 276 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 132 unit: static NodeId entry() file: include/MonotonicFixpointIterator.h start line: 653 end line: 659 size: 7 LOC McCabe index: 1 number of parameters: 1 id: 133 unit: void push_component() file: include/WeakTopologicalOrdering.h start line: 307 end line: 313 size: 7 LOC McCabe index: 3 number of parameters: 2 id: 134 unit: uint32_t get_dfn() file: include/WeakTopologicalOrdering.h start line: 315 end line: 321 size: 7 LOC McCabe index: 2 number of parameters: 1 id: 135 unit: void add_over() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 177 end line: 183 size: 7 LOC McCabe index: 3 number of parameters: 1 id: 136 unit: void add_under() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 187 end line: 193 size: 7 LOC McCabe index: 3 number of parameters: 1 id: 137 unit: size_t size() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 75 end line: 81 size: 7 LOC McCabe index: 1 number of parameters: 0 id: 138 unit: bool map() file: include/PatriciaTreeMapAbstractPartition.h start line: 120 end line: 125 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 139 unit: bool equals() file: include/PatriciaTreeMapAbstractPartition.h start line: 151 end line: 156 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 140 unit: static IntervalDomain finite() file: include/IntervalDomain.h start line: 55 end line: 60 size: 6 LOC McCabe index: 4 number of parameters: 2 id: 141 unit: AbstractValueKind join_with() file: include/HashedSetAbstractDomain.h start line: 71 end line: 76 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 142 unit: void apply() file: include/DisjointUnionAbstractDomain.h start line: 152 end line: 157 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 143 unit: boost::optional which() file: include/DisjointUnionAbstractDomain.h start line: 162 end line: 167 size: 6 LOC McCabe index: 3 number of parameters: 0 id: 144 unit: static typename Visitor::result_type apply_visitor() file: include/DisjointUnionAbstractDomain.h start line: 177 end line: 182 size: 6 LOC McCabe index: 1 number of parameters: 3 id: 145 unit: bool map() file: include/PatriciaTreeMap.h start line: 303 end line: 308 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 146 unit: PatriciaTreeMap get_union_with() file: include/PatriciaTreeMap.h start line: 346 end line: 351 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 147 unit: PatriciaTreeMap get_intersection_with() file: include/PatriciaTreeMap.h start line: 353 end line: 358 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 148 unit: PatriciaTreeMap get_difference_with() file: include/PatriciaTreeMap.h start line: 360 end line: 365 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 149 unit: friend void intrusive_ptr_release() file: include/PatriciaTreeMap.h start line: 466 end line: 471 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 150 unit: inline bool s_expr::equals() file: include/S_Expression.h start line: 715 end line: 722 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 151 unit: Encoding meet() file: include/FiniteAbstractDomain.h start line: 464 end line: 472 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 152 unit: virtual void analyze_node() file: include/Analyzer.h start line: 186 end line: 191 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 153 unit: bool contains() file: include/PatriciaTreeSet.h start line: 164 end line: 169 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 154 unit: friend void intrusive_ptr_release() file: include/PatriciaTreeSet.h start line: 346 end line: 351 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 155 unit: virtual void meet_with() file: include/ReducedProductAbstractDomain.h start line: 196 end line: 201 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 156 unit: virtual void narrow_with() file: include/ReducedProductAbstractDomain.h start line: 203 end line: 208 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 157 unit: void add() file: include/SmallSortedSetAbstractDomain.h start line: 146 end line: 151 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 158 unit: void remove() file: include/SmallSortedSetAbstractDomain.h start line: 153 end line: 158 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 159 unit: AbstractValueKind join_with() file: include/ConstantAbstractDomain.h start line: 75 end line: 80 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 160 unit: AbstractValueKind meet_with() file: include/ConstantAbstractDomain.h start line: 86 end line: 91 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 161 unit: void join_with() file: include/AbstractDomain.h start line: 426 end line: 431 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 162 unit: void widen_with() file: include/AbstractDomain.h start line: 433 end line: 438 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 163 unit: void meet_with() file: include/AbstractDomain.h start line: 440 end line: 445 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 164 unit: void narrow_with() file: include/AbstractDomain.h start line: 447 end line: 452 size: 6 LOC McCabe index: 1 number of parameters: 1 id: 165 unit: void set_all_to_bottom() file: include/MonotonicFixpointIterator.h start line: 180 end line: 186 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 166 unit: virtual void meet_with() file: include/DirectProductAbstractDomain.h start line: 126 end line: 131 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 167 unit: virtual void narrow_with() file: include/DirectProductAbstractDomain.h start line: 133 end line: 138 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 168 unit: virtual void join_with() file: include/DirectProductAbstractDomain.h start line: 146 end line: 151 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 169 unit: virtual void widen_with() file: include/DirectProductAbstractDomain.h start line: 153 end line: 158 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 170 unit: constexpr decltype() file: include/DirectProductAbstractDomain.h start line: 190 end line: 195 size: 6 LOC McCabe index: 3 number of parameters: 1 id: 171 unit: static void tuple_print() file: include/DirectProductAbstractDomain.h start line: 263 end line: 268 size: 6 LOC McCabe index: 2 number of parameters: 2 id: 172 unit: AbstractValueKind meet_with() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 76 end line: 81 size: 6 LOC McCabe index: 2 number of parameters: 1 id: 173 unit: AbstractValueKind join_like_operation() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 282 end line: 287 size: 6 LOC McCabe index: 1 number of parameters: 2 id: 174 unit: explicit StateCounters() file: include/SpartaWorkQueue.h start line: 100 end line: 104 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 175 unit: void SpartaWorkQueue::add_item() file: include/SpartaWorkQueue.h start line: 242 end line: 246 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 176 unit: static PatriciaTreeMapAbstractPartition top() file: include/PatriciaTreeMapAbstractPartition.h start line: 220 end line: 224 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 177 unit: void add() file: include/PowersetAbstractDomain.h start line: 112 end line: 116 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 178 unit: void remove() file: include/PowersetAbstractDomain.h start line: 130 end line: 134 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 179 unit: static typename Visitor::result_type apply_visitor() file: include/DisjointUnionAbstractDomain.h start line: 170 end line: 174 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 180 unit: bool DisjointUnionAbstractDomain::leq() file: include/DisjointUnionAbstractDomain.h start line: 324 end line: 328 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 181 unit: bool DisjointUnionAbstractDomain::equals() file: include/DisjointUnionAbstractDomain.h start line: 331 end line: 335 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 182 unit: size_t size() file: include/PatriciaTreeMap.h start line: 223 end line: 227 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 183 unit: s_expr tail() file: include/S_Expression.h start line: 500 end line: 505 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 184 unit: inline int32_t s_expr::get_int32() file: include/S_Expression.h start line: 687 end line: 691 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 185 unit: inline std::string s_expr::str() file: include/S_Expression.h start line: 730 end line: 734 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 186 unit: inline void s_patn::must_match() file: include/S_Expression.h start line: 889 end line: 893 size: 5 LOC McCabe index: 1 number of parameters: 2 id: 187 unit: explicit SparseSetAbstractDomain() file: include/SparseSetAbstractDomain.h start line: 219 end line: 223 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 188 unit: Encoding encode() file: include/FiniteAbstractDomain.h start line: 331 end line: 335 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 189 unit: Element decode() file: include/FiniteAbstractDomain.h start line: 337 end line: 341 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 190 unit: explicit PatriciaTreeSet() file: include/PatriciaTreeSet.h start line: 137 end line: 141 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 191 unit: size_t size() file: include/PatriciaTreeSet.h start line: 152 end line: 156 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 192 unit: PatriciaTreeSet get_union_with() file: include/PatriciaTreeSet.h start line: 243 end line: 247 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 193 unit: PatriciaTreeSet get_intersection_with() file: include/PatriciaTreeSet.h start line: 249 end line: 253 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 194 unit: PatriciaTreeSet get_difference_with() file: include/PatriciaTreeSet.h start line: 255 end line: 259 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 195 unit: void normalize() file: include/ReducedProductAbstractDomain.h start line: 212 end line: 216 size: 5 LOC McCabe index: 3 number of parameters: 0 id: 196 unit: explicit FlatSet() file: include/FlatSet.h start line: 44 end line: 48 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 197 unit: bool contains() file: include/FlatSet.h start line: 67 end line: 71 size: 5 LOC McCabe index: 2 number of parameters: 1 id: 198 unit: FlatSet get_difference_with() file: include/FlatSet.h start line: 204 end line: 208 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 199 unit: boost::optional get_constant() file: include/ConstantAbstractDomain.h start line: 123 end line: 127 size: 5 LOC McCabe index: 2 number of parameters: 0 id: 200 unit: Derived join() file: include/AbstractDomain.h start line: 156 end line: 162 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 201 unit: Derived widening() file: include/AbstractDomain.h start line: 164 end line: 168 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 202 unit: Derived meet() file: include/AbstractDomain.h start line: 170 end line: 174 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 203 unit: Derived narrowing() file: include/AbstractDomain.h start line: 176 end line: 180 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 204 unit: static Derived top() file: include/AbstractDomain.h start line: 182 end line: 186 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 205 unit: static Derived bottom() file: include/AbstractDomain.h start line: 188 end line: 192 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 206 unit: void upgrade_to_writer() file: include/AbstractDomain.h start line: 576 end line: 581 size: 5 LOC McCabe index: 2 number of parameters: 0 id: 207 unit: static HashedAbstractPartition top() file: include/HashedAbstractPartition.h start line: 268 end line: 272 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 208 unit: bool leq() file: include/DirectProductAbstractDomain.h start line: 101 end line: 105 size: 5 LOC McCabe index: 3 number of parameters: 1 id: 209 unit: bool equals() file: include/DirectProductAbstractDomain.h start line: 107 end line: 111 size: 5 LOC McCabe index: 3 number of parameters: 1 id: 210 unit: constexpr decltype() file: include/DirectProductAbstractDomain.h start line: 183 end line: 187 size: 5 LOC McCabe index: 3 number of parameters: 1 id: 211 unit: static void tuple_print_impl() file: include/DirectProductAbstractDomain.h start line: 256 end line: 260 size: 5 LOC McCabe index: 2 number of parameters: 3 id: 212 unit: iterator end() file: include/WeakTopologicalOrdering.h start line: 145 end line: 149 size: 5 LOC McCabe index: 1 number of parameters: 0 id: 213 unit: AbstractValueKind join_with() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 66 end line: 70 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 214 unit: explicit PatriciaTreeOverUnderSetAbstractDomain() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 133 end line: 137 size: 5 LOC McCabe index: 1 number of parameters: 1 id: 215 unit: AbstractValueKind kind() file: include/HashedAbstractEnvironment.h start line: 255 end line: 260 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 216 unit: AbstractValueKind join_with() file: include/HashedAbstractEnvironment.h start line: 308 end line: 311 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 217 unit: AbstractValueKind widen_with() file: include/HashedAbstractEnvironment.h start line: 313 end line: 316 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 218 unit: AbstractValueKind meet_with() file: include/HashedAbstractEnvironment.h start line: 318 end line: 321 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 219 unit: AbstractValueKind narrow_with() file: include/HashedAbstractEnvironment.h start line: 323 end line: 326 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 220 unit: static inline unsigned int default_num_threads() file: include/SpartaWorkQueue.h start line: 32 end line: 35 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 221 unit: inline void take_all() file: include/SpartaWorkQueue.h start line: 82 end line: 85 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 222 unit: void SpartaWorkQueue::add_item() file: include/SpartaWorkQueue.h start line: 249 end line: 252 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 223 unit: size_t size() file: include/PatriciaTreeMapAbstractPartition.h start line: 74 end line: 77 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 224 unit: void set_to_bottom() file: include/PatriciaTreeMapAbstractPartition.h start line: 131 end line: 134 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 225 unit: void set_to_top() file: include/PatriciaTreeMapAbstractPartition.h start line: 136 end line: 139 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 226 unit: void join_with() file: include/PatriciaTreeMapAbstractPartition.h start line: 158 end line: 161 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 227 unit: void widen_with() file: include/PatriciaTreeMapAbstractPartition.h start line: 163 end line: 166 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 228 unit: void meet_with() file: include/PatriciaTreeMapAbstractPartition.h start line: 168 end line: 171 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 229 unit: void narrow_with() file: include/PatriciaTreeMapAbstractPartition.h start line: 173 end line: 176 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 230 unit: static IntervalDomain bounded_below() file: include/IntervalDomain.h start line: 63 end line: 66 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 231 unit: static IntervalDomain bounded_above() file: include/IntervalDomain.h start line: 69 end line: 72 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 232 unit: Num lower_bound() file: include/IntervalDomain.h start line: 87 end line: 90 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 233 unit: Num upper_bound() file: include/IntervalDomain.h start line: 96 end line: 99 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 234 unit: void set_to_bottom() file: include/IntervalDomain.h start line: 130 end line: 133 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 235 unit: void set_to_top() file: include/IntervalDomain.h start line: 135 end line: 138 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 236 unit: void join_with() file: include/IntervalDomain.h start line: 145 end line: 148 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 237 unit: bool is_top() file: include/DisjointUnionAbstractDomain.h start line: 80 end line: 83 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 238 unit: bool is_bottom() file: include/DisjointUnionAbstractDomain.h start line: 85 end line: 88 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 239 unit: void set_to_bottom() file: include/DisjointUnionAbstractDomain.h start line: 94 end line: 97 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 240 unit: void widen_with() file: include/DisjointUnionAbstractDomain.h start line: 108 end line: 111 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 241 unit: void narrow_with() file: include/DisjointUnionAbstractDomain.h start line: 116 end line: 119 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 242 unit: void inc_num_outer_preds() file: include/WeakPartialOrdering.h start line: 123 end line: 126 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 243 unit: void add_node() file: include/WeakPartialOrdering.h start line: 579 end line: 582 size: 4 LOC McCabe index: 1 number of parameters: 4 id: 244 unit: virtual ~PatriciaTree() file: include/PatriciaTreeMap.h start line: 450 end line: 456 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 245 unit: AbstractValueKind join_with() file: include/PatriciaTreeSetAbstractDomain.h start line: 63 end line: 66 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 246 unit: AbstractValueKind meet_with() file: include/PatriciaTreeSetAbstractDomain.h start line: 68 end line: 71 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 247 unit: AbstractValueKind difference_with() file: include/PatriciaTreeSetAbstractDomain.h start line: 73 end line: 76 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 248 unit: inline bool is_symbol_char() file: include/S_Expression.h start line: 376 end line: 379 size: 4 LOC McCabe index: 6 number of parameters: 1 id: 249 unit: size_t hash_value() file: include/S_Expression.h start line: 419 end line: 422 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 250 unit: size_t hash_value() file: include/S_Expression.h start line: 450 end line: 453 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 251 unit: bool match_with() file: include/S_Expression.h start line: 567 end line: 570 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 252 unit: inline size_t s_expr::size() file: include/S_Expression.h start line: 699 end line: 702 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 253 unit: inline s_expr s_expr::tail() file: include/S_Expression.h start line: 710 end line: 713 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 254 unit: Encoding get_lower_encoding() file: include/FiniteAbstractDomain.h start line: 479 end line: 482 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 255 unit: Encoding get_opposite_encoding() file: include/FiniteAbstractDomain.h start line: 484 end line: 487 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 256 unit: virtual ~PatriciaTree() file: include/PatriciaTreeSet.h start line: 326 end line: 332 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 257 unit: explicit PatriciaTreeLeaf() file: include/PatriciaTreeSet.h start line: 418 end line: 421 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 258 unit: void reduce() file: include/ReducedProductAbstractDomain.h start line: 143 end line: 148 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 259 unit: AbstractValueKind join_with() file: include/SmallSortedSetAbstractDomain.h start line: 57 end line: 60 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 260 unit: AbstractValueKind meet_with() file: include/SmallSortedSetAbstractDomain.h start line: 66 end line: 69 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 261 unit: explicit SmallSortedSetAbstractDomain() file: include/SmallSortedSetAbstractDomain.h start line: 103 end line: 106 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 262 unit: bool equals() file: include/FlatSet.h start line: 91 end line: 94 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 263 unit: bool equals() file: include/LiftedDomain.h start line: 93 end line: 96 size: 4 LOC McCabe index: 3 number of parameters: 1 id: 264 unit: explicit AbstractDomainScaffolding() file: include/AbstractDomain.h start line: 360 end line: 363 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 265 unit: void set_to_bottom() file: include/AbstractDomain.h start line: 375 end line: 378 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 266 unit: void set_to_top() file: include/AbstractDomain.h start line: 380 end line: 383 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 267 unit: void set_to_value() file: include/AbstractDomain.h start line: 460 end line: 463 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 268 unit: void increase_iteration_count_for() file: include/MonotonicFixpointIterator.h start line: 83 end line: 86 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 269 unit: Domain get_entry_state_at() file: include/MonotonicFixpointIterator.h start line: 148 end line: 151 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 270 unit: Domain get_exit_state_at() file: include/MonotonicFixpointIterator.h start line: 156 end line: 173 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 271 unit: void clear() file: include/MonotonicFixpointIterator.h start line: 175 end line: 178 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 272 unit: static std::vector predecessors() file: include/MonotonicFixpointIterator.h start line: 663 end line: 666 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 273 unit: static std::vector successors() file: include/MonotonicFixpointIterator.h start line: 667 end line: 670 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 274 unit: size_t size() file: include/HashedAbstractPartition.h start line: 64 end line: 67 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 275 unit: void set_to_bottom() file: include/HashedAbstractPartition.h start line: 136 end line: 139 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 276 unit: void set_to_top() file: include/HashedAbstractPartition.h start line: 141 end line: 144 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 277 unit: void join_with() file: include/HashedAbstractPartition.h start line: 188 end line: 191 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 278 unit: void widen_with() file: include/HashedAbstractPartition.h start line: 193 end line: 196 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 279 unit: void meet_with() file: include/HashedAbstractPartition.h start line: 198 end line: 201 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 280 unit: void narrow_with() file: include/HashedAbstractPartition.h start line: 203 end line: 206 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 281 unit: void set_to_bottom() file: include/DirectProductAbstractDomain.h start line: 113 end line: 116 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 282 unit: void set_to_top() file: include/DirectProductAbstractDomain.h start line: 118 end line: 121 size: 4 LOC McCabe index: 2 number of parameters: 0 id: 283 unit: std::enable_if_t compare_with() file: include/DirectProductAbstractDomain.h start line: 224 end line: 227 size: 4 LOC McCabe index: 2 number of parameters: 2 id: 284 unit: iterator begin() file: include/WeakTopologicalOrdering.h start line: 135 end line: 143 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 285 unit: iterator end() file: include/WeakTopologicalOrdering.h start line: 218 end line: 221 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 286 unit: void build() file: include/WeakTopologicalOrdering.h start line: 259 end line: 262 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 287 unit: void clear() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 32 end line: 35 size: 4 LOC McCabe index: 1 number of parameters: 0 id: 288 unit: void add_under() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 47 end line: 50 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 289 unit: void add() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 52 end line: 55 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 290 unit: bool leq() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 57 end line: 60 size: 4 LOC McCabe index: 2 number of parameters: 1 id: 291 unit: explicit PatriciaTreeOverUnderSetAbstractDomain() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 123 end line: 126 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 292 unit: explicit PatriciaTreeOverUnderSetAbstractDomain() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 128 end line: 131 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 293 unit: explicit PatriciaTreeOverUnderSetAbstractDomain() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 139 end line: 142 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 294 unit: explicit PatriciaTreeOverUnderSetAbstractDomain() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 144 end line: 147 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 295 unit: AbstractValueKind join_with() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 249 end line: 252 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 296 unit: AbstractValueKind widen_with() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 254 end line: 257 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 297 unit: AbstractValueKind meet_with() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 259 end line: 262 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 298 unit: AbstractValueKind narrow_with() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 264 end line: 267 size: 4 LOC McCabe index: 1 number of parameters: 1 id: 299 unit: void insert_binding() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 270 end line: 274 size: 4 LOC McCabe index: 1 number of parameters: 2 id: 300 unit: static HashedAbstractEnvironment bottom() file: include/HashedAbstractEnvironment.h start line: 176 end line: 178 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 301 unit: static HashedAbstractEnvironment top() file: include/HashedAbstractEnvironment.h start line: 180 end line: 182 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 302 unit: void consume() file: include/SpartaWorkQueue.h start line: 191 end line: 193 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 303 unit: static PatriciaTreeMapAbstractPartition bottom() file: include/PatriciaTreeMapAbstractPartition.h start line: 216 end line: 218 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 304 unit: bool leq() file: include/IntervalDomain.h start line: 122 end line: 124 size: 3 LOC McCabe index: 3 number of parameters: 1 id: 305 unit: bool equals() file: include/IntervalDomain.h start line: 126 end line: 128 size: 3 LOC McCabe index: 2 number of parameters: 1 id: 306 unit: bool equals() file: include/HashedSetAbstractDomain.h start line: 67 end line: 69 size: 3 LOC McCabe index: 2 number of parameters: 1 id: 307 unit: explicit HashedSetAbstractDomain() file: include/HashedSetAbstractDomain.h start line: 150 end line: 152 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 308 unit: explicit HashedSetAbstractDomain() file: include/HashedSetAbstractDomain.h start line: 154 end line: 156 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 309 unit: static HashedSetAbstractDomain bottom() file: include/HashedSetAbstractDomain.h start line: 158 end line: 160 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 310 unit: static HashedSetAbstractDomain top() file: include/HashedSetAbstractDomain.h start line: 162 end line: 164 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 311 unit: AbstractValueKind widen_with() file: include/PowersetAbstractDomain.h start line: 44 end line: 46 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 312 unit: AbstractValueKind narrow_with() file: include/PowersetAbstractDomain.h start line: 48 end line: 50 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 313 unit: static DisjointUnionAbstractDomain top() file: include/DisjointUnionAbstractDomain.h start line: 72 end line: 74 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 314 unit: static DisjointUnionAbstractDomain bottom() file: include/DisjointUnionAbstractDomain.h start line: 76 end line: 78 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 315 unit: void set_to_top() file: include/DisjointUnionAbstractDomain.h start line: 90 end line: 92 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 316 unit: bool operator() file: include/DisjointUnionAbstractDomain.h start line: 226 end line: 228 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 317 unit: bool operator() file: include/DisjointUnionAbstractDomain.h start line: 251 end line: 253 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 318 unit: void operator() file: include/DisjointUnionAbstractDomain.h start line: 270 end line: 272 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 319 unit: void operator() file: include/DisjointUnionAbstractDomain.h start line: 275 end line: 277 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 320 unit: void operator() file: include/DisjointUnionAbstractDomain.h start line: 283 end line: 285 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 321 unit: void operator() file: include/DisjointUnionAbstractDomain.h start line: 288 end line: 290 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 322 unit: bool is_successor() file: include/WeakPartialOrdering.h start line: 118 end line: 120 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 323 unit: uint32_t get_num_preds() file: include/WeakPartialOrdering.h start line: 211 end line: 213 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 324 unit: bool is_from_outside() file: include/WeakPartialOrdering.h start line: 240 end line: 242 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 325 unit: uint32_t get_next_dfn() file: include/WeakPartialOrdering.h start line: 573 end line: 577 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 326 unit: T snd() file: include/PatriciaTreeMap.h start line: 117 end line: 119 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 327 unit: bool equals() file: include/PatriciaTreeMap.h start line: 256 end line: 258 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 328 unit: bool reference_equals() file: include/PatriciaTreeMap.h start line: 286 end line: 288 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 329 unit: static uintptr_t encode() file: include/PatriciaTreeMap.h start line: 375 end line: 377 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 330 unit: static Key encode() file: include/PatriciaTreeMap.h start line: 381 end line: 383 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 331 unit: static Key decode() file: include/PatriciaTreeMap.h start line: 387 end line: 389 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 332 unit: static Key decode() file: include/PatriciaTreeMap.h start line: 393 end line: 395 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 333 unit: static Key deref() file: include/PatriciaTreeMap.h start line: 405 end line: 407 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 334 unit: friend void intrusive_ptr_add_ref() file: include/PatriciaTreeMap.h start line: 462 end line: 464 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 335 unit: bool leq() file: include/PatriciaTreeSetAbstractDomain.h start line: 55 end line: 57 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 336 unit: bool equals() file: include/PatriciaTreeSetAbstractDomain.h start line: 59 end line: 61 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 337 unit: explicit PatriciaTreeSetAbstractDomain() file: include/PatriciaTreeSetAbstractDomain.h start line: 138 end line: 140 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 338 unit: explicit PatriciaTreeSetAbstractDomain() file: include/PatriciaTreeSetAbstractDomain.h start line: 142 end line: 144 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 339 unit: explicit PatriciaTreeSetAbstractDomain() file: include/PatriciaTreeSetAbstractDomain.h start line: 146 end line: 148 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 340 unit: static PatriciaTreeSetAbstractDomain bottom() file: include/PatriciaTreeSetAbstractDomain.h start line: 150 end line: 152 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 341 unit: static PatriciaTreeSetAbstractDomain top() file: include/PatriciaTreeSetAbstractDomain.h start line: 154 end line: 156 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 342 unit: size_t hash_value() file: include/S_Expression.h start line: 529 end line: 531 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 343 unit: inline bool s_expr::is_int32() file: include/S_Expression.h start line: 675 end line: 677 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 344 unit: inline bool s_expr::is_string() file: include/S_Expression.h start line: 679 end line: 681 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 345 unit: inline bool s_expr::is_list() file: include/S_Expression.h start line: 683 end line: 685 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 346 unit: inline void s_expr::print() file: include/S_Expression.h start line: 726 end line: 728 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 347 unit: inline s_patn::s_patn() file: include/S_Expression.h start line: 863 end line: 865 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 348 unit: inline bool s_patn::match_with() file: include/S_Expression.h start line: 885 end line: 887 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 349 unit: std::vector elements() file: include/SparseSetAbstractDomain.h start line: 54 end line: 56 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 350 unit: bool equals() file: include/SparseSetAbstractDomain.h start line: 80 end line: 82 size: 3 LOC McCabe index: 2 number of parameters: 1 id: 351 unit: const_iterator end() file: include/SparseSetAbstractDomain.h start line: 115 end line: 117 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 352 unit: AbstractValueKind widen_with() file: include/SparseSetAbstractDomain.h start line: 131 end line: 133 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 353 unit: AbstractValueKind narrow_with() file: include/SparseSetAbstractDomain.h start line: 150 end line: 152 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 354 unit: explicit SparseSetAbstractDomain() file: include/SparseSetAbstractDomain.h start line: 225 end line: 227 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 355 unit: static SparseSetAbstractDomain bottom() file: include/SparseSetAbstractDomain.h start line: 229 end line: 231 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 356 unit: static SparseSetAbstractDomain top() file: include/SparseSetAbstractDomain.h start line: 233 end line: 235 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 357 unit: bool leq() file: include/FiniteAbstractDomain.h start line: 113 end line: 115 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 358 unit: bool equals() file: include/FiniteAbstractDomain.h start line: 117 end line: 119 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 359 unit: void join_with() file: include/FiniteAbstractDomain.h start line: 125 end line: 127 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 360 unit: void widen_with() file: include/FiniteAbstractDomain.h start line: 129 end line: 131 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 361 unit: void meet_with() file: include/FiniteAbstractDomain.h start line: 133 end line: 135 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 362 unit: void narrow_with() file: include/FiniteAbstractDomain.h start line: 137 end line: 139 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 363 unit: static FiniteAbstractDomain bottom() file: include/FiniteAbstractDomain.h start line: 141 end line: 143 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 364 unit: static FiniteAbstractDomain top() file: include/FiniteAbstractDomain.h start line: 145 end line: 147 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 365 unit: bool is_bottom() file: include/FiniteAbstractDomain.h start line: 343 end line: 348 size: 3 LOC McCabe index: 2 number of parameters: 1 id: 366 unit: bool is_top() file: include/FiniteAbstractDomain.h start line: 350 end line: 353 size: 3 LOC McCabe index: 2 number of parameters: 1 id: 367 unit: Encoding encode() file: include/FiniteAbstractDomain.h start line: 432 end line: 437 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 368 unit: Element decode() file: include/FiniteAbstractDomain.h start line: 440 end line: 442 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 369 unit: Element decode_lower() file: include/FiniteAbstractDomain.h start line: 444 end line: 446 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 370 unit: bool equals() file: include/FiniteAbstractDomain.h start line: 452 end line: 454 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 371 unit: bool leq() file: include/FiniteAbstractDomain.h start line: 456 end line: 458 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 372 unit: Encoding join() file: include/FiniteAbstractDomain.h start line: 460 end line: 462 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 373 unit: void set_summaries() file: include/Analyzer.h start line: 91 end line: 93 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 374 unit: void set_caller_context() file: include/Analyzer.h start line: 94 end line: 96 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 375 unit: void set_analysis_parameters() file: include/Analyzer.h start line: 98 end line: 100 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 376 unit: void set_logger() file: include/Analyzer.h start line: 284 end line: 286 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 377 unit: bool is_subset_of() file: include/PatriciaTreeSet.h start line: 171 end line: 173 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 378 unit: bool equals() file: include/PatriciaTreeSet.h start line: 175 end line: 177 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 379 unit: bool reference_equals() file: include/PatriciaTreeSet.h start line: 205 end line: 207 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 380 unit: static uintptr_t encode() file: include/PatriciaTreeSet.h start line: 288 end line: 290 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 381 unit: static Element encode() file: include/PatriciaTreeSet.h start line: 294 end line: 296 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 382 unit: static Element decode() file: include/PatriciaTreeSet.h start line: 300 end line: 302 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 383 unit: static Element decode() file: include/PatriciaTreeSet.h start line: 306 end line: 308 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 384 unit: friend void intrusive_ptr_add_ref() file: include/PatriciaTreeSet.h start line: 342 end line: 344 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 385 unit: bool is_bottom() file: include/ReducedProductAbstractDomain.h start line: 184 end line: 188 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 386 unit: bool leq() file: include/SmallSortedSetAbstractDomain.h start line: 49 end line: 51 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 387 unit: bool equals() file: include/SmallSortedSetAbstractDomain.h start line: 53 end line: 55 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 388 unit: AbstractValueKind widen_with() file: include/SmallSortedSetAbstractDomain.h start line: 62 end line: 64 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 389 unit: AbstractValueKind narrow_with() file: include/SmallSortedSetAbstractDomain.h start line: 71 end line: 73 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 390 unit: explicit SmallSortedSetAbstractDomain() file: include/SmallSortedSetAbstractDomain.h start line: 108 end line: 110 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 391 unit: explicit SmallSortedSetAbstractDomain() file: include/SmallSortedSetAbstractDomain.h start line: 112 end line: 114 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 392 unit: explicit SmallSortedSetAbstractDomain() file: include/SmallSortedSetAbstractDomain.h start line: 116 end line: 118 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 393 unit: static SmallSortedSetAbstractDomain bottom() file: include/SmallSortedSetAbstractDomain.h start line: 120 end line: 122 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 394 unit: static SmallSortedSetAbstractDomain top() file: include/SmallSortedSetAbstractDomain.h start line: 124 end line: 126 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 395 unit: bool leq() file: include/ConstantAbstractDomain.h start line: 67 end line: 69 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 396 unit: bool equals() file: include/ConstantAbstractDomain.h start line: 71 end line: 73 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 397 unit: AbstractValueKind widen_with() file: include/ConstantAbstractDomain.h start line: 82 end line: 84 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 398 unit: AbstractValueKind narrow_with() file: include/ConstantAbstractDomain.h start line: 93 end line: 95 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 399 unit: explicit ConstantAbstractDomain() file: include/ConstantAbstractDomain.h start line: 115 end line: 117 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 400 unit: explicit ConstantAbstractDomain() file: include/ConstantAbstractDomain.h start line: 119 end line: 121 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 401 unit: static ConstantAbstractDomain bottom() file: include/ConstantAbstractDomain.h start line: 129 end line: 131 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 402 unit: static ConstantAbstractDomain top() file: include/ConstantAbstractDomain.h start line: 133 end line: 135 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 403 unit: static LiftedDomain lifted() file: include/LiftedDomain.h start line: 39 end line: 41 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 404 unit: static LiftedDomain top() file: include/LiftedDomain.h start line: 43 end line: 45 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 405 unit: bool is_top() file: include/LiftedDomain.h start line: 67 end line: 69 size: 3 LOC McCabe index: 2 number of parameters: 0 id: 406 unit: bool is_bottom() file: include/AbstractDomain.h start line: 367 end line: 369 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 407 unit: bool equals() file: include/AbstractDomain.h start line: 546 end line: 548 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 408 unit: AbstractValueKind join_with() file: include/AbstractDomain.h start line: 550 end line: 552 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 409 unit: AbstractValueKind widen_with() file: include/AbstractDomain.h start line: 554 end line: 556 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 410 unit: AbstractValueKind meet_with() file: include/AbstractDomain.h start line: 558 end line: 560 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 411 unit: AbstractValueKind narrow_with() file: include/AbstractDomain.h start line: 562 end line: 564 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 412 unit: bool leq() file: include/AbstractDomain.h start line: 608 end line: 610 size: 3 LOC McCabe index: 2 number of parameters: 1 id: 413 unit: bool equals() file: include/AbstractDomain.h start line: 612 end line: 614 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 414 unit: void join_with() file: include/AbstractDomain.h start line: 620 end line: 622 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 415 unit: void widen_with() file: include/AbstractDomain.h start line: 624 end line: 626 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 416 unit: void meet_with() file: include/AbstractDomain.h start line: 628 end line: 630 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 417 unit: void narrow_with() file: include/AbstractDomain.h start line: 632 end line: 634 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 418 unit: void reset_local_iteration_count_for() file: include/MonotonicFixpointIterator.h start line: 88 end line: 90 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 419 unit: static NodeId exit() file: include/MonotonicFixpointIterator.h start line: 660 end line: 662 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 420 unit: static NodeId source() file: include/MonotonicFixpointIterator.h start line: 671 end line: 673 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 421 unit: static NodeId target() file: include/MonotonicFixpointIterator.h start line: 674 end line: 676 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 422 unit: virtual bool is_bottom() file: include/DirectProductAbstractDomain.h start line: 93 end line: 95 size: 3 LOC McCabe index: 2 number of parameters: 0 id: 423 unit: bool is_top() file: include/DirectProductAbstractDomain.h start line: 97 end line: 99 size: 3 LOC McCabe index: 2 number of parameters: 0 id: 424 unit: iterator begin() file: include/WeakTopologicalOrdering.h start line: 214 end line: 216 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 425 unit: bool equals() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 62 end line: 64 size: 3 LOC McCabe index: 2 number of parameters: 1 id: 426 unit: AbstractValueKind widen_with() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 72 end line: 74 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 427 unit: AbstractValueKind narrow_with() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 83 end line: 85 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 428 unit: static PatriciaTreeOverUnderSetAbstractDomain bottom() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 149 end line: 151 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 429 unit: static PatriciaTreeOverUnderSetAbstractDomain top() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 153 end line: 155 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 430 unit: static PatriciaTreeMapAbstractEnvironment bottom() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 163 end line: 165 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 431 unit: static PatriciaTreeMapAbstractEnvironment top() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 167 end line: 169 size: 3 LOC McCabe index: 1 number of parameters: 0 id: 432 unit: AbstractValueKind kind() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 235 end line: 239 size: 3 LOC McCabe index: 2 number of parameters: 0 id: 433 unit: bool leq() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 241 end line: 243 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 434 unit: bool equals() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 245 end line: 247 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 435 unit: bool erase_all_matching() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 278 end line: 280 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 436 unit: inline IntegerType is_zero_bit() file: include/PatriciaTreeUtil.h start line: 17 end line: 19 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 437 unit: inline IntegerType get_lowest_bit() file: include/PatriciaTreeUtil.h start line: 22 end line: 24 size: 3 LOC McCabe index: 1 number of parameters: 1 id: 438 unit: inline IntegerType get_branching_bit() file: include/PatriciaTreeUtil.h start line: 27 end line: 29 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 439 unit: IntegerType mask() file: include/PatriciaTreeUtil.h start line: 32 end line: 34 size: 3 LOC McCabe index: 1 number of parameters: 2 id: 440 unit: IntegerType match_prefix() file: include/PatriciaTreeUtil.h start line: 37 end line: 39 size: 3 LOC McCabe index: 1 number of parameters: 3 id: 441 unit: explicit PowersetAbstractDomain() file: include/PowersetAbstractDomain.h start line: 93 end line: 94 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 442 unit: explicit PatriciaTreeLeaf() file: include/PatriciaTreeMap.h start line: 527 end line: 528 size: 2 LOC McCabe index: 1 number of parameters: 2 id: 443 unit: explicit Int32Atom() file: include/S_Expression.h start line: 401 end line: 402 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 444 unit: explicit StringAtom() file: include/S_Expression.h start line: 432 end line: 433 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 445 unit: explicit PlaceholderPattern() file: include/S_Expression.h start line: 564 end line: 565 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 446 unit: explicit StringPattern() file: include/S_Expression.h start line: 602 end line: 603 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 447 unit: inline s_expr::s_expr() file: include/S_Expression.h start line: 655 end line: 656 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 448 unit: inline s_expr::s_expr() file: include/S_Expression.h start line: 658 end line: 659 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 449 unit: inline s_expr::s_expr() file: include/S_Expression.h start line: 661 end line: 662 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 450 unit: inline s_expr::s_expr() file: include/S_Expression.h start line: 664 end line: 665 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 451 unit: inline s_expr::s_expr() file: include/S_Expression.h start line: 668 end line: 669 size: 2 LOC McCabe index: 1 number of parameters: 2 id: 452 unit: inline s_patn::s_patn() file: include/S_Expression.h start line: 860 end line: 861 size: 2 LOC McCabe index: 1 number of parameters: 0 id: 453 unit: inline s_patn::s_patn() file: include/S_Expression.h start line: 867 end line: 868 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 454 unit: inline s_patn::s_patn() file: include/S_Expression.h start line: 870 end line: 871 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 455 unit: inline s_patn::s_patn() file: include/S_Expression.h start line: 873 end line: 874 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 456 unit: inline s_patn::s_patn() file: include/S_Expression.h start line: 876 end line: 877 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 457 unit: inline s_patn::s_patn() file: include/S_Expression.h start line: 879 end line: 880 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 458 unit: inline s_patn::s_patn() file: include/S_Expression.h start line: 882 end line: 883 size: 2 LOC McCabe index: 1 number of parameters: 2 id: 459 unit: explicit FiniteAbstractDomain() file: include/FiniteAbstractDomain.h start line: 104 end line: 105 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 460 unit: explicit ConstantAbstractValue() file: include/ConstantAbstractDomain.h start line: 60 end line: 61 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 461 unit: explicit LiftedDomain() file: include/LiftedDomain.h start line: 170 end line: 171 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 462 unit: explicit AbstractDomainReverseAdaptor() file: include/AbstractDomain.h start line: 601 end line: 602 size: 2 LOC McCabe index: 2 number of parameters: 1 id: 463 unit: explicit MonotonicFixpointIteratorContext() file: include/MonotonicFixpointIterator.h start line: 59 end line: 60 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 464 unit: explicit DirectProductAbstractDomain() file: include/DirectProductAbstractDomain.h start line: 60 end line: 61 size: 2 LOC McCabe index: 1 number of parameters: 1 id: 465 unit: std::enable_if_t combine_with() file: include/DirectProductAbstractDomain.h start line: 240 end line: 241 size: 2 LOC McCabe index: 2 number of parameters: 3 id: 466 unit: bool is_value() file: include/HashedAbstractEnvironment.h start line: 100 end line: 100 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 467 unit: void clear() file: include/HashedAbstractEnvironment.h start line: 253 end line: 253 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 468 unit: explicit Semaphore() file: include/SpartaWorkQueue.h start line: 62 end line: 62 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 469 unit: size_t worker_id() file: include/SpartaWorkQueue.h start line: 140 end line: 140 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 470 unit: void operator() file: include/SpartaWorkQueue.h start line: 330 end line: 330 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 471 unit: void operator() file: include/SpartaWorkQueue.h start line: 335 end line: 335 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 472 unit: static type default_value() file: include/PatriciaTreeMapAbstractPartition.h start line: 47 end line: 47 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 473 unit: static bool is_default_value() file: include/PatriciaTreeMapAbstractPartition.h start line: 49 end line: 49 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 474 unit: static bool equals() file: include/PatriciaTreeMapAbstractPartition.h start line: 51 end line: 51 size: 1 LOC McCabe index: 1 number of parameters: 2 id: 475 unit: static bool leq() file: include/PatriciaTreeMapAbstractPartition.h start line: 53 end line: 53 size: 1 LOC McCabe index: 1 number of parameters: 2 id: 476 unit: bool is_top() file: include/PatriciaTreeMapAbstractPartition.h start line: 127 end line: 127 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 477 unit: bool is_bottom() file: include/PatriciaTreeMapAbstractPartition.h start line: 129 end line: 129 size: 1 LOC McCabe index: 2 number of parameters: 0 id: 478 unit: static IntervalDomain bottom() file: include/IntervalDomain.h start line: 52 end line: 52 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 479 unit: static IntervalDomain high() file: include/IntervalDomain.h start line: 75 end line: 75 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 480 unit: static IntervalDomain low() file: include/IntervalDomain.h start line: 78 end line: 78 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 481 unit: static IntervalDomain top() file: include/IntervalDomain.h start line: 81 end line: 81 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 482 unit: bool is_bottom() file: include/IntervalDomain.h start line: 119 end line: 119 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 483 unit: bool is_top() file: include/IntervalDomain.h start line: 120 end line: 120 size: 1 LOC McCabe index: 2 number of parameters: 0 id: 484 unit: size_t size() file: include/HashedSetAbstractDomain.h start line: 43 end line: 43 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 485 unit: bool contains() file: include/HashedSetAbstractDomain.h start line: 45 end line: 45 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 486 unit: void add() file: include/HashedSetAbstractDomain.h start line: 47 end line: 47 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 487 unit: void remove() file: include/HashedSetAbstractDomain.h start line: 49 end line: 49 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 488 unit: void clear() file: include/HashedSetAbstractDomain.h start line: 51 end line: 51 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 489 unit: AbstractValueKind kind() file: include/HashedSetAbstractDomain.h start line: 53 end line: 53 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 490 unit: void add() file: include/PowersetAbstractDomain.h start line: 118 end line: 118 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 491 unit: bool is_plain() file: include/WeakPartialOrdering.h start line: 88 end line: 88 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 492 unit: bool is_head() file: include/WeakPartialOrdering.h start line: 89 end line: 89 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 493 unit: bool is_exit() file: include/WeakPartialOrdering.h start line: 90 end line: 90 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 494 unit: uint32_t get_num_preds() file: include/WeakPartialOrdering.h start line: 99 end line: 99 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 495 unit: uint32_t get_size() file: include/WeakPartialOrdering.h start line: 108 end line: 108 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 496 unit: void add_successor() file: include/WeakPartialOrdering.h start line: 112 end line: 112 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 497 unit: void add_predecessor() file: include/WeakPartialOrdering.h start line: 115 end line: 115 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 498 unit: uint32_t size() file: include/WeakPartialOrdering.h start line: 195 end line: 195 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 499 unit: WpoIdx get_entry() file: include/WeakPartialOrdering.h start line: 198 end line: 198 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 500 unit: WpoIdx get_head_of_exit() file: include/WeakPartialOrdering.h start line: 222 end line: 222 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 501 unit: WpoIdx get_exit_of_head() file: include/WeakPartialOrdering.h start line: 225 end line: 225 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 502 unit: bool is_plain() file: include/WeakPartialOrdering.h start line: 231 end line: 231 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 503 unit: bool is_head() file: include/WeakPartialOrdering.h start line: 232 end line: 232 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 504 unit: bool is_exit() file: include/WeakPartialOrdering.h start line: 233 end line: 233 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 505 unit: void set_dfn() file: include/WeakPartialOrdering.h start line: 567 end line: 567 size: 1 LOC McCabe index: 1 number of parameters: 2 id: 506 unit: void push_ref() file: include/WeakPartialOrdering.h start line: 571 end line: 571 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 507 unit: WpoIdx index_of() file: include/WeakPartialOrdering.h start line: 586 end line: 586 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 508 unit: void add_toplevel() file: include/WeakPartialOrdering.h start line: 605 end line: 605 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 509 unit: static T default_value() file: include/PatriciaTreeMap.h start line: 129 end line: 129 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 510 unit: static bool is_default_value() file: include/PatriciaTreeMap.h start line: 131 end line: 131 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 511 unit: static bool equals() file: include/PatriciaTreeMap.h start line: 133 end line: 133 size: 1 LOC McCabe index: 1 number of parameters: 2 id: 512 unit: bool empty() file: include/PatriciaTreeMap.h start line: 221 end line: 221 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 513 unit: size_t max_size() file: include/PatriciaTreeMap.h start line: 229 end line: 229 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 514 unit: iterator begin() file: include/PatriciaTreeMap.h start line: 231 end line: 231 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 515 unit: iterator end() file: include/PatriciaTreeMap.h start line: 233 end line: 233 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 516 unit: void clear() file: include/PatriciaTreeMap.h start line: 367 end line: 367 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 517 unit: bool is_branch() file: include/PatriciaTreeMap.h start line: 460 end line: 460 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 518 unit: bool is_leaf() file: include/PatriciaTreeMap.h start line: 490 end line: 490 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 519 unit: IntegerType prefix() file: include/PatriciaTreeMap.h start line: 492 end line: 492 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 520 unit: IntegerType branching_bit() file: include/PatriciaTreeMap.h start line: 494 end line: 494 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 521 unit: bool is_leaf() file: include/PatriciaTreeMap.h start line: 530 end line: 530 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 522 unit: size_t size() file: include/PatriciaTreeSetAbstractDomain.h start line: 43 end line: 43 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 523 unit: bool contains() file: include/PatriciaTreeSetAbstractDomain.h start line: 45 end line: 45 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 524 unit: void add() file: include/PatriciaTreeSetAbstractDomain.h start line: 47 end line: 47 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 525 unit: void remove() file: include/PatriciaTreeSetAbstractDomain.h start line: 49 end line: 49 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 526 unit: void clear() file: include/PatriciaTreeSetAbstractDomain.h start line: 51 end line: 51 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 527 unit: AbstractValueKind kind() file: include/PatriciaTreeSetAbstractDomain.h start line: 53 end line: 53 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 528 unit: friend size_t hash_value() file: include/S_Expression.h start line: 183 end line: 183 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 529 unit: bool good() file: include/S_Expression.h start line: 239 end line: 239 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 530 unit: bool fail() file: include/S_Expression.h start line: 241 end line: 241 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 531 unit: bool eoi() file: include/S_Expression.h start line: 248 end line: 248 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 532 unit: virtual ~Component() file: include/S_Expression.h start line: 383 end line: 383 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 533 unit: explicit Component() file: include/S_Expression.h start line: 385 end line: 385 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 534 unit: ComponentKind kind() file: include/S_Expression.h start line: 387 end line: 387 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 535 unit: int32_t get_value() file: include/S_Expression.h start line: 404 end line: 404 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 536 unit: void print() file: include/S_Expression.h start line: 424 end line: 424 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 537 unit: size_t size() file: include/S_Expression.h start line: 488 end line: 488 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 538 unit: void add_element() file: include/S_Expression.h start line: 507 end line: 507 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 539 unit: virtual ~Pattern() file: include/S_Expression.h start line: 550 end line: 550 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 540 unit: bool match_with() file: include/S_Expression.h start line: 559 end line: 559 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 541 unit: explicit Int32Pattern() file: include/S_Expression.h start line: 578 end line: 578 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 542 unit: explicit Int32Pattern() file: include/S_Expression.h start line: 580 end line: 580 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 543 unit: explicit StringPattern() file: include/S_Expression.h start line: 600 end line: 600 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 544 unit: explicit ListPattern() file: include/S_Expression.h start line: 623 end line: 623 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 545 unit: inline s_expr::s_expr() file: include/S_Expression.h start line: 653 end line: 653 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 546 unit: inline bool s_expr::is_nil() file: include/S_Expression.h start line: 671 end line: 671 size: 1 LOC McCabe index: 2 number of parameters: 0 id: 547 unit: inline bool s_expr::is_atom() file: include/S_Expression.h start line: 673 end line: 673 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 548 unit: inline size_t s_expr::hash_value() file: include/S_Expression.h start line: 724 end line: 724 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 549 unit: void clear() file: include/SparseSetAbstractDomain.h start line: 51 end line: 51 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 550 unit: AbstractValueKind kind() file: include/SparseSetAbstractDomain.h start line: 58 end line: 58 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 551 unit: iterator begin() file: include/SparseSetAbstractDomain.h start line: 109 end line: 109 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 552 unit: iterator end() file: include/SparseSetAbstractDomain.h start line: 111 end line: 111 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 553 unit: const_iterator begin() file: include/SparseSetAbstractDomain.h start line: 113 end line: 113 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 554 unit: size_t size() file: include/SparseSetAbstractDomain.h start line: 165 end line: 165 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 555 unit: virtual ~LatticeEncoding() file: include/FiniteAbstractDomain.h start line: 32 end line: 32 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 556 unit: Element element() file: include/FiniteAbstractDomain.h start line: 107 end line: 107 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 557 unit: bool is_bottom() file: include/FiniteAbstractDomain.h start line: 109 end line: 109 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 558 unit: bool is_top() file: include/FiniteAbstractDomain.h start line: 111 end line: 111 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 559 unit: void set_to_bottom() file: include/FiniteAbstractDomain.h start line: 121 end line: 121 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 560 unit: void set_to_top() file: include/FiniteAbstractDomain.h start line: 123 end line: 123 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 561 unit: Encoding bottom() file: include/FiniteAbstractDomain.h start line: 355 end line: 355 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 562 unit: Encoding top() file: include/FiniteAbstractDomain.h start line: 357 end line: 357 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 563 unit: bool is_bottom() file: include/FiniteAbstractDomain.h start line: 448 end line: 448 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 564 unit: bool is_top() file: include/FiniteAbstractDomain.h start line: 450 end line: 450 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 565 unit: Encoding bottom() file: include/FiniteAbstractDomain.h start line: 474 end line: 474 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 566 unit: Encoding top() file: include/FiniteAbstractDomain.h start line: 476 end line: 476 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 567 unit: virtual ~Intraprocedural() file: include/Analyzer.h start line: 90 end line: 90 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 568 unit: void set_call_graph() file: include/Analyzer.h start line: 97 end line: 97 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 569 unit: virtual ~AbstractRegistry() file: include/Analyzer.h start line: 122 end line: 122 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 570 unit: static CallerContext initial_domain() file: include/Analyzer.h start line: 176 end line: 176 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 571 unit: bool empty() file: include/PatriciaTreeSet.h start line: 150 end line: 150 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 572 unit: size_t max_size() file: include/PatriciaTreeSet.h start line: 158 end line: 158 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 573 unit: iterator begin() file: include/PatriciaTreeSet.h start line: 160 end line: 160 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 574 unit: iterator end() file: include/PatriciaTreeSet.h start line: 162 end line: 162 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 575 unit: size_t hash() file: include/PatriciaTreeSet.h start line: 265 end line: 265 size: 1 LOC McCabe index: 2 number of parameters: 0 id: 576 unit: void clear() file: include/PatriciaTreeSet.h start line: 267 end line: 267 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 577 unit: bool is_branch() file: include/PatriciaTreeSet.h start line: 336 end line: 336 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 578 unit: size_t hash() file: include/PatriciaTreeSet.h start line: 338 end line: 338 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 579 unit: void set_hash() file: include/PatriciaTreeSet.h start line: 340 end line: 340 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 580 unit: bool is_leaf() file: include/PatriciaTreeSet.h start line: 385 end line: 385 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 581 unit: IntegerType prefix() file: include/PatriciaTreeSet.h start line: 387 end line: 387 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 582 unit: IntegerType branching_bit() file: include/PatriciaTreeSet.h start line: 389 end line: 389 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 583 unit: bool is_leaf() file: include/PatriciaTreeSet.h start line: 423 end line: 423 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 584 unit: void clear() file: include/SmallSortedSetAbstractDomain.h start line: 27 end line: 27 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 585 unit: bool empty() file: include/SmallSortedSetAbstractDomain.h start line: 37 end line: 37 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 586 unit: std::size_t size() file: include/SmallSortedSetAbstractDomain.h start line: 39 end line: 39 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 587 unit: void add() file: include/SmallSortedSetAbstractDomain.h start line: 43 end line: 43 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 588 unit: void remove() file: include/SmallSortedSetAbstractDomain.h start line: 45 end line: 45 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 589 unit: bool contains() file: include/SmallSortedSetAbstractDomain.h start line: 47 end line: 47 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 590 unit: bool empty() file: include/SmallSortedSetAbstractDomain.h start line: 128 end line: 128 size: 1 LOC McCabe index: 2 number of parameters: 0 id: 591 unit: bool empty() file: include/FlatSet.h start line: 57 end line: 57 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 592 unit: std::size_t size() file: include/FlatSet.h start line: 59 end line: 59 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 593 unit: std::size_t max_size() file: include/FlatSet.h start line: 61 end line: 61 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 594 unit: iterator begin() file: include/FlatSet.h start line: 63 end line: 63 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 595 unit: iterator end() file: include/FlatSet.h start line: 65 end line: 65 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 596 unit: void clear() file: include/FlatSet.h start line: 210 end line: 210 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 597 unit: void clear() file: include/ConstantAbstractDomain.h start line: 63 end line: 63 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 598 unit: AbstractValueKind kind() file: include/ConstantAbstractDomain.h start line: 65 end line: 65 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 599 unit: static LiftedDomain bottom() file: include/LiftedDomain.h start line: 37 end line: 37 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 600 unit: bool is_bottom() file: include/LiftedDomain.h start line: 65 end line: 65 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 601 unit: bool is_lifted() file: include/LiftedDomain.h start line: 71 end line: 71 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 602 unit: void set_to_bottom() file: include/LiftedDomain.h start line: 98 end line: 98 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 603 unit: void set_to_top() file: include/LiftedDomain.h start line: 100 end line: 100 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 604 unit: AbstractValueKind kind() file: include/AbstractDomain.h start line: 365 end line: 365 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 605 unit: bool is_top() file: include/AbstractDomain.h start line: 371 end line: 371 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 606 unit: bool is_value() file: include/AbstractDomain.h start line: 373 end line: 373 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 607 unit: void clear() file: include/AbstractDomain.h start line: 540 end line: 540 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 608 unit: AbstractValueKind kind() file: include/AbstractDomain.h start line: 542 end line: 542 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 609 unit: bool leq() file: include/AbstractDomain.h start line: 544 end line: 544 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 610 unit: bool is_bottom() file: include/AbstractDomain.h start line: 604 end line: 604 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 611 unit: bool is_top() file: include/AbstractDomain.h start line: 606 end line: 606 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 612 unit: void set_to_bottom() file: include/AbstractDomain.h start line: 616 end line: 616 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 613 unit: void set_to_top() file: include/AbstractDomain.h start line: 618 end line: 618 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 614 unit: static Derived bottom() file: include/AbstractDomain.h start line: 636 end line: 636 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 615 unit: static Derived top() file: include/AbstractDomain.h start line: 638 end line: 638 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 616 unit: bool is_top() file: include/HashedAbstractPartition.h start line: 132 end line: 132 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 617 unit: bool is_bottom() file: include/HashedAbstractPartition.h start line: 134 end line: 134 size: 1 LOC McCabe index: 2 number of parameters: 0 id: 618 unit: static HashedAbstractPartition bottom() file: include/HashedAbstractPartition.h start line: 266 end line: 266 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 619 unit: static void discard() file: include/DirectProductAbstractDomain.h start line: 175 end line: 175 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 620 unit: bool is_vertex() file: include/WeakTopologicalOrdering.h start line: 131 end line: 131 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 621 unit: bool is_scc() file: include/WeakTopologicalOrdering.h start line: 133 end line: 133 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 622 unit: AbstractValueKind kind() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 37 end line: 37 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 623 unit: bool empty() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 39 end line: 39 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 624 unit: void add_over() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 45 end line: 45 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 625 unit: bool empty() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 157 end line: 157 size: 1 LOC McCabe index: 2 number of parameters: 0 id: 626 unit: void add_over() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 175 end line: 175 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 627 unit: void add_under() file: include/PatriciaTreeOverUnderSetAbstractDomain.h start line: 185 end line: 185 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 628 unit: static type default_value() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 218 end line: 218 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 629 unit: static bool is_default_value() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 220 end line: 220 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 630 unit: static bool equals() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 222 end line: 222 size: 1 LOC McCabe index: 1 number of parameters: 2 id: 631 unit: static bool leq() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 224 end line: 224 size: 1 LOC McCabe index: 1 number of parameters: 2 id: 632 unit: void clear() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 233 end line: 233 size: 1 LOC McCabe index: 1 number of parameters: 0 id: 633 unit: bool map() file: include/PatriciaTreeMapAbstractEnvironment.h start line: 276 end line: 276 size: 1 LOC McCabe index: 1 number of parameters: 1 id: 634 unit: T operator() file: include/PatriciaTreeUtil.h start line: 43 end line: 43 size: 1 LOC McCabe index: 1 number of parameters: 0