| isDisjointWith(SymbolicExpression, SymbolicExpression) |  | 0% | | 0% | 5 | 5 | 17 | 17 | 1 | 1 |
| range2BitSet(SymbolicExpression, Reasoner) | | 0% | | 0% | 3 | 3 | 16 | 16 | 1 | 1 |
| literalDomainSearcher(SymbolicExpression, List, int) | | 0% | | 0% | 5 | 5 | 13 | 13 | 1 | 1 |
| isDisjoint(ReferenceExpression, ReferenceExpression) | | 0% | | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
| getDomainInit(SymbolicExpression) |  | 60% | | 40% | 4 | 6 | 11 | 23 | 0 | 1 |
| isInRange(NumericExpression, NumericExpression, NumericExpression, NumericExpression) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| charArrayToString(CIVLSource, SymbolicExpression, int, boolean) | | 63% | | 50% | 8 | 12 | 15 | 32 | 0 | 1 |
| getRangeOfRectangularDomain(SymbolicExpression, int) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| getDomainIterator(SymbolicExpression) | | 64% | | 25% | 2 | 3 | 5 | 17 | 0 | 1 |
| getEleInLiteralDomain(SymbolicExpression, int) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| getAbstractGuardOfFunctionCall(String, String, SymbolicExpression[]) | | 78% | | 50% | 2 | 3 | 2 | 14 | 0 | 1 |
| isConcretePointer(SymbolicExpression) | | 80% | | 56% | 7 | 9 | 7 | 23 | 0 | 1 |
| contains(SymbolicExpression, SymbolicExpression) | | 91% | | 66% | 6 | 10 | 3 | 30 | 0 | 1 |
| getMallocID(SymbolicExpression) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| isEmptyDomain(SymbolicExpression, int, CIVLSource) | | 86% | | 70% | 3 | 6 | 2 | 16 | 0 | 1 |
| getArrayIndex(CIVLSource, SymbolicExpression) | | 66% | | 50% | 1 | 2 | 3 | 9 | 0 | 1 |
| isRegularRange(SymbolicExpression) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| makeParentOf(ReferenceExpression, ReferenceExpression) | | 80% | | 83% | 1 | 4 | 2 | 12 | 0 | 1 |
| arithmeticIntDivide(NumericExpression, NumericExpression) | | 80% | | 50% | 2 | 3 | 0 | 6 | 0 | 1 |
| getDimensionOf(SymbolicExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getDomainSize(SymbolicExpression) | | 91% | | 83% | 1 | 4 | 1 | 18 | 0 | 1 |
| extractInt(CIVLSource, NumericExpression) | | 72% | | 50% | 2 | 3 | 1 | 6 | 0 | 1 |
| isInRange(SymbolicExpression, SymbolicExpression) | | 92% | | 75% | 1 | 3 | 1 | 14 | 0 | 1 |
| freshBoundVariablesFor(int, SymbolicType, SymbolicExpression[]) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| symbolicArrayToConcreteArray(SymbolicExpression) | | 88% | | 75% | 1 | 3 | 0 | 9 | 0 | 1 |
| isValidRefOfType(ReferenceExpression, SymbolicType) | | 96% | | 89% | 2 | 12 | 2 | 39 | 0 | 1 |
| referenceOfPointer(SymbolicExpression) | | 88% | | 75% | 1 | 3 | 1 | 9 | 0 | 1 |
| isLiteralDomain(SymbolicExpression) | | 87% | | 75% | 1 | 3 | 0 | 8 | 0 | 1 |
| arePoint2SameMemoryBlock(SymbolicExpression, SymbolicExpression) | | 85% | | 50% | 2 | 3 | 0 | 4 | 0 | 1 |
| parentPointer(SymbolicExpression) | | 81% | | 50% | 2 | 3 | 0 | 3 | 0 | 1 |
| getSymRef(SymbolicExpression) | | 77% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| nullFunctionPointer() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| freshBoundVariablesForWorker(int, SymbolicType, SymbolicExpression[]) | | 97% | | 83% | 1 | 4 | 1 | 15 | 0 | 1 |
| isInitialized(SymbolicExpression) | | 71% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| CommonSymbolicUtility(SymbolicUniverse, ModelFactory, StateFactory) | | 100% | | n/a | 0 | 1 | 0 | 22 | 0 | 1 |
| getRegRangeSize(SymbolicExpression) | | 100% | | 100% | 0 | 2 | 0 | 15 | 0 | 1 |
| extractArrayIndicesFrom(SymbolicExpression) | | 100% | | 90% | 1 | 6 | 0 | 21 | 0 | 1 |
| getNextInRectangularDomain(SymbolicExpression, List, int) | | 100% | | 83% | 1 | 4 | 0 | 14 | 0 | 1 |
| newArray(BooleanExpression, SymbolicType, NumericExpression, SymbolicExpression) | | 100% | | 100% | 0 | 3 | 0 | 16 | 0 | 1 |
| extendPointer(SymbolicExpression, ReferenceExpression) | | 100% | | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| getConjunctiveClauses(BooleanExpression) | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| arrayRootPtr(SymbolicExpression) | | 100% | | 87% | 1 | 5 | 0 | 9 | 0 | 1 |
| recDomainHasNext(SymbolicExpression, int, List) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| makePointer(int, int, ReferenceExpression) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| applyReverseFunction(String, SymbolicExpression) | | 100% | | 66% | 2 | 4 | 0 | 8 | 0 | 1 |
| arraySlicesSizes(NumericExpression[]) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| arrayDimensionExtents(SymbolicCompleteArrayType) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| makeFunctionPointer(int, int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| makeArrayElementReference(ReferenceExpression, NumericExpression[]) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| referenceComponents(ReferenceExpression) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| ancestorsOfRef(ReferenceExpression) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| getDomainElementType(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| rangeHasNext(SymbolicExpression, SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| extractIntField(CIVLSource, SymbolicExpression, IntObject) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getPointer2MemoryBlock(SymbolicExpression) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| freshBoundVariableFor(SymbolicType, SymbolicExpression[]) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setSymRef(SymbolicExpression, ReferenceExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isNullPointer(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| makePointer(SymbolicExpression, ReferenceExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isRectangularDomain(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getHighOfRegularRange(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getLowOfRegularRange(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getStepOfRegularRange(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getScopeValue(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVariableId(CIVLSource, SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getValueSetUtility() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isMallocPointer(CIVLSource, SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| heapMemUnit(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| invalidHeapObject(SymbolicType) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isEmptyHeap(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isInvalidHeapObject(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isPointerToHeap(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isValidRefOf(ReferenceExpression, SymbolicType) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| referenceToHeapMemUnit(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isPointer2MemoryBlock(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$freshBoundVariablesForWorker$0(SymbolicConstant) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| nullPointer() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| undefinedPointer() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| dynamicType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |