heros:IFDSIDE烟灰求解器
需积分: 14 188 浏览量
2021-05-22
22:34:55
上传
评论
收藏 178KB ZIP 举报
heros:IFDSIDE烟灰求解器 （120个子文件） 
.classpath 1KB .gitignore 107B heros-logo.graffle 71KB heros.iml 2KB FieldSensitiveIFDSSolverTest.java 40KB IDESolver.java 35KB FieldSensitiveTestHelper.java 21KB PerAccessPathMethodAnalyzer.java 19KB BiDiIDESolver.java 18KB TestHelper.java 15KB ReturnSiteResolverTest.java 14KB FlowFunctionDotExport.java 9KB AccessPath.java 8KB EdgeFunctionCache.java 8KB BiDiFieldSensitiveIFDSSolverTest.java 8KB FlowFunctionCache.java 7KB ReturnSiteResolver.java 7KB JumpFunctions.java 6KB BiDiIFDSSolverTest.java 6KB FlowFunction.java 6KB AccessPathTest.java 5KB ControlFlowJoinResolverTest.java 5KB IFDSSolver.java 5KB CallEdge.java 5KB EdgeFunctions.java 5KB ResolverTemplate.java 5KB FlowFunctions.java 5KB FlowFunctions.java 5KB TestDebugger.java 4KB AccessPathHandler.java 4KB ControlFlowJoinResolver.java 4KB SourceStmtAnnotatedMethodAnalyzer.java 4KB JoinHandlingNodesIFDSSolver.java 4KB PathTrackingIFDSSolver.java 3KB BiDiIFDSSolver.java 3KB IFDSSolverTest.java 3KB Edge.java 3KB BiDiFieldSensitiveIFDSSolver.java 3KB CountLatch.java 3KB FieldSensitiveIFDSSolver.java 3KB WrappedFact.java 3KB Debugger.java 3KB InterproceduralCFG.java 3KB PathEdge.java 3KB CountingThreadPoolExecutor.java 3KB ReturnEdge.java 3KB JsonDocument.java 3KB IFDSTabulationProblem.java 3KB DefaultIFDSTabulationProblem.java 2KB EdgeBuilder.java 2KB IFDSTabulationProblem.java 2KB CallEdgeResolver.java 2KB ZeroCallEdgeResolver.java 2KB Resolver.java 2KB WrappedFactAtStatement.java 2KB DefaultIDETabulationProblem.java 2KB MethodAnalyzerImpl.java 2KB ProfiledFlowFunctions.java 2KB AllBottom.java 2KB SolverConfiguration.java 2KB JoinableFact.java 2KB ZeroedFlowFunctions.java 2KB IDETabulationProblem.java 2KB JoinHandlingNode.java 2KB DeltaConstraint.java 2KB DefaultValueMap.java 2KB Pair.java 2KB EdgeFunction.java 2KB FlowFunction.java 2KB EdgeIdentity.java 2KB TwoElementSet.java 2KB Compose.java 2KB Context.java 2KB Union.java 2KB AllTop.java 1KB FactAtStatement.java 1KB ItemPrinter.java 1KB Gen.java 1KB FactMergeHandler.java 1KB Statement.java 1KB ExpectedFlowFunction.java 1KB TestFact.java 1KB Kill.java 1KB TestMethod.java 1KB KillAll.java 1KB MeetLattice.java 1KB Transfer.java 1KB DefaultSeeds.java 1KB JsonArray.java 1KB LinkedNode.java 1KB ZeroHandler.java 1KB Identity.java 1012B MethodAnalyzer.java 927B Scheduler.java 900B DontSynchronize.java 893B MustSynchronize.java 888B SynchronizedBy.java 874B InterestCallback.java 787B ThreadSafe.java 730B SootThreadGroup.java 494B共 120 条
- 1
- 2
资源评论
