├── .gitignore ├── CMakeLists.txt ├── LICENSE.TXT ├── Makefile ├── README.md ├── include ├── Assumptions.h └── scaf │ ├── MemoryAnalysisModules │ ├── AnalysisTimeout.h │ ├── CallsiteDepthCombinator.h │ ├── CallsiteSearch.h │ ├── ClassicLoopAA.h │ ├── FindSource.h │ ├── GetCallers.h │ ├── Introspection.h │ ├── KillFlow.h │ ├── LLVMAAResults.h │ ├── LoopAA.h │ ├── MultiTypePureFun.h │ ├── NoCaptureFcn.h │ ├── NoEscapeFieldsAA.h │ ├── PureFun.h │ ├── PureFunAA.h │ ├── QueryCacheing.h │ ├── SVFResults.h │ ├── SemiLocalFunAA.h │ ├── SimpleAA.h │ ├── TraceData.h │ ├── TypeSanity.h │ └── ValueReplacementAA.h │ ├── SpeculationModules │ ├── CallsiteDepthCombinator_CtrlSpecAware.h │ ├── CallsiteSearch_CtrlSpecAware.h │ ├── Classify.h │ ├── CommutativeLibsAA.h │ ├── ControlSpecRemed.h │ ├── ControlSpeculator.h │ ├── CountedIVRemed.h │ ├── EdgeCountOracleAA.h │ ├── FoldManager.h │ ├── GlobalConfig.h │ ├── KillFlow_CtrlSpecAware.h │ ├── LAMP │ │ ├── LAMPFlags.h │ │ ├── LAMPLoadProfile.h │ │ └── LampOracleAA.h │ ├── LocalityAA.h │ ├── LoopProf │ │ ├── LoopProfLoad.h │ │ ├── TargetLoopHierarchy.h │ │ └── Targets.h │ ├── MemSpecAARemed.h │ ├── MemVerRemed.h │ ├── PDGBuilder.hpp │ ├── PerformanceEstimator.h │ ├── PipelineStrategy.h │ ├── PointsToAA.h │ ├── PointsToProfiler │ │ ├── Indeterminate.h │ │ ├── Parse.h │ │ ├── Pieces.h │ │ └── Remat.h │ ├── PredictionSpeculation.h │ ├── PredictionSpeculator.h │ ├── PrivAA.h │ ├── ProfilePerformanceEstimator.h │ ├── PtrResidueAA.h │ ├── PtrResidueManager.h │ ├── Read.h │ ├── ReadOnlyAA.h │ ├── Reduction.h │ ├── ReductionDetection.h │ ├── Redux │ │ └── Reduction.h │ ├── ReduxRemed.h │ ├── Remediator.h │ ├── SLAMPLoad.h │ ├── ShortLivedAA.h │ ├── SlampOracleAA.h │ ├── SmtxAA.h │ ├── SmtxManager.h │ ├── TXIOAA.h │ ├── UpdateOnClone.h │ └── UpdateOnCloneAdaptors.h │ └── Utilities │ ├── CallSiteFactory.h │ ├── CaptureUtil.h │ ├── ComputeGEPOffset.h │ ├── ControlSpecIterators.h │ ├── ControlSpeculation.h │ ├── Count.h │ ├── FindAllTransUses.h │ ├── FindUnderlyingObjects.h │ ├── GepRange.h │ ├── GetMemOper.h │ ├── GetOrInsertCIV.h │ ├── GetSize.h │ ├── GimmeLoops.h │ ├── GlobalCtors.h │ ├── GlobalMalloc.h │ ├── IV.h │ ├── InsertPrintf.h │ ├── InstInsertPt.h │ ├── IsVolatile.h │ ├── LiveValues.h │ ├── LoopDominators.h │ ├── MakePtr.h │ ├── Metadata.h │ ├── ModuleLoops.h │ ├── PDGQueries.h │ ├── PrintDebugInfo.h │ ├── ReachabilityUtil.h │ ├── ReportDump.h │ ├── SplitEdge.h │ ├── StableHash.h │ ├── StaticID.h │ └── Timer.h ├── lib ├── CMakeLists.txt ├── MemoryAnalysisModules │ ├── AcyclicAA.cpp │ ├── AcyclicAA.h │ ├── AnalysisTimeout.cpp │ ├── ArrayOfStructures.cpp │ ├── AutoRestrictAA.cpp │ ├── BasicLoopAA.cpp │ ├── CMakeLists.txt │ ├── CallsiteBreadthCombinator.cpp │ ├── CallsiteDepthCombinator.cpp │ ├── CallsiteSearch.cpp │ ├── ClassicLoopAA.cpp │ ├── DisjointFieldAA.cpp │ ├── FieldMallocAA.cpp │ ├── FindSource.cpp │ ├── FormatStrings.h │ ├── GetCallers.cpp │ ├── GlobalMallocAA.cpp │ ├── IntrinsicAA.cpp │ ├── Introspection.cpp │ ├── KillFlow.cpp │ ├── LLVMAAResults.cpp │ ├── LocalFun.h │ ├── LoopAA.cpp │ ├── LoopVariantAllocation.cpp │ ├── LoopVariantAllocation.h │ ├── NoCaptureFcn.cpp │ ├── NoCaptureGlobalAA.cpp │ ├── NoCaptureSrcAA.cpp │ ├── NoEscapeFieldsAA.cpp │ ├── NoMemFun.h │ ├── PHIMazeAA.cpp │ ├── PureFunAA.cpp │ ├── README.md │ ├── ReadOnlyFormal.h │ ├── RefineCFG.cpp │ ├── RefineCFG.h │ ├── SCEVAA.cpp │ ├── SVFResults.cpp │ ├── SemiLocalFun.h │ ├── SemiLocalFunAA.cpp │ ├── SimpleAA.cpp │ ├── StdInOutErr.cpp │ ├── StdInOutErr.h │ ├── SubloopCombinator.cpp │ ├── TraceData.cpp │ ├── TypeAA.cpp │ ├── UniquePaths.cpp │ └── WriteOnlyFormal.h ├── SpeculationModules │ ├── CMakeLists.txt │ ├── CallsiteDepthCombinator_CtrlSpecAware.cpp │ ├── CallsiteSearch_CtrlSpecAware.cpp │ ├── Classify.cpp │ ├── CommutativeLibsAA.cpp │ ├── ControlSpecRemed.cpp │ ├── ControlSpeculator.cpp │ ├── CountedIVRemed.cpp │ ├── EdgeCountOracleAA.cpp │ ├── FoldManager.cpp │ ├── KillFlow_CtrlSpecAware.cpp │ ├── LAMPLoad │ │ ├── CMakeLists.txt │ │ └── LAMPLoadProfile.cpp │ ├── LampOracleAA.cpp │ ├── LocalityAA.cpp │ ├── LoopProf │ │ ├── CMakeLists.txt │ │ ├── LoopProfLoad.cpp │ │ ├── TargetLoopHierarchy.cpp │ │ └── Targets.cpp │ ├── MemSpecAARemed.cpp │ ├── MemVerRemed.cpp │ ├── PDGBuilder.cpp │ ├── PointsToAA.cpp │ ├── PointsToProfiler │ │ ├── CMakeLists.txt │ │ ├── LLVMMultiTypeFunctions.h │ │ ├── Parse.cpp │ │ ├── Pieces.cpp │ │ ├── Remat.cpp │ │ └── profile-api.txt │ ├── PredictionSpeculation.cpp │ ├── PredictionSpeculator.cpp │ ├── PrivAA.cpp │ ├── ProfilePerformanceEstimator.cpp │ ├── PtrResidueAA.cpp │ ├── PtrResidueManager.cpp │ ├── README.md │ ├── Read.cpp │ ├── ReadOnlyAA.cpp │ ├── Reduction.cpp │ ├── ReduxRemed.cpp │ ├── Remediator.cpp │ ├── SLAMPLoad.cpp │ ├── ShortLivedAA.cpp │ ├── SlampOracleAA.cpp │ ├── SmtxAA.cpp │ ├── SmtxManager.cpp │ └── TXIOAA.cpp └── Utilities │ ├── AAvsOracle.cpp │ ├── AAvsOracle.h │ ├── CMakeLists.txt │ ├── CallSiteFactory.cpp │ ├── CaptureUtil.cpp │ ├── ComputeGEPOffset.cpp │ ├── ControlSpecIterators.cpp │ ├── ControlSpeculation.cpp │ ├── FindAllTransUses.cpp │ ├── FindUnderlyingObjects.cpp │ ├── GepRange.cpp │ ├── GetMemOper.cpp │ ├── GetOrInsertCIV.cpp │ ├── GetSize.cpp │ ├── GimmeLoops.cpp │ ├── GlobalCtors.cpp │ ├── GlobalMalloc.cpp │ ├── IV.cpp │ ├── InsertPrintf.cpp │ ├── InstInsertPt.cpp │ ├── IsVolatile.cpp │ ├── LiveValues.cpp │ ├── LoopDominators.cpp │ ├── ModuleLoops.cpp │ ├── Namer.cpp │ ├── NonCaptureFunctions.h │ ├── PDGQueries.cpp │ ├── PrintDebugInfo.cpp │ ├── ReachabilityUtil.cpp │ ├── SplitEdge.cpp │ └── StaticID.cpp └── scripts └── genPDG.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/LICENSE.TXT -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/README.md -------------------------------------------------------------------------------- /include/Assumptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/Assumptions.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/AnalysisTimeout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/AnalysisTimeout.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/CallsiteDepthCombinator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/CallsiteDepthCombinator.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/CallsiteSearch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/CallsiteSearch.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/ClassicLoopAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/ClassicLoopAA.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/FindSource.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/FindSource.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/GetCallers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/GetCallers.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/Introspection.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/Introspection.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/KillFlow.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/KillFlow.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/LLVMAAResults.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/LLVMAAResults.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/LoopAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/LoopAA.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/MultiTypePureFun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/MultiTypePureFun.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/NoCaptureFcn.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/NoCaptureFcn.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/NoEscapeFieldsAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/NoEscapeFieldsAA.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/PureFun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/PureFun.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/PureFunAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/PureFunAA.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/QueryCacheing.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/QueryCacheing.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/SVFResults.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/SVFResults.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/SemiLocalFunAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/SemiLocalFunAA.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/SimpleAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/SimpleAA.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/TraceData.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/TraceData.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/TypeSanity.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/TypeSanity.h -------------------------------------------------------------------------------- /include/scaf/MemoryAnalysisModules/ValueReplacementAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/MemoryAnalysisModules/ValueReplacementAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/CallsiteDepthCombinator_CtrlSpecAware.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/CallsiteDepthCombinator_CtrlSpecAware.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/CallsiteSearch_CtrlSpecAware.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/CallsiteSearch_CtrlSpecAware.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/Classify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/Classify.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/CommutativeLibsAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/CommutativeLibsAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/ControlSpecRemed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/ControlSpecRemed.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/ControlSpeculator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/ControlSpeculator.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/CountedIVRemed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/CountedIVRemed.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/EdgeCountOracleAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/EdgeCountOracleAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/FoldManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/FoldManager.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/GlobalConfig.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/GlobalConfig.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/KillFlow_CtrlSpecAware.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/KillFlow_CtrlSpecAware.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/LAMP/LAMPFlags.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/LAMP/LAMPFlags.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/LAMP/LAMPLoadProfile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/LAMP/LAMPLoadProfile.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/LAMP/LampOracleAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/LAMP/LampOracleAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/LocalityAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/LocalityAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/LoopProf/LoopProfLoad.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/LoopProf/LoopProfLoad.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/LoopProf/TargetLoopHierarchy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/LoopProf/TargetLoopHierarchy.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/LoopProf/Targets.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/LoopProf/Targets.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/MemSpecAARemed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/MemSpecAARemed.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/MemVerRemed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/MemVerRemed.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PDGBuilder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PDGBuilder.hpp -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PerformanceEstimator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PerformanceEstimator.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PipelineStrategy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PipelineStrategy.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PointsToAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PointsToAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PointsToProfiler/Indeterminate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PointsToProfiler/Indeterminate.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PointsToProfiler/Parse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PointsToProfiler/Parse.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PointsToProfiler/Pieces.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PointsToProfiler/Pieces.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PointsToProfiler/Remat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PointsToProfiler/Remat.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PredictionSpeculation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PredictionSpeculation.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PredictionSpeculator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PredictionSpeculator.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PrivAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PrivAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/ProfilePerformanceEstimator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/ProfilePerformanceEstimator.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PtrResidueAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PtrResidueAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/PtrResidueManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/PtrResidueManager.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/Read.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/Read.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/ReadOnlyAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/ReadOnlyAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/Reduction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/Reduction.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/ReductionDetection.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/ReductionDetection.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/Redux/Reduction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/Redux/Reduction.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/ReduxRemed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/ReduxRemed.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/Remediator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/Remediator.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/SLAMPLoad.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/SLAMPLoad.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/ShortLivedAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/ShortLivedAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/SlampOracleAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/SlampOracleAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/SmtxAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/SmtxAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/SmtxManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/SmtxManager.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/TXIOAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/TXIOAA.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/UpdateOnClone.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/UpdateOnClone.h -------------------------------------------------------------------------------- /include/scaf/SpeculationModules/UpdateOnCloneAdaptors.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/SpeculationModules/UpdateOnCloneAdaptors.h -------------------------------------------------------------------------------- /include/scaf/Utilities/CallSiteFactory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/CallSiteFactory.h -------------------------------------------------------------------------------- /include/scaf/Utilities/CaptureUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/CaptureUtil.h -------------------------------------------------------------------------------- /include/scaf/Utilities/ComputeGEPOffset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/ComputeGEPOffset.h -------------------------------------------------------------------------------- /include/scaf/Utilities/ControlSpecIterators.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/ControlSpecIterators.h -------------------------------------------------------------------------------- /include/scaf/Utilities/ControlSpeculation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/ControlSpeculation.h -------------------------------------------------------------------------------- /include/scaf/Utilities/Count.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/Count.h -------------------------------------------------------------------------------- /include/scaf/Utilities/FindAllTransUses.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/FindAllTransUses.h -------------------------------------------------------------------------------- /include/scaf/Utilities/FindUnderlyingObjects.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/FindUnderlyingObjects.h -------------------------------------------------------------------------------- /include/scaf/Utilities/GepRange.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/GepRange.h -------------------------------------------------------------------------------- /include/scaf/Utilities/GetMemOper.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/GetMemOper.h -------------------------------------------------------------------------------- /include/scaf/Utilities/GetOrInsertCIV.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/GetOrInsertCIV.h -------------------------------------------------------------------------------- /include/scaf/Utilities/GetSize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/GetSize.h -------------------------------------------------------------------------------- /include/scaf/Utilities/GimmeLoops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/GimmeLoops.h -------------------------------------------------------------------------------- /include/scaf/Utilities/GlobalCtors.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/GlobalCtors.h -------------------------------------------------------------------------------- /include/scaf/Utilities/GlobalMalloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/GlobalMalloc.h -------------------------------------------------------------------------------- /include/scaf/Utilities/IV.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/IV.h -------------------------------------------------------------------------------- /include/scaf/Utilities/InsertPrintf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/InsertPrintf.h -------------------------------------------------------------------------------- /include/scaf/Utilities/InstInsertPt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/InstInsertPt.h -------------------------------------------------------------------------------- /include/scaf/Utilities/IsVolatile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/IsVolatile.h -------------------------------------------------------------------------------- /include/scaf/Utilities/LiveValues.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/LiveValues.h -------------------------------------------------------------------------------- /include/scaf/Utilities/LoopDominators.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/LoopDominators.h -------------------------------------------------------------------------------- /include/scaf/Utilities/MakePtr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/MakePtr.h -------------------------------------------------------------------------------- /include/scaf/Utilities/Metadata.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/Metadata.h -------------------------------------------------------------------------------- /include/scaf/Utilities/ModuleLoops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/ModuleLoops.h -------------------------------------------------------------------------------- /include/scaf/Utilities/PDGQueries.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/PDGQueries.h -------------------------------------------------------------------------------- /include/scaf/Utilities/PrintDebugInfo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/PrintDebugInfo.h -------------------------------------------------------------------------------- /include/scaf/Utilities/ReachabilityUtil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/ReachabilityUtil.h -------------------------------------------------------------------------------- /include/scaf/Utilities/ReportDump.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/ReportDump.h -------------------------------------------------------------------------------- /include/scaf/Utilities/SplitEdge.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/SplitEdge.h -------------------------------------------------------------------------------- /include/scaf/Utilities/StableHash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/StableHash.h -------------------------------------------------------------------------------- /include/scaf/Utilities/StaticID.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/StaticID.h -------------------------------------------------------------------------------- /include/scaf/Utilities/Timer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/include/scaf/Utilities/Timer.h -------------------------------------------------------------------------------- /lib/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/CMakeLists.txt -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/AcyclicAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/AcyclicAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/AcyclicAA.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/AcyclicAA.h -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/AnalysisTimeout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/AnalysisTimeout.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/ArrayOfStructures.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/ArrayOfStructures.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/AutoRestrictAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/AutoRestrictAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/BasicLoopAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/BasicLoopAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/CMakeLists.txt -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/CallsiteBreadthCombinator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/CallsiteBreadthCombinator.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/CallsiteDepthCombinator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/CallsiteDepthCombinator.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/CallsiteSearch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/CallsiteSearch.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/ClassicLoopAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/ClassicLoopAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/DisjointFieldAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/DisjointFieldAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/FieldMallocAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/FieldMallocAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/FindSource.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/FindSource.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/FormatStrings.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/FormatStrings.h -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/GetCallers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/GetCallers.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/GlobalMallocAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/GlobalMallocAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/IntrinsicAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/IntrinsicAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/Introspection.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/Introspection.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/KillFlow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/KillFlow.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/LLVMAAResults.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/LLVMAAResults.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/LocalFun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/LocalFun.h -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/LoopAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/LoopAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/LoopVariantAllocation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/LoopVariantAllocation.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/LoopVariantAllocation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/LoopVariantAllocation.h -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/NoCaptureFcn.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/NoCaptureFcn.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/NoCaptureGlobalAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/NoCaptureGlobalAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/NoCaptureSrcAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/NoCaptureSrcAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/NoEscapeFieldsAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/NoEscapeFieldsAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/NoMemFun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/NoMemFun.h -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/PHIMazeAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/PHIMazeAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/PureFunAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/PureFunAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/README.md -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/ReadOnlyFormal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/ReadOnlyFormal.h -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/RefineCFG.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/RefineCFG.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/RefineCFG.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/RefineCFG.h -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/SCEVAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/SCEVAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/SVFResults.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/SVFResults.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/SemiLocalFun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/SemiLocalFun.h -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/SemiLocalFunAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/SemiLocalFunAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/SimpleAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/SimpleAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/StdInOutErr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/StdInOutErr.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/StdInOutErr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/StdInOutErr.h -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/SubloopCombinator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/SubloopCombinator.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/TraceData.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/TraceData.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/TypeAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/TypeAA.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/UniquePaths.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/UniquePaths.cpp -------------------------------------------------------------------------------- /lib/MemoryAnalysisModules/WriteOnlyFormal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/MemoryAnalysisModules/WriteOnlyFormal.h -------------------------------------------------------------------------------- /lib/SpeculationModules/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/CMakeLists.txt -------------------------------------------------------------------------------- /lib/SpeculationModules/CallsiteDepthCombinator_CtrlSpecAware.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/CallsiteDepthCombinator_CtrlSpecAware.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/CallsiteSearch_CtrlSpecAware.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/CallsiteSearch_CtrlSpecAware.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/Classify.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/Classify.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/CommutativeLibsAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/CommutativeLibsAA.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/ControlSpecRemed.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/ControlSpecRemed.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/ControlSpeculator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/ControlSpeculator.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/CountedIVRemed.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/CountedIVRemed.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/EdgeCountOracleAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/EdgeCountOracleAA.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/FoldManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/FoldManager.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/KillFlow_CtrlSpecAware.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/KillFlow_CtrlSpecAware.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/LAMPLoad/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/LAMPLoad/CMakeLists.txt -------------------------------------------------------------------------------- /lib/SpeculationModules/LAMPLoad/LAMPLoadProfile.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/LAMPLoad/LAMPLoadProfile.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/LampOracleAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/LampOracleAA.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/LocalityAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/LocalityAA.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/LoopProf/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/LoopProf/CMakeLists.txt -------------------------------------------------------------------------------- /lib/SpeculationModules/LoopProf/LoopProfLoad.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/LoopProf/LoopProfLoad.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/LoopProf/TargetLoopHierarchy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/LoopProf/TargetLoopHierarchy.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/LoopProf/Targets.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/LoopProf/Targets.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/MemSpecAARemed.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/MemSpecAARemed.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/MemVerRemed.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/MemVerRemed.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/PDGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PDGBuilder.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/PointsToAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PointsToAA.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/PointsToProfiler/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PointsToProfiler/CMakeLists.txt -------------------------------------------------------------------------------- /lib/SpeculationModules/PointsToProfiler/LLVMMultiTypeFunctions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PointsToProfiler/LLVMMultiTypeFunctions.h -------------------------------------------------------------------------------- /lib/SpeculationModules/PointsToProfiler/Parse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PointsToProfiler/Parse.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/PointsToProfiler/Pieces.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PointsToProfiler/Pieces.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/PointsToProfiler/Remat.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PointsToProfiler/Remat.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/PointsToProfiler/profile-api.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PointsToProfiler/profile-api.txt -------------------------------------------------------------------------------- /lib/SpeculationModules/PredictionSpeculation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PredictionSpeculation.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/PredictionSpeculator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PredictionSpeculator.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/PrivAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PrivAA.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/ProfilePerformanceEstimator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/ProfilePerformanceEstimator.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/PtrResidueAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PtrResidueAA.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/PtrResidueManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/PtrResidueManager.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/README.md -------------------------------------------------------------------------------- /lib/SpeculationModules/Read.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/Read.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/ReadOnlyAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/ReadOnlyAA.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/Reduction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/Reduction.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/ReduxRemed.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/ReduxRemed.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/Remediator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/Remediator.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/SLAMPLoad.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/SLAMPLoad.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/ShortLivedAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/ShortLivedAA.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/SlampOracleAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/SlampOracleAA.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/SmtxAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/SmtxAA.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/SmtxManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/SmtxManager.cpp -------------------------------------------------------------------------------- /lib/SpeculationModules/TXIOAA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/SpeculationModules/TXIOAA.cpp -------------------------------------------------------------------------------- /lib/Utilities/AAvsOracle.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/AAvsOracle.cpp -------------------------------------------------------------------------------- /lib/Utilities/AAvsOracle.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/AAvsOracle.h -------------------------------------------------------------------------------- /lib/Utilities/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/CMakeLists.txt -------------------------------------------------------------------------------- /lib/Utilities/CallSiteFactory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/CallSiteFactory.cpp -------------------------------------------------------------------------------- /lib/Utilities/CaptureUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/CaptureUtil.cpp -------------------------------------------------------------------------------- /lib/Utilities/ComputeGEPOffset.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/ComputeGEPOffset.cpp -------------------------------------------------------------------------------- /lib/Utilities/ControlSpecIterators.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/ControlSpecIterators.cpp -------------------------------------------------------------------------------- /lib/Utilities/ControlSpeculation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/ControlSpeculation.cpp -------------------------------------------------------------------------------- /lib/Utilities/FindAllTransUses.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/FindAllTransUses.cpp -------------------------------------------------------------------------------- /lib/Utilities/FindUnderlyingObjects.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/FindUnderlyingObjects.cpp -------------------------------------------------------------------------------- /lib/Utilities/GepRange.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/GepRange.cpp -------------------------------------------------------------------------------- /lib/Utilities/GetMemOper.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/GetMemOper.cpp -------------------------------------------------------------------------------- /lib/Utilities/GetOrInsertCIV.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/GetOrInsertCIV.cpp -------------------------------------------------------------------------------- /lib/Utilities/GetSize.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/GetSize.cpp -------------------------------------------------------------------------------- /lib/Utilities/GimmeLoops.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/GimmeLoops.cpp -------------------------------------------------------------------------------- /lib/Utilities/GlobalCtors.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/GlobalCtors.cpp -------------------------------------------------------------------------------- /lib/Utilities/GlobalMalloc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/GlobalMalloc.cpp -------------------------------------------------------------------------------- /lib/Utilities/IV.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/IV.cpp -------------------------------------------------------------------------------- /lib/Utilities/InsertPrintf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/InsertPrintf.cpp -------------------------------------------------------------------------------- /lib/Utilities/InstInsertPt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/InstInsertPt.cpp -------------------------------------------------------------------------------- /lib/Utilities/IsVolatile.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/IsVolatile.cpp -------------------------------------------------------------------------------- /lib/Utilities/LiveValues.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/LiveValues.cpp -------------------------------------------------------------------------------- /lib/Utilities/LoopDominators.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/LoopDominators.cpp -------------------------------------------------------------------------------- /lib/Utilities/ModuleLoops.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/ModuleLoops.cpp -------------------------------------------------------------------------------- /lib/Utilities/Namer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/Namer.cpp -------------------------------------------------------------------------------- /lib/Utilities/NonCaptureFunctions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/NonCaptureFunctions.h -------------------------------------------------------------------------------- /lib/Utilities/PDGQueries.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/PDGQueries.cpp -------------------------------------------------------------------------------- /lib/Utilities/PrintDebugInfo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/PrintDebugInfo.cpp -------------------------------------------------------------------------------- /lib/Utilities/ReachabilityUtil.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/ReachabilityUtil.cpp -------------------------------------------------------------------------------- /lib/Utilities/SplitEdge.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/SplitEdge.cpp -------------------------------------------------------------------------------- /lib/Utilities/StaticID.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/lib/Utilities/StaticID.cpp -------------------------------------------------------------------------------- /scripts/genPDG.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PrincetonUniversity/SCAF/HEAD/scripts/genPDG.sh --------------------------------------------------------------------------------