Path	Lines of Code
facebook-clang-plugins/libtooling/ASTExporter.h	3686
facebook-clang-plugins/libtooling/atdlib/ATDWriter.h	507
infer/models/c/src/libc_basic.c	1337
infer/models/cpp/src/c_src/libc_basic.c	1337
infer/src/IR/ErlangTypeName.ml	35
infer/src/IR/JavaClassName.ml	97
infer/src/IR/Procname.ml	1007
infer/src/IR/Typ.ml	686
infer/src/absint/ConcurrencyModels.ml	352
infer/src/absint/HilExp.ml	610
infer/src/absint/Scheduler.ml	80
infer/src/absint/TaintTrace.ml	456
infer/src/backend/ClosuresSubstitution.ml	147
infer/src/backend/InferAnalyzeJson.ml	628
infer/src/backend/preanal.ml	430
infer/src/base/IssueType.ml	787
infer/src/base/Logging.ml	372
infer/src/biabduction/Dom.ml	2038
infer/src/biabduction/Match.mli	71
infer/src/biabduction/Prover.ml	2389
infer/src/biabduction/Rearrange.mli	26
infer/src/biabduction/SymExec.ml	1683
infer/src/biabduction/Tabulation.ml	1279
infer/src/biabduction/interproc.ml	985
infer/src/bufferoverrun/bufferOverrunDomain.ml	2145
infer/src/bufferoverrun/bufferOverrunModels.ml	1958
infer/src/bufferoverrun/bufferOverrunUtils.ml	378
infer/src/bufferoverrun/polynomials.ml	750
infer/src/bufferoverrun/symb.ml	305
infer/src/checkers/LithoDomain.ml	429
infer/src/checkers/fragmentRetainsViewChecker.ml	79
infer/src/checkers/functionPointers.ml	77
infer/src/clang/cArithmetic_trans.ml	294
infer/src/clang/cFrontend_decl.ml	481
infer/src/clang/cScope.ml	295
infer/src/clang/cTrans.ml	5018
infer/src/clang/cTrans_utils.ml	677
infer/src/clang/cType_to_sil_type.ml	242
infer/src/concurrency/RacerDProcAnalysis.ml	316
infer/src/cost/costModels.ml	445
infer/src/cost/hoisting.ml	123
infer/src/erlang/ErlangAst.ml	156
infer/src/erlang/ErlangAstValidator.ml	278
infer/src/erlang/ErlangEnvironment.ml	157
infer/src/erlang/ErlangJsonParser.ml	667
infer/src/erlang/ErlangScopes.ml	242
infer/src/erlang/ErlangTranslator.ml	1165
infer/src/erlang/ErlangTypes.ml	128
infer/src/integration/Driver.ml	442
infer/src/istd/UnionFind.ml	166
infer/src/java/jProgramDesc.ml	72
infer/src/java/jSourceFileInfo.mll	393
infer/src/java/jSourceParser.mly	616
infer/src/java/jTrans.ml	1165
infer/src/java/jTransType.ml	341
infer/src/nullsafe/ErrorRenderingUtils.ml	261
infer/src/nullsafe/eradicateChecks.ml	511
infer/src/nullsafe/models.ml	117
infer/src/nullsafe/typeCheck.ml	1362
infer/src/nullsafe/typeErr.ml	318
infer/src/pulse/Pulse.ml	786
infer/src/pulse/PulseAbductiveDomain.ml	1093
infer/src/pulse/PulseBaseAddressAttributes.ml	170
infer/src/pulse/PulseBaseDomain.ml	259
infer/src/pulse/PulseCItv.ml	405
infer/src/pulse/PulseDecompiler.ml	175
infer/src/pulse/PulseDiagnostic.ml	506
infer/src/pulse/PulseFormula.ml	1991
infer/src/pulse/PulseInterproc.ml	843
infer/src/pulse/PulseModelsCpp.ml	507
infer/src/pulse/PulseModelsErlang.ml	611
infer/src/pulse/PulseModelsImport.ml	257
infer/src/pulse/PulseModelsOptional.ml	202
infer/src/pulse/PulseOperations.ml	719
infer/src/pulse/PulsePathCondition.ml	383
infer/src/pulse/PulseSummary.ml	90
infer/src/pulse/PulseTaint.ml	18
infer/src/pulse/PulseTaintOperations.ml	183
infer/src/pulse/PulseTopl.ml	532
infer/src/quandary/JavaTrace.ml	585
infer/src/quandary/TaintAnalysis.ml	812
infer/src/topl/ToplAst.ml	34
infer/src/unit/analyzerTester.ml	287
sledge/semantics/llairScript.sml	507
sledge/semantics/llvmScript.sml	787
sledge/semantics/llvm_ssaScript.sml	1752
sledge/semantics/llvm_to_llairScript.sml	401
sledge/semantics/llvm_to_llair_sem_propScript.sml	2096
website/static/odoc/1.0.0/odoc.css	567
website/static/odoc/1.1.0/odoc.css	567
website/static/odoc/next/odoc.css	592