6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/exitStatus.ml (1:6, 46%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintProfiler.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/missingFlow.ml (1:6, 9%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/forwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintConfiguration.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintTransform.mli (1:6, 40%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/model.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/metrics.ml (1:6, 12%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintReporting.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/callModel.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/globalModel.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/missingFlow.mli (1:6, 46%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/features.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintProfiler.mli (1:6, 21%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintTransform.ml (1:6, 24%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/taintAnalysis.mli (1:6, 85%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/lineageAnalysis.mli (1:6, 27%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/taint/taintAnalysis.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/callModel.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelVerifier.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractMapDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/annotationParser.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/model.mli (1:6, 7%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/modelQuery/modelQuery.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/type_inference/typeInferenceLocal.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractProductDomain.mli (1:6, 14%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/accessPath.ml (1:6, 2%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/modelVerificationError.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/accessPath.mli (1:6, 12%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sanitizeTransform.mli (1:6, 23%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/sanitizeTransform.ml (1:6, 16%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/globalModel.mli (1:6, 25%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/modelVerificationError.mli (1:6, 4%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/sources.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstract.ml (1:6, 33%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractDomainCore.ml (1:6, 2%) - source/interprocedural_analyses/taint/modelParser.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/classModels.ml (1:6, 4%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/sinks.mli (1:6, 10%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/type_inference/typeInferenceDomain.ml (1:6, 23%) 6 duplicated lines in: - source/domains/abstractToppedSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/taintResult.ml (1:6, 13%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/taintTransforms.mli (1:6, 20%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/sources.mli (1:6, 13%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.ml (1:6, 5%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/issue.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelParser.mli (1:6, 3%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/sinks.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.ml (1:6, 3%) - source/interprocedural_analyses/taint/forwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractOverUnderSetDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/issue.mli (1:6, 6%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/taint/taintConfiguration.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractInvertedSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInferenceData.mli (1:6, 11%) 6 duplicated lines in: - source/domains/abstractElementSetDomain.ml (1:6, 4%) - source/interprocedural_analyses/type_inference/typeInference.ml (1:6, 40%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/taintReporting.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.ml (1:6, 11%) - source/interprocedural_analyses/taint/taintResult.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractTreeDomain.mli (1:6, 8%) - source/interprocedural_analyses/taint/classModels.mli (1:6, 60%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/backwardAnalysis.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.ml (1:6, 4%) - source/interprocedural_analyses/taint/taintTransforms.ml (1:6, 11%) 6 duplicated lines in: - source/domains/abstractMapDomain.mli (1:6, 20%) - source/interprocedural_analyses/taint/domains.ml (1:6, <1%) 6 duplicated lines in: - source/domains/abstractTreeDomain.ml (1:6, <1%) - source/interprocedural_analyses/taint/annotationParser.ml (1:6, 10%) 6 duplicated lines in: - source/domains/abstractBucketedElementSetDomain.mli (1:6, 27%) - source/interprocedural_analyses/taint/modelVerifier.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractFlatDomain.mli (1:6, 30%) - source/interprocedural_analyses/type_inference/typeInferenceData.ml (1:6, 1%) 6 duplicated lines in: - source/domains/abstractSetDomain.mli (1:6, 13%) - source/interprocedural_analyses/taint/lineageAnalysis.ml (1:6, 3%) 6 duplicated lines in: - source/domains/abstractSimpleDomain.mli (1:6, 33%) - source/interprocedural_analyses/taint/taint.ml (1:6, 20%) 6 duplicated lines in: - source/domains/abstractProductDomain.ml (1:6, 1%) - source/interprocedural_analyses/taint/backwardAnalysis.mli (1:6, 33%)