9 duplicated lines in: - source/interprocedural/callResolution.ml (1:10, 17%) - source/service/changedPaths.ml (1:10, 9%) 9 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:10, 8%) - source/service/staticAnalysis.ml (1:10, 1%) 9 duplicated lines in: - source/interprocedural/callResolution.ml (1:10, 17%) - source/service/incrementalCheck.ml (1:10, 5%) 9 duplicated lines in: - source/interprocedural/target.ml (1:10, 3%) - source/service/staticAnalysis.ml (1:10, 1%) 8 duplicated lines in: - source/interprocedural/callResolution.ml (1:9, 15%) - source/service/staticAnalysis.ml (1:9, 1%) 8 duplicated lines in: - source/interprocedural/target.ml (1:9, 3%) - source/service/incrementalCheck.ml (1:9, 4%) 8 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:9, 2%) - source/service/check.ml (1:9, 7%) 8 duplicated lines in: - source/interprocedural/Error.ml (1:9, 8%) - source/service/staticAnalysis.ml (1:9, 1%) 8 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:9, 1%) - source/service/changedPaths.ml (1:9, 8%) 8 duplicated lines in: - source/interprocedural/target.ml (1:9, 3%) - source/service/changedPaths.ml (1:9, 8%) 8 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:9, 1%) - source/service/incrementalCheck.ml (1:9, 4%) 8 duplicated lines in: - source/interprocedural/Error.ml (1:9, 8%) - source/service/changedPaths.ml (1:9, 8%) 8 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:9, 7%) - source/service/incrementalCheck.ml (1:9, 4%) 8 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:9, 32%) - source/service/staticAnalysis.mli (1:9, 11%) 8 duplicated lines in: - source/interprocedural/Error.ml (1:9, 8%) - source/service/incrementalCheck.ml (1:9, 4%) 8 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:9, 7%) - source/service/changedPaths.ml (1:9, 8%) 8 duplicated lines in: - source/interprocedural/callGraph.mli (1:9, 4%) - source/service/infer.ml (1:9, 7%) 8 duplicated lines in: - source/interprocedural/callGraph.ml (1:9, <1%) - source/service/infer.ml (1:9, 7%) 8 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:9, 1%) - source/service/staticAnalysis.ml (1:9, 1%) 7 duplicated lines in: - source/interprocedural/classInterval.ml (1:8, 5%) - source/service/infer.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/classInterval.ml (1:8, 5%) - source/service/incrementalCheck.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/analysisKind.ml (1:8, 11%) - source/service/changedPaths.ml (1:8, 7%) 7 duplicated lines in: - source/interprocedural/fixpointState.ml (1:8, 5%) - source/service/changedPaths.ml (1:8, 7%) 7 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:8, 2%) - source/service/dependencyTrackedMemory.mli (1:8, 6%) 7 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:8, 2%) - source/service/incrementalCheck.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/callResolution.ml (1:8, 13%) - source/service/check.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/callResolution.ml (1:8, 13%) - source/service/memory.mli (1:8, 8%) 7 duplicated lines in: - source/interprocedural/fixpointState.ml (1:8, 5%) - source/service/dependencyTrackedMemory.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:8, 1%) - source/service/dependencyTrackedMemory.mli (1:8, 6%) 7 duplicated lines in: - source/interprocedural/callGraph.ml (1:8, <1%) - source/service/dependencyTrackedMemory.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/callGraph.ml (1:8, <1%) - source/service/changedPaths.ml (1:8, 7%) 7 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:8, 1%) - source/service/check.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:8, 6%) - source/service/check.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/fixpointState.ml (1:8, 5%) - source/service/check.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/callGraph.ml (1:8, <1%) - source/service/check.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:8, 6%) - source/service/memory.mli (1:8, 8%) 7 duplicated lines in: - source/interprocedural/classInterval.ml (1:8, 5%) - source/service/dependencyTrackedMemory.mli (1:8, 6%) 7 duplicated lines in: - source/interprocedural/target.ml (1:8, 3%) - source/service/infer.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/callGraph.mli (1:8, 4%) - source/service/check.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/fixpointState.ml (1:8, 5%) - source/service/memory.mli (1:8, 8%) 7 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:8, 1%) - source/service/memory.mli (1:8, 8%) 7 duplicated lines in: - source/interprocedural/analysisKind.ml (1:8, 11%) - source/service/check.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/callGraph.mli (1:8, 4%) - source/service/incrementalCheck.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/callGraph.ml (1:8, <1%) - source/service/memory.ml (1:8, 2%) 7 duplicated lines in: - source/interprocedural/fixpointState.ml (1:8, 5%) - source/service/memory.ml (1:8, 2%) 7 duplicated lines in: - source/interprocedural/target.ml (1:8, 3%) - source/service/memory.mli (1:8, 8%) 7 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:8, 28%) - source/service/check.mli (1:8, 43%) 7 duplicated lines in: - source/interprocedural/target.ml (1:8, 3%) - source/service/dependencyTrackedMemory.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/target.ml (1:8, 3%) - source/service/dependencyTrackedMemory.mli (1:8, 6%) 7 duplicated lines in: - source/interprocedural/Error.ml (1:8, 7%) - source/service/infer.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/classInterval.ml (1:8, 5%) - source/service/check.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/analysisKind.ml (1:8, 11%) - source/service/dependencyTrackedMemory.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/target.ml (1:8, 3%) - source/service/check.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/fixpointState.ml (1:8, 5%) - source/service/incrementalCheck.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/classInterval.ml (1:8, 5%) - source/service/changedPaths.ml (1:8, 7%) 7 duplicated lines in: - source/interprocedural/classInterval.ml (1:8, 5%) - source/service/dependencyTrackedMemory.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/fixpointState.ml (1:8, 5%) - source/service/staticAnalysis.ml (1:8, <1%) 7 duplicated lines in: - source/interprocedural/Error.ml (1:8, 7%) - source/service/dependencyTrackedMemory.mli (1:8, 6%) 7 duplicated lines in: - source/interprocedural/Error.ml (1:8, 7%) - source/service/check.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/callGraph.mli (1:8, 4%) - source/service/changedPaths.ml (1:8, 7%) 7 duplicated lines in: - source/interprocedural/Error.ml (1:8, 7%) - source/service/memory.mli (1:8, 8%) 7 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:8, 6%) - source/service/memory.ml (1:8, 2%) 7 duplicated lines in: - source/interprocedural/callResolution.ml (1:8, 13%) - source/service/infer.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:8, 2%) - source/service/changedPaths.ml (1:8, 7%) 7 duplicated lines in: - source/interprocedural/analysisKind.ml (1:8, 11%) - source/service/dependencyTrackedMemory.mli (1:8, 6%) 7 duplicated lines in: - source/interprocedural/callGraph.ml (1:8, <1%) - source/service/dependencyTrackedMemory.mli (1:8, 6%) 7 duplicated lines in: - source/interprocedural/callGraph.ml (1:8, <1%) - source/service/memory.mli (1:8, 8%) 7 duplicated lines in: - source/interprocedural/callGraph.ml (1:8, <1%) - source/service/staticAnalysis.ml (1:8, <1%) 7 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:8, 1%) - source/service/dependencyTrackedMemory.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/fixpointState.ml (1:8, 5%) - source/service/dependencyTrackedMemory.mli (1:8, 6%) 7 duplicated lines in: - source/interprocedural/classInterval.ml (1:8, 5%) - source/service/memory.ml (1:8, 2%) 7 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:8, 2%) - source/service/memory.mli (1:8, 8%) 7 duplicated lines in: - source/interprocedural/analysisKind.ml (1:8, 11%) - source/service/memory.ml (1:8, 2%) 7 duplicated lines in: - source/interprocedural/callResolution.ml (1:8, 13%) - source/service/dependencyTrackedMemory.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/target.ml (1:8, 3%) - source/service/memory.ml (1:8, 2%) 7 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:8, 1%) - source/service/memory.ml (1:8, 2%) 7 duplicated lines in: - source/interprocedural/classInterval.ml (1:8, 5%) - source/service/memory.mli (1:8, 8%) 7 duplicated lines in: - source/interprocedural/callGraph.ml (1:8, <1%) - source/service/incrementalCheck.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/callGraph.mli (1:8, 4%) - source/service/memory.ml (1:8, 2%) 7 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:8, 2%) - source/service/memory.ml (1:8, 2%) 7 duplicated lines in: - source/interprocedural/classInterval.ml (1:8, 5%) - source/service/staticAnalysis.ml (1:8, <1%) 7 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:8, 2%) - source/service/dependencyTrackedMemory.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:8, 6%) - source/service/dependencyTrackedMemory.mli (1:8, 6%) 7 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:8, 2%) - source/service/infer.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/callResolution.ml (1:8, 13%) - source/service/memory.ml (1:8, 2%) 7 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:8, 2%) - source/service/staticAnalysis.ml (1:8, <1%) 7 duplicated lines in: - source/interprocedural/analysisKind.ml (1:8, 11%) - source/service/memory.mli (1:8, 8%) 7 duplicated lines in: - source/interprocedural/analysisKind.ml (1:8, 11%) - source/service/staticAnalysis.ml (1:8, <1%) 7 duplicated lines in: - source/interprocedural/Error.ml (1:8, 7%) - source/service/dependencyTrackedMemory.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/callGraph.mli (1:8, 4%) - source/service/staticAnalysis.ml (1:8, <1%) 7 duplicated lines in: - source/interprocedural/callGraph.mli (1:8, 4%) - source/service/dependencyTrackedMemory.mli (1:8, 6%) 7 duplicated lines in: - source/interprocedural/analysisKind.ml (1:8, 11%) - source/service/infer.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:8, 6%) - source/service/dependencyTrackedMemory.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/callGraph.mli (1:8, 4%) - source/service/dependencyTrackedMemory.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:8, 1%) - source/service/infer.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/callGraph.mli (1:8, 4%) - source/service/memory.mli (1:8, 8%) 7 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:8, 6%) - source/service/infer.ml (1:8, 6%) 7 duplicated lines in: - source/interprocedural/Error.ml (1:8, 7%) - source/service/memory.ml (1:8, 2%) 7 duplicated lines in: - source/interprocedural/analysisKind.ml (1:8, 11%) - source/service/incrementalCheck.ml (1:8, 3%) 7 duplicated lines in: - source/interprocedural/callResolution.ml (1:8, 13%) - source/service/dependencyTrackedMemory.mli (1:8, 6%) 7 duplicated lines in: - source/interprocedural/fixpointState.ml (1:8, 5%) - source/service/infer.ml (1:8, 6%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:6, <1%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:6, 2%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/callGraph.ml (1:6, <1%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/classInterval.ml (1:6, 4%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/classInterval.ml (1:6, 4%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:6, 5%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/fixpointState.ml (1:6, 4%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/classInterval.ml (1:6, 4%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/Error.ml (1:6, 6%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/fixpointState.ml (1:6, 4%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/callResolution.ml (1:6, 11%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/callGraph.ml (1:6, <1%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:6, 5%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/callGraph.ml (1:6, <1%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:6, 2%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/callGraph.ml (1:6, <1%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:6, <1%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/fixpointState.ml (1:6, 4%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/target.ml (1:6, 2%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/analysisKind.ml (1:6, 10%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/callGraph.ml (1:6, <1%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/classInterval.ml (1:6, 4%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/classInterval.ml (1:6, 4%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:6, 5%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:6, <1%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:6, 2%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/target.ml (1:6, 2%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/Error.ml (1:6, 6%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/Error.ml (1:6, 6%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/Error.ml (1:6, 6%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/target.ml (1:6, 2%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/callGraph.ml (1:6, <1%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/classInterval.ml (1:6, 4%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:6, 2%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/target.ml (1:6, 2%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/fixpointState.ml (1:6, 4%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:6, 5%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/callGraph.mli (1:6, 3%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:6, 2%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:6, 5%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/callGraph.ml (1:6, <1%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:6, 2%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/analysisKind.ml (1:6, 10%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/callResolution.ml (1:6, 11%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:6, <1%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:6, 5%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/callGraph.mli (1:6, 3%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/analysisKind.ml (1:6, 10%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/classInterval.ml (1:6, 4%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/callGraph.mli (1:6, 3%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/Error.ml (1:6, 6%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/analysisKind.ml (1:6, 10%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/callGraph.mli (1:6, 3%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/target.mli (1:6, 6%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:6, <1%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointState.ml (1:6, 4%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.mli (1:6, 30%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/fixpointState.ml (1:6, 4%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/Error.ml (1:6, 6%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/incrementalCheck.mli (1:6, 30%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:6, <1%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/target.ml (1:6, 2%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/analysisKind.ml (1:6, 10%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/fixpointState.mli (1:6, 11%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/callResolution.ml (1:6, 11%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/callResolution.ml (1:6, 11%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/check.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/incrementalCheck.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/callResolution.ml (1:6, 11%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.mli (1:6, 24%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/callResolution.mli (1:6, 50%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/callGraph.mli (1:6, 3%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/fixpointState.ml (1:6, 4%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/memory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/memory.mli (1:6, 6%) 6 duplicated lines in: - source/interprocedural/Error.ml (1:6, 6%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/target.ml (1:6, 2%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/analysisResult.mli (1:6, 4%) - source/service/changedPaths.ml (1:6, 6%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.ml (1:6, 2%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/check.mli (1:6, 37%) 6 duplicated lines in: - source/interprocedural/callGraph.mli (1:6, 3%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/dependencyTrackedMemory.mli (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.ml (1:6, <1%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/callResolution.ml (1:6, 11%) - source/service/scheduler.ml (1:6, 3%) 6 duplicated lines in: - source/interprocedural/classHierarchyGraph.ml (1:6, 5%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/target.ml (1:6, 2%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/Error.mli (1:6, 21%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/dependencyGraph.mli (1:6, 13%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/changedPaths.mli (1:6, 31%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/analysisResult.ml (1:6, 2%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/classInterval.mli (1:6, 12%) - source/service/infer.mli (1:6, 26%) 6 duplicated lines in: - source/interprocedural/callGraph.mli (1:6, 3%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/callResolution.ml (1:6, 11%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/dependencyGraphSharedMemory.ml (1:6, 10%) - source/service/infer.ml (1:6, 5%) 6 duplicated lines in: - source/interprocedural/fixpointAnalysis.mli (1:6, 8%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/analysisKind.ml (1:6, 10%) - source/service/scheduler.mli (1:6, 10%) 6 duplicated lines in: - source/interprocedural/analysisKind.ml (1:6, 10%) - source/service/staticAnalysis.mli (1:6, 8%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/dependencyTrackedMemory.ml (1:6, 2%) 6 duplicated lines in: - source/interprocedural/interprocedural.ml (1:6, 31%) - source/service/staticAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/interprocedural/analysisKind.mli (1:6, 28%) - source/service/infer.mli (1:6, 26%)