├── .gitignore ├── README.md └── src ├── basic ├── Branching1.java ├── Interprocedural1.java ├── Interprocedural2.java ├── Loops1.java ├── Loops2.java ├── Parameter1.java ├── Parameter2.java ├── Recursion1.java ├── ReturnValue1.java ├── ReturnValue2.java ├── ReturnValue3.java └── SimpleAlias1.java ├── benchmark ├── internal │ └── Benchmark.java └── objects │ ├── A.java │ ├── B.java │ ├── G.java │ ├── H.java │ ├── I.java │ ├── N.java │ ├── P.java │ └── Q.java ├── collections ├── Array1.java ├── List1.java ├── List2.java ├── Map1.java └── Set1.java ├── cornerCases ├── AccessPath1.java ├── ContextSensitivity1.java ├── ContextSensitivity2.java ├── ContextSensitivity3.java ├── FieldSensitivity1.java ├── FieldSensitivity2.java ├── FlowSensitivity1.java ├── ObjectSensitivity1.java ├── ObjectSensitivity2.java ├── StrongUpdate1.java └── StrongUpdate2.java └── generalJava ├── Exception1.java ├── Exception2.java ├── Interface1.java ├── Null1.java ├── Null2.java ├── OuterClass1.java ├── StaticVariables1.java └── SuperClasses1.java /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/README.md -------------------------------------------------------------------------------- /src/basic/Branching1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/Branching1.java -------------------------------------------------------------------------------- /src/basic/Interprocedural1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/Interprocedural1.java -------------------------------------------------------------------------------- /src/basic/Interprocedural2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/Interprocedural2.java -------------------------------------------------------------------------------- /src/basic/Loops1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/Loops1.java -------------------------------------------------------------------------------- /src/basic/Loops2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/Loops2.java -------------------------------------------------------------------------------- /src/basic/Parameter1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/Parameter1.java -------------------------------------------------------------------------------- /src/basic/Parameter2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/Parameter2.java -------------------------------------------------------------------------------- /src/basic/Recursion1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/Recursion1.java -------------------------------------------------------------------------------- /src/basic/ReturnValue1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/ReturnValue1.java -------------------------------------------------------------------------------- /src/basic/ReturnValue2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/ReturnValue2.java -------------------------------------------------------------------------------- /src/basic/ReturnValue3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/ReturnValue3.java -------------------------------------------------------------------------------- /src/basic/SimpleAlias1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/basic/SimpleAlias1.java -------------------------------------------------------------------------------- /src/benchmark/internal/Benchmark.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/benchmark/internal/Benchmark.java -------------------------------------------------------------------------------- /src/benchmark/objects/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/benchmark/objects/A.java -------------------------------------------------------------------------------- /src/benchmark/objects/B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/benchmark/objects/B.java -------------------------------------------------------------------------------- /src/benchmark/objects/G.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/benchmark/objects/G.java -------------------------------------------------------------------------------- /src/benchmark/objects/H.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/benchmark/objects/H.java -------------------------------------------------------------------------------- /src/benchmark/objects/I.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/benchmark/objects/I.java -------------------------------------------------------------------------------- /src/benchmark/objects/N.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/benchmark/objects/N.java -------------------------------------------------------------------------------- /src/benchmark/objects/P.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/benchmark/objects/P.java -------------------------------------------------------------------------------- /src/benchmark/objects/Q.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/benchmark/objects/Q.java -------------------------------------------------------------------------------- /src/collections/Array1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/collections/Array1.java -------------------------------------------------------------------------------- /src/collections/List1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/collections/List1.java -------------------------------------------------------------------------------- /src/collections/List2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/collections/List2.java -------------------------------------------------------------------------------- /src/collections/Map1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/collections/Map1.java -------------------------------------------------------------------------------- /src/collections/Set1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/collections/Set1.java -------------------------------------------------------------------------------- /src/cornerCases/AccessPath1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/cornerCases/AccessPath1.java -------------------------------------------------------------------------------- /src/cornerCases/ContextSensitivity1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/cornerCases/ContextSensitivity1.java -------------------------------------------------------------------------------- /src/cornerCases/ContextSensitivity2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/cornerCases/ContextSensitivity2.java -------------------------------------------------------------------------------- /src/cornerCases/ContextSensitivity3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/cornerCases/ContextSensitivity3.java -------------------------------------------------------------------------------- /src/cornerCases/FieldSensitivity1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/cornerCases/FieldSensitivity1.java -------------------------------------------------------------------------------- /src/cornerCases/FieldSensitivity2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/cornerCases/FieldSensitivity2.java -------------------------------------------------------------------------------- /src/cornerCases/FlowSensitivity1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/cornerCases/FlowSensitivity1.java -------------------------------------------------------------------------------- /src/cornerCases/ObjectSensitivity1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/cornerCases/ObjectSensitivity1.java -------------------------------------------------------------------------------- /src/cornerCases/ObjectSensitivity2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/cornerCases/ObjectSensitivity2.java -------------------------------------------------------------------------------- /src/cornerCases/StrongUpdate1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/cornerCases/StrongUpdate1.java -------------------------------------------------------------------------------- /src/cornerCases/StrongUpdate2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/cornerCases/StrongUpdate2.java -------------------------------------------------------------------------------- /src/generalJava/Exception1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/generalJava/Exception1.java -------------------------------------------------------------------------------- /src/generalJava/Exception2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/generalJava/Exception2.java -------------------------------------------------------------------------------- /src/generalJava/Interface1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/generalJava/Interface1.java -------------------------------------------------------------------------------- /src/generalJava/Null1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/generalJava/Null1.java -------------------------------------------------------------------------------- /src/generalJava/Null2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/generalJava/Null2.java -------------------------------------------------------------------------------- /src/generalJava/OuterClass1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/generalJava/OuterClass1.java -------------------------------------------------------------------------------- /src/generalJava/StaticVariables1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/generalJava/StaticVariables1.java -------------------------------------------------------------------------------- /src/generalJava/SuperClasses1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/PointerBench/HEAD/src/generalJava/SuperClasses1.java --------------------------------------------------------------------------------