| isDisjointWith(SymbolicExpression, SymbolicExpression) |  | 0% | | 0% | 5 | 5 | 13 | 13 | 1 | 1 |
| literalDomainSearcher(SymbolicExpression, List, int) | | 0% | | 0% | 5 | 5 | 10 | 10 | 1 | 1 |
| isValidRefOfValue(ReferenceExpression, SymbolicExpression) |  | 61% | | 57% | 5 | 8 | 7 | 21 | 0 | 1 |
| isDisjoint(ReferenceExpression, ReferenceExpression) | | 0% | | 0% | 4 | 4 | 10 | 10 | 1 | 1 |
| getDomainInit(SymbolicExpression) | | 61% | | 40% | 4 | 6 | 8 | 19 | 0 | 1 |
| sizeof(CIVLSource, SymbolicType) | | 77% | | 75% | 5 | 11 | 5 | 26 | 0 | 1 |
| charArrayToString(CIVLSource, SymbolicSequence, int, boolean) | | 64% | | 60% | 6 | 11 | 11 | 27 | 0 | 1 |
| getDomainIterator(SymbolicExpression) | | 65% | | 25% | 2 | 3 | 4 | 13 | 0 | 1 |
| contains(SymbolicExpression, SymbolicExpression) | | 88% | | 64% | 8 | 12 | 4 | 27 | 0 | 1 |
| getEleInLiteralDomain(SymbolicExpression, int) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| parentPointer(CIVLSource, SymbolicExpression) | | 52% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| extractInt(CIVLSource, NumericExpression) | | 46% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| isEmptyDomain(SymbolicExpression, int, CIVLSource) | | 83% | | 60% | 4 | 6 | 3 | 15 | 0 | 1 |
| getRegRangeSize(SymbolicExpression) | | 88% | | 50% | 1 | 2 | 2 | 14 | 0 | 1 |
| getArrayIndex(CIVLSource, SymbolicExpression) | | 67% | | 50% | 1 | 2 | 3 | 9 | 0 | 1 |
| makeParentOf(ReferenceExpression, ReferenceExpression) | | 81% | | 83% | 1 | 4 | 1 | 8 | 0 | 1 |
| arithmeticIntDivide(NumericExpression, NumericExpression) | | 81% | | 50% | 4 | 5 | 0 | 5 | 0 | 1 |
| getDomainSize(SymbolicExpression) | | 92% | | 83% | 1 | 4 | 1 | 14 | 0 | 1 |
| isInRange(SymbolicExpression, SymbolicExpression) | | 93% | | 75% | 1 | 3 | 1 | 11 | 0 | 1 |
| arrayCoordinateSizes(SymbolicCompleteArrayType) | | 89% | | 67% | 2 | 4 | 0 | 11 | 0 | 1 |
| referenceOfPointer(SymbolicExpression) | | 88% | | 75% | 1 | 3 | 1 | 7 | 0 | 1 |
| isLiteralDomain(SymbolicExpression) | | 88% | | 67% | 2 | 4 | 0 | 7 | 0 | 1 |
| isRecDomain(SymbolicExpression) | | 88% | | 67% | 2 | 4 | 0 | 7 | 0 | 1 |
| getSymRef(SymbolicExpression) | | 79% | | 50% | 2 | 3 | 0 | 3 | 0 | 1 |
| isUndefinedPointer(SymbolicExpression) | | 88% | | 75% | 1 | 3 | 1 | 4 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| isInitialized(SymbolicExpression) | | 71% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| CommonSymbolicUtility(SymbolicUniverse, ModelFactory) | | 100% | | n/a | 0 | 1 | 0 | 22 | 0 | 1 |
| getNextInRecDomain(SymbolicExpression, List, int) | | 100% | | 83% | 1 | 4 | 0 | 13 | 0 | 1 |
| newArray(BooleanExpression, SymbolicType, NumericExpression, SymbolicExpression) | | 100% | | 100% | 0 | 3 | 0 | 12 | 0 | 1 |
| extendPointer(SymbolicExpression, ReferenceExpression) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| stripIndicesFromReference(ArrayElementReference) | | 100% | | 100% | 0 | 3 | 0 | 12 | 0 | 1 |
| expressionOfType(SymbolicType) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| recDomainHasNext(SymbolicExpression, int, List) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| makePointer(int, int, ReferenceExpression) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| arraySlicesSizes(NumericExpression[]) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| makeArrayElementReference(ReferenceExpression, NumericExpression[]) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| referenceComponents(ReferenceExpression) | | 100% | | 100% | 0 | 2 | 0 | 5 | 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 |
| arrayRootPtr(SymbolicExpression, CIVLSource) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| extractIntField(CIVLSource, SymbolicExpression, IntObject) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getDyscopeId(CIVLSource, SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isValidPointer(SymbolicExpression) | | 100% | | 100% | 0 | 2 | 0 | 2 | 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 |
| isValidRefOf(ReferenceExpression, SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| makePointer(SymbolicExpression, ReferenceExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getRegRangeMin(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getRegRangeStep(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 |
| isHeapPointer(SymbolicExpression) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| referenceToHeapMemUnit(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 |