| isDisjointWith(SymbolicExpression, SymbolicExpression) |  | 0% | | 0% | 5 | 5 | 17 | 17 | 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) |  | 61% | | 40% | 4 | 6 | 11 | 23 | 0 | 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 |
| sizeof(CIVLSource, CIVLType, SymbolicType) | | 81% | | 77% | 5 | 12 | 4 | 28 | 0 | 1 |
| getDomainIterator(SymbolicExpression) | | 65% | | 25% | 2 | 3 | 5 | 17 | 0 | 1 |
| getEleInLiteralDomain(SymbolicExpression, int) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| getAbstractGuardOfFunctionCall(String, String, SymbolicExpression[]) | | 81% | | 50% | 2 | 3 | 2 | 14 | 0 | 1 |
| getStaticTypeOfDynamicType(SymbolicExpression) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| extractInt(CIVLSource, NumericExpression) | | 58% | | 50% | 2 | 3 | 1 | 6 | 0 | 1 |
| contains(SymbolicExpression, SymbolicExpression) | | 92% | | 67% | 6 | 10 | 3 | 30 | 0 | 1 |
| isEmptyDomain(SymbolicExpression, int, CIVLSource) | | 83% | | 60% | 4 | 6 | 3 | 16 | 0 | 1 |
| getMallocID(SymbolicExpression) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| getRegRangeSize(SymbolicExpression) | | 88% | | 50% | 1 | 2 | 2 | 15 | 0 | 1 |
| getArrayIndex(CIVLSource, SymbolicExpression) | | 67% | | 50% | 1 | 2 | 3 | 9 | 0 | 1 |
| isRegularRange(SymbolicExpression) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| range2BitSet(SymbolicExpression, Reasoner) | | 85% | | 75% | 1 | 3 | 2 | 16 | 0 | 1 |
| makeParentOf(ReferenceExpression, ReferenceExpression) | | 81% | | 83% | 1 | 4 | 2 | 12 | 0 | 1 |
| arithmeticIntDivide(NumericExpression, NumericExpression) | | 81% | | 50% | 4 | 5 | 0 | 6 | 0 | 1 |
| getDimensionOf(SymbolicExpression) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getDomainSize(SymbolicExpression) | | 92% | | 83% | 1 | 4 | 1 | 18 | 0 | 1 |
| isInRange(SymbolicExpression, SymbolicExpression) | | 93% | | 75% | 1 | 3 | 1 | 14 | 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) | | 88% | | 67% | 2 | 4 | 0 | 8 | 0 | 1 |
| arePoint2SameMemoryBlock(SymbolicExpression, SymbolicExpression) | | 86% | | 50% | 3 | 4 | 0 | 4 | 0 | 1 |
| parentPointer(SymbolicExpression) | | 83% | | 50% | 3 | 4 | 0 | 3 | 0 | 1 |
| getSymRef(SymbolicExpression) | | 79% | | 50% | 2 | 3 | 0 | 3 | 0 | 1 |
| nullFunctionPointer() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| isInitialized(SymbolicExpression) | | 71% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| CommonSymbolicUtility(SymbolicUniverse, ModelFactory, StateFactory) | | 100% | | n/a | 0 | 1 | 0 | 31 | 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 |
| expressionOfType(CIVLType, SymbolicType) | | 100% | | 75% | 1 | 3 | 0 | 9 | 0 | 1 |
| getConjunctiveClauses(BooleanExpression) | | 100% | | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| arrayRootPtr(SymbolicExpression) | | 100% | | 88% | 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% | | 67% | 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 |
| getType(CIVLSource, SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 2 | 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 |
| getDyscopeId(CIVLSource, 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 |
| getVariableId(CIVLSource, SymbolicExpression) | | 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 |
| nullPointer() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sizeofFunction() | | 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 |