Path	Lines of Code
source/interprocedural_analyses/taint/accessPath.ml	268
source/interprocedural_analyses/taint/accessPath.mli	48
source/interprocedural_analyses/taint/annotationParser.ml	57
source/interprocedural_analyses/taint/annotationParser.mli	29
source/interprocedural_analyses/taint/backwardAnalysis.ml	1940
source/interprocedural_analyses/taint/backwardAnalysis.mli	18
source/interprocedural_analyses/taint/callModel.ml	218
source/interprocedural_analyses/taint/callModel.mli	53
source/interprocedural_analyses/taint/classModels.ml	141
source/interprocedural_analyses/taint/classModels.mli	10
source/interprocedural_analyses/taint/domains.ml	1143
source/interprocedural_analyses/taint/exitStatus.ml	13
source/interprocedural_analyses/taint/features.ml	420
source/interprocedural_analyses/taint/forwardAnalysis.ml	2091
source/interprocedural_analyses/taint/forwardAnalysis.mli	18
source/interprocedural_analyses/taint/globalModel.ml	131
source/interprocedural_analyses/taint/globalModel.mli	24
source/interprocedural_analyses/taint/issue.ml	690
source/interprocedural_analyses/taint/issue.mli	96
source/interprocedural_analyses/taint/lineageAnalysis.ml	165
source/interprocedural_analyses/taint/lineageAnalysis.mli	22
source/interprocedural_analyses/taint/metrics.ml	49
source/interprocedural_analyses/taint/missingFlow.ml	61
source/interprocedural_analyses/taint/missingFlow.mli	13
source/interprocedural_analyses/taint/model.ml	557
source/interprocedural_analyses/taint/model.mli	82
source/interprocedural_analyses/taint/modelParser.ml	3135
source/interprocedural_analyses/taint/modelParser.mli	198
source/interprocedural_analyses/taint/modelQuery/modelQuery.ml	755
source/interprocedural_analyses/taint/modelQuery/modelQuery.mli	30
source/interprocedural_analyses/taint/modelVerificationError.ml	384
source/interprocedural_analyses/taint/modelVerificationError.mli	124
source/interprocedural_analyses/taint/modelVerifier.ml	384
source/interprocedural_analyses/taint/modelVerifier.mli	44
source/interprocedural_analyses/taint/sanitizeTransform.ml	36
source/interprocedural_analyses/taint/sanitizeTransform.mli	26
source/interprocedural_analyses/taint/sinks.ml	184
source/interprocedural_analyses/taint/sinks.mli	59
source/interprocedural_analyses/taint/sources.ml	145
source/interprocedural_analyses/taint/sources.mli	46
source/interprocedural_analyses/taint/taint.ml	30
source/interprocedural_analyses/taint/taintAnalysis.ml	385
source/interprocedural_analyses/taint/taintAnalysis.mli	7
source/interprocedural_analyses/taint/taintConfiguration.ml	1132
source/interprocedural_analyses/taint/taintConfiguration.mli	136
source/interprocedural_analyses/taint/taintProfiler.ml	227
source/interprocedural_analyses/taint/taintProfiler.mli	28
source/interprocedural_analyses/taint/taintReporting.ml	198
source/interprocedural_analyses/taint/taintReporting.mli	28
source/interprocedural_analyses/taint/taintResult.ml	43
source/interprocedural_analyses/taint/taintResult.mli	10
source/interprocedural_analyses/taint/taintTransform.ml	25
source/interprocedural_analyses/taint/taintTransform.mli	15
source/interprocedural_analyses/taint/taintTransforms.ml	53
source/interprocedural_analyses/taint/taintTransforms.mli	29
source/interprocedural_analyses/type_inference/typeInference.ml	15
source/interprocedural_analyses/type_inference/typeInferenceData.ml	454
source/interprocedural_analyses/type_inference/typeInferenceData.mli	52
source/interprocedural_analyses/type_inference/typeInferenceDomain.ml	26
source/interprocedural_analyses/type_inference/typeInferenceDomain.mli	10
source/interprocedural_analyses/type_inference/typeInferenceLocal.ml	1133
source/interprocedural_analyses/type_inference/typeInferenceLocal.mli	44