Path	Lines of Code
infer/src/IR/Annot.ml	137
infer/src/IR/Annot.mli	50
infer/src/IR/Attributes.ml	87
infer/src/IR/Attributes.mli	18
infer/src/IR/BUILTINS.ml	85
infer/src/IR/BiabductionModels.ml	19
infer/src/IR/BiabductionModels.mli	9
infer/src/IR/Binop.ml	150
infer/src/IR/Binop.mli	49
infer/src/IR/BuiltinDecl.ml	132
infer/src/IR/BuiltinDecl.mli	41
infer/src/IR/CSharpClassName.ml	46
infer/src/IR/CSharpClassName.mli	18
infer/src/IR/CallFlags.ml	33
infer/src/IR/CallFlags.mli	22
infer/src/IR/CapturedVar.ml	14
infer/src/IR/CapturedVar.mli	11
infer/src/IR/Cfg.ml	49
infer/src/IR/Cfg.mli	25
infer/src/IR/ClangMethodKind.ml	22
infer/src/IR/ClangMethodKind.mli	11
infer/src/IR/Const.ml	56
infer/src/IR/Const.mli	26
infer/src/IR/DecompiledExp.ml	142
infer/src/IR/DecompiledExp.mli	35
infer/src/IR/DotCfg.ml	125
infer/src/IR/DotCfg.mli	13
infer/src/IR/ErlangTypeName.ml	35
infer/src/IR/Exp.ml	325
infer/src/IR/Exp.mli	118
infer/src/IR/Fieldname.ml	92
infer/src/IR/Fieldname.mli	48
infer/src/IR/Filtering.ml	40
infer/src/IR/Filtering.mli	13
infer/src/IR/Ident.ml	173
infer/src/IR/Ident.mli	92
infer/src/IR/Instrs.ml	193
infer/src/IR/Instrs.mli	49
infer/src/IR/IntLit.ml	98
infer/src/IR/IntLit.mli	67
infer/src/IR/Io_infer.ml	148
infer/src/IR/Io_infer.mli	57
infer/src/IR/JavaClassName.ml	97
infer/src/IR/JavaClassName.mli	38
infer/src/IR/Mangled.ml	37
infer/src/IR/Mangled.mli	33
infer/src/IR/ObjCDispatchModels.ml	24
infer/src/IR/ObjCDispatchModels.mli	10
infer/src/IR/PredSymb.ml	198
infer/src/IR/PredSymb.mli	87
infer/src/IR/ProcAttributes.ml	242
infer/src/IR/ProcAttributes.mli	79
infer/src/IR/Procdesc.ml	777
infer/src/IR/Procdesc.mli	280
infer/src/IR/Procname.ml	1007
infer/src/IR/Procname.mli	314
infer/src/IR/Pvar.ml	254
infer/src/IR/Pvar.mli	123
infer/src/IR/QualifiedCppName.ml	84
infer/src/IR/QualifiedCppName.mli	66
infer/src/IR/Sil.ml	187
infer/src/IR/Sil.mli	88
infer/src/IR/SourceFiles.ml	148
infer/src/IR/SourceFiles.mli	29
infer/src/IR/SpecializeProcdesc.ml	164
infer/src/IR/SpecializeProcdesc.mli	13
infer/src/IR/StdTyp.ml	51
infer/src/IR/StdTyp.mli	47
infer/src/IR/Struct.ml	368
infer/src/IR/Struct.mli	63
infer/src/IR/Subtype.ml	215
infer/src/IR/Subtype.mli	32
infer/src/IR/Tenv.ml	206
infer/src/IR/Tenv.mli	64
infer/src/IR/Typ.ml	686
infer/src/IR/Typ.mli	236
infer/src/IR/Unop.ml	17
infer/src/IR/Unop.mli	18
infer/src/IR/Var.ml	61
infer/src/IR/Var.mli	35
infer/src/IR/WeakTopologicalOrder.ml	206
infer/src/IR/WeakTopologicalOrder.mli	54
infer/src/IR/inferconfig.ml	306
infer/src/IR/inferconfig.mli	19
infer/src/IR/jConfig.ml	42
infer/src/IR/jConfig.mli	32
infer/src/absint/AbstractDomain.ml	621
infer/src/absint/AbstractDomain.mli	243
infer/src/absint/AbstractInterpreter.ml	609
infer/src/absint/AbstractInterpreter.mli	89
infer/src/absint/AccessPath.ml	140
infer/src/absint/AccessPath.mli	60
infer/src/absint/AccessTree.ml	344
infer/src/absint/AccessTree.mli	72
infer/src/absint/AnalysisCallbacks.ml	28
infer/src/absint/AnalysisCallbacks.mli	32
infer/src/absint/AnalysisState.ml	45
infer/src/absint/AnalysisState.mli	37
infer/src/absint/AndroidFramework.ml	27
infer/src/absint/AndroidFramework.mli	16
infer/src/absint/Bindings.ml	92
infer/src/absint/Bindings.mli	14
infer/src/absint/BlockSpecialization.ml	145
infer/src/absint/BlockSpecialization.mli	12
infer/src/absint/CallSite.ml	19
infer/src/absint/CallSite.mli	16
infer/src/absint/ConcurrencyModels.ml	352
infer/src/absint/ConcurrencyModels.mli	43
infer/src/absint/DataFlow.ml	160
infer/src/absint/DataFlow.mli	36
infer/src/absint/Decompile.ml	52
infer/src/absint/Decompile.mli	17
infer/src/absint/Errlog.ml	234
infer/src/absint/Errlog.mli	81
infer/src/absint/ExplicitTrace.ml	91
infer/src/absint/ExplicitTrace.mli	47
infer/src/absint/FormalMap.ml	31
infer/src/absint/FormalMap.mli	24
infer/src/absint/HilExp.ml	610
infer/src/absint/HilExp.mli	108
infer/src/absint/HilInstr.ml	92
infer/src/absint/HilInstr.mli	34
infer/src/absint/IdAccessPathMapDomain.ml	50
infer/src/absint/IdAccessPathMapDomain.mli	9
infer/src/absint/InterproceduralAnalysis.ml	26
infer/src/absint/InterproceduralAnalysis.mli	31
infer/src/absint/IntraproceduralAnalysis.ml	8
infer/src/absint/IntraproceduralAnalysis.mli	10
infer/src/absint/IssueLog.ml	58
infer/src/absint/IssueLog.mli	21
infer/src/absint/IssueToReport.ml	19
infer/src/absint/IssueToReport.mli	23
infer/src/absint/Localise.ml	429
infer/src/absint/Localise.mli	90
infer/src/absint/LowerHil.ml	112
infer/src/absint/LowerHil.mli	69
infer/src/absint/MethodMatcher.ml	97
infer/src/absint/MethodMatcher.mli	31
infer/src/absint/Mleak_buckets.ml	20
infer/src/absint/Mleak_buckets.mli	13
infer/src/absint/NoReturnModels.ml	13
infer/src/absint/Passthrough.ml	17
infer/src/absint/Passthrough.mli	11
infer/src/absint/PatternMatch.ml	446
infer/src/absint/PatternMatch.mli	161
infer/src/absint/ProcCfg.ml	309
infer/src/absint/ProcCfg.mli	104
infer/src/absint/ProcnameDispatcher.ml	826
infer/src/absint/ProcnameDispatcher.mli	268
infer/src/absint/Reporting.ml	134
infer/src/absint/Reporting.mli	48
infer/src/absint/Sanitizer.ml	18
infer/src/absint/Sanitizer.mli	16
infer/src/absint/Scheduler.ml	80
infer/src/absint/Scheduler.mli	20
infer/src/absint/Sink.ml	36
infer/src/absint/Sink.mli	21
infer/src/absint/SinkTrace.ml	69
infer/src/absint/SinkTrace.mli	30
infer/src/absint/Source.ml	69
infer/src/absint/Source.mli	32
infer/src/absint/SubtypingCheck.ml	103
infer/src/absint/SubtypingCheck.mli	14
infer/src/absint/TaintTrace.ml	456
infer/src/absint/TaintTrace.mli	89
infer/src/absint/TaintTraceElem.ml	27
infer/src/absint/TaskSchedulerTypes.ml	12
infer/src/absint/TransferFunctions.ml	42
infer/src/absint/TransferFunctions.mli	54
infer/src/absint/annotations.ml	165
infer/src/absint/annotations.mli	75
infer/src/absint/exe_env.ml	92
infer/src/absint/exe_env.mli	20
infer/src/al/AL.ml	342
infer/src/al/AL.mli	8
infer/src/al/ALDebugger.ml	322
infer/src/al/ALDebugger.mli	36
infer/src/al/ALIssues.ml	488
infer/src/al/ALIssues.mli	30
infer/src/al/ALUtils.ml	102
infer/src/al/ALUtils.mli	15
infer/src/al/ALVar.ml	64
infer/src/al/ALVar.mli	28
infer/src/al/CLintersContext.ml	46
infer/src/al/CLintersContext.mli	30
infer/src/al/CPredicatesOnTwoNodes.ml	25
infer/src/al/CPredicatesOnTwoNodes.mli	9
infer/src/al/CTL.ml	900
infer/src/al/CTL.mli	44
infer/src/al/CTLExceptions.ml	27
infer/src/al/CTLExceptions.mli	14
infer/src/al/CTLParserHelper.ml	32
infer/src/al/CTLParserHelper.mli	9
infer/src/al/CTLTypes.ml	179
infer/src/al/CTLTypes.mli	66
infer/src/al/CiOSVersionNumbers.ml	69
infer/src/al/CiOSVersionNumbers.mli	11
infer/src/al/ComponentKit.ml	191
infer/src/al/ComponentKit.mli	15
infer/src/al/RegisterCallback.ml	9
infer/src/al/RegisterCallback.mli	9
infer/src/al/cIssue.ml	33
infer/src/al/cIssue.mli	17
infer/src/al/cPredicates.ml	1273
infer/src/al/cPredicates.mli	330
infer/src/al/ctl_lexer.mll	101
infer/src/al/ctl_parser.mly	307
infer/src/al/ctl_parser_types.ml	577
infer/src/al/ctl_parser_types.mli	63
infer/src/al/dune.in	27
infer/src/al/types_lexer.mll	72
infer/src/al/types_parser.mly	148
infer/src/atd/AtdDeps.ml	11
infer/src/atd/AtdDeps.mli	12
infer/src/atd/InferCommand.ml	41
infer/src/atd/InferCommand.mli	29
infer/src/backend/CCallSpecializedWithClosures.ml	74
infer/src/backend/CCallSpecializedWithClosures.mli	22
infer/src/backend/CallGraph.ml	113
infer/src/backend/CallGraph.mli	45
infer/src/backend/CallbackOfChecker.ml	66
infer/src/backend/CallbackOfChecker.mli	50
infer/src/backend/ClosureSubstSpecializedMethod.ml	300
infer/src/backend/ClosureSubstSpecializedMethod.mli	9
infer/src/backend/ClosuresSubstitution.ml	147
infer/src/backend/ClosuresSubstitution.mli	9
infer/src/backend/Devirtualizer.ml	139
infer/src/backend/Devirtualizer.mli	10
infer/src/backend/FileScheduler.ml	20
infer/src/backend/FileScheduler.mli	8
infer/src/backend/GCStats.ml	120
infer/src/backend/GCStats.mli	22
infer/src/backend/InferAnalyze.ml	249
infer/src/backend/InferAnalyze.mli	13
infer/src/backend/InferAnalyzeJson.ml	628
infer/src/backend/InferAnalyzeJson.mli	9
infer/src/backend/Issue.ml	41
infer/src/backend/Issue.mli	13
infer/src/backend/NodePrinter.ml	40
infer/src/backend/NodePrinter.mli	15
infer/src/backend/Payloads.ml	79
infer/src/backend/Payloads.mli	35
infer/src/backend/ProcLocker.ml	38
infer/src/backend/ProcLocker.mli	15
infer/src/backend/Procedures.ml	111
infer/src/backend/Procedures.mli	19
infer/src/backend/RestartScheduler.ml	105
infer/src/backend/RestartScheduler.mli	11
infer/src/backend/ReverseAnalysisCallGraph.ml	14
infer/src/backend/ReverseAnalysisCallGraph.mli	9
infer/src/backend/StarvationGlobalAnalysis.ml	84
infer/src/backend/StarvationGlobalAnalysis.mli	8
infer/src/backend/Summary.ml	279
infer/src/backend/Summary.mli	73
infer/src/backend/SyntacticCallGraph.ml	128
infer/src/backend/SyntacticCallGraph.mli	16
infer/src/backend/Tasks.ml	52
infer/src/backend/Tasks.mli	24
infer/src/backend/callbacks.ml	62
infer/src/backend/callbacks.mli	44
infer/src/backend/mergeCapture.ml	92
infer/src/backend/mergeCapture.mli	9
infer/src/backend/ondemand.ml	313
infer/src/backend/ondemand.mli	25
infer/src/backend/preanal.ml	430
infer/src/backend/preanal.mli	10
infer/src/backend/printer.ml	283
infer/src/backend/printer.mli	20
infer/src/backend/registerCheckers.ml	217
infer/src/backend/registerCheckers.mli	11
infer/src/base/BuckMode.ml	28
infer/src/base/BuckMode.mli	14
infer/src/base/Checker.ml	458
infer/src/base/Checker.mli	79
infer/src/base/ClangProc.ml	12
infer/src/base/ClangProc.mli	12
infer/src/base/CommandDoc.ml	351
infer/src/base/CommandDoc.mli	13
infer/src/base/CommandLineOption.ml	1045
infer/src/base/CommandLineOption.mli	220
infer/src/base/Config.ml	2878
infer/src/base/Config.mli	415
infer/src/base/CostIssues.ml	44
infer/src/base/CostIssues.mli	21
infer/src/base/CostIssuesTestField.ml	14
infer/src/base/CostIssuesTestField.mli	9
infer/src/base/DB.ml	121
infer/src/base/DB.mli	48
infer/src/base/DBWriter.ml	402
infer/src/base/DBWriter.mli	40
infer/src/base/Die.ml	54
infer/src/base/Die.mli	26
infer/src/base/Epilogues.ml	37
infer/src/base/Epilogues.mli	16
infer/src/base/Exception.ml	46
infer/src/base/Exception.mli	22
infer/src/base/ExecutionDuration.ml	58
infer/src/base/ExecutionDuration.mli	21
infer/src/base/FileDiff.ml	71
infer/src/base/FileDiff.mli	23
infer/src/base/ForkUtils.ml	16
infer/src/base/ForkUtils.mli	9
infer/src/base/IssueType.ml	787
infer/src/base/IssueType.mli	227
infer/src/base/IssuesTestField.ml	40
infer/src/base/IssuesTestField.mli	25
infer/src/base/Language.ml	15
infer/src/base/Language.mli	13
infer/src/base/LineReader.ml	33
infer/src/base/LineReader.mli	16
infer/src/base/Location.ml	46
infer/src/base/Location.mli	29
infer/src/base/LogEntry.ml	31
infer/src/base/LogEntry.mli	21
infer/src/base/Logging.ml	372
infer/src/base/Logging.mli	100
infer/src/base/MarkupFormatter.ml	67
infer/src/base/MarkupFormatter.mli	26
infer/src/base/PerfEvent.ml	226
infer/src/base/PerfEvent.mli	36
infer/src/base/Process.ml	86
infer/src/base/Process.mli	27
infer/src/base/ProcessPool.ml	415
infer/src/base/ProcessPool.mli	56
infer/src/base/ProcessPoolState.ml	14
infer/src/base/ProcessPoolState.mli	15
infer/src/base/RestartSchedulerException.ml	11
infer/src/base/RestartSchedulerException.mli	12
infer/src/base/ResultsDatabase.ml	170
infer/src/base/ResultsDatabase.mli	29
infer/src/base/ResultsDir.ml	127
infer/src/base/ResultsDir.mli	30
infer/src/base/ResultsDirEntryName.ml	223
infer/src/base/ResultsDirEntryName.mli	54
infer/src/base/Scuba.ml	50
infer/src/base/Scuba.mli	29
infer/src/base/ScubaLogging.ml	69
infer/src/base/ScubaLogging.mli	29
infer/src/base/Serialization.ml	71
infer/src/base/Serialization.mli	28
infer/src/base/SourceFile.ml	335
infer/src/base/SourceFile.mli	50
infer/src/base/SqliteUtils.ml	94
infer/src/base/SqliteUtils.mli	64
infer/src/base/Stats.ml	277
infer/src/base/Stats.mli	33
infer/src/base/TaskBar.ml	163
infer/src/base/TaskBar.mli	23
infer/src/base/Utils.ml	424
infer/src/base/Utils.mli	118
infer/src/base/Version.ml.in	36
infer/src/base/Version.mli	21
infer/src/base/costKind.ml	45
infer/src/base/costKind.mli	15
infer/src/biabduction/Abs.ml	1269
infer/src/biabduction/Abs.mli	38
infer/src/biabduction/Absarray.ml	647
infer/src/biabduction/Absarray.mli	19
infer/src/biabduction/Attribute.ml	340
infer/src/biabduction/Attribute.mli	90
infer/src/biabduction/BiabductionConfig.ml	25
infer/src/biabduction/BiabductionConfig.mli	22
infer/src/biabduction/BiabductionReporting.ml	33
infer/src/biabduction/BiabductionReporting.mli	19
infer/src/biabduction/BiabductionSummary.ml	228
infer/src/biabduction/BiabductionSummary.mli	61
infer/src/biabduction/Buckets.ml	150
infer/src/biabduction/Buckets.mli	16
infer/src/biabduction/Builtin.ml	50
infer/src/biabduction/Builtin.mli	26
infer/src/biabduction/BuiltinDefn.ml	836
infer/src/biabduction/BuiltinDefn.mli	12
infer/src/biabduction/Dom.ml	2038
infer/src/biabduction/Dom.mli	23
infer/src/biabduction/DotBiabduction.ml	973
infer/src/biabduction/DotBiabduction.mli	10
infer/src/biabduction/Exceptions.ml	160
infer/src/biabduction/Exceptions.mli	48
infer/src/biabduction/JoinState.ml	13
infer/src/biabduction/JoinState.mli	12
infer/src/biabduction/Match.ml	817
infer/src/biabduction/Match.mli	71
infer/src/biabduction/Paths.ml	606
infer/src/biabduction/Paths.mli	81
infer/src/biabduction/Predicates.ml	1037
infer/src/biabduction/Predicates.mli	267
infer/src/biabduction/Prop.ml	2356
infer/src/biabduction/Prop.mli	231
infer/src/biabduction/PropUtil.ml	174
infer/src/biabduction/PropUtil.mli	15
infer/src/biabduction/Propgraph.ml	229
infer/src/biabduction/Propgraph.mli	27
infer/src/biabduction/Propset.ml	63
infer/src/biabduction/Propset.mli	53
infer/src/biabduction/Prover.ml	2389
infer/src/biabduction/Prover.mli	70
infer/src/biabduction/Rearrange.ml	1213
infer/src/biabduction/Rearrange.mli	26
infer/src/biabduction/RetainCycles.ml	233
infer/src/biabduction/RetainCycles.mli	8
infer/src/biabduction/RetainCyclesType.ml	168
infer/src/biabduction/RetainCyclesType.mli	21
infer/src/biabduction/State.ml	208
infer/src/biabduction/State.mli	57
infer/src/biabduction/SymExec.ml	1683
infer/src/biabduction/SymExec.mli	39
infer/src/biabduction/SymOp.ml	90
infer/src/biabduction/SymOp.mli	38
infer/src/biabduction/Tabulation.ml	1279
infer/src/biabduction/Tabulation.mli	32
infer/src/biabduction/Timeout.ml	103
infer/src/biabduction/Timeout.mli	14
infer/src/biabduction/errdesc.ml	1020
infer/src/biabduction/errdesc.mli	73
infer/src/biabduction/interproc.ml	985
infer/src/biabduction/interproc.mli	12
infer/src/bufferoverrun/FuncPtr.ml	32
infer/src/bufferoverrun/FuncPtr.mli	15
infer/src/bufferoverrun/absLoc.ml	515
infer/src/bufferoverrun/absLoc.mli	109
infer/src/bufferoverrun/arrayBlk.ml	327
infer/src/bufferoverrun/arrayBlk.mli	66
infer/src/bufferoverrun/boolean.ml	51
infer/src/bufferoverrun/boolean.mli	29
infer/src/bufferoverrun/bounds.ml	1174
infer/src/bufferoverrun/bounds.mli	116
infer/src/bufferoverrun/bufferOverrunAnalysis.ml	483
infer/src/bufferoverrun/bufferOverrunAnalysis.mli	17
infer/src/bufferoverrun/bufferOverrunAnalysisSummary.ml	11
infer/src/bufferoverrun/bufferOverrunAnalysisSummary.mli	10
infer/src/bufferoverrun/bufferOverrunChecker.ml	430
infer/src/bufferoverrun/bufferOverrunChecker.mli	11
infer/src/bufferoverrun/bufferOverrunCheckerSummary.ml	10
infer/src/bufferoverrun/bufferOverrunCheckerSummary.mli	9
infer/src/bufferoverrun/bufferOverrunDomain.ml	2145
infer/src/bufferoverrun/bufferOverrunDomain.mli	457
infer/src/bufferoverrun/bufferOverrunField.ml	93
infer/src/bufferoverrun/bufferOverrunField.mli	73
infer/src/bufferoverrun/bufferOverrunModels.ml	1958
infer/src/bufferoverrun/bufferOverrunModels.mli	71
infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml	94
infer/src/bufferoverrun/bufferOverrunOndemandEnv.mli	17
infer/src/bufferoverrun/bufferOverrunProofObligations.ml	773
infer/src/bufferoverrun/bufferOverrunProofObligations.mli	67
infer/src/bufferoverrun/bufferOverrunSemantics.ml	807
infer/src/bufferoverrun/bufferOverrunSemantics.mli	82
infer/src/bufferoverrun/bufferOverrunTrace.ml	228
infer/src/bufferoverrun/bufferOverrunTrace.mli	45
infer/src/bufferoverrun/bufferOverrunTypModels.ml	35
infer/src/bufferoverrun/bufferOverrunTypModels.mli	13
infer/src/bufferoverrun/bufferOverrunUtils.ml	378
infer/src/bufferoverrun/bufferOverrunUtils.mli	104
infer/src/bufferoverrun/ints.ml	68
infer/src/bufferoverrun/ints.mli	51
infer/src/bufferoverrun/itv.ml	584
infer/src/bufferoverrun/itv.mli	159
infer/src/bufferoverrun/polynomials.ml	750
infer/src/bufferoverrun/polynomials.mli	73
infer/src/bufferoverrun/symb.ml	305
infer/src/bufferoverrun/symb.mli	85
infer/src/c_stubs/Fnv64Hash.ml	7
infer/src/c_stubs/fnv64_hash.c	22
infer/src/checkers/DisjunctiveDemo.ml	70
infer/src/checkers/DisjunctiveDemo.mli	12
infer/src/checkers/ExternalConfigImpactData.ml	41
infer/src/checkers/ExternalConfigImpactData.mli	8
infer/src/checkers/LithoDomain.ml	429
infer/src/checkers/LithoDomain.mli	57
infer/src/checkers/ParameterNotNullChecked.ml	179
infer/src/checkers/ParameterNotNullChecked.mli	10
infer/src/checkers/PurityAnalysis.ml	172
infer/src/checkers/PurityAnalysis.mli	10
infer/src/checkers/PurityChecker.ml	34
infer/src/checkers/PurityChecker.mli	9
infer/src/checkers/RequiredProps.ml	284
infer/src/checkers/RequiredProps.mli	8
infer/src/checkers/SelfInBlock.ml	505
infer/src/checkers/SelfInBlock.mli	8
infer/src/checkers/SimpleLineage.ml	870
infer/src/checkers/SimpleLineage.mli	13
infer/src/checkers/Siof.ml	263
infer/src/checkers/Siof.mli	8
infer/src/checkers/SiofDomain.ml	12
infer/src/checkers/SiofDomain.mli	23
infer/src/checkers/SiofTrace.ml	51
infer/src/checkers/SiofTrace.mli	12
infer/src/checkers/addressTaken.ml	43
infer/src/checkers/annotationReachability.ml	475
infer/src/checkers/annotationReachability.mli	9
infer/src/checkers/annotationReachabilityDomain.ml	16
infer/src/checkers/annotationReachabilityDomain.mli	11
infer/src/checkers/control.ml	175
infer/src/checkers/control.mli	26
infer/src/checkers/dominators.ml	29
infer/src/checkers/fragmentRetainsViewChecker.ml	79
infer/src/checkers/fragmentRetainsViewChecker.mli	8
infer/src/checkers/functionPointers.ml	77
infer/src/checkers/functionPointers.mli	8
infer/src/checkers/impurity.ml	235
infer/src/checkers/impurity.mli	9
infer/src/checkers/impurityDomain.ml	107
infer/src/checkers/impurityDomain.mli	38
infer/src/checkers/inefficientKeysetIterator.ml	108
infer/src/checkers/inefficientKeysetIterator.mli	8
infer/src/checkers/liveness.ml	357
infer/src/checkers/liveness.mli	26
infer/src/checkers/loopInvariant.ml	266
infer/src/checkers/loopInvariant.mli	31
infer/src/checkers/loop_control.ml	155
infer/src/checkers/loop_control.mli	22
infer/src/checkers/printfArgs.ml	161
infer/src/checkers/printfArgs.mli	8
infer/src/checkers/purityDomain.ml	27
infer/src/checkers/purityDomain.mli	29
infer/src/checkers/purityModels.ml	154
infer/src/checkers/reachingDefs.ml	60
infer/src/checkers/reachingDefs.mli	16
infer/src/checkers/uninit.ml	310
infer/src/checkers/uninit.mli	8
infer/src/checkers/uninitDomain.ml	149
infer/src/clang/CAddImplicitDeallocImpl.ml	167
infer/src/clang/CAddImplicitDeallocImpl.mli	16
infer/src/clang/CAddImplicitGettersSetters.ml	87
infer/src/clang/CAddImplicitGettersSetters.mli	13
infer/src/clang/CMethodProperties.ml	161
infer/src/clang/CMethodProperties.mli	21
infer/src/clang/CStructUtils.ml	24
infer/src/clang/CStructUtils.mli	9
infer/src/clang/CType.ml	70
infer/src/clang/CType.mli	16
infer/src/clang/CType_decl.ml	737
infer/src/clang/CType_decl.mli	54
infer/src/clang/Capture.ml	185
infer/src/clang/Capture.mli	20
infer/src/clang/ClangCommand.ml	235
infer/src/clang/ClangCommand.mli	29
infer/src/clang/ClangFrontendStubs.ml	26
infer/src/clang/ClangFrontendStubs.mli	26
infer/src/clang/ClangPointers.ml	82
infer/src/clang/ClangPointers.mli	19
infer/src/clang/ClangQuotes.ml	35
infer/src/clang/ClangQuotes.mli	16
infer/src/clang/ClangWrapper.ml	177
infer/src/clang/ClangWrapper.mli	12
infer/src/clang/ProcessAST.ml	27
infer/src/clang/ProcessAST.mli	8
infer/src/clang/SwitchCase.ml	28
infer/src/clang/SwitchCase.mli	14
infer/src/clang/astToRangeMap.ml	86
infer/src/clang/astToRangeMap.mli	11
infer/src/clang/ast_expressions.ml	121
infer/src/clang/ast_expressions.mli	27
infer/src/clang/cArithmetic_trans.ml	294
infer/src/clang/cArithmetic_trans.mli	30
infer/src/clang/cAst_utils.ml	479
infer/src/clang/cAst_utils.mli	93
infer/src/clang/cContext.ml	131
infer/src/clang/cContext.mli	64
infer/src/clang/cEnum_decl.ml	50
infer/src/clang/cEnum_decl.mli	10
infer/src/clang/cField_decl.ml	113
infer/src/clang/cField_decl.mli	19
infer/src/clang/cFrontend.ml	54
infer/src/clang/cFrontend.mli	12
infer/src/clang/cFrontend_config.ml	86
infer/src/clang/cFrontend_config.mli	75
infer/src/clang/cFrontend_decl.ml	481
infer/src/clang/cFrontend_decl.mli	9
infer/src/clang/cFrontend_errors.ml	42
infer/src/clang/cFrontend_errors.mli	38
infer/src/clang/cGeneral_utils.ml	93
infer/src/clang/cGeneral_utils.mli	24
infer/src/clang/cLocation.ml	87
infer/src/clang/cLocation.mli	21
infer/src/clang/cMethodSignature.ml	80
infer/src/clang/cMethodSignature.mli	65
infer/src/clang/cMethod_trans.ml	331
infer/src/clang/cMethod_trans.mli	56
infer/src/clang/cModule_type.ml	42
infer/src/clang/cScope.ml	295
infer/src/clang/cScope.mli	16
infer/src/clang/cTrans.ml	5018
infer/src/clang/cTrans.mli	8
infer/src/clang/cTrans_models.ml	86
infer/src/clang/cTrans_models.mli	21
infer/src/clang/cTrans_utils.ml	677
infer/src/clang/cTrans_utils.mli	247
infer/src/clang/cType_to_sil_type.ml	242
infer/src/clang/cType_to_sil_type.mli	11
infer/src/clang/cVar_decl.ml	207
infer/src/clang/cVar_decl.mli	37
infer/src/clang/clang_ast_extend.ml	108
infer/src/clang/dune.in	27
infer/src/clang/objcCategory_decl.ml	101
infer/src/clang/objcCategory_decl.mli	23
infer/src/clang/objcInterface_decl.ml	133
infer/src/clang/objcInterface_decl.mli	21
infer/src/clang/objcMethod_decl.ml	25
infer/src/clang/objcMethod_decl.mli	10
infer/src/clang/objcProperty_decl.ml	24
infer/src/clang/objcProperty_decl.mli	16
infer/src/clang/objcProtocol_decl.ml	30
infer/src/clang/objcProtocol_decl.mli	10
infer/src/clang/unit/ALIssuesTests.ml	23
infer/src/clang/unit/ALIssuesTests.mli	8
infer/src/clang/unit/CiOSVersionNumbersTests.ml	23
infer/src/clang/unit/ClangTests.ml	8
infer/src/clang/unit/ClangTests.mli	8
infer/src/clang/unit/QualifiedCppNameTests.ml	47
infer/src/clang/unit/QualifiedCppNameTests.mli	8
infer/src/concurrency/AbstractAddress.ml	250
infer/src/concurrency/AbstractAddress.mli	42
infer/src/concurrency/ConcurrencyUtils.ml	28
infer/src/concurrency/ConcurrencyUtils.mli	9
infer/src/concurrency/IssueAuxData.ml	10
infer/src/concurrency/IssueAuxData.mli	10
infer/src/concurrency/RacerDDomain.ml	585
infer/src/concurrency/RacerDDomain.mli	148
infer/src/concurrency/RacerDFileAnalysis.ml	563
infer/src/concurrency/RacerDFileAnalysis.mli	8
infer/src/concurrency/RacerDModels.ml	592
infer/src/concurrency/RacerDModels.mli	52
infer/src/concurrency/RacerDProcAnalysis.ml	316
infer/src/concurrency/RacerDProcAnalysis.mli	8
infer/src/concurrency/StarvationModels.ml	367
infer/src/concurrency/StarvationModels.mli	57
infer/src/concurrency/starvation.ml	785
infer/src/concurrency/starvation.mli	34
infer/src/concurrency/starvationDomain.ml	861
infer/src/concurrency/starvationDomain.mli	205
infer/src/cost/ConfigImpactAnalysis.ml	992
infer/src/cost/ConfigImpactAnalysis.mli	53
infer/src/cost/boundMap.ml	86
infer/src/cost/boundMap.mli	27
infer/src/cost/constraintSolver.ml	155
infer/src/cost/constraintSolver.mli	21
infer/src/cost/controlFlowCost.ml	170
infer/src/cost/controlFlowCost.mli	47
infer/src/cost/cost.ml	420
infer/src/cost/cost.mli	26
infer/src/cost/costAllocationModels.ml	18
infer/src/cost/costAllocationModels.mli	10
infer/src/cost/costAutoreleaseModels.ml	55
infer/src/cost/costAutoreleaseModels.mli	10
infer/src/cost/costDomain.ml	98
infer/src/cost/costDomain.mli	64
infer/src/cost/costInstantiate.ml	102
infer/src/cost/costInstantiate.mli	23
infer/src/cost/costModels.ml	445
infer/src/cost/costUtils.ml	91
infer/src/cost/hoisting.ml	123
infer/src/cost/hoisting.mli	13
infer/src/deadcode/dune.in	16
infer/src/dotnet/ResourceLeakCSDomain.ml	228
infer/src/dotnet/ResourceLeakCSDomain.mli	28
infer/src/dotnet/ResourceLeaksCS.ml	181
infer/src/dotnet/ResourceLeaksCS.mli	9
infer/src/dune.common.in	15
infer/src/dune.in	124
infer/src/erlang/ErlangAst.ml	156
infer/src/erlang/ErlangAstValidator.ml	278
infer/src/erlang/ErlangAstValidator.mli	11
infer/src/erlang/ErlangBlock.ml	73
infer/src/erlang/ErlangBlock.mli	22
infer/src/erlang/ErlangEnvironment.ml	157
infer/src/erlang/ErlangEnvironment.mli	49
infer/src/erlang/ErlangJsonParser.ml	667
infer/src/erlang/ErlangJsonParser.mli	8
infer/src/erlang/ErlangNode.ml	41
infer/src/erlang/ErlangNode.mli	18
infer/src/erlang/ErlangScopes.ml	242
infer/src/erlang/ErlangScopes.mli	11
infer/src/erlang/ErlangTranslator.ml	1165
infer/src/erlang/ErlangTranslator.mli	10
infer/src/erlang/ErlangTypes.ml	128
infer/src/erlang/ErlangTypes.mli	22
infer/src/infer.ml	165
infer/src/infer.mli	8
infer/src/infertop.ml	8
infer/src/infertop.mli	8
infer/src/inferunit.ml	48
infer/src/inferunit.mli	8
infer/src/integration/Ant.ml	60
infer/src/integration/Ant.mli	9
infer/src/integration/Buck.ml	411
infer/src/integration/Buck.mli	39
infer/src/integration/Buck2.ml	44
infer/src/integration/Buck2.mli	9
infer/src/integration/BuckBuildReport.ml	134
infer/src/integration/BuckBuildReport.mli	10
infer/src/integration/BuckFlavors.ml	77
infer/src/integration/BuckFlavors.mli	15
infer/src/integration/BuckJavaFlavor.ml	41
infer/src/integration/BuckJavaFlavor.mli	9
infer/src/integration/CaptureCompilationDatabase.ml	158
infer/src/integration/CaptureCompilationDatabase.mli	22
infer/src/integration/Clang.ml	31
infer/src/integration/Clang.mli	9
infer/src/integration/CompilationDatabase.ml	132
infer/src/integration/CompilationDatabase.mli	19
infer/src/integration/ConfigImpactIssuesTest.ml	40
infer/src/integration/ConfigImpactIssuesTest.mli	8
infer/src/integration/ConfigImpactPostProcess.ml	56
infer/src/integration/ConfigImpactPostProcess.mli	15
infer/src/integration/CostIssuesTest.ml	57
infer/src/integration/CostIssuesTest.mli	8
infer/src/integration/Differential.ml	508
infer/src/integration/Differential.mli	21
infer/src/integration/DifferentialFilters.ml	158
infer/src/integration/DifferentialFilters.mli	37
infer/src/integration/Driver.ml	442
infer/src/integration/Driver.mli	41
infer/src/integration/Gradle.ml	114
infer/src/integration/Gradle.mli	12
infer/src/integration/Help.ml	277
infer/src/integration/Help.mli	20
infer/src/integration/InferCommandImplementation.ml	229
infer/src/integration/InferCommandImplementation.mli	13
infer/src/integration/IssuesTest.ml	108
infer/src/integration/IssuesTest.mli	9
infer/src/integration/Javac.ml	119
infer/src/integration/Javac.mli	13
infer/src/integration/JsonReports.ml	374
infer/src/integration/JsonReports.mli	12
infer/src/integration/Maven.ml	175
infer/src/integration/Maven.mli	8
infer/src/integration/NdkBuild.ml	46
infer/src/integration/NdkBuild.mli	9
infer/src/integration/NullsafeAnnotationGraphUtils.ml	51
infer/src/integration/NullsafeAnnotationGraphUtils.mli	9
infer/src/integration/Rebar3.ml	61
infer/src/integration/Rebar3.mli	8
infer/src/integration/ReportDiff.ml	52
infer/src/integration/ReportDiff.mli	15
infer/src/integration/ReportSimpleLineage.ml	34
infer/src/integration/ReportSimpleLineage.mli	8
infer/src/integration/SarifReport.ml	122
infer/src/integration/SarifReport.mli	9
infer/src/integration/TextReport.ml	150
infer/src/integration/TextReport.mli	16
infer/src/integration/TraceBugs.ml	180
infer/src/integration/TraceBugs.mli	21
infer/src/integration/XMLReport.ml	45
infer/src/integration/XMLReport.mli	9
infer/src/integration/XcodeBuild.ml	50
infer/src/integration/XcodeBuild.mli	9
infer/src/integration/dune.in	28
infer/src/istd/ARList.ml	196
infer/src/istd/ARList.mli	39
infer/src/istd/Escape.ml	110
infer/src/istd/Escape.mli	23
infer/src/istd/GOption.ml	13
infer/src/istd/GOption.mli	13
infer/src/istd/HashNormalizer.ml	35
infer/src/istd/HashNormalizer.mli	23
infer/src/istd/ICompare.ml	8
infer/src/istd/ICompare.mli	8
infer/src/istd/IContainer.ml	63
infer/src/istd/IContainer.mli	46
infer/src/istd/IExn.ml	14
infer/src/istd/IExn.mli	13
infer/src/istd/IList.ml	205
infer/src/istd/IList.mli	58
infer/src/istd/IOption.ml	26
infer/src/istd/IOption.mli	33
infer/src/istd/IResult.ml	12
infer/src/istd/IResult.mli	13
infer/src/istd/ISequence.ml	10
infer/src/istd/ISequence.mli	10
infer/src/istd/IStd.ml	27
infer/src/istd/ISys.ml	9
infer/src/istd/ISys.mli	10
infer/src/istd/ImperativeUnionFind.ml	113
infer/src/istd/ImperativeUnionFind.mli	29
infer/src/istd/IntSet.ml	8
infer/src/istd/IntSet.mli	7
infer/src/istd/LRUHashtbl.ml	87
infer/src/istd/LRUHashtbl.mli	26
infer/src/istd/PartialOrder.ml	53
infer/src/istd/PartialOrder.mli	16
infer/src/istd/PhysEqual.ml	24
infer/src/istd/PhysEqual.mli	20
infer/src/istd/PolyVariantEqual.ml	9
infer/src/istd/PolyVariantEqual.mli	12
infer/src/istd/Pp.ml	173
infer/src/istd/Pp.mli	85
infer/src/istd/PrettyPrintable.ml	222
infer/src/istd/PrettyPrintable.mli	132
infer/src/istd/RecencyMap.ml	186
infer/src/istd/RecencyMap.mli	40
infer/src/istd/RevList.ml	24
infer/src/istd/RevList.mli	26
infer/src/istd/SpecialChars.ml	30
infer/src/istd/SpecialChars.mli	14
infer/src/istd/UnionFind.ml	166
infer/src/istd/UnionFind.mli	44
infer/src/java/JavaFrontendStubs.ml	17
infer/src/java/JavaFrontendStubs.mli	21
infer/src/java/dune.in	29
infer/src/java/jAnnotation.ml	86
infer/src/java/jAnnotation.mli	13
infer/src/java/jClasspath.ml	195
infer/src/java/jClasspath.mli	22
infer/src/java/jContext.ml	80
infer/src/java/jContext.mli	56
infer/src/java/jFrontend.ml	223
infer/src/java/jFrontend.mli	23
infer/src/java/jMain.ml	109
infer/src/java/jMain.mli	12
infer/src/java/jModels.ml	41
infer/src/java/jModels.mli	13
infer/src/java/jProgramDesc.ml	72
infer/src/java/jProgramDesc.mli	25
infer/src/java/jSourceAST.ml	32
infer/src/java/jSourceAST.mli	14
infer/src/java/jSourceFileInfo.mll	393
infer/src/java/jSourceLexer.mll	220
infer/src/java/jSourceLocations.ml	49
infer/src/java/jSourceLocations.mli	10
infer/src/java/jSourceParser.mly	616
infer/src/java/jTrans.ml	1165
infer/src/java/jTrans.mli	59
infer/src/java/jTransExn.ml	180
infer/src/java/jTransExn.mli	16
infer/src/java/jTransType.ml	341
infer/src/java/jTransType.mli	50
infer/src/labs/00_dummy_checker/ResourceLeakDomain.ml	15
infer/src/labs/00_dummy_checker/ResourceLeakDomain.mli	10
infer/src/labs/00_dummy_checker/ResourceLeaks.ml	73
infer/src/labs/00_dummy_checker/ResourceLeaks.mli	9
infer/src/labs/01_integer_domain/ResourceLeakDomain.ml	18
infer/src/labs/01_integer_domain/ResourceLeakDomain.mli	13
infer/src/labs/01_integer_domain/ResourceLeaks.ml	75
infer/src/labs/01_integer_domain/ResourceLeaks.mli	9
infer/src/labs/02_domain_join/ResourceLeakDomain.ml	18
infer/src/labs/02_domain_join/ResourceLeakDomain.mli	13
infer/src/labs/02_domain_join/ResourceLeaks.ml	75
infer/src/labs/02_domain_join/ResourceLeaks.mli	9
infer/src/labs/03_domain_top/ResourceLeakDomain.ml	37
infer/src/labs/03_domain_top/ResourceLeakDomain.mli	13
infer/src/labs/03_domain_top/ResourceLeaks.ml	75
infer/src/labs/03_domain_top/ResourceLeaks.mli	9
infer/src/labs/04_interprocedural/ResourceLeakDomain.ml	65
infer/src/labs/04_interprocedural/ResourceLeakDomain.mli	15
infer/src/labs/04_interprocedural/ResourceLeaks.ml	88
infer/src/labs/04_interprocedural/ResourceLeaks.mli	9
infer/src/labs/05_access_paths_interprocedural/ResourceLeakDomain.ml	143
infer/src/labs/05_access_paths_interprocedural/ResourceLeakDomain.mli	20
infer/src/labs/05_access_paths_interprocedural/ResourceLeaks.ml	97
infer/src/labs/05_access_paths_interprocedural/ResourceLeaks.mli	9
infer/src/labs/ResourceLeakDomain.ml	15
infer/src/labs/ResourceLeakDomain.mli	10
infer/src/labs/ResourceLeaks.ml	73
infer/src/labs/ResourceLeaks.mli	9
infer/src/linking-flags-tv.sexp	17
infer/src/linking-flags.sexp	15
infer/src/llvm/llvm_sil.ml	34
infer/src/nullsafe/AggregatedSummaries.ml	126
infer/src/nullsafe/AggregatedSummaries.mli	26
infer/src/nullsafe/AnnotatedField.ml	102
infer/src/nullsafe/AnnotatedField.mli	11
infer/src/nullsafe/AnnotatedNullability.ml	162
infer/src/nullsafe/AnnotatedNullability.mli	82
infer/src/nullsafe/AnnotatedSignature.ml	217
infer/src/nullsafe/AnnotatedSignature.mli	40
infer/src/nullsafe/AnnotatedType.ml	10
infer/src/nullsafe/AnnotatedType.mli	10
infer/src/nullsafe/AnnotationGraph.ml	190
infer/src/nullsafe/AnnotationGraph.mli	16
infer/src/nullsafe/AssignmentRule.ml	275
infer/src/nullsafe/AssignmentRule.mli	48
infer/src/nullsafe/ClassLevelAnalysis.ml	291
infer/src/nullsafe/ClassLevelAnalysis.mli	17
infer/src/nullsafe/DereferenceRule.ml	136
infer/src/nullsafe/DereferenceRule.mli	45
infer/src/nullsafe/EradicateReporting.ml	36
infer/src/nullsafe/EradicateReporting.mli	13
infer/src/nullsafe/ErrorRenderingUtils.ml	261
infer/src/nullsafe/ErrorRenderingUtils.mli	45
infer/src/nullsafe/FileLevelAnalysis.ml	51
infer/src/nullsafe/FileLevelAnalysis.mli	10
infer/src/nullsafe/IDEnv.ml	48
infer/src/nullsafe/IDEnv.mli	15
infer/src/nullsafe/InferredNullability.ml	59
infer/src/nullsafe/InferredNullability.mli	33
infer/src/nullsafe/InheritanceRule.ml	104
infer/src/nullsafe/InheritanceRule.mli	41
infer/src/nullsafe/Initializers.ml	124
infer/src/nullsafe/Initializers.mli	29
infer/src/nullsafe/Nullability.ml	87
infer/src/nullsafe/Nullability.mli	64
infer/src/nullsafe/NullsafeInit.ml	44
infer/src/nullsafe/NullsafeInit.mli	9
infer/src/nullsafe/NullsafeIssue.ml	139
infer/src/nullsafe/NullsafeIssue.mli	28
infer/src/nullsafe/NullsafeMode.ml	214
infer/src/nullsafe/NullsafeMode.mli	50
infer/src/nullsafe/NullsafeSummary.ml	10
infer/src/nullsafe/NullsafeSummary.mli	13
infer/src/nullsafe/OverAnnotatedRule.ml	40
infer/src/nullsafe/OverAnnotatedRule.mli	27
infer/src/nullsafe/ProvisionalAnnotation.ml	19
infer/src/nullsafe/ProvisionalAnnotation.mli	17
infer/src/nullsafe/ProvisionalViolation.ml	22
infer/src/nullsafe/ProvisionalViolation.mli	13
infer/src/nullsafe/ThirdPartyAnnotationGlobalRepo.ml	39
infer/src/nullsafe/ThirdPartyAnnotationGlobalRepo.mli	15
infer/src/nullsafe/ThirdPartyAnnotationInfo.ml	101
infer/src/nullsafe/ThirdPartyAnnotationInfo.mli	45
infer/src/nullsafe/ThirdPartyAnnotationInfoLoader.ml	22
infer/src/nullsafe/ThirdPartyAnnotationInfoLoader.mli	12
infer/src/nullsafe/ThirdPartyMethod.ml	148
infer/src/nullsafe/ThirdPartyMethod.mli	30
infer/src/nullsafe/eradicate.ml	240
infer/src/nullsafe/eradicate.mli	14
infer/src/nullsafe/eradicateChecks.ml	511
infer/src/nullsafe/immutableChecker.ml	44
infer/src/nullsafe/immutableChecker.mli	8
infer/src/nullsafe/modelTables.ml	834
infer/src/nullsafe/modelTables.mli	34
infer/src/nullsafe/models.ml	117
infer/src/nullsafe/models.mli	38
infer/src/nullsafe/typeCheck.ml	1362
infer/src/nullsafe/typeCheck.mli	32
infer/src/nullsafe/typeErr.ml	318
infer/src/nullsafe/typeErr.mli	67
infer/src/nullsafe/typeOrigin.ml	212
infer/src/nullsafe/typeOrigin.mli	51
infer/src/nullsafe/typeState.ml	64
infer/src/nullsafe/typeState.mli	24
infer/src/nullsafe/unit/AggregatedSummariesTest.ml	186
infer/src/nullsafe/unit/AllNullsafeTests.ml	8
infer/src/nullsafe/unit/AllNullsafeTests.mli	8
infer/src/nullsafe/unit/ThirdPartyAnnotationInfoTests.ml	253
infer/src/nullsafe/unit/ThirdPartyMethodTests.ml	110
infer/src/opensource/FbCostModels.ml	9
infer/src/opensource/FbCostModels.mli	9
infer/src/opensource/FbGKInteraction.ml	21
infer/src/opensource/FbGKInteraction.mli	20
infer/src/opensource/FbThreadSafety.ml	8
infer/src/opensource/FbThreadSafety.mli	8
infer/src/opensource/Scribe.ml	8
infer/src/opensource/Scribe.mli	8
infer/src/opensource/dune.in	19
infer/src/pulse/Pulse.ml	786
infer/src/pulse/Pulse.mli	8
infer/src/pulse/PulseAbductiveDecompiler.ml	18
infer/src/pulse/PulseAbductiveDecompiler.mli	18
infer/src/pulse/PulseAbductiveDomain.ml	1093
infer/src/pulse/PulseAbductiveDomain.mli	222
infer/src/pulse/PulseAbstractValue.ml	69
infer/src/pulse/PulseAbstractValue.mli	52
infer/src/pulse/PulseAccessResult.ml	108
infer/src/pulse/PulseAccessResult.mli	62
infer/src/pulse/PulseArithmetic.ml	56
infer/src/pulse/PulseArithmetic.mli	56
infer/src/pulse/PulseAttribute.ml	372
infer/src/pulse/PulseAttribute.mli	93
infer/src/pulse/PulseBaseAddressAttributes.ml	170
infer/src/pulse/PulseBaseAddressAttributes.mli	56
infer/src/pulse/PulseBaseDomain.ml	259
infer/src/pulse/PulseBaseDomain.mli	60
infer/src/pulse/PulseBaseMemory.ml	165
infer/src/pulse/PulseBaseMemory.mli	33
infer/src/pulse/PulseBaseStack.ml	59
infer/src/pulse/PulseBaseStack.mli	21
infer/src/pulse/PulseBasicInterface.ml	41
infer/src/pulse/PulseBlockSpecialization.ml	255
infer/src/pulse/PulseBlockSpecialization.mli	18
infer/src/pulse/PulseCItv.ml	405
infer/src/pulse/PulseCItv.mli	31
infer/src/pulse/PulseCallEvent.ml	27
infer/src/pulse/PulseCallEvent.mli	16
infer/src/pulse/PulseCallOperations.ml	301
infer/src/pulse/PulseCallOperations.mli	37
infer/src/pulse/PulseDecompiler.ml	175
infer/src/pulse/PulseDecompiler.mli	24
infer/src/pulse/PulseDiagnostic.ml	506
infer/src/pulse/PulseDiagnostic.mli	70
infer/src/pulse/PulseDomainInterface.ml	45
infer/src/pulse/PulseExecutionDomain.ml	107
infer/src/pulse/PulseExecutionDomain.mli	36
infer/src/pulse/PulseFormula.ml	1991
infer/src/pulse/PulseFormula.mli	62
infer/src/pulse/PulseInterproc.ml	843
infer/src/pulse/PulseInterproc.mli	31
infer/src/pulse/PulseInvalidation.ml	143
infer/src/pulse/PulseInvalidation.mli	43
infer/src/pulse/PulseLatentIssue.ml	68
infer/src/pulse/PulseLatentIssue.mli	21
infer/src/pulse/PulseModels.ml	18
infer/src/pulse/PulseModels.mli	14
infer/src/pulse/PulseModelsAndroid.ml	46
infer/src/pulse/PulseModelsAndroid.mli	9
infer/src/pulse/PulseModelsC.ml	85
infer/src/pulse/PulseModelsC.mli	9
infer/src/pulse/PulseModelsCSharp.ml	49
infer/src/pulse/PulseModelsCSharp.mli	9
infer/src/pulse/PulseModelsCpp.ml	507
infer/src/pulse/PulseModelsCpp.mli	18
infer/src/pulse/PulseModelsErlang.ml	611
infer/src/pulse/PulseModelsErlang.mli	9
infer/src/pulse/PulseModelsGenericArrayBackedCollection.ml	175
infer/src/pulse/PulseModelsGenericArrayBackedCollection.mli	65
infer/src/pulse/PulseModelsImport.ml	257
infer/src/pulse/PulseModelsImport.mli	84
infer/src/pulse/PulseModelsJava.ml	644
infer/src/pulse/PulseModelsJava.mli	22
infer/src/pulse/PulseModelsObjC.ml	285
infer/src/pulse/PulseModelsObjC.mli	10
infer/src/pulse/PulseModelsOptional.ml	202
infer/src/pulse/PulseModelsOptional.mli	9
infer/src/pulse/PulseNonDisjunctiveDomain.ml	86
infer/src/pulse/PulseNonDisjunctiveDomain.mli	20
infer/src/pulse/PulseNonDisjunctiveOperations.ml	167
infer/src/pulse/PulseObjectiveCSummary.ml	121
infer/src/pulse/PulseObjectiveCSummary.mli	18
infer/src/pulse/PulseOperations.ml	719
infer/src/pulse/PulseOperations.mli	290
infer/src/pulse/PulsePathCondition.ml	383
infer/src/pulse/PulsePathCondition.mli	73
infer/src/pulse/PulsePathContext.ml	25
infer/src/pulse/PulsePathContext.mli	20
infer/src/pulse/PulseRefCounting.ml	95
infer/src/pulse/PulseRefCounting.mli	11
infer/src/pulse/PulseReport.ml	207
infer/src/pulse/PulseReport.mli	35
infer/src/pulse/PulseResult.ml	113
infer/src/pulse/PulseResult.mli	59
infer/src/pulse/PulseSatUnsat.ml	24
infer/src/pulse/PulseSatUnsat.mli	26
infer/src/pulse/PulseSkippedCalls.ml	24
infer/src/pulse/PulseSkippedCalls.mli	11
infer/src/pulse/PulseSummary.ml	90
infer/src/pulse/PulseSummary.mli	19
infer/src/pulse/PulseTaint.ml	18
infer/src/pulse/PulseTaint.mli	14
infer/src/pulse/PulseTaintOperations.ml	183
infer/src/pulse/PulseTaintOperations.mli	18
infer/src/pulse/PulseTimestamp.ml	12
infer/src/pulse/PulseTimestamp.mli	12
infer/src/pulse/PulseTopl.ml	532
infer/src/pulse/PulseTopl.mli	39
infer/src/pulse/PulseTrace.ml	61
infer/src/pulse/PulseTrace.mli	35
infer/src/pulse/PulseUninitBlocklist.ml	17
infer/src/pulse/PulseUninitBlocklist.mli	9
infer/src/pulse/PulseValueHistory.ml	273
infer/src/pulse/PulseValueHistory.mli	67
infer/src/pulse/QSafeCapped.ml	30
infer/src/pulse/QSafeCapped.mli	25
infer/src/pulse/ZSafe.ml	32
infer/src/pulse/ZSafe.mli	37
infer/src/pulse/unit/PulseFormulaTest.ml	427
infer/src/pulse/unit/PulseFormulaTest.mli	7
infer/src/quandary/ClangTaintAnalysis.ml	92
infer/src/quandary/ClangTaintAnalysis.mli	8
infer/src/quandary/ClangTrace.ml	491
infer/src/quandary/ClangTrace.mli	8
infer/src/quandary/JavaTaintAnalysis.ml	82
infer/src/quandary/JavaTaintAnalysis.mli	8
infer/src/quandary/JavaTrace.ml	585
infer/src/quandary/JavaTrace.mli	8
infer/src/quandary/QuandaryConfig.ml	76
infer/src/quandary/QuandaryConfig.mli	21
infer/src/quandary/QuandarySummary.ml	21
infer/src/quandary/QuandarySummary.mli	16
infer/src/quandary/TaintAnalysis.ml	812
infer/src/quandary/TaintSpec.ml	31
infer/src/scripts/checkCopyright.ml	343
infer/src/scripts/checkCopyright.mli	6
infer/src/topl/Topl.ml	23
infer/src/topl/Topl.mli	11
infer/src/topl/ToplAst.ml	34
infer/src/topl/ToplAstOps.ml	70
infer/src/topl/ToplAstOps.mli	8
infer/src/topl/ToplAutomaton.ml	142
infer/src/topl/ToplAutomaton.mli	35
infer/src/topl/ToplLexer.mll	81
infer/src/topl/ToplParser.mly	94
infer/src/unit/CStubsTests.ml	20
infer/src/unit/DifferentialFiltersTests.ml	222
infer/src/unit/DifferentialTests.ml	59
infer/src/unit/DifferentialTestsUtils.ml	42
infer/src/unit/FileDiffTests.ml	247
infer/src/unit/GradleTests.ml	54
infer/src/unit/HilExpTests.ml	38
infer/src/unit/IListTests.ml	48
infer/src/unit/JavaClassNameTests.ml	113
infer/src/unit/JavaProfilerSamplesTest.ml	231
infer/src/unit/LRUHashtblTests.ml	69
infer/src/unit/RestartSchedulerTests.ml	34
infer/src/unit/SeverityTests.ml	14
infer/src/unit/TaintTests.ml	142
infer/src/unit/TraceTests.ml	98
infer/src/unit/abstractInterpreterTests.ml	117
infer/src/unit/accessPathTestUtils.ml	16
infer/src/unit/accessPathTestUtils.mli	12
infer/src/unit/accessTreeTests.ml	514
infer/src/unit/addressTakenTests.ml	62
infer/src/unit/analyzerTester.ml	287
infer/src/unit/dune.in	24
infer/src/unit/livenessTests.ml	145
infer/src/unit/procCfgTests.ml	156
infer/src/unit/schedulerTests.ml	106
infer/src/unit/weakTopologicalOrderTests.ml	86