source: CIVL/mods/dev.civl.abc/examples/c/pointsToAnalysis

main
Name Size Rev Age Author Last Change
../
twoSeparate.c 60 bytes aad342c  
twoSeparate2.c 83 bytes aad342c  
twoAlias.c 58 bytes aad342c  
twoAlias2.c 57 bytes aad342c  
subset.c 79 bytes aad342c  
structPointerFieldsWithDerefAndDot.c 255 bytes aad342c  
structFieldsWithArrow.c 239 bytes aad342c  
structFields.c 217 bytes aad342c  
structFields2.c 199 bytes aad342c  
structFieldArray.c 181 bytes aad342c  
stringLiteral.c 85 bytes aad342c  
scoping.c 137 bytes aad342c  
return.c 169 bytes aad342c  
return2.c 168 bytes aad342c  
recursive.c 192 bytes aad342c  
ptrComplexExpr.c 136 bytes aad342c  
pointerToArrayArgument.c 97 bytes aad342c  
pointerToArrayArgument3.c 176 bytes aad342c  
pointerToArrayArgument2.c 119 bytes aad342c  
pointerToArray.c 85 bytes aad342c  
pointerToArray2.c 117 bytes aad342c  
multiLevelPtrs.c 94 bytes aad342c  
multiLevelPtrs3.c 150 bytes aad342c  
multiLevelPtrs2.c 89 bytes aad342c  
globalsSubset.c 95 bytes aad342c  
globalsSeparate.c 87 bytes aad342c  
globalsAlias.c 86 bytes aad342c  
fullSet.c 54 bytes aad342c  
dereferenceCancelAddressof.c 68 bytes aad342c  
complex.c 109 bytes aad342c  
branchInsensitive.c 128 bytes aad342c  
arraySubscript.c 85 bytes aad342c  
arrayStructMix.c 136 bytes aad342c  
arrayStructMix2.c 140 bytes aad342c  
argsSubset.c 119 bytes aad342c  
argsSubset2.c 120 bytes aad342c  
argsSeparate.c 111 bytes aad342c  
argsSeparate2.c 135 bytes aad342c  
argsAlias.c 109 bytes aad342c  
argsAlias2.c 120 bytes aad342c  
allocation.c 111 bytes aad342c  
allocation2.c 151 bytes aad342c  
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.