legato:Legato是一种静态分析，用于发现动态资源使用中的错误
需积分: 11 132 浏览量
2021-05-10
14:39:58
上传
评论
收藏 31.64MB ZIP 举报
legato:Legato是一种静态分析，用于发现动态资源使用中的错误 （257个子文件） 
.gitignore 336B .gitignore 21B .gitmodules 100B build.gradle 1KB settings.gradle 25B
soot-boomerang.jar 33.61MB PseudoMain.java 208KB InconsistentReadSolver.java 69KB ForwardFlowFunctions.java 56KB AttributeModelExtension.java 26KB Legato.java 24KB SimpleContextSensitiveAnalysis.java 20KB SyncPreAnalysis.java 19KB AtMostOnceProblem.java 19KB LegatoEdgeFunctions.java 19KB YamlPropagationManager.java 15KB AliasResolver.java 15KB YamlCollectionReporter.java 14KB RecTreeDomain.java 13KB CollectionAnalysis.java 13KB AnalysisConfiguration.java 13KB GenerateStrutsActions.java 13KB CSIDESolver.java 12KB InstrumentStruts.java 12KB InstrumentTileServlets.java 12KB AbstractLegatoTest.java 12KB JasperTransformer.java 11KB GenerateControllerActions.java 10KB FieldPreAnalysis.java 10KB BoomerangForwardReflectionHandler.java 10KB BoomerangBackwardReflectionHandler.java 9KB TransitiveNode.java 9KB LabelIsomorphism.java 9KB GiantGraph.java 8KB ForwardContainerMockDataFlow.java 8KB CompressedTransitiveNode.java 8KB IOAnalysis.java 8KB BackwardContainerMockDataFlow.java 7KB InconsistentReadAnalysis.java 7KB NonDeterministicOptionAnalysis.java 7KB TreeIsomorphism.java 7KB CallNode.java 6KB basic_servlet.java 6KB InlineTargetFinder.java 6KB AtMostOnceExecutionAnalysis.java 6KB SynchronizationTest.java 6KB HeapTest.java 6KB ResourceStringGenerator.java 6KB Parser.java 5KB CallParamDeciderProvider.java 5KB ConstantStringInliner.java 5KB HttpServletTransformer.java 5KB PrimeStorage.java 5KB AggressiveDispatchInliner.java 5KB LoopTest.java 5KB CachedYamlResourceResolver.java 5KB DirectedCallGraph.java 5KB JspDispatchInliner.java 5KB AbstractInterpreter.java 4KB SingletonTypeAnalysis.java 4KB Node.java 4KB PropagationTest.java 4KB ServletDispatchResolver.java 4KB PrependFunction.java 4KB TransitivityAnalysis.java 4KB ApplicationClassInference.java 4KB SubsonicGenerator.java 4KB CompactUnitGraph_short.java 4KB CompactUnitGraph_long.java 4KB CompactUnitGraph_byte.java 4KB CompactUnitGraph_int.java 3KB ReflectionDecider.java 3KB YamlResourceResolver.java 3KB EffectEdgeIdentity.java 3KB StaticResourceResolver.java 3KB SysOutReporter.java 3KB ClassifyDefinition.java 3KB VqwikiGenerator.java 3KB AbstractPathFunctions.java 3KB TreeFunction.java 3KB ContainerAbstractionTest.java 3KB InheritanceTest.java 3KB HybridResourceResolver.java 3KB MultiTable.java 2KB LegatoConfigurer.java 2KB struts_servlet.java 2KB CompressedInterproceduralCFG.java 2KB TestSynchronizationHavoc.java 2KB TestHeapAbstraction.java 2KB RecTreeTester.java 2KB TestIsomorphism.java 2KB CallSymbol.java 2KB ClassifyListeners.java 2KB TestMethodSummarization.java 2KB ParseUtils.java 2KB DefaultLegatoJimpleIDETabulationProblem.java 2KB PathDebuggingSolver.java 2KB GetterGenerator.java 2KB PropagationSpec.java 2KB ContextValueNode.java 2KB共 257 条
- 1
- 2
- 3
资源评论
