├── .classpath ├── .project ├── Example └── dp_1.4.ll ├── README.txt ├── lib ├── commons-io-2.1.jar └── libSTPJNI.so └── src ├── cn └── edu │ └── sjtu │ └── jllvm │ ├── ESP │ ├── CFGUtils.java │ ├── ESPChecking.java │ ├── ESPProperty │ │ ├── Clause.java │ │ ├── ESPState.java │ │ ├── ESPStateFactory.java │ │ ├── ESPTransitionSystem.java │ │ ├── ExecutionState.java │ │ ├── ExecutionState_STP.java │ │ ├── IExecutionState.java │ │ ├── ISymbolicState.java │ │ ├── Literal.java │ │ └── SymbolicState.java │ ├── ILocation.java │ ├── IState.java │ ├── IStateFactory.java │ ├── ITransitionSystem.java │ ├── IWorklist.java │ ├── Solver.java │ ├── SolverUtil.java │ ├── WorkPair.java │ └── Worklist.java │ ├── GUI │ ├── ESP_GUI.java │ └── UIUtil.java │ ├── Lockset │ ├── Edge.java │ ├── FunctionCache.java │ ├── Lock.java │ ├── Lockset.java │ ├── LocksetPair.java │ └── LocksetTraverse.java │ ├── VMCore │ ├── Argument.java │ ├── BasicBlock.java │ ├── Cell.java │ ├── Constants │ │ ├── BinaryConstantExpr.java │ │ ├── CompareConstantExpr.java │ │ ├── ComplexConstantValue.java │ │ ├── Constant.java │ │ ├── ConstantExpr.java │ │ ├── ConstantPointerNull.java │ │ ├── ConvertConstantExpr.java │ │ ├── Function.java │ │ ├── FunctionDeclare.java │ │ ├── GetElementPtrConstantExpr.java │ │ ├── GlobalAlias.java │ │ ├── GlobalValue.java │ │ ├── GlobalVariable.java │ │ ├── LocalVariable.java │ │ ├── SimpleConstantValue.java │ │ └── UndefValue.java │ ├── Instructions │ │ ├── AllocaInst.java │ │ ├── BinaryInst.java │ │ ├── CallInst.java │ │ ├── CmpInst.java │ │ ├── GetElePtrInst.java │ │ ├── InstFactory.java │ │ ├── Instruction.java │ │ ├── LoadInst.java │ │ ├── OperationInst.java │ │ ├── PHIInst.java │ │ ├── SelectInst.java │ │ ├── StoreInst.java │ │ └── TerminatorInst.java │ ├── Module.java │ ├── Operators │ │ ├── CompareCondition.java │ │ ├── InstType.java │ │ └── Operator.java │ ├── Parser │ │ ├── LLVM.g │ │ ├── LLVM.tokens │ │ ├── LLVMLexer.java │ │ └── LLVMParser.java │ ├── Types │ │ ├── ArrayType.java │ │ ├── DerivedType.java │ │ ├── FunctionType.java │ │ ├── IDType.java │ │ ├── IntegerType.java │ │ ├── OpaqueType.java │ │ ├── PackedStructType.java │ │ ├── PointerType.java │ │ ├── StructType.java │ │ ├── Type.java │ │ ├── TypeFactory.java │ │ ├── UnionType.java │ │ └── VectorType.java │ ├── User.java │ ├── Value.java │ └── ValueFactory.java │ └── test │ ├── ESPArguments.java │ └── TestLocksetTraverse.java └── stp ├── Expr.java ├── STPJNI.c ├── STPJNI.h ├── STPJNI.java ├── STPObject.java ├── Type.java ├── VC.java ├── WholeCounterExample.java ├── exprkind_t.java └── type_t.java /.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/.classpath -------------------------------------------------------------------------------- /.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/.project -------------------------------------------------------------------------------- /Example/dp_1.4.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/Example/dp_1.4.ll -------------------------------------------------------------------------------- /README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/README.txt -------------------------------------------------------------------------------- /lib/commons-io-2.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/lib/commons-io-2.1.jar -------------------------------------------------------------------------------- /lib/libSTPJNI.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/lib/libSTPJNI.so -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/CFGUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/CFGUtils.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ESPChecking.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ESPChecking.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ESPProperty/Clause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ESPProperty/Clause.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ESPState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ESPState.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ESPStateFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ESPStateFactory.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ESPTransitionSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ESPTransitionSystem.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ExecutionState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ExecutionState.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ExecutionState_STP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ExecutionState_STP.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ESPProperty/IExecutionState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ESPProperty/IExecutionState.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ISymbolicState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ESPProperty/ISymbolicState.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ESPProperty/Literal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ESPProperty/Literal.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ESPProperty/SymbolicState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ESPProperty/SymbolicState.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ILocation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ILocation.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/IState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/IState.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/IStateFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/IStateFactory.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/ITransitionSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/ITransitionSystem.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/IWorklist.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/IWorklist.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/Solver.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/SolverUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/SolverUtil.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/WorkPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/WorkPair.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/ESP/Worklist.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/ESP/Worklist.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/GUI/ESP_GUI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/GUI/ESP_GUI.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/GUI/UIUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/GUI/UIUtil.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/Lockset/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/Lockset/Edge.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/Lockset/FunctionCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/Lockset/FunctionCache.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/Lockset/Lock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/Lockset/Lock.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/Lockset/Lockset.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/Lockset/Lockset.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/Lockset/LocksetPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/Lockset/LocksetPair.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/Lockset/LocksetTraverse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/Lockset/LocksetTraverse.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Argument.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Argument.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/BasicBlock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/BasicBlock.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Cell.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Cell.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/BinaryConstantExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/BinaryConstantExpr.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/CompareConstantExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/CompareConstantExpr.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/ComplexConstantValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/ComplexConstantValue.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/Constant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/Constant.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/ConstantExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/ConstantExpr.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/ConstantPointerNull.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/ConstantPointerNull.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/ConvertConstantExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/ConvertConstantExpr.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/Function.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/Function.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/FunctionDeclare.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/FunctionDeclare.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/GetElementPtrConstantExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/GetElementPtrConstantExpr.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/GlobalAlias.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/GlobalAlias.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/GlobalValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/GlobalValue.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/GlobalVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/GlobalVariable.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/LocalVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/LocalVariable.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/SimpleConstantValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/SimpleConstantValue.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Constants/UndefValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Constants/UndefValue.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/AllocaInst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/AllocaInst.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/BinaryInst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/BinaryInst.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/CallInst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/CallInst.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/CmpInst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/CmpInst.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/GetElePtrInst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/GetElePtrInst.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/InstFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/InstFactory.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/Instruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/Instruction.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/LoadInst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/LoadInst.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/OperationInst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/OperationInst.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/PHIInst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/PHIInst.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/SelectInst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/SelectInst.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/StoreInst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/StoreInst.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Instructions/TerminatorInst.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Instructions/TerminatorInst.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Module.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Module.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Operators/CompareCondition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Operators/CompareCondition.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Operators/InstType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Operators/InstType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Operators/Operator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Operators/Operator.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Parser/LLVM.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Parser/LLVM.g -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Parser/LLVM.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Parser/LLVM.tokens -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Parser/LLVMLexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Parser/LLVMLexer.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Parser/LLVMParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Parser/LLVMParser.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/ArrayType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/ArrayType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/DerivedType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/DerivedType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/FunctionType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/FunctionType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/IDType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/IDType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/IntegerType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/IntegerType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/OpaqueType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/OpaqueType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/PackedStructType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/PackedStructType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/PointerType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/PointerType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/StructType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/StructType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/Type.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/TypeFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/TypeFactory.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/UnionType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/UnionType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Types/VectorType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Types/VectorType.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/User.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/User.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/Value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/Value.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/VMCore/ValueFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/VMCore/ValueFactory.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/test/ESPArguments.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/test/ESPArguments.java -------------------------------------------------------------------------------- /src/cn/edu/sjtu/jllvm/test/TestLocksetTraverse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/cn/edu/sjtu/jllvm/test/TestLocksetTraverse.java -------------------------------------------------------------------------------- /src/stp/Expr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/stp/Expr.java -------------------------------------------------------------------------------- /src/stp/STPJNI.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/stp/STPJNI.c -------------------------------------------------------------------------------- /src/stp/STPJNI.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/stp/STPJNI.h -------------------------------------------------------------------------------- /src/stp/STPJNI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/stp/STPJNI.java -------------------------------------------------------------------------------- /src/stp/STPObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/stp/STPObject.java -------------------------------------------------------------------------------- /src/stp/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/stp/Type.java -------------------------------------------------------------------------------- /src/stp/VC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/stp/VC.java -------------------------------------------------------------------------------- /src/stp/WholeCounterExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/stp/WholeCounterExample.java -------------------------------------------------------------------------------- /src/stp/exprkind_t.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/stp/exprkind_t.java -------------------------------------------------------------------------------- /src/stp/type_t.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rwl/JLLVM/HEAD/src/stp/type_t.java --------------------------------------------------------------------------------