├── CMakeLists.txt ├── LICENSE ├── README.md ├── config ├── modref.config ├── ptr.config └── taint.config ├── include ├── Annotation │ ├── ArgPosition.h │ ├── ModRef │ │ ├── ExternalModRefTable.h │ │ ├── ExternalModRefTablePrinter.h │ │ ├── ModRefEffect.h │ │ └── ModRefEffectSummary.h │ ├── Pointer │ │ ├── ExternalPointerTable.h │ │ ├── ExternalPointerTablePrinter.h │ │ ├── PointerEffect.h │ │ └── PointerEffectSummary.h │ └── Taint │ │ ├── ExternalTaintTable.h │ │ ├── TaintDescriptor.h │ │ ├── TaintEntry.h │ │ └── TaintSummary.h ├── Context │ ├── AdaptiveContext.h │ ├── Context.h │ ├── KLimitContext.h │ └── ProgramPoint.h ├── Dynamic │ ├── Analysis │ │ ├── DynamicContext.h │ │ ├── DynamicMemory.h │ │ ├── DynamicMemoryObject.h │ │ ├── DynamicPointer.h │ │ └── DynamicPointerAnalysis.h │ ├── Instrument │ │ ├── AllocType.h │ │ ├── DynamicHooks.h │ │ ├── FeatureCheck.h │ │ ├── IDAssigner.h │ │ └── MemoryInstrument.h │ └── Log │ │ ├── LogPrinter.h │ │ ├── LogProcessor.h │ │ ├── LogReader.h │ │ ├── LogRecord.h │ │ └── LogVisitor.h ├── PointerAnalysis │ ├── Analysis │ │ ├── GlobalPointerAnalysis.h │ │ ├── PointerAnalysis.h │ │ └── SemiSparsePointerAnalysis.h │ ├── Engine │ │ ├── EvalResult.h │ │ ├── EvalSuccessor.h │ │ ├── GlobalState.h │ │ ├── Initializer.h │ │ ├── SemiSparsePropagator.h │ │ ├── StorePruner.h │ │ ├── TransferFunction.h │ │ └── WorkList.h │ ├── FrontEnd │ │ ├── CFG │ │ │ ├── CFGBuilder.h │ │ │ ├── CFGSimplifier.h │ │ │ ├── FunctionTranslator.h │ │ │ ├── InstructionTranslator.h │ │ │ └── PriorityAssigner.h │ │ ├── ConstPointerMap.h │ │ ├── SemiSparseProgramBuilder.h │ │ └── Type │ │ │ ├── ArrayLayoutAnalysis.h │ │ │ ├── ArrayLayoutMap.h │ │ │ ├── CastMap.h │ │ │ ├── PointerLayoutAnalysis.h │ │ │ ├── PointerLayoutMap.h │ │ │ ├── StructCastAnalysis.h │ │ │ ├── TypeAnalysis.h │ │ │ ├── TypeCollector.h │ │ │ ├── TypeMap.h │ │ │ └── TypeSet.h │ ├── MemoryModel │ │ ├── AllocSite.h │ │ ├── MemoryBlock.h │ │ ├── MemoryManager.h │ │ ├── MemoryObject.h │ │ ├── Pointer.h │ │ ├── PointerManager.h │ │ └── Type │ │ │ ├── ArrayLayout.h │ │ │ ├── PointerLayout.h │ │ │ └── TypeLayout.h │ ├── Precision │ │ ├── PrecisionLossTracker.h │ │ ├── TrackerGlobalState.h │ │ └── ValueDependenceTracker.h │ ├── Program │ │ ├── CFG │ │ │ ├── CFG.h │ │ │ ├── CFGNode.h │ │ │ ├── NodeMixin.h │ │ │ └── NodeVisitor.h │ │ └── SemiSparseProgram.h │ └── Support │ │ ├── CallGraph.h │ │ ├── Env.h │ │ ├── FunctionContext.h │ │ ├── Memo.h │ │ ├── ProgramPoint.h │ │ ├── ProgramPointSet.h │ │ ├── PtsMap.h │ │ ├── PtsSet.h │ │ └── Store.h ├── TaintAnalysis │ ├── Analysis │ │ ├── TaintAnalysis.h │ │ └── TrackingTaintAnalysis.h │ ├── Engine │ │ ├── EvalResult.h │ │ ├── EvalSuccessor.h │ │ ├── Initializer.h │ │ ├── SinkViolationChecker.h │ │ ├── TaintGlobalState.h │ │ ├── TaintPropagator.h │ │ ├── TransferFunction.h │ │ └── WorkList.h │ ├── FrontEnd │ │ ├── DefUseModuleBuilder.h │ │ ├── ModRefFunctionSummary.h │ │ ├── ModRefModuleAnalysis.h │ │ ├── ModRefModuleSummary.h │ │ ├── ReachingDefMap.h │ │ └── ReachingDefModuleAnalysis.h │ ├── Lattice │ │ ├── Lattice.h │ │ └── TaintLattice.h │ ├── Precision │ │ ├── CallTracker.h │ │ ├── IndexVector.h │ │ ├── LocalTracker.h │ │ ├── PrecisionLossTracker.h │ │ ├── ReturnTracker.h │ │ ├── TrackerGlobalState.h │ │ ├── TrackerTransferFunction.h │ │ ├── TrackerWorkList.h │ │ └── VectorTransform.h │ ├── Program │ │ ├── DefUseFunction.h │ │ ├── DefUseInstruction.h │ │ └── DefUseModule.h │ └── Support │ │ ├── ProgramPoint.h │ │ ├── ProgramPointSet.h │ │ ├── SinkSignature.h │ │ ├── SinkViolationRecord.h │ │ ├── TaintEnv.h │ │ ├── TaintMap.h │ │ ├── TaintMemo.h │ │ ├── TaintStore.h │ │ └── TaintValue.h ├── Transforms │ ├── ExpandByVal.h │ ├── ExpandConstantExpr.h │ ├── ExpandGetElementPtr.h │ ├── ExpandIndirectBr.h │ ├── ExpandUtils.h │ ├── FoldIntToPtr.h │ ├── GlobalCleanup.h │ ├── LowerGlobalCtor.h │ └── RunPrepass.h └── Util │ ├── AnalysisEngine │ └── DataFlowAnalysis.h │ ├── CommandLine │ ├── CommandLineFlags.h │ ├── CommandLineParser.h │ └── TypedCommandLineParser.h │ ├── DataStructure │ ├── FIFOWorkList.h │ ├── PriorityWorkList.h │ ├── SortedVector.h │ ├── TwoLevelWorkList.h │ ├── VectorMap.h │ └── VectorSet.h │ ├── Hashing.h │ ├── IO │ ├── Context │ │ └── Printer.h │ ├── PointerAnalysis │ │ ├── NodePrinter.h │ │ ├── Printer.h │ │ └── WriteDotFile.h │ ├── ReadFile.h │ ├── ReadIR.h │ ├── TaintAnalysis │ │ ├── Printer.h │ │ └── WriteDotFile.h │ └── WriteIR.h │ ├── Iterator │ ├── DereferenceIterator.h │ ├── InfixOutputIterator.h │ ├── IteratorAdaptor.h │ ├── IteratorFacade.h │ ├── IteratorRange.h │ ├── IteratorTrait.h │ ├── MapValueIterator.h │ └── UniquePtrIterator.h │ ├── Testing │ └── DummyPointerAnalysis.h │ └── pcomb │ ├── Combinator │ ├── AltParser.h │ ├── LazyParser.h │ ├── LexemeParser.h │ ├── ManyParser.h │ ├── ParserAdapter.h │ ├── SeqParser.h │ └── TokenParser.h │ ├── InputStream │ └── InputStream.h │ ├── Parser │ ├── ParseResult.h │ ├── Parser.h │ ├── PredicateCharParser.h │ ├── RegexParser.h │ └── StringParser.h │ └── pcomb.h ├── lib ├── Annotation │ ├── CMakeLists.txt │ ├── ExternalModRefTable.cpp │ ├── ExternalModRefTablePrinter.cpp │ ├── ExternalPointerTable.cpp │ ├── ExternalPointerTablePrinter.cpp │ └── ExternalTaintTable.cpp ├── CMakeLists.txt ├── Dynamic │ ├── Analysis │ │ ├── CMakeLists.txt │ │ ├── DynamicContext.cpp │ │ ├── DynamicMemory.cpp │ │ └── DynamicPointerAnalysis.cpp │ ├── CMakeLists.txt │ ├── Instrument │ │ ├── CMakeLists.txt │ │ ├── DynamicHooks.cpp │ │ ├── FeatureCheck.cpp │ │ ├── IDAssigner.cpp │ │ └── MemoryInstrument.cpp │ ├── Log │ │ ├── CMakeLists.txt │ │ ├── LogPrinter.cpp │ │ └── LogReader.cpp │ └── Runtime │ │ ├── CMakeLists.txt │ │ └── MemoryHooks.c ├── PointerAnalysis │ ├── Analysis │ │ ├── GlobalPointerAnalysis.cpp │ │ └── SemiSparsePointerAnalysis.cpp │ ├── CMakeLists.txt │ ├── Context │ │ ├── AdaptiveContext.cpp │ │ ├── Context.cpp │ │ └── KLimitContext.cpp │ ├── Engine │ │ ├── ExternalCallAnalysis.cpp │ │ ├── Initializer.cpp │ │ ├── SemiSparsePropagator.cpp │ │ ├── StorePruner.cpp │ │ ├── Transfer │ │ │ ├── AllocTransfer.cpp │ │ │ ├── CallTransfer.cpp │ │ │ ├── CopyTransfer.cpp │ │ │ ├── EntryTransfer.cpp │ │ │ ├── LoadTransfer.cpp │ │ │ ├── OffsetTransfer.cpp │ │ │ ├── ReturnTransfer.cpp │ │ │ └── StoreTransfer.cpp │ │ └── TransferFunction.cpp │ ├── FrontEnd │ │ ├── ArrayLayoutAnalysis.cpp │ │ ├── CFGBuilder.cpp │ │ ├── CFGSimplifier.cpp │ │ ├── FunctionTranslator.cpp │ │ ├── InstructionTranslator.cpp │ │ ├── PointerLayoutAnalysis.cpp │ │ ├── PriorityAssigner.cpp │ │ ├── SemiSparseProgramBuilder.cpp │ │ ├── StructCastAnalysis.cpp │ │ ├── TypeAnalysis.cpp │ │ └── TypeCollector.cpp │ ├── MemoryModel │ │ ├── ArrayLayout.cpp │ │ ├── MemoryManager.cpp │ │ ├── PointerLayout.cpp │ │ ├── PointerManager.cpp │ │ └── TypeLayout.cpp │ ├── Output │ │ ├── CFGNodePrinter.cpp │ │ ├── ContextPrinter.cpp │ │ ├── MemoryPrinter.cpp │ │ ├── NodePrinter.cpp │ │ └── WriteDotFile.cpp │ ├── Precision │ │ ├── PrecisionLossTracker.cpp │ │ └── ValueDependenceTracker.cpp │ ├── Program │ │ ├── CFG.cpp │ │ └── SemiSparseProgram.cpp │ ├── StaticFields.cpp │ └── Support │ │ └── PtsSet.cpp ├── TaintAnalysis │ ├── Analysis │ │ ├── TaintAnalysis.cpp │ │ └── TrackingTaintAnalysis.cpp │ ├── CMakeLists.txt │ ├── Engine │ │ ├── ExternalCallAnalysis.cpp │ │ ├── Initializer.cpp │ │ ├── SinkViolationChecker.cpp │ │ ├── TaintPropagator.cpp │ │ └── TransferFunction.cpp │ ├── FrontEnd │ │ ├── DefUseModuleBuilder.cpp │ │ ├── ModRefModuleAnalysis.cpp │ │ └── ReachingDefModuleAnalysis.cpp │ ├── Output │ │ ├── TaintPrinter.cpp │ │ └── WriteDotFile.cpp │ ├── Precision │ │ ├── CallTracker.cpp │ │ ├── PrecisionLossTracker.cpp │ │ ├── ReturnTracker.cpp │ │ └── TrackerTransferFunction.cpp │ └── Program │ │ └── DefUseModule.cpp ├── Transforms │ ├── CMakeLists.txt │ ├── ExpandByVal.cpp │ ├── ExpandConstantExpr.cpp │ ├── ExpandGetElementPtr.cpp │ ├── ExpandIndirectBr.cpp │ ├── ExpandUtils.cpp │ ├── FoldIntToPtr.cpp │ ├── GlobalCleanup.cpp │ ├── LowerGlobalCtor.cpp │ └── RunPrepass.cpp └── Util │ ├── CMakeLists.txt │ ├── CommandLine │ ├── CommandLineParser.cpp │ └── TypedCommandLineParser.cpp │ └── IO │ ├── ReadIR.cpp │ └── WriteIR.cpp ├── tool ├── CMakeLists.txt ├── dot-du-module │ ├── CMakeLists.txt │ ├── CommandLineOptions.cpp │ ├── CommandLineOptions.h │ ├── RunAnalysis.cpp │ ├── RunAnalysis.h │ └── dot-du-module.cpp ├── dot-pointer-cfg │ ├── CMakeLists.txt │ ├── CommandLineOptions.cpp │ ├── CommandLineOptions.h │ ├── RunAnalysis.cpp │ ├── RunAnalysis.h │ └── dot-pointer-cfg.cpp ├── global-pts │ ├── CMakeLists.txt │ ├── CommandLineOptions.cpp │ ├── CommandLineOptions.h │ ├── RunAnalysis.cpp │ ├── RunAnalysis.h │ └── global-pts.cpp ├── pts-dump │ ├── CMakeLists.txt │ ├── CommandLineOptions.cpp │ ├── CommandLineOptions.h │ ├── RunAnalysis.cpp │ ├── RunAnalysis.h │ └── pts-dump.cpp ├── pts-inst │ ├── CMakeLists.txt │ ├── CommandLineOptions.cpp │ ├── CommandLineOptions.h │ └── pts-inst.cpp ├── pts-log-dump │ ├── CMakeLists.txt │ └── pts-log-dump.cpp ├── pts-verify │ ├── CMakeLists.txt │ ├── CommandLineOptions.cpp │ ├── CommandLineOptions.h │ ├── RunAnalysis.cpp │ ├── RunAnalysis.h │ └── pts-verify.cpp ├── scripts │ ├── CMakeLists.txt │ ├── clang-opt.py │ ├── compile-dot.py │ ├── extract-annotation.py │ └── pts-test.py ├── table-check │ ├── CMakeLists.txt │ ├── TableChecker.cpp │ ├── TableChecker.h │ └── table-check.cpp ├── table │ ├── CMakeLists.txt │ ├── CommandLineOptions.cpp │ ├── CommandLineOptions.h │ ├── ExternalModRefTablePrinter.cpp │ ├── ExternalPointerTablePrinter.cpp │ ├── ExternalTaintTablePrinter.cpp │ ├── TablePrinter │ │ ├── ExternalModRefTablePrinter.h │ │ ├── ExternalPointerTablePrinter.h │ │ └── ExternalTaintTablePrinter.h │ └── table.cpp ├── taint-check │ ├── CMakeLists.txt │ ├── CommandLineOptions.cpp │ ├── CommandLineOptions.h │ ├── RunAnalysis.cpp │ ├── RunAnalysis.h │ └── taint-check.cpp └── vkcfa-taint │ ├── CMakeLists.txt │ ├── CommandLineOptions.cpp │ ├── CommandLineOptions.h │ ├── RunAnalysis.cpp │ ├── RunAnalysis.h │ └── vkcfa-taint.cpp ├── unittest ├── CMakeLists.txt ├── ControlFlowUnitTest │ └── ControlFlowTest.cpp ├── GlobalAnalysisUnitTest │ └── GlobalAnalysisTest.cpp ├── InterpreterUnitTest │ ├── InterProcTest.cpp │ └── InterpreterTest.cpp ├── MemoryUnitTest │ ├── ContextTest.cpp │ ├── MemoryTest.cpp │ ├── PointerTest.cpp │ └── PtsSetTest.cpp └── TaintnessUnitTest │ ├── PrecisionTest.cpp │ └── TaintnessTest.cpp └── util └── googletest └── include └── gtest ├── gtest-death-test.h ├── gtest-message.h ├── gtest-param-test.h ├── gtest-printers.h ├── gtest-spi.h ├── gtest-test-part.h ├── gtest-typed-test.h ├── gtest.h ├── gtest_pred_impl.h ├── gtest_prod.h └── internal ├── gtest-death-test-internal.h ├── gtest-filepath.h ├── gtest-internal.h ├── gtest-linked_ptr.h ├── gtest-param-util-generated.h ├── gtest-param-util.h ├── gtest-port.h ├── gtest-string.h ├── gtest-tuple.h └── gtest-type-util.h /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/README.md -------------------------------------------------------------------------------- /config/modref.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/config/modref.config -------------------------------------------------------------------------------- /config/ptr.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/config/ptr.config -------------------------------------------------------------------------------- /config/taint.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/config/taint.config -------------------------------------------------------------------------------- /include/Annotation/ArgPosition.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/ArgPosition.h -------------------------------------------------------------------------------- /include/Annotation/ModRef/ExternalModRefTable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/ModRef/ExternalModRefTable.h -------------------------------------------------------------------------------- /include/Annotation/ModRef/ExternalModRefTablePrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/ModRef/ExternalModRefTablePrinter.h -------------------------------------------------------------------------------- /include/Annotation/ModRef/ModRefEffect.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/ModRef/ModRefEffect.h -------------------------------------------------------------------------------- /include/Annotation/ModRef/ModRefEffectSummary.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/ModRef/ModRefEffectSummary.h -------------------------------------------------------------------------------- /include/Annotation/Pointer/ExternalPointerTable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/Pointer/ExternalPointerTable.h -------------------------------------------------------------------------------- /include/Annotation/Pointer/ExternalPointerTablePrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/Pointer/ExternalPointerTablePrinter.h -------------------------------------------------------------------------------- /include/Annotation/Pointer/PointerEffect.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/Pointer/PointerEffect.h -------------------------------------------------------------------------------- /include/Annotation/Pointer/PointerEffectSummary.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/Pointer/PointerEffectSummary.h -------------------------------------------------------------------------------- /include/Annotation/Taint/ExternalTaintTable.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/Taint/ExternalTaintTable.h -------------------------------------------------------------------------------- /include/Annotation/Taint/TaintDescriptor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/Taint/TaintDescriptor.h -------------------------------------------------------------------------------- /include/Annotation/Taint/TaintEntry.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/Taint/TaintEntry.h -------------------------------------------------------------------------------- /include/Annotation/Taint/TaintSummary.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Annotation/Taint/TaintSummary.h -------------------------------------------------------------------------------- /include/Context/AdaptiveContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Context/AdaptiveContext.h -------------------------------------------------------------------------------- /include/Context/Context.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Context/Context.h -------------------------------------------------------------------------------- /include/Context/KLimitContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Context/KLimitContext.h -------------------------------------------------------------------------------- /include/Context/ProgramPoint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Context/ProgramPoint.h -------------------------------------------------------------------------------- /include/Dynamic/Analysis/DynamicContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Analysis/DynamicContext.h -------------------------------------------------------------------------------- /include/Dynamic/Analysis/DynamicMemory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Analysis/DynamicMemory.h -------------------------------------------------------------------------------- /include/Dynamic/Analysis/DynamicMemoryObject.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Analysis/DynamicMemoryObject.h -------------------------------------------------------------------------------- /include/Dynamic/Analysis/DynamicPointer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Analysis/DynamicPointer.h -------------------------------------------------------------------------------- /include/Dynamic/Analysis/DynamicPointerAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Analysis/DynamicPointerAnalysis.h -------------------------------------------------------------------------------- /include/Dynamic/Instrument/AllocType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Instrument/AllocType.h -------------------------------------------------------------------------------- /include/Dynamic/Instrument/DynamicHooks.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Instrument/DynamicHooks.h -------------------------------------------------------------------------------- /include/Dynamic/Instrument/FeatureCheck.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Instrument/FeatureCheck.h -------------------------------------------------------------------------------- /include/Dynamic/Instrument/IDAssigner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Instrument/IDAssigner.h -------------------------------------------------------------------------------- /include/Dynamic/Instrument/MemoryInstrument.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Instrument/MemoryInstrument.h -------------------------------------------------------------------------------- /include/Dynamic/Log/LogPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Log/LogPrinter.h -------------------------------------------------------------------------------- /include/Dynamic/Log/LogProcessor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Log/LogProcessor.h -------------------------------------------------------------------------------- /include/Dynamic/Log/LogReader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Log/LogReader.h -------------------------------------------------------------------------------- /include/Dynamic/Log/LogRecord.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Log/LogRecord.h -------------------------------------------------------------------------------- /include/Dynamic/Log/LogVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Dynamic/Log/LogVisitor.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Analysis/GlobalPointerAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Analysis/GlobalPointerAnalysis.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Analysis/PointerAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Analysis/PointerAnalysis.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Analysis/SemiSparsePointerAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Analysis/SemiSparsePointerAnalysis.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Engine/EvalResult.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Engine/EvalResult.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Engine/EvalSuccessor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Engine/EvalSuccessor.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Engine/GlobalState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Engine/GlobalState.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Engine/Initializer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Engine/Initializer.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Engine/SemiSparsePropagator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Engine/SemiSparsePropagator.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Engine/StorePruner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Engine/StorePruner.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Engine/TransferFunction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Engine/TransferFunction.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Engine/WorkList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Engine/WorkList.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/CFG/CFGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/CFG/CFGBuilder.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/CFG/CFGSimplifier.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/CFG/CFGSimplifier.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/CFG/FunctionTranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/CFG/FunctionTranslator.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/CFG/InstructionTranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/CFG/InstructionTranslator.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/CFG/PriorityAssigner.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/CFG/PriorityAssigner.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/ConstPointerMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/ConstPointerMap.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/SemiSparseProgramBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/SemiSparseProgramBuilder.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/Type/ArrayLayoutAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/Type/ArrayLayoutAnalysis.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/Type/ArrayLayoutMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/Type/ArrayLayoutMap.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/Type/CastMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/Type/CastMap.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/Type/PointerLayoutAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/Type/PointerLayoutAnalysis.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/Type/PointerLayoutMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/Type/PointerLayoutMap.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/Type/StructCastAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/Type/StructCastAnalysis.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/Type/TypeAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/Type/TypeAnalysis.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/Type/TypeCollector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/Type/TypeCollector.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/Type/TypeMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/Type/TypeMap.h -------------------------------------------------------------------------------- /include/PointerAnalysis/FrontEnd/Type/TypeSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/FrontEnd/Type/TypeSet.h -------------------------------------------------------------------------------- /include/PointerAnalysis/MemoryModel/AllocSite.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/MemoryModel/AllocSite.h -------------------------------------------------------------------------------- /include/PointerAnalysis/MemoryModel/MemoryBlock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/MemoryModel/MemoryBlock.h -------------------------------------------------------------------------------- /include/PointerAnalysis/MemoryModel/MemoryManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/MemoryModel/MemoryManager.h -------------------------------------------------------------------------------- /include/PointerAnalysis/MemoryModel/MemoryObject.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/MemoryModel/MemoryObject.h -------------------------------------------------------------------------------- /include/PointerAnalysis/MemoryModel/Pointer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/MemoryModel/Pointer.h -------------------------------------------------------------------------------- /include/PointerAnalysis/MemoryModel/PointerManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/MemoryModel/PointerManager.h -------------------------------------------------------------------------------- /include/PointerAnalysis/MemoryModel/Type/ArrayLayout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/MemoryModel/Type/ArrayLayout.h -------------------------------------------------------------------------------- /include/PointerAnalysis/MemoryModel/Type/PointerLayout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/MemoryModel/Type/PointerLayout.h -------------------------------------------------------------------------------- /include/PointerAnalysis/MemoryModel/Type/TypeLayout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/MemoryModel/Type/TypeLayout.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Precision/PrecisionLossTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Precision/PrecisionLossTracker.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Precision/TrackerGlobalState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Precision/TrackerGlobalState.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Precision/ValueDependenceTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Precision/ValueDependenceTracker.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Program/CFG/CFG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Program/CFG/CFG.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Program/CFG/CFGNode.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Program/CFG/CFGNode.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Program/CFG/NodeMixin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Program/CFG/NodeMixin.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Program/CFG/NodeVisitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Program/CFG/NodeVisitor.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Program/SemiSparseProgram.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Program/SemiSparseProgram.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Support/CallGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Support/CallGraph.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Support/Env.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Support/Env.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Support/FunctionContext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Support/FunctionContext.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Support/Memo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Support/Memo.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Support/ProgramPoint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Support/ProgramPoint.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Support/ProgramPointSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Support/ProgramPointSet.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Support/PtsMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Support/PtsMap.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Support/PtsSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Support/PtsSet.h -------------------------------------------------------------------------------- /include/PointerAnalysis/Support/Store.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/PointerAnalysis/Support/Store.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Analysis/TaintAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Analysis/TaintAnalysis.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Analysis/TrackingTaintAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Analysis/TrackingTaintAnalysis.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Engine/EvalResult.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Engine/EvalResult.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Engine/EvalSuccessor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Engine/EvalSuccessor.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Engine/Initializer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Engine/Initializer.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Engine/SinkViolationChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Engine/SinkViolationChecker.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Engine/TaintGlobalState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Engine/TaintGlobalState.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Engine/TaintPropagator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Engine/TaintPropagator.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Engine/TransferFunction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Engine/TransferFunction.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Engine/WorkList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Engine/WorkList.h -------------------------------------------------------------------------------- /include/TaintAnalysis/FrontEnd/DefUseModuleBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/FrontEnd/DefUseModuleBuilder.h -------------------------------------------------------------------------------- /include/TaintAnalysis/FrontEnd/ModRefFunctionSummary.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/FrontEnd/ModRefFunctionSummary.h -------------------------------------------------------------------------------- /include/TaintAnalysis/FrontEnd/ModRefModuleAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/FrontEnd/ModRefModuleAnalysis.h -------------------------------------------------------------------------------- /include/TaintAnalysis/FrontEnd/ModRefModuleSummary.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/FrontEnd/ModRefModuleSummary.h -------------------------------------------------------------------------------- /include/TaintAnalysis/FrontEnd/ReachingDefMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/FrontEnd/ReachingDefMap.h -------------------------------------------------------------------------------- /include/TaintAnalysis/FrontEnd/ReachingDefModuleAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/FrontEnd/ReachingDefModuleAnalysis.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Lattice/Lattice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Lattice/Lattice.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Lattice/TaintLattice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Lattice/TaintLattice.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Precision/CallTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Precision/CallTracker.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Precision/IndexVector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Precision/IndexVector.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Precision/LocalTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Precision/LocalTracker.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Precision/PrecisionLossTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Precision/PrecisionLossTracker.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Precision/ReturnTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Precision/ReturnTracker.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Precision/TrackerGlobalState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Precision/TrackerGlobalState.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Precision/TrackerTransferFunction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Precision/TrackerTransferFunction.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Precision/TrackerWorkList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Precision/TrackerWorkList.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Precision/VectorTransform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Precision/VectorTransform.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Program/DefUseFunction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Program/DefUseFunction.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Program/DefUseInstruction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Program/DefUseInstruction.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Program/DefUseModule.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Program/DefUseModule.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Support/ProgramPoint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Support/ProgramPoint.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Support/ProgramPointSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Support/ProgramPointSet.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Support/SinkSignature.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Support/SinkSignature.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Support/SinkViolationRecord.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Support/SinkViolationRecord.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Support/TaintEnv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Support/TaintEnv.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Support/TaintMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Support/TaintMap.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Support/TaintMemo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Support/TaintMemo.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Support/TaintStore.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Support/TaintStore.h -------------------------------------------------------------------------------- /include/TaintAnalysis/Support/TaintValue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/TaintAnalysis/Support/TaintValue.h -------------------------------------------------------------------------------- /include/Transforms/ExpandByVal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Transforms/ExpandByVal.h -------------------------------------------------------------------------------- /include/Transforms/ExpandConstantExpr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Transforms/ExpandConstantExpr.h -------------------------------------------------------------------------------- /include/Transforms/ExpandGetElementPtr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Transforms/ExpandGetElementPtr.h -------------------------------------------------------------------------------- /include/Transforms/ExpandIndirectBr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Transforms/ExpandIndirectBr.h -------------------------------------------------------------------------------- /include/Transforms/ExpandUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Transforms/ExpandUtils.h -------------------------------------------------------------------------------- /include/Transforms/FoldIntToPtr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Transforms/FoldIntToPtr.h -------------------------------------------------------------------------------- /include/Transforms/GlobalCleanup.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Transforms/GlobalCleanup.h -------------------------------------------------------------------------------- /include/Transforms/LowerGlobalCtor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Transforms/LowerGlobalCtor.h -------------------------------------------------------------------------------- /include/Transforms/RunPrepass.h: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | namespace transform 4 | { 5 | 6 | void runPrepassOn(llvm::Module&); 7 | 8 | } 9 | -------------------------------------------------------------------------------- /include/Util/AnalysisEngine/DataFlowAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/AnalysisEngine/DataFlowAnalysis.h -------------------------------------------------------------------------------- /include/Util/CommandLine/CommandLineFlags.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/CommandLine/CommandLineFlags.h -------------------------------------------------------------------------------- /include/Util/CommandLine/CommandLineParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/CommandLine/CommandLineParser.h -------------------------------------------------------------------------------- /include/Util/CommandLine/TypedCommandLineParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/CommandLine/TypedCommandLineParser.h -------------------------------------------------------------------------------- /include/Util/DataStructure/FIFOWorkList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/DataStructure/FIFOWorkList.h -------------------------------------------------------------------------------- /include/Util/DataStructure/PriorityWorkList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/DataStructure/PriorityWorkList.h -------------------------------------------------------------------------------- /include/Util/DataStructure/SortedVector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/DataStructure/SortedVector.h -------------------------------------------------------------------------------- /include/Util/DataStructure/TwoLevelWorkList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/DataStructure/TwoLevelWorkList.h -------------------------------------------------------------------------------- /include/Util/DataStructure/VectorMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/DataStructure/VectorMap.h -------------------------------------------------------------------------------- /include/Util/DataStructure/VectorSet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/DataStructure/VectorSet.h -------------------------------------------------------------------------------- /include/Util/Hashing.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/Hashing.h -------------------------------------------------------------------------------- /include/Util/IO/Context/Printer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/IO/Context/Printer.h -------------------------------------------------------------------------------- /include/Util/IO/PointerAnalysis/NodePrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/IO/PointerAnalysis/NodePrinter.h -------------------------------------------------------------------------------- /include/Util/IO/PointerAnalysis/Printer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/IO/PointerAnalysis/Printer.h -------------------------------------------------------------------------------- /include/Util/IO/PointerAnalysis/WriteDotFile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/IO/PointerAnalysis/WriteDotFile.h -------------------------------------------------------------------------------- /include/Util/IO/ReadFile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/IO/ReadFile.h -------------------------------------------------------------------------------- /include/Util/IO/ReadIR.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/IO/ReadIR.h -------------------------------------------------------------------------------- /include/Util/IO/TaintAnalysis/Printer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/IO/TaintAnalysis/Printer.h -------------------------------------------------------------------------------- /include/Util/IO/TaintAnalysis/WriteDotFile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/IO/TaintAnalysis/WriteDotFile.h -------------------------------------------------------------------------------- /include/Util/IO/WriteIR.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/IO/WriteIR.h -------------------------------------------------------------------------------- /include/Util/Iterator/DereferenceIterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/Iterator/DereferenceIterator.h -------------------------------------------------------------------------------- /include/Util/Iterator/InfixOutputIterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/Iterator/InfixOutputIterator.h -------------------------------------------------------------------------------- /include/Util/Iterator/IteratorAdaptor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/Iterator/IteratorAdaptor.h -------------------------------------------------------------------------------- /include/Util/Iterator/IteratorFacade.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/Iterator/IteratorFacade.h -------------------------------------------------------------------------------- /include/Util/Iterator/IteratorRange.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/Iterator/IteratorRange.h -------------------------------------------------------------------------------- /include/Util/Iterator/IteratorTrait.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/Iterator/IteratorTrait.h -------------------------------------------------------------------------------- /include/Util/Iterator/MapValueIterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/Iterator/MapValueIterator.h -------------------------------------------------------------------------------- /include/Util/Iterator/UniquePtrIterator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/Iterator/UniquePtrIterator.h -------------------------------------------------------------------------------- /include/Util/Testing/DummyPointerAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/Testing/DummyPointerAnalysis.h -------------------------------------------------------------------------------- /include/Util/pcomb/Combinator/AltParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Combinator/AltParser.h -------------------------------------------------------------------------------- /include/Util/pcomb/Combinator/LazyParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Combinator/LazyParser.h -------------------------------------------------------------------------------- /include/Util/pcomb/Combinator/LexemeParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Combinator/LexemeParser.h -------------------------------------------------------------------------------- /include/Util/pcomb/Combinator/ManyParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Combinator/ManyParser.h -------------------------------------------------------------------------------- /include/Util/pcomb/Combinator/ParserAdapter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Combinator/ParserAdapter.h -------------------------------------------------------------------------------- /include/Util/pcomb/Combinator/SeqParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Combinator/SeqParser.h -------------------------------------------------------------------------------- /include/Util/pcomb/Combinator/TokenParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Combinator/TokenParser.h -------------------------------------------------------------------------------- /include/Util/pcomb/InputStream/InputStream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/InputStream/InputStream.h -------------------------------------------------------------------------------- /include/Util/pcomb/Parser/ParseResult.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Parser/ParseResult.h -------------------------------------------------------------------------------- /include/Util/pcomb/Parser/Parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Parser/Parser.h -------------------------------------------------------------------------------- /include/Util/pcomb/Parser/PredicateCharParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Parser/PredicateCharParser.h -------------------------------------------------------------------------------- /include/Util/pcomb/Parser/RegexParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Parser/RegexParser.h -------------------------------------------------------------------------------- /include/Util/pcomb/Parser/StringParser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/Parser/StringParser.h -------------------------------------------------------------------------------- /include/Util/pcomb/pcomb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/include/Util/pcomb/pcomb.h -------------------------------------------------------------------------------- /lib/Annotation/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Annotation/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Annotation/ExternalModRefTable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Annotation/ExternalModRefTable.cpp -------------------------------------------------------------------------------- /lib/Annotation/ExternalModRefTablePrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Annotation/ExternalModRefTablePrinter.cpp -------------------------------------------------------------------------------- /lib/Annotation/ExternalPointerTable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Annotation/ExternalPointerTable.cpp -------------------------------------------------------------------------------- /lib/Annotation/ExternalPointerTablePrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Annotation/ExternalPointerTablePrinter.cpp -------------------------------------------------------------------------------- /lib/Annotation/ExternalTaintTable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Annotation/ExternalTaintTable.cpp -------------------------------------------------------------------------------- /lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Dynamic/Analysis/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Analysis/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Dynamic/Analysis/DynamicContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Analysis/DynamicContext.cpp -------------------------------------------------------------------------------- /lib/Dynamic/Analysis/DynamicMemory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Analysis/DynamicMemory.cpp -------------------------------------------------------------------------------- /lib/Dynamic/Analysis/DynamicPointerAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Analysis/DynamicPointerAnalysis.cpp -------------------------------------------------------------------------------- /lib/Dynamic/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Dynamic/Instrument/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Instrument/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Dynamic/Instrument/DynamicHooks.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Instrument/DynamicHooks.cpp -------------------------------------------------------------------------------- /lib/Dynamic/Instrument/FeatureCheck.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Instrument/FeatureCheck.cpp -------------------------------------------------------------------------------- /lib/Dynamic/Instrument/IDAssigner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Instrument/IDAssigner.cpp -------------------------------------------------------------------------------- /lib/Dynamic/Instrument/MemoryInstrument.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Instrument/MemoryInstrument.cpp -------------------------------------------------------------------------------- /lib/Dynamic/Log/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Log/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Dynamic/Log/LogPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Log/LogPrinter.cpp -------------------------------------------------------------------------------- /lib/Dynamic/Log/LogReader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Log/LogReader.cpp -------------------------------------------------------------------------------- /lib/Dynamic/Runtime/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Runtime/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Dynamic/Runtime/MemoryHooks.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Dynamic/Runtime/MemoryHooks.c -------------------------------------------------------------------------------- /lib/PointerAnalysis/Analysis/GlobalPointerAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Analysis/GlobalPointerAnalysis.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Analysis/SemiSparsePointerAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Analysis/SemiSparsePointerAnalysis.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/CMakeLists.txt -------------------------------------------------------------------------------- /lib/PointerAnalysis/Context/AdaptiveContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Context/AdaptiveContext.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Context/Context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Context/Context.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Context/KLimitContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Context/KLimitContext.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/ExternalCallAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/ExternalCallAnalysis.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/Initializer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/Initializer.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/SemiSparsePropagator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/SemiSparsePropagator.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/StorePruner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/StorePruner.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/Transfer/AllocTransfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/Transfer/AllocTransfer.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/Transfer/CallTransfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/Transfer/CallTransfer.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/Transfer/CopyTransfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/Transfer/CopyTransfer.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/Transfer/EntryTransfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/Transfer/EntryTransfer.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/Transfer/LoadTransfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/Transfer/LoadTransfer.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/Transfer/OffsetTransfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/Transfer/OffsetTransfer.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/Transfer/ReturnTransfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/Transfer/ReturnTransfer.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/Transfer/StoreTransfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/Transfer/StoreTransfer.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Engine/TransferFunction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Engine/TransferFunction.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/FrontEnd/ArrayLayoutAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/FrontEnd/ArrayLayoutAnalysis.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/FrontEnd/CFGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/FrontEnd/CFGBuilder.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/FrontEnd/CFGSimplifier.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/FrontEnd/CFGSimplifier.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/FrontEnd/FunctionTranslator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/FrontEnd/FunctionTranslator.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/FrontEnd/InstructionTranslator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/FrontEnd/InstructionTranslator.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/FrontEnd/PointerLayoutAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/FrontEnd/PointerLayoutAnalysis.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/FrontEnd/PriorityAssigner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/FrontEnd/PriorityAssigner.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/FrontEnd/SemiSparseProgramBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/FrontEnd/SemiSparseProgramBuilder.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/FrontEnd/StructCastAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/FrontEnd/StructCastAnalysis.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/FrontEnd/TypeAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/FrontEnd/TypeAnalysis.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/FrontEnd/TypeCollector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/FrontEnd/TypeCollector.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/MemoryModel/ArrayLayout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/MemoryModel/ArrayLayout.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/MemoryModel/MemoryManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/MemoryModel/MemoryManager.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/MemoryModel/PointerLayout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/MemoryModel/PointerLayout.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/MemoryModel/PointerManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/MemoryModel/PointerManager.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/MemoryModel/TypeLayout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/MemoryModel/TypeLayout.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Output/CFGNodePrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Output/CFGNodePrinter.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Output/ContextPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Output/ContextPrinter.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Output/MemoryPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Output/MemoryPrinter.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Output/NodePrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Output/NodePrinter.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Output/WriteDotFile.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Output/WriteDotFile.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Precision/PrecisionLossTracker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Precision/PrecisionLossTracker.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Precision/ValueDependenceTracker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Precision/ValueDependenceTracker.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Program/CFG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Program/CFG.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Program/SemiSparseProgram.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Program/SemiSparseProgram.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/StaticFields.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/StaticFields.cpp -------------------------------------------------------------------------------- /lib/PointerAnalysis/Support/PtsSet.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/PointerAnalysis/Support/PtsSet.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Analysis/TaintAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Analysis/TaintAnalysis.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Analysis/TrackingTaintAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Analysis/TrackingTaintAnalysis.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/CMakeLists.txt -------------------------------------------------------------------------------- /lib/TaintAnalysis/Engine/ExternalCallAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Engine/ExternalCallAnalysis.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Engine/Initializer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Engine/Initializer.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Engine/SinkViolationChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Engine/SinkViolationChecker.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Engine/TaintPropagator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Engine/TaintPropagator.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Engine/TransferFunction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Engine/TransferFunction.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/FrontEnd/DefUseModuleBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/FrontEnd/DefUseModuleBuilder.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/FrontEnd/ModRefModuleAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/FrontEnd/ModRefModuleAnalysis.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/FrontEnd/ReachingDefModuleAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/FrontEnd/ReachingDefModuleAnalysis.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Output/TaintPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Output/TaintPrinter.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Output/WriteDotFile.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Output/WriteDotFile.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Precision/CallTracker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Precision/CallTracker.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Precision/PrecisionLossTracker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Precision/PrecisionLossTracker.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Precision/ReturnTracker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Precision/ReturnTracker.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Precision/TrackerTransferFunction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Precision/TrackerTransferFunction.cpp -------------------------------------------------------------------------------- /lib/TaintAnalysis/Program/DefUseModule.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/TaintAnalysis/Program/DefUseModule.cpp -------------------------------------------------------------------------------- /lib/Transforms/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Transforms/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Transforms/ExpandByVal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Transforms/ExpandByVal.cpp -------------------------------------------------------------------------------- /lib/Transforms/ExpandConstantExpr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Transforms/ExpandConstantExpr.cpp -------------------------------------------------------------------------------- /lib/Transforms/ExpandGetElementPtr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Transforms/ExpandGetElementPtr.cpp -------------------------------------------------------------------------------- /lib/Transforms/ExpandIndirectBr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Transforms/ExpandIndirectBr.cpp -------------------------------------------------------------------------------- /lib/Transforms/ExpandUtils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Transforms/ExpandUtils.cpp -------------------------------------------------------------------------------- /lib/Transforms/FoldIntToPtr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Transforms/FoldIntToPtr.cpp -------------------------------------------------------------------------------- /lib/Transforms/GlobalCleanup.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Transforms/GlobalCleanup.cpp -------------------------------------------------------------------------------- /lib/Transforms/LowerGlobalCtor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Transforms/LowerGlobalCtor.cpp -------------------------------------------------------------------------------- /lib/Transforms/RunPrepass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Transforms/RunPrepass.cpp -------------------------------------------------------------------------------- /lib/Util/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Util/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Util/CommandLine/CommandLineParser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Util/CommandLine/CommandLineParser.cpp -------------------------------------------------------------------------------- /lib/Util/CommandLine/TypedCommandLineParser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Util/CommandLine/TypedCommandLineParser.cpp -------------------------------------------------------------------------------- /lib/Util/IO/ReadIR.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Util/IO/ReadIR.cpp -------------------------------------------------------------------------------- /lib/Util/IO/WriteIR.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/lib/Util/IO/WriteIR.cpp -------------------------------------------------------------------------------- /tool/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/CMakeLists.txt -------------------------------------------------------------------------------- /tool/dot-du-module/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-du-module/CMakeLists.txt -------------------------------------------------------------------------------- /tool/dot-du-module/CommandLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-du-module/CommandLineOptions.cpp -------------------------------------------------------------------------------- /tool/dot-du-module/CommandLineOptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-du-module/CommandLineOptions.h -------------------------------------------------------------------------------- /tool/dot-du-module/RunAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-du-module/RunAnalysis.cpp -------------------------------------------------------------------------------- /tool/dot-du-module/RunAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-du-module/RunAnalysis.h -------------------------------------------------------------------------------- /tool/dot-du-module/dot-du-module.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-du-module/dot-du-module.cpp -------------------------------------------------------------------------------- /tool/dot-pointer-cfg/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-pointer-cfg/CMakeLists.txt -------------------------------------------------------------------------------- /tool/dot-pointer-cfg/CommandLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-pointer-cfg/CommandLineOptions.cpp -------------------------------------------------------------------------------- /tool/dot-pointer-cfg/CommandLineOptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-pointer-cfg/CommandLineOptions.h -------------------------------------------------------------------------------- /tool/dot-pointer-cfg/RunAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-pointer-cfg/RunAnalysis.cpp -------------------------------------------------------------------------------- /tool/dot-pointer-cfg/RunAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-pointer-cfg/RunAnalysis.h -------------------------------------------------------------------------------- /tool/dot-pointer-cfg/dot-pointer-cfg.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/dot-pointer-cfg/dot-pointer-cfg.cpp -------------------------------------------------------------------------------- /tool/global-pts/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/global-pts/CMakeLists.txt -------------------------------------------------------------------------------- /tool/global-pts/CommandLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/global-pts/CommandLineOptions.cpp -------------------------------------------------------------------------------- /tool/global-pts/CommandLineOptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/global-pts/CommandLineOptions.h -------------------------------------------------------------------------------- /tool/global-pts/RunAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/global-pts/RunAnalysis.cpp -------------------------------------------------------------------------------- /tool/global-pts/RunAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/global-pts/RunAnalysis.h -------------------------------------------------------------------------------- /tool/global-pts/global-pts.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/global-pts/global-pts.cpp -------------------------------------------------------------------------------- /tool/pts-dump/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-dump/CMakeLists.txt -------------------------------------------------------------------------------- /tool/pts-dump/CommandLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-dump/CommandLineOptions.cpp -------------------------------------------------------------------------------- /tool/pts-dump/CommandLineOptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-dump/CommandLineOptions.h -------------------------------------------------------------------------------- /tool/pts-dump/RunAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-dump/RunAnalysis.cpp -------------------------------------------------------------------------------- /tool/pts-dump/RunAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-dump/RunAnalysis.h -------------------------------------------------------------------------------- /tool/pts-dump/pts-dump.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-dump/pts-dump.cpp -------------------------------------------------------------------------------- /tool/pts-inst/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-inst/CMakeLists.txt -------------------------------------------------------------------------------- /tool/pts-inst/CommandLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-inst/CommandLineOptions.cpp -------------------------------------------------------------------------------- /tool/pts-inst/CommandLineOptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-inst/CommandLineOptions.h -------------------------------------------------------------------------------- /tool/pts-inst/pts-inst.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-inst/pts-inst.cpp -------------------------------------------------------------------------------- /tool/pts-log-dump/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-log-dump/CMakeLists.txt -------------------------------------------------------------------------------- /tool/pts-log-dump/pts-log-dump.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-log-dump/pts-log-dump.cpp -------------------------------------------------------------------------------- /tool/pts-verify/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-verify/CMakeLists.txt -------------------------------------------------------------------------------- /tool/pts-verify/CommandLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-verify/CommandLineOptions.cpp -------------------------------------------------------------------------------- /tool/pts-verify/CommandLineOptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-verify/CommandLineOptions.h -------------------------------------------------------------------------------- /tool/pts-verify/RunAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-verify/RunAnalysis.cpp -------------------------------------------------------------------------------- /tool/pts-verify/RunAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-verify/RunAnalysis.h -------------------------------------------------------------------------------- /tool/pts-verify/pts-verify.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/pts-verify/pts-verify.cpp -------------------------------------------------------------------------------- /tool/scripts/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/scripts/CMakeLists.txt -------------------------------------------------------------------------------- /tool/scripts/clang-opt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/scripts/clang-opt.py -------------------------------------------------------------------------------- /tool/scripts/compile-dot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/scripts/compile-dot.py -------------------------------------------------------------------------------- /tool/scripts/extract-annotation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/scripts/extract-annotation.py -------------------------------------------------------------------------------- /tool/scripts/pts-test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/scripts/pts-test.py -------------------------------------------------------------------------------- /tool/table-check/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table-check/CMakeLists.txt -------------------------------------------------------------------------------- /tool/table-check/TableChecker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table-check/TableChecker.cpp -------------------------------------------------------------------------------- /tool/table-check/TableChecker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table-check/TableChecker.h -------------------------------------------------------------------------------- /tool/table-check/table-check.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table-check/table-check.cpp -------------------------------------------------------------------------------- /tool/table/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table/CMakeLists.txt -------------------------------------------------------------------------------- /tool/table/CommandLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table/CommandLineOptions.cpp -------------------------------------------------------------------------------- /tool/table/CommandLineOptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table/CommandLineOptions.h -------------------------------------------------------------------------------- /tool/table/ExternalModRefTablePrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table/ExternalModRefTablePrinter.cpp -------------------------------------------------------------------------------- /tool/table/ExternalPointerTablePrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table/ExternalPointerTablePrinter.cpp -------------------------------------------------------------------------------- /tool/table/ExternalTaintTablePrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table/ExternalTaintTablePrinter.cpp -------------------------------------------------------------------------------- /tool/table/TablePrinter/ExternalModRefTablePrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table/TablePrinter/ExternalModRefTablePrinter.h -------------------------------------------------------------------------------- /tool/table/TablePrinter/ExternalPointerTablePrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table/TablePrinter/ExternalPointerTablePrinter.h -------------------------------------------------------------------------------- /tool/table/TablePrinter/ExternalTaintTablePrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table/TablePrinter/ExternalTaintTablePrinter.h -------------------------------------------------------------------------------- /tool/table/table.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/table/table.cpp -------------------------------------------------------------------------------- /tool/taint-check/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/taint-check/CMakeLists.txt -------------------------------------------------------------------------------- /tool/taint-check/CommandLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/taint-check/CommandLineOptions.cpp -------------------------------------------------------------------------------- /tool/taint-check/CommandLineOptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/taint-check/CommandLineOptions.h -------------------------------------------------------------------------------- /tool/taint-check/RunAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/taint-check/RunAnalysis.cpp -------------------------------------------------------------------------------- /tool/taint-check/RunAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/taint-check/RunAnalysis.h -------------------------------------------------------------------------------- /tool/taint-check/taint-check.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/taint-check/taint-check.cpp -------------------------------------------------------------------------------- /tool/vkcfa-taint/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/vkcfa-taint/CMakeLists.txt -------------------------------------------------------------------------------- /tool/vkcfa-taint/CommandLineOptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/vkcfa-taint/CommandLineOptions.cpp -------------------------------------------------------------------------------- /tool/vkcfa-taint/CommandLineOptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/vkcfa-taint/CommandLineOptions.h -------------------------------------------------------------------------------- /tool/vkcfa-taint/RunAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/vkcfa-taint/RunAnalysis.cpp -------------------------------------------------------------------------------- /tool/vkcfa-taint/RunAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/vkcfa-taint/RunAnalysis.h -------------------------------------------------------------------------------- /tool/vkcfa-taint/vkcfa-taint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/tool/vkcfa-taint/vkcfa-taint.cpp -------------------------------------------------------------------------------- /unittest/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/unittest/CMakeLists.txt -------------------------------------------------------------------------------- /unittest/ControlFlowUnitTest/ControlFlowTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/unittest/ControlFlowUnitTest/ControlFlowTest.cpp -------------------------------------------------------------------------------- /unittest/GlobalAnalysisUnitTest/GlobalAnalysisTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/unittest/GlobalAnalysisUnitTest/GlobalAnalysisTest.cpp -------------------------------------------------------------------------------- /unittest/InterpreterUnitTest/InterProcTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/unittest/InterpreterUnitTest/InterProcTest.cpp -------------------------------------------------------------------------------- /unittest/InterpreterUnitTest/InterpreterTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/unittest/InterpreterUnitTest/InterpreterTest.cpp -------------------------------------------------------------------------------- /unittest/MemoryUnitTest/ContextTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/unittest/MemoryUnitTest/ContextTest.cpp -------------------------------------------------------------------------------- /unittest/MemoryUnitTest/MemoryTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/unittest/MemoryUnitTest/MemoryTest.cpp -------------------------------------------------------------------------------- /unittest/MemoryUnitTest/PointerTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/unittest/MemoryUnitTest/PointerTest.cpp -------------------------------------------------------------------------------- /unittest/MemoryUnitTest/PtsSetTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/unittest/MemoryUnitTest/PtsSetTest.cpp -------------------------------------------------------------------------------- /unittest/TaintnessUnitTest/PrecisionTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/unittest/TaintnessUnitTest/PrecisionTest.cpp -------------------------------------------------------------------------------- /unittest/TaintnessUnitTest/TaintnessTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/unittest/TaintnessUnitTest/TaintnessTest.cpp -------------------------------------------------------------------------------- /util/googletest/include/gtest/gtest-death-test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/gtest-death-test.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/gtest-message.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/gtest-message.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/gtest-param-test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/gtest-param-test.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/gtest-printers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/gtest-printers.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/gtest-spi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/gtest-spi.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/gtest-test-part.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/gtest-test-part.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/gtest-typed-test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/gtest-typed-test.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/gtest.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/gtest.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/gtest_pred_impl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/gtest_pred_impl.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/gtest_prod.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/gtest_prod.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/internal/gtest-death-test-internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/internal/gtest-death-test-internal.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/internal/gtest-filepath.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/internal/gtest-filepath.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/internal/gtest-internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/internal/gtest-internal.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/internal/gtest-linked_ptr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/internal/gtest-linked_ptr.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/internal/gtest-param-util-generated.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/internal/gtest-param-util-generated.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/internal/gtest-param-util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/internal/gtest-param-util.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/internal/gtest-port.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/internal/gtest-port.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/internal/gtest-string.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/internal/gtest-string.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/internal/gtest-tuple.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/internal/gtest-tuple.h -------------------------------------------------------------------------------- /util/googletest/include/gtest/internal/gtest-type-util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/grievejia/tpa/HEAD/util/googletest/include/gtest/internal/gtest-type-util.h --------------------------------------------------------------------------------