实例介绍
【实例截图】
【核心代码】
└─indus.staticanalyses
│ antbuild.properties
│ build.xml
│ LICENSE.TXT
│ prelocalbuild.xml
│
├─auxiliary
│ callgraph.xsl
│
├─docs
│ │ RELEASE_NOTES.txt
│ │
│ └─ug
│ │ build.properties
│ │
│ └─src
│ │ main.xml
│ │
│ └─images
├─src
│ │ overview.html
│ │
│ └─edu
│ └─ksu
│ └─cis
│ └─indus
│ ├─staticanalyses
│ │ │ Constants.java
│ │ │ InitializationException.java
│ │ │ package.html
│ │ │
│ │ ├─callgraphs
│ │ │ CallGraphInfo.java
│ │ │ CallInfo.java
│ │ │ CHABasedCallInfoCollector.java
│ │ │ ICallInfoCollector.java
│ │ │ OFABasedCallInfoCollector.java
│ │ │ package.html
│ │ │ RTABasedCallInfoCollector.java
│ │ │
│ │ ├─cfg
│ │ │ CFGAnalysis.java
│ │ │ ExceptionRaisingAnalysis.java
│ │ │ LocalUseDefAnalysis.java
│ │ │ LocalUseDefAnalysisv2.java
│ │ │ package.html
│ │ │ StaticFieldUseDefInfo.java
│ │ │
│ │ ├─impl
│ │ │ ClassHierarchy.java
│ │ │ DataAliasBasedCallingContextRetriever.java
│ │ │ package.html
│ │ │
│ │ ├─interfaces
│ │ │ AbstractAnalysis.java
│ │ │ IAnalysis.java
│ │ │ IAnalyzer.java
│ │ │ IValueAnalyzer.java
│ │ │ IValueAnalyzerBasedProcessor.java
│ │ │ package.html
│ │ │
│ │ ├─processing
│ │ │ AbstractValueAnalyzerBasedProcessor.java
│ │ │ AnalysesController.java
│ │ │ CGBasedProcessingFilter.java
│ │ │ package.html
│ │ │ ValueAnalyzerBasedProcessingController.java
│ │ │
│ │ └─tokens
│ │ │ AbstractTokenManager.java
│ │ │ BitSetTokenManager.java
│ │ │ CollectionTokenManager.java
│ │ │ IDynamicTokenTypeRelationDetector.java
│ │ │ IntegerTokenManager.java
│ │ │ ITokenFilter.java
│ │ │ ITokenManager.java
│ │ │ ITokens.java
│ │ │ IType.java
│ │ │ ITypeManager.java
│ │ │ package.html
│ │ │ TokenUtil.java
│ │ │
│ │ └─soot
│ │ package.html
│ │ SootDynamicTokenTypeRelationDetector.java
│ │ SootValueTypeManager.java
│ │
│ └─toolkits
│ └─bandera
│ DependenceAndMayFollowInfoCalculator.java
│ DependenceAndMayFollowInfoCalculatorV2.java
│ RelativeDependenceInfoTool.java
│
├─src-concurrency
│ └─edu
│ └─ksu
│ └─cis
│ └─indus
│ ├─staticanalyses
│ │ └─concurrency
│ │ │ DeadlockAnalysis.java
│ │ │ MonitorAnalysis.java
│ │ │ package.html
│ │ │ SafeLockAnalysis.java
│ │ │
│ │ ├─escape
│ │ │ AliasSet.java
│ │ │ DataAliasBasedCallingContextRetrieverV2.java
│ │ │ DataAliasBasedCallingContextRetrieverV3.java
│ │ │ EquivalenceClassBasedEscapeAnalysis.java
│ │ │ EscapeInfo.java
│ │ │ LockAcquisitionBasedEquivalence.java
│ │ │ MethodContext.java
│ │ │ package.html
│ │ │ ReadWriteInfo.java
│ │ │ SharedWriteBasedEquivalence.java
│ │ │ StmtProcessor.java
│ │ │ ThreadEscapeInfoBasedCallingContextRetriever.java
│ │ │ ThreadEscapeInfoBasedCallingContextRetrieverV2.java
│ │ │ ThreadEscapeInfoBasedCallingContextRetrieverV3.java
│ │ │ ValueProcessor.java
│ │ │
│ │ └─independence
│ │ IndependentRegionDetector.java
│ │ IndependentStmtDetector.java
│ │ IndependentStmtDetectorv2.java
│ │ package.html
│ │
│ └─toolkits
│ └─bandera
│ ConcurrentIndependenceTool.java
│
├─src-dependence
│ └─edu
│ └─ksu
│ └─cis
│ └─indus
│ └─staticanalyses
│ └─dependency
│ │ AbstractControlDA.java
│ │ AbstractDependenceRetriever.java
│ │ AbstractDependencyAnalysis.java
│ │ DivergenceDA.java
│ │ ExitControlDA.java
│ │ IdentifierBasedDataDA.java
│ │ IdentifierBasedDataDAv2.java
│ │ IdentifierBasedDataDAv3.java
│ │ IDependenceRetriever.java
│ │ IDependencyAnalysis.java
│ │ IndirectDependenceAnalysis.java
│ │ InterferenceDAv1.java
│ │ InterferenceDAv2.java
│ │ InterferenceDAv3.java
│ │ InterProceduralDivergenceDA.java
│ │ LocalStmtPairRetriever.java
│ │ NonTerminationInsensitiveEntryControlDA.java
│ │ NonTerminationSensitiveEntryControlDA.java
│ │ package.html
│ │ PairRetriever.java
│ │ ReadyDAv1.java
│ │ ReadyDAv2.java
│ │ ReadyDAv3.java
│ │ ReferenceBasedDataDA.java
│ │ StmtRetriever.java
│ │ SynchronizationDA.java
│ │ SystemDependenceGraphBuilder.java
│ │
│ └─direction
│ BackwardDirectionSensitiveInfo.java
│ ForwardDirectionSensitiveInfo.java
│ IDirectionSensitiveInfo.java
│ package.html
│
├─src-flow
│ └─edu
│ └─ksu
│ └─cis
│ └─indus
│ ├─staticanalyses
│ │ └─flow
│ │ │ AbstractAnalyzer.java
│ │ │ AbstractExprSwitch.java
│ │ │ AbstractFGNode.java
│ │ │ AbstractIndexManager.java
│ │ │ AbstractMethodVariant.java
│ │ │ AbstractStmtSwitch.java
│ │ │ AbstractTokenProcessingWork.java
│ │ │ AbstractVariantManager.java
│ │ │ ASTVariantManager.java
│ │ │ ClassManager.java
│ │ │ FA.java
│ │ │ IExprSwitch.java
│ │ │ IFGNode.java
│ │ │ IFGNodeConnector.java
│ │ │ IIndex.java
│ │ │ IIndexManager.java
│ │ │ IMethodVariant.java
│ │ │ IMethodVariantFactory.java
│ │ │ InvocationVariant.java
│ │ │ IStmtSwitch.java
│ │ │ ITokenProcessingWork.java
│ │ │ IVariant.java
│ │ │ IVariantManager.java
│ │ │ IWorkBagProvider.java
│ │ │ MethodVariantManager.java
│ │ │ package.html
│ │ │ SendTokensWork.java
│ │ │ ValuedVariant.java
│ │ │ ValuedVariantManager.java
│ │ │
│ │ ├─indexmanagement
│ │ │ IIndexManagementStrategy.java
│ │ │ MemoryIntensiveIndexManagementStrategy.java
│ │ │ package.html
│ │ │ ProcessorIntensiveIndexManagementStrategy.java
│ │ │
│ │ ├─instances
│ │ │ │ package.html
│ │ │ │
│ │ │ └─ofa
│ │ │ AbstractAccessExprWork.java
│ │ │ AbstractMemberDataAccessExprWork.java
│ │ │ AllocationSiteCollectingProcessor.java
│ │ │ ArrayAccessExprWork.java
│ │ │ FGAccessNode.java
│ │ │ FieldAccessExprWork.java
│ │ │ FlowInsensitiveExprSwitch.java
│ │ │ FlowSensitiveExprSwitch.java
│ │ │ InvokeExprWork.java
│ │ │ LHSConnector.java
│ │ │ MethodVariant.java
│ │ │ MethodVariantFactory.java
│ │ │ OFAFGNode.java
│ │ │ OFAnalyzer.java
│ │ │ package.html
│ │ │ RHSConnector.java
│ │ │ StmtSwitch.java
│ │ │ StubMethodVariant.java
│ │ │ Value2CanonicalValueMapper.java
│ │ │ Value2ValueMapper.java
│ │ │
│ │ ├─modes
│ │ │ │ package.html
│ │ │ │
│ │ │ ├─insensitive
│ │ │ │ IndexManager.java
│ │ │ │ package.html
│ │ │ │
│ │ │ └─sensitive
│ │ │ │ OneContextInfoIndex.java
│ │ │ │ package.html
│ │ │ │
│ │ │ ├─allocation
│ │ │ │ AllocationContext.java
│ │ │ │ AllocationSiteSensitiveIndexManager.java
│ │ │ │ package.html
│ │ │ │
│ │ │ └─flow
│ │ │ FlowSensitiveIndexManager.java
│ │ │ package.html
│ │ │
│ │ ├─optimizations
│ │ │ package.html
│ │ │ SCCBasedOptimizer.java
│ │ │
│ │ └─processors
│ │ AliasedUseDefInfo.java
│ │ AliasedUseDefInfov2.java
│ │ NewExpr2InitMapper.java
│ │ package.html
│ │ ThreadGraph.java
│ │
│ └─toolkits
│ └─bandera
│ OFATool.java
│ package.html
│
├─src-test
│ └─edu
│ └─ksu
│ └─cis
│ └─indus
│ ├─staticanalyses
│ │ ├─callgraphs
│ │ │ CallGraphTest.java
│ │ │ ICallGraphTest.java
│ │ │ OFABasedCallGraphTest.java
│ │ │ XMLBasedCallGraphTest.java
│ │ │
│ │ ├─dependency
│ │ │ AbstractDependencyAnalysisTest.java
│ │ │ DependencyAnalysisRegressionTestSuite.java
│ │ │ DependencyAnalysisTest.properties
│ │ │ DependencyAnalysisTestClasses.properties
│ │ │ DependencyAnalysisTestSetup.java
│ │ │ IDependencyAnalysisTest.java
│ │ │ StmtAndMethodBasedDependencyAnalysisTest.java
│ │ │ XMLBasedDependencyAnalysisTest.java
│ │ │
│ │ ├─flow
│ │ │ │ FARegressionTestSuite.java
│ │ │ │ FATest.java
│ │ │ │ FATest.properties
│ │ │ │ FATestSetup.java
│ │ │ │ IFATest.java
│ │ │ │
│ │ │ └─instances
│ │ │ │ AbstractXMLBasedValueAnalysisTest.java
│ │ │ │ ValueAnalysisRegressionTestSuite.java
│ │ │ │ ValueAnalysisTest.properties
│ │ │ │ ValueAnalysisTestSetup.java
│ │ │ │
│ │ │ └─ofa
│ │ │ XMLBasedOFATest.java
│ │ │
│ │ └─tokens
│ │ AbstractTokenManagerTest.java
│ │ BitSetTokenManagerTest.java
│ │ CollectionTokenManagerTest.java
│ │ IntegerTokenManagerTest.java
│ │ TokensUnitTestSuite.java
│ │
│ └─toolkits
│ └─bandera
│ BanderaToolsUnitTestSuite.java
│ OFAToolTest.java
│
└─src-xml
└─edu
└─ksu
└─cis
└─indus
└─staticanalyses
├─callgraphs
│ callgraphXML.xsd
│ CallGraphXMLizer.java
│ CallGraphXMLizerCLI.java
│ CGBasedXMLizingProcessingFilter.java
│
├─concurrency
│ │ DeadlockAnalysisCLI.java
│ │
│ ├─escape
│ │ EscapeAndReadWriteCLI.java
│ │
│ └─independence
│ IndependenceDetectionCLI.java
│
├─dependency
│ dependencyXML.xsd
│ DependencyXMLizer.java
│ DependencyXMLizer.properties
│ DependencyXMLizerCLI.java
│ StmtAndMethodBasedDependencyXMLizer.java
│
└─flow
└─instances
└─ofa
OFAStringizer.java
ofaXML.xsd
OFAXMLizer.java
OFAXMLizerCLI.java
标签：
小贴士
感谢您为本站写下的评论，您的评论对其它用户来说具有重要的参考价值，所以请认真填写。
- 类似“顶”、“沙发”之类没有营养的文字，对勤劳贡献的楼主来说是令人沮丧的反馈信息。
- 相信您也不想看到一排文字/表情墙，所以请不要反馈意义不大的重复字符，也请尽量不要纯表情的回复。
- 提问之前请再仔细看一遍楼主的说明，或许是您遗漏了。
- 请勿到处挖坑绊人、招贴广告。既占空间让人厌烦，又没人会搭理，于人于己都无利。
关于好例子网
本站旨在为广大IT学习爱好者提供一个非营利性互相学习交流分享平台。本站所有资源都可以被免费获取学习研究。本站资源来自网友分享，对搜索内容的合法性不具有预见性、识别性、控制性，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，平台无法对用户传输的作品、信息、内容的权属或合法性、安全性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论平台是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二与二十三条之规定，若资源存在侵权或相关问题请联系本站客服人员，点此联系我们。关于更多版权及免责申明参见 版权及免责申明
网友评论
我要评论