Path	Lines of Code
Makefile.autoconf.in	106
facebook-clang-plugins/clang-ocaml/clang_ast_converter.ml	7
facebook-clang-plugins/clang-ocaml/clang_ast_main.ml	87
facebook-clang-plugins/clang-ocaml/clang_ast_named_decl_printer.ml	30
facebook-clang-plugins/clang-ocaml/clang_ast_proj.ml.p	180
facebook-clang-plugins/clang-ocaml/clang_ast_proj.mli.p	30
facebook-clang-plugins/clang-ocaml/clang_ast_types.ml	14
facebook-clang-plugins/clang-ocaml/clang_ast_visit.ml	31
facebook-clang-plugins/clang-ocaml/clang_ast_yojson_validator.ml	7
facebook-clang-plugins/clang-ocaml/process.ml	130
facebook-clang-plugins/clang-ocaml/process.mli	30
facebook-clang-plugins/clang-ocaml/utils.ml	149
facebook-clang-plugins/clang-ocaml/utils.mli	34
facebook-clang-plugins/clang-ocaml/yojson_utils.ml	101
facebook-clang-plugins/clang-ocaml/yojson_utils.mli	19
facebook-clang-plugins/libtooling/ASTExporter.cpp	10
facebook-clang-plugins/libtooling/ASTExporter.h	3686
facebook-clang-plugins/libtooling/AttrParameterVectorStream.cpp	22
facebook-clang-plugins/libtooling/AttrParameterVectorStream.h	16
facebook-clang-plugins/libtooling/FileUtils.cpp	70
facebook-clang-plugins/libtooling/FileUtils.h	12
facebook-clang-plugins/libtooling/NamePrinter.h	149
facebook-clang-plugins/libtooling/SimplePluginASTAction.cpp	143
facebook-clang-plugins/libtooling/SimplePluginASTAction.h	179
facebook-clang-plugins/libtooling/atdlib/ATDWriter.h	507
facebook-clang-plugins/libtooling/atdlib/extract_atd_from_cpp.py	20
facebook-clang-plugins/libtooling/atdlib/normalize_names_in_atd.py	39
infer/annotations/src/main/java/com/facebook/infer/annotation/Assertions.java	56
infer/annotations/src/main/java/com/facebook/infer/annotation/Cleanup.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/Expensive.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/FalseOnNull.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/Functional.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/IgnoreAllocations.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/Initializer.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/IntegritySink.java	9
infer/annotations/src/main/java/com/facebook/infer/annotation/IntegritySource.java	13
infer/annotations/src/main/java/com/facebook/infer/annotation/Lockless.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/Mutable.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/NoAllocation.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/NonBlocking.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/Nullsafe.java	32
infer/annotations/src/main/java/com/facebook/infer/annotation/NullsafeStrict.java	9
infer/annotations/src/main/java/com/facebook/infer/annotation/OkToExtend.java	5
infer/annotations/src/main/java/com/facebook/infer/annotation/PerformanceCritical.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/Present.java	14
infer/annotations/src/main/java/com/facebook/infer/annotation/PrivacySink.java	9
infer/annotations/src/main/java/com/facebook/infer/annotation/PrivacySource.java	13
infer/annotations/src/main/java/com/facebook/infer/annotation/PropagatesNullable.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/ReturnsOwnership.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressFieldNotInitialized.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressFieldNotNullable.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressLint.java	13
infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressNullFieldAccess.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressNullMethodCall.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressParameterNotNullable.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressReturnOverAnnotated.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressViewNullability.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/SynchronizedCollection.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/ThreadConfined.java	12
infer/annotations/src/main/java/com/facebook/infer/annotation/ThreadSafe.java	10
infer/annotations/src/main/java/com/facebook/infer/annotation/TrueOnNull.java	8
infer/annotations/src/main/java/com/facebook/infer/annotation/Verify.java	13
infer/dune-workspace.in	6
infer/lib/clang_wrappers/global_defines.h	3
infer/lib/erlang/erlang.escript	181
infer/lib/erlang/extract.escript	207
infer/lib/erlang/infer_parse_transform/src/infer_parse_transform.erl	22
infer/lib/linter_rules/linters.al	178
infer/models/c/src/glib.c	35
infer/models/c/src/infer_builtins.c	56
infer/models/c/src/infer_builtins.h	37
infer/models/c/src/libc_basic.c	1337
infer/models/c/src/math.c	224
infer/models/c/src/wchar.c	285
infer/models/c/src/wctype.c	35
infer/models/c/src/xlib.c	11
infer/models/cpp/src/c_src/glib.c	35
infer/models/cpp/src/c_src/infer_builtins.c	56
infer/models/cpp/src/c_src/infer_builtins.h	37
infer/models/cpp/src/c_src/libc_basic.c	1337
infer/models/cpp/src/c_src/math.c	224
infer/models/cpp/src/c_src/wchar.c	285
infer/models/cpp/src/c_src/wctype.c	35
infer/models/cpp/src/c_src/xlib.c	11
infer/models/cpp/src/shared_ptr.cpp	17
infer/models/cpp/src/throw_wrappers.cpp	26
infer/models/cpp/src/type_info.cpp	18
infer/models/java/builtins/com/facebook/infer/builtins/InferBuiltins.java	17
infer/models/java/builtins/com/facebook/infer/builtins/InferCloseables.java	13
infer/models/java/builtins/com/facebook/infer/builtins/InferTaint.java	11
infer/models/java/builtins/com/facebook/infer/builtins/InferUndefined.java	108
infer/models/java/builtins/com/facebook/infer/builtins/InferUtils.java	19
infer/models/java/src/android/app/Activity.java	29
infer/models/java/src/android/app/AlarmManager.java	6
infer/models/java/src/android/app/DownloadManager.java	15
infer/models/java/src/android/content/ContentProviderClient.java	36
infer/models/java/src/android/content/ContentResolver.java	39
infer/models/java/src/android/content/Context.java	31
infer/models/java/src/android/content/IContentProvider.java	2
infer/models/java/src/android/content/IContentService.java	2
infer/models/java/src/android/content/res/Resources.java	29
infer/models/java/src/android/content/res/TypedArray.java	22
infer/models/java/src/android/database/AbstractCursor.java	2
infer/models/java/src/android/database/CrossProcessCursor.java	2
infer/models/java/src/android/database/CrossProcessCursorWrapper.java	2
infer/models/java/src/android/database/Cursor.java	3
infer/models/java/src/android/database/CursorWrapper.java	14
infer/models/java/src/android/database/sqlite/SQLiteConnectionPool.java	2
infer/models/java/src/android/database/sqlite/SQLiteCursor.java	16
infer/models/java/src/android/database/sqlite/SQLiteDatabase.java	146
infer/models/java/src/android/database/sqlite/SQLiteDatabaseConfiguration.java	2
infer/models/java/src/android/database/sqlite/SQLiteQueryBuilder.java	48
infer/models/java/src/android/provider/MediaStore.java	26
infer/models/java/src/android/text/TextUtils.java	10
infer/models/java/src/android/view/View.java	8
infer/models/java/src/com/facebook/infer/annotation/Assertions.java	33
infer/models/java/src/com/fasterxml/jackson/core/JsonFactory.java	34
infer/models/java/src/com/fasterxml/jackson/core/JsonParser.java	23
infer/models/java/src/com/fasterxml/jackson/core/json/UTF8StreamJsonParser.java	95
infer/models/java/src/com/google/common/base/Optional.java	6
infer/models/java/src/com/google/common/base/Preconditions.java	40
infer/models/java/src/com/google/common/collect/ImmutableList.java	16
infer/models/java/src/com/google/common/collect/Iterators.java	24
infer/models/java/src/com/google/common/io/Closeables.java	14
infer/models/java/src/dalvik/system/CloseGuard.java	6
infer/models/java/src/java/io/BufferedInputStream.java	22
infer/models/java/src/java/io/BufferedOutputStream.java	27
infer/models/java/src/java/io/BufferedReader.java	40
infer/models/java/src/java/io/BufferedWriter.java	25
infer/models/java/src/java/io/DataInputStream.java	55
infer/models/java/src/java/io/DataOutputStream.java	52
infer/models/java/src/java/io/File.java	12
infer/models/java/src/java/io/FileInputStream.java	54
infer/models/java/src/java/io/FileOutputStream.java	60
infer/models/java/src/java/io/FilterInputStream.java	22
infer/models/java/src/java/io/FilterOutputStream.java	26
infer/models/java/src/java/io/FilterReader.java	22
infer/models/java/src/java/io/InputStream.java	18
infer/models/java/src/java/io/InputStreamReader.java	25
infer/models/java/src/java/io/ObjectInputStream.java	82
infer/models/java/src/java/io/ObjectOutputStream.java	72
infer/models/java/src/java/io/OutputStream.java	20
infer/models/java/src/java/io/OutputStreamWriter.java	31
infer/models/java/src/java/io/PipedInputStream.java	36
infer/models/java/src/java/io/PipedOutputStream.java	30
infer/models/java/src/java/io/PipedReader.java	42
infer/models/java/src/java/io/PipedWriter.java	50
infer/models/java/src/java/io/PrintWriter.java	48
infer/models/java/src/java/io/PushbackInputStream.java	31
infer/models/java/src/java/io/PushbackReader.java	31
infer/models/java/src/java/io/RandomAccessFile.java	122
infer/models/java/src/java/io/Reader.java	30
infer/models/java/src/java/io/Writer.java	34
infer/models/java/src/java/lang/Class.java	18
infer/models/java/src/java/lang/Double.java	19
infer/models/java/src/java/lang/Integer.java	21
infer/models/java/src/java/lang/NullPointerException.java	5
infer/models/java/src/java/lang/Object.java	12
infer/models/java/src/java/lang/Process.java	15
infer/models/java/src/java/lang/ProcessManager.java	19
infer/models/java/src/java/lang/Runtime.java	24
infer/models/java/src/java/lang/String.java	40
infer/models/java/src/java/lang/System.java	27
infer/models/java/src/java/lang/Thread.java	14
infer/models/java/src/java/lang/reflect/Array.java	28
infer/models/java/src/java/net/HttpURLConnection.java	11
infer/models/java/src/java/net/JarURLConnection.java	6
infer/models/java/src/java/net/PlainSocketImpl.java	121
infer/models/java/src/java/net/ServerSocket.java	10
infer/models/java/src/java/net/Socket.java	26
infer/models/java/src/java/net/URL.java	42
infer/models/java/src/java/net/URLConnection.java	28
infer/models/java/src/java/nio/FileChannelImpl.java	70
infer/models/java/src/java/nio/channels/FileChannel.java	26
infer/models/java/src/java/nio/channels/spi/AbstractInterruptibleChannel.java	10
infer/models/java/src/java/security/DigestInputStream.java	14
infer/models/java/src/java/security/DigestOutputStream.java	19
infer/models/java/src/java/util/AbstractList.java	36
infer/models/java/src/java/util/ArrayList.java	23
infer/models/java/src/java/util/HashMap.java	62
infer/models/java/src/java/util/LinkedList.java	25
infer/models/java/src/java/util/List.java	23
infer/models/java/src/java/util/Properties.java	33
infer/models/java/src/java/util/Scanner.java	42
infer/models/java/src/java/util/Vector.java	26
infer/models/java/src/java/util/concurrent/Lock.java	38
infer/models/java/src/java/util/concurrent/ReentrantLock.java	38
infer/models/java/src/java/util/jar/JarFile.java	27
infer/models/java/src/java/util/jar/JarInputStream.java	15
infer/models/java/src/java/util/jar/JarOutputStream.java	19
infer/models/java/src/java/util/zip/CheckedInputStream.java	17
infer/models/java/src/java/util/zip/CheckedOutputStream.java	19
infer/models/java/src/java/util/zip/Deflater.java	16
infer/models/java/src/java/util/zip/DeflaterInputStream.java	23
infer/models/java/src/java/util/zip/DeflaterOutputStream.java	38
infer/models/java/src/java/util/zip/GZIPInputStream.java	15
infer/models/java/src/java/util/zip/GZIPOutputStream.java	18
infer/models/java/src/java/util/zip/Inflater.java	13
infer/models/java/src/java/util/zip/InflaterInputStream.java	24
infer/models/java/src/java/util/zip/InflaterOutputStream.java	34
infer/models/java/src/java/util/zip/ZipFile.java	41
infer/models/java/src/java/util/zip/ZipInputStream.java	14
infer/models/java/src/java/util/zip/ZipOutputStream.java	11
infer/models/java/src/javax/crypto/CipherInputStream.java	20
infer/models/java/src/javax/crypto/CipherOutputStream.java	28
infer/models/java/src/javax/net/ssl/HttpsURLConnection.java	12
infer/models/java/src/javax/net/ssl/SSLSocketFactory.java	26
infer/models/java/src/junit/framework/Assert.java	16
infer/models/java/src/org/apache/commons/lang3/StringUtils.java	24
infer/models/java/src/org/assertj/core/util/Preconditions.java	20
infer/models/objc/src/CADisplayLink.h	12
infer/models/objc/src/CADisplayLink.m	12
infer/models/objc/src/NSArray.h	4
infer/models/objc/src/NSArray.m	30
infer/models/objc/src/NSAutoreleasePool.m	9
infer/models/objc/src/NSDictionary.h	7
infer/models/objc/src/NSDictionary.m	23
infer/models/objc/src/NSFileHandle.m	26
infer/models/objc/src/NSHTTPCookie.m	11
infer/models/objc/src/NSMapTable.h	4
infer/models/objc/src/NSMapTable.m	8
infer/models/objc/src/NSMutableArray.h	8
infer/models/objc/src/NSMutableArray.m	28
infer/models/objc/src/NSMutableDictionary.h	5
infer/models/objc/src/NSMutableDictionary.m	21
infer/models/objc/src/NSNotificationCenter.m	29
infer/models/objc/src/NSNumber.h	5
infer/models/objc/src/NSNumber.m	65
infer/models/objc/src/NSObject.m	9
infer/models/objc/src/NSRunLoop.h	14
infer/models/objc/src/NSRunLoop.m	27
infer/models/objc/src/NSString.h	13
infer/models/objc/src/NSString.m	72
infer/models/objc/src/NSTimer.h	43
infer/models/objc/src/NSTimer.m	95
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
sledge/HACKING.adoc	21
sledge/ROADMAP.org	140
sledge/TODO.org	303
sledge/cli/config.ml	36
sledge/cli/config.mli	10
sledge/cli/domain_itv.ml	274
sledge/cli/domain_itv.mli	9
sledge/cli/frontend.ml	1668
sledge/cli/frontend.mli	17
sledge/cli/sledge_buck.ml	222
sledge/cli/sledge_buck.mli	8
sledge/cli/sledge_cli.ml	311
sledge/cli/smtlib.ml	171
sledge/cli/smtlib.mli	8
sledge/cli/version.ml	43
sledge/cli/version.mli	10
sledge/model/cxxabi.cpp	34
sledge/model/lib_fuzzer_main.c	8
sledge/model/llair_intrinsics.h	20
sledge/nonstdlib/NS.ml	52
sledge/nonstdlib/NS.mli	180
sledge/nonstdlib/NS0.ml	186
sledge/nonstdlib/NSMap.ml	198
sledge/nonstdlib/NSMap.mli	21
sledge/nonstdlib/NSMap_intf.ml	133
sledge/nonstdlib/NSSet.ml	104
sledge/nonstdlib/NSSet.mli	21
sledge/nonstdlib/NSSet_intf.ml	89
sledge/nonstdlib/array.ml	108
sledge/nonstdlib/array.mli	46
sledge/nonstdlib/comparer.ml	70
sledge/nonstdlib/comparer.mli	73
sledge/nonstdlib/float.ml	15
sledge/nonstdlib/float.mli	15
sledge/nonstdlib/hashSet.ml	25
sledge/nonstdlib/hashSet.mli	14
sledge/nonstdlib/hashTable.ml	33
sledge/nonstdlib/hashTable.mli	10
sledge/nonstdlib/hashTable_intf.ml	20
sledge/nonstdlib/iArray.ml	15
sledge/nonstdlib/iArray.mli	61
sledge/nonstdlib/int.ml	39
sledge/nonstdlib/int.mli	37
sledge/nonstdlib/iter.ml	98
sledge/nonstdlib/iter.mli	76
sledge/nonstdlib/list.ml	147
sledge/nonstdlib/list.mli	123
sledge/nonstdlib/monad.ml	41
sledge/nonstdlib/monad.mli	18
sledge/nonstdlib/monad_intf.ml	22
sledge/nonstdlib/multiset.ml	94
sledge/nonstdlib/multiset.mli	20
sledge/nonstdlib/multiset_intf.ml	87
sledge/nonstdlib/ocaml/map.ml	570
sledge/nonstdlib/ocaml/map.mli	341
sledge/nonstdlib/ocaml/set.ml	623
sledge/nonstdlib/ocaml/set.mli	281
sledge/nonstdlib/option.ml	20
sledge/nonstdlib/option.mli	20
sledge/nonstdlib/q_ext.ml	19
sledge/nonstdlib/q_ext.mli	16
sledge/nonstdlib/ral.ml	11
sledge/nonstdlib/ral.mli	15
sledge/nonstdlib/sign.ml	11
sledge/nonstdlib/sign.mli	10
sledge/nonstdlib/string.ml	32
sledge/nonstdlib/string.mli	23
sledge/nonstdlib/sys.ml	8
sledge/nonstdlib/sys.mli	11
sledge/nonstdlib/timer.ml	61
sledge/nonstdlib/timer.mli	42
sledge/nonstdlib/z_ext.ml	17
sledge/nonstdlib/z_ext.mli	19
sledge/ppx_trace/ppx_trace.ml	122
sledge/ppx_trace/trace/trace.ml	249
sledge/ppx_trace/trace/trace.mli	54
sledge/report/sledge_report.ml	805
sledge/semantics/llairScript.sml	507
sledge/semantics/llair_propScript.sml	558
sledge/semantics/llvmScript.sml	787
sledge/semantics/llvm_propScript.sml	1019
sledge/semantics/llvm_ssaScript.sml	1752
sledge/semantics/llvm_to_llairScript.sml	401
sledge/semantics/llvm_to_llair_propScript.sml	1165
sledge/semantics/llvm_to_llair_sem_propScript.sml	2096
sledge/semantics/memory_modelScript.sml	578
sledge/semantics/miscScript.sml	927
sledge/semantics/settingsScript.sml	58
sledge/src/alarm.ml	25
sledge/src/alarm.mli	16
sledge/src/control.ml	1001
sledge/src/control.mli	17
sledge/src/control_intf.ml	18
sledge/src/domain_intf.ml	63
sledge/src/domain_relation.ml	117
sledge/src/domain_relation.mli	20
sledge/src/domain_sh.ml	397
sledge/src/domain_sh.mli	17
sledge/src/domain_unit.ml	38
sledge/src/domain_unit.mli	9
sledge/src/domain_used_globals.ml	77
sledge/src/domain_used_globals.mli	15
sledge/src/exec.ml	777
sledge/src/exec.mli	29
sledge/src/fol/arithmetic.ml	410
sledge/src/fol/arithmetic.mli	27
sledge/src/fol/arithmetic_intf.ml	99
sledge/src/fol/context.ml	1375
sledge/src/fol/context.mli	93
sledge/src/fol/exp.ml	354
sledge/src/fol/exp.mli	111
sledge/src/fol/fml.ml	191
sledge/src/fol/fml.mli	66
sledge/src/fol/fol.ml	13
sledge/src/fol/fol.mli	13
sledge/src/fol/funsym.ml	141
sledge/src/fol/funsym.mli	44
sledge/src/fol/predsym.ml	12
sledge/src/fol/predsym.mli	10
sledge/src/fol/propositional.ml	296
sledge/src/fol/propositional.mli	14
sledge/src/fol/propositional_intf.ml	54
sledge/src/fol/subst.ml	67
sledge/src/fol/subst.mli	10
sledge/src/fol/subst_intf.ml	35
sledge/src/fol/theory.ml	183
sledge/src/fol/theory.mli	18
sledge/src/fol/trm.ml	532
sledge/src/fol/trm.mli	132
sledge/src/fol/var.ml	8
sledge/src/fol/var.mli	8
sledge/src/fol/var_intf.ml	33
sledge/src/llair/builtins.ml	38
sledge/src/llair/exp.ml	401
sledge/src/llair/exp.mli	198
sledge/src/llair/function.ml	8
sledge/src/llair/function.mli	10
sledge/src/llair/global.ml	8
sledge/src/llair/global.mli	10
sledge/src/llair/globalDefn.ml	20
sledge/src/llair/globalDefn.mli	12
sledge/src/llair/intrinsics.ml	13
sledge/src/llair/llair.ml	746
sledge/src/llair/llair.mli	259
sledge/src/llair/loc.ml	38
sledge/src/llair/loc.mli	19
sledge/src/llair/reg.ml	8
sledge/src/llair/reg.mli	10
sledge/src/llair/typ.ml	151
sledge/src/llair/typ.mli	70
sledge/src/llair_to_Fol.ml	161
sledge/src/llair_to_Fol.mli	13
sledge/src/or_alarm.ml	16
sledge/src/or_alarm.mli	9
sledge/src/report.ml	160
sledge/src/report.mli	49
sledge/src/sh.ml	964
sledge/src/sh.mli	122
sledge/src/solver.ml	686
sledge/src/solver.mli	17
sledge/src/stop.ml	10
sledge/src/stop.mli	10
sledge/src/threadID.ml	8
sledge/src/threadID.mli	8
website/docusaurus.config.js	109
website/sidebars.js	30
website/src/components/HtmlWrap.js	10
website/src/components/Script.js	17
website/src/css/custom.css	42
website/src/pages/index.js	230
website/src/pages/styles.module.css	61
website/static/odoc/1.0.0/index.html	19
website/static/odoc/1.0.0/infer/ASTLanguage.html	2
website/static/odoc/1.0.0/infer/ASTLanguage/ALDebugger/index.html	2
website/static/odoc/1.0.0/infer/ASTLanguage/RegisterCallback/index.html	2
website/static/odoc/1.0.0/infer/ASTLanguage__ALDebugger/index.html	2
website/static/odoc/1.0.0/infer/ASTLanguage__RegisterCallback/index.html	2
website/static/odoc/1.0.0/infer/ATDGenerated.html	2
website/static/odoc/1.0.0/infer/ATDGenerated/Clang_ast_types/index.html	2
website/static/odoc/1.0.0/infer/ATDGenerated__Clang_ast_types/index.html	2
website/static/odoc/1.0.0/infer/Absint/AbstractDomain/BottomLiftedUtils/index.html	2
website/static/odoc/1.0.0/infer/Absint/AbstractDomain/CountDomain/argument-1-MaxCount/index.html	2
website/static/odoc/1.0.0/infer/Absint/AbstractDomain/TopLiftedUtils/index.html	2
website/static/odoc/1.0.0/infer/Absint/AbstractDomain/module-type-MaxCount/index.html	2
website/static/odoc/1.0.0/infer/Absint/AbstractInterpreter/VisitCount/index.html	2
website/static/odoc/1.0.0/infer/Absint/Localise/Tags/index.html	2
website/static/odoc/1.0.0/infer/Absint/LowerHil/DefaultConfig/index.html	2
website/static/odoc/1.0.0/infer/Absint/LowerHil/module-type-HilConfig/index.html	2
website/static/odoc/1.0.0/infer/Absint__AbstractDomain/BottomLiftedUtils/index.html	2
website/static/odoc/1.0.0/infer/Absint__AbstractDomain/CountDomain/argument-1-MaxCount/index.html	2
website/static/odoc/1.0.0/infer/Absint__AbstractDomain/DownwardIntDomain/argument-1-MaxCount/index.html	2
website/static/odoc/1.0.0/infer/Absint__AbstractDomain/TopLiftedUtils/index.html	2
website/static/odoc/1.0.0/infer/Absint__AbstractDomain/module-type-MaxCount/index.html	2
website/static/odoc/1.0.0/infer/Absint__AbstractInterpreter/VisitCount/index.html	2
website/static/odoc/1.0.0/infer/Absint__AccessTree/module-type-Config/index.html	2
website/static/odoc/1.0.0/infer/Absint__Localise/Tags/index.html	2
website/static/odoc/1.0.0/infer/Absint__LowerHil/DefaultConfig/index.html	2
website/static/odoc/1.0.0/infer/Absint__LowerHil/module-type-HilConfig/index.html	2
website/static/odoc/1.0.0/infer/BO/BufferOverrunDomain/AliasRet/index.html	2
website/static/odoc/1.0.0/infer/BO/BufferOverrunDomain/ItvUpdatedBy/index.html	2
website/static/odoc/1.0.0/infer/BO/BufferOverrunDomain/LoopHeadLoc/index.html	2
website/static/odoc/1.0.0/infer/BO/BufferOverrunProofObligations/Condition/index.html	2
website/static/odoc/1.0.0/infer/BO__BufferOverrunDomain/AliasRet/index.html	2
website/static/odoc/1.0.0/infer/BO__BufferOverrunDomain/ItvUpdatedBy/index.html	2
website/static/odoc/1.0.0/infer/BO__BufferOverrunDomain/LoopHeadLoc/index.html	2
website/static/odoc/1.0.0/infer/BO__BufferOverrunProofObligations/Condition/index.html	2
website/static/odoc/1.0.0/infer/Backend/ClosuresSubstitution/ExpClosure/index.html	4
website/static/odoc/1.0.0/infer/Backend/StarvationGlobalAnalysis/index.html	2
website/static/odoc/1.0.0/infer/Backend__ClosureSubstSpecializedMethod/index.html	2
website/static/odoc/1.0.0/infer/Backend__ClosuresSubstitution/ExpClosure/index.html	4
website/static/odoc/1.0.0/infer/Backend__ReverseAnalysisCallGraph/index.html	2
website/static/odoc/1.0.0/infer/Backend__StarvationGlobalAnalysis/index.html	2
website/static/odoc/1.0.0/infer/Biabduction/ObjCDispatchModels/index.html	2
website/static/odoc/1.0.0/infer/Biabduction__ObjCDispatchModels/index.html	2
website/static/odoc/1.0.0/infer/CStubs/Fnv64Hash/index.html	2
website/static/odoc/1.0.0/infer/CStubs/index.html	2
website/static/odoc/1.0.0/infer/CStubs__Fnv64Hash/index.html	2
website/static/odoc/1.0.0/infer/Checkers.html	2
website/static/odoc/1.0.0/infer/Checkers/FunctionPointers/index.html	2
website/static/odoc/1.0.0/infer/Checkers/InefficientKeysetIterator/index.html	2
website/static/odoc/1.0.0/infer/Checkers/PrintfArgs/index.html	2
website/static/odoc/1.0.0/infer/Checkers/SelfInBlock/index.html	2
website/static/odoc/1.0.0/infer/Checkers__FunctionPointers/index.html	2
website/static/odoc/1.0.0/infer/Checkers__InefficientKeysetIterator/index.html	2
website/static/odoc/1.0.0/infer/Checkers__PrintfArgs/index.html	2
website/static/odoc/1.0.0/infer/Checkers__SelfInBlock/index.html	2
website/static/odoc/1.0.0/infer/ClangUnitTests/ALIssuesTests/index.html	2
website/static/odoc/1.0.0/infer/ClangUnitTests/ClangTests/index.html	2
website/static/odoc/1.0.0/infer/ClangUnitTests/QualifiedCppNameTests/index.html	2
website/static/odoc/1.0.0/infer/ClangUnitTests__ALIssuesTests/index.html	2
website/static/odoc/1.0.0/infer/ClangUnitTests__ClangTests/index.html	2
website/static/odoc/1.0.0/infer/ClangUnitTests__QualifiedCppNameTests/index.html	2
website/static/odoc/1.0.0/infer/Costlib/ConstraintSolver/Equalities/index.html	2
website/static/odoc/1.0.0/infer/Costlib/CostAllocationModels/index.html	2
website/static/odoc/1.0.0/infer/Costlib/CostAutoreleaseModels/index.html	2
website/static/odoc/1.0.0/infer/Costlib__ConstraintSolver/Equalities/index.html	2
website/static/odoc/1.0.0/infer/Costlib__CostAllocationModels/index.html	2
website/static/odoc/1.0.0/infer/Costlib__CostAutoreleaseModels/index.html	2
website/static/odoc/1.0.0/infer/IBase.html	2
website/static/odoc/1.0.0/infer/IBase/SqliteUtils/MarshalledDataNOTForComparison/argument-1-D/index.html	2
website/static/odoc/1.0.0/infer/IBase/SqliteUtils/MarshalledNullableDataNOTForComparison/argument-1-D/index.html	2
website/static/odoc/1.0.0/infer/IBase__SqliteUtils/MarshalledDataNOTForComparison/argument-1-D/index.html	2
website/static/odoc/1.0.0/infer/IBase__SqliteUtils/MarshalledNullableDataNOTForComparison/argument-1-D/index.html	2
website/static/odoc/1.0.0/infer/IR/BiabductionModels/index.html	2
website/static/odoc/1.0.0/infer/IR/Io_infer/index.html	2
website/static/odoc/1.0.0/infer/IR__Annot/Class/index.html	2
website/static/odoc/1.0.0/infer/IR__BUILTINS/index.html	2
website/static/odoc/1.0.0/infer/IR__BiabductionModels/index.html	2
website/static/odoc/1.0.0/infer/IR__Io_infer/index.html	2
website/static/odoc/1.0.0/infer/IR__Typ/IntegerWidths/SQLite/index.html	2
website/static/odoc/1.0.0/infer/IStdlib.html	2
website/static/odoc/1.0.0/infer/IStdlib/IOption/Let_syntax/Let_syntax/Open_on_rhs/index.html	2
website/static/odoc/1.0.0/infer/IStdlib/IResult/index.html	2
website/static/odoc/1.0.0/infer/IStdlib/IStd/module-type-T/index.html	2
website/static/odoc/1.0.0/infer/IStdlib/IStd/module-type-T1/index.html	2
website/static/odoc/1.0.0/infer/IStdlib/IStd/module-type-T2/index.html	2
website/static/odoc/1.0.0/infer/IStdlib/IStd/module-type-T3/index.html	2
website/static/odoc/1.0.0/infer/IStdlib/RecencyMap/Make/argument-3-Config/index.html	2
website/static/odoc/1.0.0/infer/IStdlib/RecencyMap/module-type-Config/index.html	2
website/static/odoc/1.0.0/infer/IStdlib__IOption/Let_syntax/Let_syntax/Open_on_rhs/index.html	2
website/static/odoc/1.0.0/infer/IStdlib__IResult/index.html	2
website/static/odoc/1.0.0/infer/IStdlib__IStd/module-type-T/index.html	2
website/static/odoc/1.0.0/infer/IStdlib__IStd/module-type-T1/index.html	2
website/static/odoc/1.0.0/infer/IStdlib__IStd/module-type-T2/index.html	2
website/static/odoc/1.0.0/infer/IStdlib__IStd/module-type-T3/index.html	2
website/static/odoc/1.0.0/infer/IStdlib__ImperativeUnionFind/Make/Repr/index.html	2
website/static/odoc/1.0.0/infer/IStdlib__RecencyMap/Make/argument-3-Config/index.html	2
website/static/odoc/1.0.0/infer/IStdlib__RecencyMap/module-type-Config/index.html	2
website/static/odoc/1.0.0/infer/Integration.html	2
website/static/odoc/1.0.0/infer/Integration/Ant/index.html	2
website/static/odoc/1.0.0/infer/Integration/BuckJavaFlavor/index.html	2
website/static/odoc/1.0.0/infer/Integration/Maven/index.html	2
website/static/odoc/1.0.0/infer/Integration/NdkBuild/index.html	2
website/static/odoc/1.0.0/infer/Integration__Ant/index.html	2
website/static/odoc/1.0.0/infer/Integration__BuckJavaFlavor/index.html	2
website/static/odoc/1.0.0/infer/Integration__Maven/index.html	2
website/static/odoc/1.0.0/infer/Integration__NdkBuild/index.html	2
website/static/odoc/1.0.0/infer/Integration__XcodeBuild/index.html	2
website/static/odoc/1.0.0/infer/JavaFrontend.html	2
website/static/odoc/1.0.0/infer/Nullsafe.html	2
website/static/odoc/1.0.0/infer/Nullsafe/NullsafeInit/index.html	2
website/static/odoc/1.0.0/infer/NullsafeUnitTests/AllNullsafeTests/index.html	2
website/static/odoc/1.0.0/infer/NullsafeUnitTests__AllNullsafeTests/index.html	2
website/static/odoc/1.0.0/infer/Nullsafe__NullsafeInit/index.html	2
website/static/odoc/1.0.0/infer/OpenSource/FbCostModels/index.html	2
website/static/odoc/1.0.0/infer/OpenSource__FbCostModels/index.html	2
website/static/odoc/1.0.0/infer/TOPLlib/ToplAstOps/index.html	2
website/static/odoc/1.0.0/infer/TOPLlib__ToplAstOps/index.html	2
website/static/odoc/1.0.0/infer/TestDeterminators.html	2
website/static/odoc/1.0.0/odoc.css	567
website/static/odoc/1.1.0/index.html	19
website/static/odoc/1.1.0/infer/ASTLanguage.html	2
website/static/odoc/1.1.0/infer/ASTLanguage/ALDebugger/index.html	2
website/static/odoc/1.1.0/infer/ASTLanguage/RegisterCallback/index.html	2
website/static/odoc/1.1.0/infer/ASTLanguage__ALDebugger/index.html	2
website/static/odoc/1.1.0/infer/ASTLanguage__RegisterCallback/index.html	2
website/static/odoc/1.1.0/infer/ATDGenerated.html	2
website/static/odoc/1.1.0/infer/ATDGenerated/Clang_ast_types/index.html	2
website/static/odoc/1.1.0/infer/ATDGenerated__Clang_ast_types/index.html	2
website/static/odoc/1.1.0/infer/Absint/AbstractDomain/BottomLiftedUtils/index.html	2
website/static/odoc/1.1.0/infer/Absint/AbstractDomain/CountDomain/argument-1-MaxCount/index.html	2
website/static/odoc/1.1.0/infer/Absint/AbstractDomain/TopLiftedUtils/index.html	2
website/static/odoc/1.1.0/infer/Absint/AbstractDomain/module-type-MaxCount/index.html	2
website/static/odoc/1.1.0/infer/Absint/AbstractInterpreter/VisitCount/index.html	2
website/static/odoc/1.1.0/infer/Absint/Localise/Tags/index.html	2
website/static/odoc/1.1.0/infer/Absint/LowerHil/DefaultConfig/index.html	2
website/static/odoc/1.1.0/infer/Absint/LowerHil/module-type-HilConfig/index.html	2
website/static/odoc/1.1.0/infer/Absint__AbstractDomain/BottomLiftedUtils/index.html	2
website/static/odoc/1.1.0/infer/Absint__AbstractDomain/CountDomain/argument-1-MaxCount/index.html	2
website/static/odoc/1.1.0/infer/Absint__AbstractDomain/DownwardIntDomain/argument-1-MaxCount/index.html	2
website/static/odoc/1.1.0/infer/Absint__AbstractDomain/TopLiftedUtils/index.html	2
website/static/odoc/1.1.0/infer/Absint__AbstractDomain/module-type-MaxCount/index.html	2
website/static/odoc/1.1.0/infer/Absint__AbstractInterpreter/VisitCount/index.html	2
website/static/odoc/1.1.0/infer/Absint__AccessTree/module-type-Config/index.html	2
website/static/odoc/1.1.0/infer/Absint__Localise/Tags/index.html	2
website/static/odoc/1.1.0/infer/Absint__LowerHil/DefaultConfig/index.html	2
website/static/odoc/1.1.0/infer/Absint__LowerHil/module-type-HilConfig/index.html	2
website/static/odoc/1.1.0/infer/BO/BufferOverrunDomain/AliasRet/index.html	2
website/static/odoc/1.1.0/infer/BO/BufferOverrunDomain/ItvUpdatedBy/index.html	2
website/static/odoc/1.1.0/infer/BO/BufferOverrunDomain/LoopHeadLoc/index.html	2
website/static/odoc/1.1.0/infer/BO/BufferOverrunProofObligations/Condition/index.html	2
website/static/odoc/1.1.0/infer/BO__BufferOverrunDomain/AliasRet/index.html	2
website/static/odoc/1.1.0/infer/BO__BufferOverrunDomain/ItvUpdatedBy/index.html	2
website/static/odoc/1.1.0/infer/BO__BufferOverrunDomain/LoopHeadLoc/index.html	2
website/static/odoc/1.1.0/infer/BO__BufferOverrunProofObligations/Condition/index.html	2
website/static/odoc/1.1.0/infer/Backend/ClosuresSubstitution/ExpClosure/index.html	4
website/static/odoc/1.1.0/infer/Backend/InferAnalyzeJson/index.html	2
website/static/odoc/1.1.0/infer/Backend/StarvationGlobalAnalysis/index.html	2
website/static/odoc/1.1.0/infer/Backend__ClosureSubstSpecializedMethod/index.html	2
website/static/odoc/1.1.0/infer/Backend__ClosuresSubstitution/ExpClosure/index.html	4
website/static/odoc/1.1.0/infer/Backend__InferAnalyzeJson/index.html	2
website/static/odoc/1.1.0/infer/Backend__ReverseAnalysisCallGraph/index.html	2
website/static/odoc/1.1.0/infer/Backend__StarvationGlobalAnalysis/index.html	2
website/static/odoc/1.1.0/infer/Biabduction/ObjCDispatchModels/index.html	2
website/static/odoc/1.1.0/infer/Biabduction__ObjCDispatchModels/index.html	2
website/static/odoc/1.1.0/infer/CStubs/Fnv64Hash/index.html	2
website/static/odoc/1.1.0/infer/CStubs/index.html	2
website/static/odoc/1.1.0/infer/CStubs__Fnv64Hash/index.html	2
website/static/odoc/1.1.0/infer/Checkers.html	2
website/static/odoc/1.1.0/infer/Checkers/ExternalConfigImpactData/index.html	2
website/static/odoc/1.1.0/infer/Checkers/FunctionPointers/index.html	2
website/static/odoc/1.1.0/infer/Checkers/InefficientKeysetIterator/index.html	2
website/static/odoc/1.1.0/infer/Checkers/PrintfArgs/index.html	2
website/static/odoc/1.1.0/infer/Checkers/SelfInBlock/index.html	2
website/static/odoc/1.1.0/infer/Checkers__ExternalConfigImpactData/index.html	2
website/static/odoc/1.1.0/infer/Checkers__FunctionPointers/index.html	2
website/static/odoc/1.1.0/infer/Checkers__InefficientKeysetIterator/index.html	2
website/static/odoc/1.1.0/infer/Checkers__PrintfArgs/index.html	2
website/static/odoc/1.1.0/infer/Checkers__SelfInBlock/index.html	2
website/static/odoc/1.1.0/infer/ClangUnitTests/ALIssuesTests/index.html	2
website/static/odoc/1.1.0/infer/ClangUnitTests/ClangTests/index.html	2
website/static/odoc/1.1.0/infer/ClangUnitTests/QualifiedCppNameTests/index.html	2
website/static/odoc/1.1.0/infer/ClangUnitTests__ALIssuesTests/index.html	2
website/static/odoc/1.1.0/infer/ClangUnitTests__ClangTests/index.html	2
website/static/odoc/1.1.0/infer/ClangUnitTests__QualifiedCppNameTests/index.html	2
website/static/odoc/1.1.0/infer/Costlib/ConstraintSolver/Equalities/index.html	2
website/static/odoc/1.1.0/infer/Costlib/CostAllocationModels/index.html	2
website/static/odoc/1.1.0/infer/Costlib/CostAutoreleaseModels/index.html	2
website/static/odoc/1.1.0/infer/Costlib__ConstraintSolver/Equalities/index.html	2
website/static/odoc/1.1.0/infer/Costlib__CostAllocationModels/index.html	2
website/static/odoc/1.1.0/infer/Costlib__CostAutoreleaseModels/index.html	2
website/static/odoc/1.1.0/infer/Dotnet/ResourceLeakCSDomain/LeakList/Let_syntax/Let_syntax/Open_on_rhs/index.html	2
website/static/odoc/1.1.0/infer/Dotnet__ResourceLeakCSDomain/LeakList/Let_syntax/Let_syntax/Open_on_rhs/index.html	2
website/static/odoc/1.1.0/infer/IBase.html	2
website/static/odoc/1.1.0/infer/IBase/SqliteUtils/MarshalledDataNOTForComparison/argument-1-D/index.html	2
website/static/odoc/1.1.0/infer/IBase/SqliteUtils/MarshalledNullableDataNOTForComparison/argument-1-D/index.html	2
website/static/odoc/1.1.0/infer/IBase__SqliteUtils/MarshalledDataNOTForComparison/argument-1-D/index.html	2
website/static/odoc/1.1.0/infer/IBase__SqliteUtils/MarshalledNullableDataNOTForComparison/argument-1-D/index.html	2
website/static/odoc/1.1.0/infer/IR/BiabductionModels/index.html	2
website/static/odoc/1.1.0/infer/IR/Io_infer/index.html	2
website/static/odoc/1.1.0/infer/IR/StdTyp/Name/CSharp/index.html	2
website/static/odoc/1.1.0/infer/IR/StdTyp/Name/Objc/index.html	2
website/static/odoc/1.1.0/infer/IR/StdTyp/Objc/index.html	2
website/static/odoc/1.1.0/infer/IR/Typ/Name/CSharp/index.html	2
website/static/odoc/1.1.0/infer/IR__Annot/Class/index.html	2
website/static/odoc/1.1.0/infer/IR__BUILTINS/index.html	2
website/static/odoc/1.1.0/infer/IR__BiabductionModels/index.html	2
website/static/odoc/1.1.0/infer/IR__Io_infer/index.html	2
website/static/odoc/1.1.0/infer/IR__StdTyp/Name/CSharp/index.html	2
website/static/odoc/1.1.0/infer/IR__StdTyp/Name/Objc/index.html	2
website/static/odoc/1.1.0/infer/IR__StdTyp/Objc/index.html	2
website/static/odoc/1.1.0/infer/IR__Typ/IntegerWidths/SQLite/index.html	2
website/static/odoc/1.1.0/infer/IR__Typ/Name/CSharp/index.html	2
website/static/odoc/1.1.0/infer/IStdlib.html	2
website/static/odoc/1.1.0/infer/IStdlib/IOption/Let_syntax/Let_syntax/Open_on_rhs/index.html	2
website/static/odoc/1.1.0/infer/IStdlib/IResult/index.html	2
website/static/odoc/1.1.0/infer/IStdlib/IStd/module-type-T/index.html	2
website/static/odoc/1.1.0/infer/IStdlib/IStd/module-type-T1/index.html	2
website/static/odoc/1.1.0/infer/IStdlib/IStd/module-type-T2/index.html	2
website/static/odoc/1.1.0/infer/IStdlib/IStd/module-type-T3/index.html	2
website/static/odoc/1.1.0/infer/IStdlib/PhysEqual/index.html	5
website/static/odoc/1.1.0/infer/IStdlib/RecencyMap/Make/argument-3-Config/index.html	2
website/static/odoc/1.1.0/infer/IStdlib/RecencyMap/module-type-Config/index.html	2
website/static/odoc/1.1.0/infer/IStdlib__IOption/Let_syntax/Let_syntax/Open_on_rhs/index.html	2
website/static/odoc/1.1.0/infer/IStdlib__IResult/index.html	2
website/static/odoc/1.1.0/infer/IStdlib__IStd/module-type-T/index.html	2
website/static/odoc/1.1.0/infer/IStdlib__IStd/module-type-T1/index.html	2
website/static/odoc/1.1.0/infer/IStdlib__IStd/module-type-T2/index.html	2
website/static/odoc/1.1.0/infer/IStdlib__IStd/module-type-T3/index.html	2
website/static/odoc/1.1.0/infer/IStdlib__ImperativeUnionFind/Make/Repr/index.html	2
website/static/odoc/1.1.0/infer/IStdlib__PhysEqual/index.html	5
website/static/odoc/1.1.0/infer/IStdlib__RecencyMap/Make/argument-3-Config/index.html	2
website/static/odoc/1.1.0/infer/IStdlib__RecencyMap/module-type-Config/index.html	2
website/static/odoc/1.1.0/infer/Integration.html	2
website/static/odoc/1.1.0/infer/Integration/Ant/index.html	2
website/static/odoc/1.1.0/infer/Integration/BuckJavaFlavor/index.html	2
website/static/odoc/1.1.0/infer/Integration/ConfigImpactIssuesTest/index.html	2
website/static/odoc/1.1.0/infer/Integration/Maven/index.html	2
website/static/odoc/1.1.0/infer/Integration/NdkBuild/index.html	2
website/static/odoc/1.1.0/infer/Integration__Ant/index.html	2
website/static/odoc/1.1.0/infer/Integration__BuckJavaFlavor/index.html	2
website/static/odoc/1.1.0/infer/Integration__ConfigImpactIssuesTest/index.html	2
website/static/odoc/1.1.0/infer/Integration__Maven/index.html	2
website/static/odoc/1.1.0/infer/Integration__NdkBuild/index.html	2
website/static/odoc/1.1.0/infer/Integration__XcodeBuild/index.html	2
website/static/odoc/1.1.0/infer/JavaFrontend.html	2
website/static/odoc/1.1.0/infer/Nullsafe.html	2
website/static/odoc/1.1.0/infer/Nullsafe/NullsafeInit/index.html	2
website/static/odoc/1.1.0/infer/NullsafeUnitTests/AllNullsafeTests/index.html	2
website/static/odoc/1.1.0/infer/NullsafeUnitTests__AllNullsafeTests/index.html	2
website/static/odoc/1.1.0/infer/Nullsafe__NullsafeInit/index.html	2
website/static/odoc/1.1.0/infer/OpenSource/FbCostModels/index.html	2
website/static/odoc/1.1.0/infer/OpenSource__FbCostModels/index.html	2
website/static/odoc/1.1.0/infer/TestDeterminators.html	2
website/static/odoc/1.1.0/infer/Topllib/ToplAstOps/index.html	2
website/static/odoc/1.1.0/infer/Topllib__ToplAstOps/index.html	2
website/static/odoc/1.1.0/infer/UnitTests__HilExpTests/index.html	2
website/static/odoc/1.1.0/odoc.css	567
website/static/odoc/next/index.html	19
website/static/odoc/next/infer/ASTLanguage.html	2
website/static/odoc/next/infer/ASTLanguage/AL/index.html	5
website/static/odoc/next/infer/ATDGenerated.html	2
website/static/odoc/next/infer/Absint.html	2
website/static/odoc/next/infer/Absint/AbstractDomain/StackedUtils/index.html	32
website/static/odoc/next/infer/Absint/Decompile/index.html	12
website/static/odoc/next/infer/Absint/Localise/Tags/index.html	2
website/static/odoc/next/infer/Absint/Reporting/index.html	41
website/static/odoc/next/infer/BO/BufferOverrunChecker/index.html	5
website/static/odoc/next/infer/BO/BufferOverrunModels/Call/index.html	3
website/static/odoc/next/infer/BO/BufferOverrunModels/Collection/index.html	10
website/static/odoc/next/infer/BO/BufferOverrunModels/JavaString/index.html	11
website/static/odoc/next/infer/BO/BufferOverrunModels/NSString/index.html	6
website/static/odoc/next/infer/BO/BufferOverrunSemantics/Prune/index.html	7
website/static/odoc/next/infer/BO/BufferOverrunUtils/Check/index.html	35
website/static/odoc/next/infer/BO/BufferOverrunUtils/Exec/index.html	32
website/static/odoc/next/infer/Backend.html	2
website/static/odoc/next/infer/Backend/FileScheduler/index.html	5
website/static/odoc/next/infer/Backend/NodePrinter/index.html	7
website/static/odoc/next/infer/Backend/Payloads/Fields/Direct/index.html	604
website/static/odoc/next/infer/Backend/Procedures/index.html	16
website/static/odoc/next/infer/Biabduction/Buckets/index.html	7
website/static/odoc/next/infer/Biabduction/DotBiabduction/index.html	5
website/static/odoc/next/infer/Biabduction/Errdesc/index.html	75
website/static/odoc/next/infer/Biabduction/Interproc/index.html	4
website/static/odoc/next/infer/Biabduction/RetainCycles/index.html	5
website/static/odoc/next/infer/CStubs/Fnv64Hash/index.html	2
website/static/odoc/next/infer/CStubs/index.html	2
website/static/odoc/next/infer/Checkers.html	2
website/static/odoc/next/infer/Checkers/AnnotationReachability/index.html	4
website/static/odoc/next/infer/Checkers/Impurity/index.html	5
website/static/odoc/next/infer/Checkers/Loop_control/index.html	11
website/static/odoc/next/infer/Checkers/PurityAnalysis/index.html	5
website/static/odoc/next/infer/Checkers/PurityModels/ProcName/index.html	4
website/static/odoc/next/infer/Checkers/RequiredProps/index.html	4
website/static/odoc/next/infer/Checkers/Siof/index.html	4
website/static/odoc/next/infer/Checkers/Uninit/index.html	4
website/static/odoc/next/infer/ClangFrontend/AstToRangeMap/index.html	6
website/static/odoc/next/infer/ClangFrontend/CFrontend/index.html	5
website/static/odoc/next/infer/ClangFrontend/CModule_type/module-type-CFrontend/index.html	14
website/static/odoc/next/infer/ClangFrontend/CStructUtils/index.html	9
website/static/odoc/next/infer/ClangFrontend/CVar_decl/index.html	41
website/static/odoc/next/infer/ClangFrontend/ObjcMethod_decl/index.html	10
website/static/odoc/next/infer/ClangFrontend/ProcessAST/index.html	5
website/static/odoc/next/infer/ClangUnitTests/ALIssuesTests/index.html	2
website/static/odoc/next/infer/Concurrency/RacerDFileAnalysis/index.html	4
website/static/odoc/next/infer/Concurrency/RacerDProcAnalysis/index.html	4
website/static/odoc/next/infer/Concurrency/Starvation/index.html	21
website/static/odoc/next/infer/Costlib/ConstraintSolver/Equalities/index.html	2
website/static/odoc/next/infer/Costlib/Cost/index.html	20
website/static/odoc/next/infer/Costlib/CostAllocationModels/ProcName/index.html	4
website/static/odoc/next/infer/Costlib/CostAutoreleaseModels/Call/index.html	4
website/static/odoc/next/infer/Costlib/CostModels/Algorithm/index.html	30
website/static/odoc/next/infer/Costlib/CostModels/BoundsOfArray/index.html	56
website/static/odoc/next/infer/Costlib/CostModels/BoundsOfCString/index.html	56
website/static/odoc/next/infer/Costlib/CostModels/BoundsOfCollection/index.html	56
website/static/odoc/next/infer/Costlib/CostModels/BoundsOfContainer/index.html	56
website/static/odoc/next/infer/Costlib/CostModels/BoundsOfNSCollection/index.html	56
website/static/odoc/next/infer/Costlib/CostModels/Call/index.html	4
website/static/odoc/next/infer/Costlib/CostModels/ImmutableSet/index.html	12
website/static/odoc/next/infer/Costlib/CostModels/IntHashMap/index.html	7
website/static/odoc/next/infer/Costlib/CostModels/Iterator/index.html	6
website/static/odoc/next/infer/Costlib/CostModels/JavaString/index.html	36
website/static/odoc/next/infer/Costlib/CostModels/NSCollection/index.html	21
website/static/odoc/next/infer/Costlib/CostModels/NSString/index.html	22
website/static/odoc/next/infer/Costlib/CostUtils/Array/index.html	5
website/static/odoc/next/infer/Costlib/CostUtils/CString/index.html	5
website/static/odoc/next/infer/Costlib/CostUtils/Collection/index.html	5
website/static/odoc/next/infer/Costlib/CostUtils/Container/index.html	5
website/static/odoc/next/infer/Costlib/CostUtils/NSCollection/index.html	5
website/static/odoc/next/infer/Costlib/CostUtils/module-type-S/index.html	5
website/static/odoc/next/infer/Costlib/Hoisting/index.html	9
website/static/odoc/next/infer/Dotnet/ResourceLeaksCS/index.html	4
website/static/odoc/next/infer/ErlangFrontend/ErlangTranslator/index.html	5
website/static/odoc/next/infer/IBase.html	2
website/static/odoc/next/infer/IR/Typ/Name/Cpp/index.html	6
website/static/odoc/next/infer/IStdlib.html	2
website/static/odoc/next/infer/IStdlib/IOption/Let_syntax/Let_syntax/Open_on_rhs/index.html	2
website/static/odoc/next/infer/IStdlib/ISequence/index.html	5
website/static/odoc/next/infer/IStdlib/IStd/module-type-T/index.html	2
website/static/odoc/next/infer/IStdlib/IStd/module-type-T1/index.html	2
website/static/odoc/next/infer/IStdlib/IStd/module-type-T2/index.html	2
website/static/odoc/next/infer/IStdlib/IStd/module-type-T3/index.html	2
website/static/odoc/next/infer/Integration.html	2
website/static/odoc/next/infer/Integration/CostIssuesTest/index.html	6
website/static/odoc/next/infer/Integration/IssuesTest/index.html	10
website/static/odoc/next/infer/Integration/ReportDiff/index.html	9
website/static/odoc/next/infer/Integration/TraceBugs/index.html	14
website/static/odoc/next/infer/JavaFrontend.html	2
website/static/odoc/next/infer/JavaFrontend/JAnnotation/index.html	6
website/static/odoc/next/infer/JavaFrontend/JTransExn/index.html	8
website/static/odoc/next/infer/Labs/ResourceLeaks/index.html	4
website/static/odoc/next/infer/Nullsafe/Eradicate/index.html	7
website/static/odoc/next/infer/Nullsafe/EradicateReporting/index.html	7
website/static/odoc/next/infer/Nullsafe/FileLevelAnalysis/index.html	4
website/static/odoc/next/infer/OpenSource/FbCostModels/Call/index.html	6
website/static/odoc/next/infer/Pulselib/Pulse/index.html	4
website/static/odoc/next/infer/Pulselib/PulseBaseDomain/GraphVisit/index.html	23
website/static/odoc/next/infer/Pulselib/PulseBaseMemory/AddrTrace/index.html	3
website/static/odoc/next/infer/Pulselib/PulseBlockSpecialization/index.html	7
website/static/odoc/next/infer/Pulselib/PulseInterproc/index.html	25
website/static/odoc/next/infer/Pulselib/PulseModels/index.html	8
website/static/odoc/next/infer/Pulselib/PulseModelsCpp/Vector/index.html	13
website/static/odoc/next/infer/Pulselib/PulseModelsImport/Hist/index.html	43
website/static/odoc/next/infer/Pulselib/PulseModelsJava/index.html	12
website/static/odoc/next/infer/Pulselib/PulseRefCounting/index.html	9
website/static/odoc/next/infer/Pulselib/PulseReport/index.html	33
website/static/odoc/next/infer/Pulselib/PulseTaintOperations/index.html	13
website/static/odoc/next/infer/Quandary/ClangTaintAnalysis/index.html	4
website/static/odoc/next/infer/Quandary/JavaTaintAnalysis/index.html	4
website/static/odoc/next/infer/TestDeterminators.html	2
website/static/odoc/next/infer/TestDeterminators/TestDeterminator/index.html	13
website/static/odoc/next/odoc.css	592