facebook / infer
File Size

The distribution of size of files (measured in lines of code).

Intro
  • File size measurements show the distribution of size of files.
  • Files are classified in four categories based on their size (lines of code): 1-100 (very small files), 101-200 (small files), 201-500 (medium size files), 501-1000 (long files), 1001+(very long files).
  • It is a good practice to keep files small. Long files may become "bloaters", code that have increased to such gargantuan proportions that they are hard to work with.
Learn more...
File Size Overall
  • There are 1,883 files with 203,773 lines of code.
    • 32 very long files (53,994 lines of code)
    • 65 long files (44,573 lines of code)
    • 145 medium size files (44,294 lines of codeclsfd_ftr_w_mp_ins)
    • 170 small files (24,289 lines of code)
    • 1,471 very small files (36,623 lines of code)
26% | 21% | 21% | 11% | 17%
Legend:
1001+
501-1000
201-500
101-200
1-100


explore: zoomable circles | sunburst | 3D view
File Size per Extension
1001+
501-1000
201-500
101-200
1-100
ml27% | 25% | 24% | 13% | 9%
sml61% | 34% | 4% | 0% | <1%
h77% | 10% | 0% | 6% | 5%
c66% | 0% | 25% | 0% | 7%
css0% | 94% | 0% | 0% | 5%
mly0% | 52% | 26% | 12% | 8%
html0% | 24% | 0% | 0% | 75%
mli0% | 0% | 23% | 10% | 65%
mll0% | 0% | 70% | 11% | 17%
org0% | 0% | 68% | 31% | 0%
js0% | 0% | 58% | 27% | 14%
escript0% | 0% | 53% | 46% | 0%
java0% | 0% | 0% | 12% | 87%
in0% | 0% | 0% | 50% | 49%
p0% | 0% | 0% | 85% | 14%
al0% | 0% | 0% | 100% | 0%
cpp0% | 0% | 0% | 42% | 57%
m0% | 0% | 0% | 0% | 100%
py0% | 0% | 0% | 0% | 100%
sexp0% | 0% | 0% | 0% | 100%
erl0% | 0% | 0% | 0% | 100%
adoc0% | 0% | 0% | 0% | 100%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
infer/src24% | 21% | 24% | 12% | 17%
sledge/semantics61% | 34% | 4% | 0% | <1%
facebook-clang-plugins/libtooling75% | 10% | 0% | 9% | 3%
infer/models32% | 0% | 12% | 6% | 48%
sledge/src21% | 32% | 18% | 14% | 12%
sledge/cli59% | 0% | 28% | 6% | 5%
website/static0% | 55% | 0% | 0% | 44%
sledge/nonstdlib0% | 26% | 14% | 26% | 32%
sledge/report0% | 100% | 0% | 0% | 0%
sledge0% | 0% | 65% | 30% | 4%
sledge/ppx_trace0% | 0% | 58% | 28% | 12%
website/src0% | 0% | 63% | 0% | 36%
infer/lib0% | 0% | 35% | 60% | 4%
facebook-clang-plugins/clang-ocaml0% | 0% | 0% | 65% | 34%
website0% | 0% | 0% | 78% | 21%
ROOT0% | 0% | 0% | 100% | 0%
infer/annotations0% | 0% | 0% | 0% | 100%
sledge/model0% | 0% | 0% | 0% | 100%
infer0% | 0% | 0% | 0% | 100%
Longest Files (Top 50)
File# lines# units
ml
cTrans.ml
in infer/src/clang
 5018 -
ASTExporter.h
in facebook-clang-plugins/libtooling
 3686 296
ml
Config.ml
in infer/src/base
 2878 -
ml
Prover.ml
in infer/src/biabduction
 2389 -
ml
Prop.ml
in infer/src/biabduction
 2356 -
ml
bufferOverrunDomain.ml
in infer/src/bufferoverrun
 2145 -
sml
 2096 -
ml
Dom.ml
in infer/src/biabduction
 2038 -
ml
PulseFormula.ml
in infer/src/pulse
 1991 -
ml
bufferOverrunModels.ml
in infer/src/bufferoverrun
 1958 -
sml
llvm_ssaScript.sml
in sledge/semantics
 1752 -
ml
SymExec.ml
in infer/src/biabduction
 1683 -
ml
frontend.ml
in sledge/cli
 1668 -
ml
context.ml
in sledge/src/fol
 1375 -
ml
typeCheck.ml
in infer/src/nullsafe
 1362 -
libc_basic.c
in infer/models/cpp/src/c_src
 1337 106
libc_basic.c
in infer/models/c/src
 1337 106
ml
Tabulation.ml
in infer/src/biabduction
 1279 -
ml
cPredicates.ml
in infer/src/al
 1273 -
ml
Abs.ml
in infer/src/biabduction
 1269 -
ml
Rearrange.ml
in infer/src/biabduction
 1213 -
ml
bounds.ml
in infer/src/bufferoverrun
 1174 -
sml
llvm_to_llair_propScript.sml
in sledge/semantics
 1165 -
ml
ErlangTranslator.ml
in infer/src/erlang
 1165 -
ml
jTrans.ml
in infer/src/java
 1165 -
ml
PulseAbductiveDomain.ml
in infer/src/pulse
 1093 -
ml
CommandLineOption.ml
in infer/src/base
 1045 -
ml
Predicates.ml
in infer/src/biabduction
 1037 -
ml
errdesc.ml
in infer/src/biabduction
 1020 -
sml
llvm_propScript.sml
in sledge/semantics
 1019 -
ml
Procname.ml
in infer/src/IR
 1007 -
ml
control.ml
in sledge/src
 1001 -
ml
ConfigImpactAnalysis.ml
in infer/src/cost
 992 -
ml
interproc.ml
in infer/src/biabduction
 985 -
ml
DotBiabduction.ml
in infer/src/biabduction
 973 -
ml
sh.ml
in sledge/src
 964 -
sml
miscScript.sml
in sledge/semantics
 927 -
ml
CTL.ml
in infer/src/al
 900 -
ml
SimpleLineage.ml
in infer/src/checkers
 870 -
ml
starvationDomain.ml
in infer/src/concurrency
 861 -
ml
PulseInterproc.ml
in infer/src/pulse
 843 -
ml
BuiltinDefn.ml
in infer/src/biabduction
 836 -
ml
modelTables.ml
in infer/src/nullsafe
 834 -
ml
ProcnameDispatcher.ml
in infer/src/absint
 826 -
ml
Match.ml
in infer/src/biabduction
 817 -
ml
TaintAnalysis.ml
in infer/src/quandary
 812 -
ml
bufferOverrunSemantics.ml
in infer/src/bufferoverrun
 807 -
ml
sledge_report.ml
in sledge/report
 805 -
sml
llvmScript.sml
in sledge/semantics
 787 -
ml
IssueType.ml
in infer/src/base
 787 -
Files With Most Units (Top 50)
File# lines# units
ASTExporter.h
in facebook-clang-plugins/libtooling
 3686 296
libc_basic.c
in infer/models/cpp/src/c_src
 1337 106
libc_basic.c
in infer/models/c/src
 1337 106
ATDWriter.h
in facebook-clang-plugins/libtooling/atdlib
 507 57
RandomAccessFile.java
in infer/models/java/src/java/io
 122 37
PlainSocketImpl.java
in infer/models/java/src/java/net
 121 35
wchar.c
in infer/models/cpp/src/c_src
 285 28
wchar.c
in infer/models/c/src
 285 28
ObjectInputStream.java
in infer/models/java/src/java/io
 82 24
ObjectOutputStream.java
in infer/models/java/src/java/io
 72 22
math.c
in infer/models/cpp/src/c_src
 224 21
math.c
in infer/models/c/src
 224 21
DataInputStream.java
in infer/models/java/src/java/io
 55 17
InferUndefined.java
in infer/models/java/builtins/com/facebook/infer/builtins
 108 16
DataOutputStream.java
in infer/models/java/src/java/io
 52 16
throw_wrappers.cpp
in infer/models/cpp/src
 26 16
FileChannelImpl.java
in infer/models/java/src/java/nio
 70 15
PipedWriter.java
in infer/models/java/src/java/io
 50 14
Assertions.java
in infer/annotations/src/main/java/com/facebook/infer/annotation
 56 14
PipedReader.java
in infer/models/java/src/java/io
 42 13
PrintWriter.java
in infer/models/java/src/java/io
 48 12
FileOutputStream.java
in infer/models/java/src/java/io
 60 11
FileInputStream.java
in infer/models/java/src/java/io
 54 11
SQLiteDatabase.java
in infer/models/java/src/android/database/sqlite
 146 11
infer_builtins.c
in infer/models/cpp/src/c_src
 56 11
infer_builtins.c
in infer/models/c/src
 56 11
DeflaterOutputStream.java
in infer/models/java/src/java/util/zip
 38 10
BufferedReader.java
in infer/models/java/src/java/io
 40 10
PipedInputStream.java
in infer/models/java/src/java/io
 36 10
UTF8StreamJsonParser.java
in infer/models/java/src/com/fasterxml/jackson/core/json
 95 10
SimplePluginASTAction.h
in facebook-clang-plugins/libtooling
 179 10
HashMap.java
in infer/models/java/src/java/util
 62 9
InflaterOutputStream.java
in infer/models/java/src/java/util/zip
 34 9
Properties.java
in infer/models/java/src/java/util
 33 9
Writer.java
in infer/models/java/src/java/io
 34 9
PushbackInputStream.java
in infer/models/java/src/java/io
 31 9
PushbackReader.java
in infer/models/java/src/java/io
 31 9
Preconditions.java
in infer/models/java/src/com/google/common/base
 40 9
NamePrinter.h
in facebook-clang-plugins/libtooling
 149 9
URL.java
in infer/models/java/src/java/net
 42 8
Reader.java
in infer/models/java/src/java/io
 30 8
PipedOutputStream.java
in infer/models/java/src/java/io
 30 8
Assertions.java
in infer/models/java/src/com/facebook/infer/annotation
 33 8
JarFile.java
in infer/models/java/src/java/util/jar
 27 7
ZipFile.java
in infer/models/java/src/java/util/zip
 41 7
OutputStreamWriter.java
in infer/models/java/src/java/io
 31 7
BufferedWriter.java
in infer/models/java/src/java/io
 25 7
FilterOutputStream.java
in infer/models/java/src/java/io
 26 7
BufferedOutputStream.java
in infer/models/java/src/java/io
 27 7
Runtime.java
in infer/models/java/src/java/lang
 24 7
Files With Long Lines (Top 50)

There are 415 files with lines longer than 120 characters. In total, there are 1426 long lines.

File# lines# units# long lines
index.html
in website/static/odoc/next/infer/Backend/Payloads/Fields/Direct
 604 - 254
index.html
in website/static/odoc/next/infer/Biabduction/Errdesc
 75 - 41
ml
modelTables.ml
in infer/src/nullsafe
 834 - 37
index.html
in website/static/odoc/next/infer/Pulselib/PulseModelsImport/Hist
 43 - 31
index.html
in website/static/odoc/next/infer/Absint/AbstractDomain/StackedUtils
 32 - 29
index.html
in website/static/odoc/next/infer/Costlib/CostModels/BoundsOfArray
 56 - 26
index.html
in website/static/odoc/next/infer/Costlib/CostModels/BoundsOfCString
 56 - 26
index.html
in website/static/odoc/next/infer/Costlib/CostModels/BoundsOfNSCollection
 56 - 26
index.html
in website/static/odoc/next/infer/Costlib/CostModels/BoundsOfCollection
 56 - 26
index.html
in website/static/odoc/next/infer/Costlib/CostModels/BoundsOfContainer
 56 - 26
index.html
in website/static/odoc/next/infer/ClangFrontend/CVar_decl
 41 - 25
index.html
in website/static/odoc/next/infer/BO/BufferOverrunUtils/Check
 35 - 25
index.html
in website/static/odoc/next/infer/Absint/Reporting
 41 - 24
org
TODO.org
in sledge
 303 - 22
index.html
in website/static/odoc/next/infer/Costlib/CostModels/JavaString
 36 - 20
index.html
in website/static/odoc/next/infer/BO/BufferOverrunUtils/Exec
 32 - 18
org
ROADMAP.org
in sledge
 140 - 17
index.html
in website/static/odoc/next/infer/Costlib/Cost
 20 - 16
index.html
in website/static/odoc/next/infer/Pulselib/PulseReport
 33 - 14
index.html
in website/static/odoc/next/infer/Concurrency/Starvation
 21 - 13
index.html
in website/static/odoc/next/infer/Pulselib/PulseBaseDomain/GraphVisit
 23 - 13
index.html
in website/static/odoc/next/infer/Costlib/CostModels/Algorithm
 30 - 12
index.html
in website/static/odoc/next/infer/Pulselib/PulseInterproc
 25 - 12
index.html
in website/static/odoc/next/infer/Costlib/CostModels/NSString
 22 - 11
index.html
in website/static/odoc/next/infer/Costlib/CostModels/NSCollection
 21 - 11
index.html
in website/static/odoc/next/infer/Pulselib/PulseModelsCpp/Vector
 13 - 11
index.html
in website/static/odoc/next/infer/Pulselib/PulseTaintOperations
 13 - 10
index.html
in website/static/odoc/next/infer/Checkers/Loop_control
 11 - 9
index.html
in website/static/odoc/next/infer/TestDeterminators/TestDeterminator
 13 - 9
index.html
in website/static/odoc/next/infer/ClangFrontend/CModule_type/module-type-CFrontend
 14 - 8
index.html
in website/static/odoc/next/infer/Pulselib/PulseModelsJava
 12 - 8
index.html
in website/static/odoc/next/infer/Costlib/CostModels/ImmutableSet
 12 - 7
index.html
in website/static/odoc/next/infer/Backend/Procedures
 16 - 7
index.html
in website/static/odoc/next/infer/Absint/Decompile
 12 - 7
index.html
in website/static/odoc/next/infer/BO/BufferOverrunModels/Collection
 10 - 7
index.html
in website/static/odoc/next/infer/BO/BufferOverrunModels/JavaString
 11 - 7
index.html
in website/static/odoc/next/infer/Backend/NodePrinter
 7 - 6
index.html
in website/static/odoc/next/infer/Nullsafe/Eradicate
 7 - 6
adoc
HACKING.adoc
in sledge
 21 - 6
al
linters.al
in infer/lib/linter_rules
 178 - 6
index.html
in website/static/odoc/next/infer/Costlib/Hoisting
 9 - 5
index.html
in website/static/odoc/next/infer/Costlib/CostModels/IntHashMap
 7 - 5
index.html
in website/static/odoc/next/infer/ClangFrontend/AstToRangeMap
 6 - 5
index.html
in website/static/odoc/next/infer/ClangFrontend/ObjcMethod_decl
 10 - 5
index.html
in website/static/odoc/next/infer/JavaFrontend/JAnnotation
 6 - 5
index.html
in website/static/odoc/next/infer/BO/BufferOverrunSemantics/Prune
 7 - 5
index.html
in website/static/odoc/next/infer/Pulselib/PulseRefCounting
 9 - 5
index.html
in website/static/odoc/next/infer/Pulselib/PulseBlockSpecialization
 7 - 5
index.html
in website/static/odoc/next/infer/Biabduction/Buckets
 7 - 5
index.html
in website/static/odoc/next/infer/Checkers/PurityAnalysis
 5 - 4
Correlations

File Size vs. Commits (all time): 1898 points

infer/src/base/Config.ml x: 747 commits (all time) y: 2878 lines of code infer/src/base/Config.mli x: 541 commits (all time) y: 415 lines of code infer/src/pulse/PulseFormula.ml x: 65 commits (all time) y: 1991 lines of code facebook-clang-plugins/libtooling/ASTExporter.h x: 14 commits (all time) y: 3686 lines of code infer/src/clang/cTrans.ml x: 554 commits (all time) y: 5018 lines of code infer/src/pulse/PulseAttribute.ml x: 55 commits (all time) y: 372 lines of code infer/src/pulse/PulseAttribute.mli x: 44 commits (all time) y: 93 lines of code infer/src/pulse/PulseBaseAddressAttributes.ml x: 45 commits (all time) y: 170 lines of code infer/src/pulse/PulseTaint.ml x: 2 commits (all time) y: 18 lines of code infer/src/pulse/PulseTaintOperations.ml x: 3 commits (all time) y: 183 lines of code infer/src/pulse/PulseDiagnostic.ml x: 73 commits (all time) y: 506 lines of code infer/src/erlang/ErlangEnvironment.ml x: 10 commits (all time) y: 157 lines of code infer/src/erlang/ErlangEnvironment.mli x: 10 commits (all time) y: 49 lines of code infer/src/erlang/ErlangTranslator.ml x: 71 commits (all time) y: 1165 lines of code infer/src/erlang/ErlangTypes.ml x: 8 commits (all time) y: 128 lines of code infer/src/pulse/PulseDecompiler.ml x: 2 commits (all time) y: 175 lines of code infer/src/pulse/PulseDecompiler.mli x: 2 commits (all time) y: 24 lines of code infer/src/absint/AbstractDomain.ml x: 57 commits (all time) y: 621 lines of code infer/src/absint/AbstractDomain.mli x: 55 commits (all time) y: 243 lines of code infer/src/cost/ConfigImpactAnalysis.ml x: 55 commits (all time) y: 992 lines of code infer/src/erlang/ErlangTypes.mli x: 3 commits (all time) y: 22 lines of code infer/src/istd/IList.ml x: 33 commits (all time) y: 205 lines of code infer/src/istd/IList.mli x: 27 commits (all time) y: 58 lines of code infer/src/base/CommandDoc.ml x: 38 commits (all time) y: 351 lines of code infer/src/base/CommandLineOption.ml x: 133 commits (all time) y: 1045 lines of code infer/src/base/CommandLineOption.mli x: 71 commits (all time) y: 220 lines of code sledge/report/sledge_report.ml x: 22 commits (all time) y: 805 lines of code sledge/src/report.ml x: 31 commits (all time) y: 160 lines of code sledge/src/report.mli x: 20 commits (all time) y: 49 lines of code sledge/cli/sledge_cli.ml x: 36 commits (all time) y: 311 lines of code sledge/ppx_trace/ppx_trace.ml x: 13 commits (all time) y: 122 lines of code infer/src/erlang/ErlangAst.ml x: 12 commits (all time) y: 156 lines of code infer/src/erlang/ErlangJsonParser.ml x: 17 commits (all time) y: 667 lines of code infer/src/clang/ClangCommand.ml x: 54 commits (all time) y: 235 lines of code infer/src/checkers/SimpleLineage.ml x: 18 commits (all time) y: 870 lines of code infer/src/absint/PatternMatch.ml x: 90 commits (all time) y: 446 lines of code infer/src/absint/PatternMatch.mli x: 64 commits (all time) y: 161 lines of code infer/src/absint/ProcnameDispatcher.ml x: 12 commits (all time) y: 826 lines of code infer/src/pulse/PulseModels.ml x: 236 commits (all time) y: 18 lines of code infer/src/pulse/PulseModelsCSharp.ml x: 1 commits (all time) y: 49 lines of code infer/src/pulse/PulseModelsCSharp.mli x: 1 commits (all time) y: 9 lines of code infer/src/IR/ProcAttributes.ml x: 74 commits (all time) y: 242 lines of code infer/src/IR/ProcAttributes.mli x: 60 commits (all time) y: 79 lines of code infer/src/IR/Pvar.ml x: 70 commits (all time) y: 254 lines of code infer/src/IR/Pvar.mli x: 41 commits (all time) y: 123 lines of code infer/src/absint/BlockSpecialization.ml x: 5 commits (all time) y: 145 lines of code infer/src/backend/ClosureSubstSpecializedMethod.ml x: 19 commits (all time) y: 300 lines of code infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml x: 22 commits (all time) y: 94 lines of code infer/src/clang/cMethod_trans.ml x: 228 commits (all time) y: 331 lines of code infer/src/clang/cMethod_trans.mli x: 63 commits (all time) y: 56 lines of code infer/src/clang/cVar_decl.ml x: 68 commits (all time) y: 207 lines of code infer/src/pulse/PulseAbductiveDomain.ml x: 195 commits (all time) y: 1093 lines of code infer/src/pulse/PulseBlockSpecialization.ml x: 5 commits (all time) y: 255 lines of code infer/src/pulse/PulseCallOperations.ml x: 39 commits (all time) y: 301 lines of code infer/src/absint/BlockSpecialization.mli x: 3 commits (all time) y: 12 lines of code infer/src/backend/CCallSpecializedWithClosures.ml x: 11 commits (all time) y: 74 lines of code infer/src/pulse/Pulse.ml x: 174 commits (all time) y: 786 lines of code infer/src/IR/Fieldname.ml x: 16 commits (all time) y: 92 lines of code infer/src/IR/Fieldname.mli x: 13 commits (all time) y: 48 lines of code infer/src/backend/ClosuresSubstitution.ml x: 9 commits (all time) y: 147 lines of code infer/src/clang/CType_decl.ml x: 100 commits (all time) y: 737 lines of code infer/src/clang/cFrontend_decl.ml x: 149 commits (all time) y: 481 lines of code website/src/pages/index.js x: 8 commits (all time) y: 230 lines of code infer/lib/erlang/erlang.escript x: 5 commits (all time) y: 181 lines of code infer/lib/erlang/extract.escript x: 5 commits (all time) y: 207 lines of code sledge/src/control.ml x: 132 commits (all time) y: 1001 lines of code infer/src/integration/JsonReports.ml x: 45 commits (all time) y: 374 lines of code sledge/cli/domain_itv.ml x: 37 commits (all time) y: 274 lines of code sledge/nonstdlib/array.ml x: 12 commits (all time) y: 108 lines of code sledge/nonstdlib/array.mli x: 12 commits (all time) y: 46 lines of code sledge/nonstdlib/iArray.mli x: 10 commits (all time) y: 61 lines of code sledge/src/llair/llair.ml x: 95 commits (all time) y: 746 lines of code sledge/cli/frontend.ml x: 71 commits (all time) y: 1668 lines of code infer/src/java/jTransExn.ml x: 60 commits (all time) y: 180 lines of code infer/src/backend/InferAnalyze.ml x: 105 commits (all time) y: 249 lines of code infer/src/base/IssueType.ml x: 225 commits (all time) y: 787 lines of code infer/src/base/IssueType.mli x: 161 commits (all time) y: 227 lines of code infer/src/integration/ConfigImpactIssuesTest.ml x: 4 commits (all time) y: 40 lines of code infer/src/integration/Differential.ml x: 25 commits (all time) y: 508 lines of code infer/src/IR/Procname.ml x: 65 commits (all time) y: 1007 lines of code infer/src/IR/Procname.mli x: 50 commits (all time) y: 314 lines of code infer/src/pulse/PulseNonDisjunctiveDomain.ml x: 7 commits (all time) y: 86 lines of code infer/src/pulse/PulseNonDisjunctiveDomain.mli x: 5 commits (all time) y: 20 lines of code infer/src/pulse/PulseNonDisjunctiveOperations.ml x: 8 commits (all time) y: 167 lines of code infer/src/erlang/ErlangAstValidator.ml x: 7 commits (all time) y: 278 lines of code sledge/ROADMAP.org x: 3 commits (all time) y: 140 lines of code sledge/nonstdlib/NS.mli x: 38 commits (all time) y: 180 lines of code sledge/nonstdlib/NS0.ml x: 23 commits (all time) y: 186 lines of code infer/src/base/Logging.ml x: 88 commits (all time) y: 372 lines of code infer/src/integration/Help.ml x: 10 commits (all time) y: 277 lines of code infer/src/opensource/FbGKInteraction.ml x: 11 commits (all time) y: 21 lines of code infer/src/backend/CallGraph.ml x: 18 commits (all time) y: 113 lines of code infer/src/backend/CallGraph.mli x: 15 commits (all time) y: 45 lines of code infer/src/backend/SyntacticCallGraph.ml x: 19 commits (all time) y: 128 lines of code infer/src/backend/SyntacticCallGraph.mli x: 9 commits (all time) y: 16 lines of code infer/src/integration/InferCommandImplementation.ml x: 4 commits (all time) y: 229 lines of code infer/src/topl/Topl.ml x: 41 commits (all time) y: 23 lines of code infer/src/pulse/PulseTopl.ml x: 27 commits (all time) y: 532 lines of code infer/src/topl/ToplAstOps.ml x: 4 commits (all time) y: 70 lines of code infer/src/topl/ToplAutomaton.ml x: 23 commits (all time) y: 142 lines of code infer/src/topl/ToplAutomaton.mli x: 17 commits (all time) y: 35 lines of code website/static/odoc/next/infer/Absint/AbstractDomain/StackedUtils/index.html x: 9 commits (all time) y: 32 lines of code website/static/odoc/next/infer/BO/BufferOverrunModels/Call/index.html x: 10 commits (all time) y: 3 lines of code website/static/odoc/next/infer/BO/BufferOverrunModels/NSString/index.html x: 8 commits (all time) y: 6 lines of code website/static/odoc/next/infer/Backend/Payloads/Fields/Direct/index.html x: 13 commits (all time) y: 604 lines of code website/static/odoc/next/infer/Biabduction/Errdesc/index.html x: 14 commits (all time) y: 75 lines of code website/static/odoc/next/infer/ClangFrontend/CStructUtils/index.html x: 5 commits (all time) y: 9 lines of code website/static/odoc/next/infer/Concurrency/Starvation/index.html x: 10 commits (all time) y: 21 lines of code website/static/odoc/next/infer/Costlib/CostModels/BoundsOfCString/index.html x: 9 commits (all time) y: 56 lines of code website/static/odoc/next/infer/Costlib/CostModels/BoundsOfContainer/index.html x: 2 commits (all time) y: 56 lines of code website/static/odoc/next/infer/Costlib/CostModels/Call/index.html x: 11 commits (all time) y: 4 lines of code website/static/odoc/next/infer/Pulselib/PulseInterproc/index.html x: 13 commits (all time) y: 25 lines of code website/static/odoc/next/infer/Pulselib/PulseModels/index.html x: 14 commits (all time) y: 8 lines of code website/static/odoc/next/odoc.css x: 9 commits (all time) y: 592 lines of code infer/src/base/Logging.mli x: 35 commits (all time) y: 100 lines of code infer/src/base/Stats.ml x: 4 commits (all time) y: 277 lines of code infer/src/pulse/PulseInterproc.ml x: 61 commits (all time) y: 843 lines of code infer/src/absint/AbstractInterpreter.ml x: 88 commits (all time) y: 609 lines of code infer/src/absint/AbstractInterpreter.mli x: 23 commits (all time) y: 89 lines of code infer/src/checkers/liveness.ml x: 106 commits (all time) y: 357 lines of code infer/src/unit/abstractInterpreterTests.ml x: 32 commits (all time) y: 117 lines of code infer/src/unit/analyzerTester.ml x: 97 commits (all time) y: 287 lines of code infer/src/unit/livenessTests.ml x: 41 commits (all time) y: 145 lines of code infer/src/pulse/PulseAbductiveDomain.mli x: 117 commits (all time) y: 222 lines of code infer/src/pulse/PulseBaseAddressAttributes.mli x: 43 commits (all time) y: 56 lines of code infer/src/pulse/PulseDiagnostic.mli x: 38 commits (all time) y: 70 lines of code infer/src/pulse/PulseLatentIssue.ml x: 19 commits (all time) y: 68 lines of code infer/src/pulse/PulseReport.ml x: 36 commits (all time) y: 207 lines of code infer/src/pulse/PulseValueHistory.ml x: 24 commits (all time) y: 273 lines of code infer/src/pulse/PulseExecutionDomain.ml x: 26 commits (all time) y: 107 lines of code infer/src/pulse/PulseExecutionDomain.mli x: 22 commits (all time) y: 36 lines of code infer/src/pulse/PulseModelsGenericArrayBackedCollection.ml x: 3 commits (all time) y: 175 lines of code infer/src/pulse/PulseObjectiveCSummary.ml x: 25 commits (all time) y: 121 lines of code infer/src/pulse/PulseOperations.ml x: 176 commits (all time) y: 719 lines of code infer/src/pulse/PulseOperations.mli x: 99 commits (all time) y: 290 lines of code infer/src/pulse/PulseReport.mli x: 16 commits (all time) y: 35 lines of code infer/src/pulse/PulseSummary.ml x: 30 commits (all time) y: 90 lines of code infer/src/backend/ondemand.ml x: 178 commits (all time) y: 313 lines of code infer/src/deadcode/dune.in x: 24 commits (all time) y: 16 lines of code infer/src/bufferoverrun/bufferOverrunAnalysis.ml x: 99 commits (all time) y: 483 lines of code infer/src/integration/Buck.ml x: 84 commits (all time) y: 411 lines of code infer/src/integration/Buck.mli x: 26 commits (all time) y: 39 lines of code infer/src/integration/Driver.ml x: 161 commits (all time) y: 442 lines of code infer/src/integration/Driver.mli x: 35 commits (all time) y: 41 lines of code infer/src/IR/Procdesc.ml x: 133 commits (all time) y: 777 lines of code infer/src/istd/PrettyPrintable.ml x: 25 commits (all time) y: 222 lines of code infer/src/istd/PrettyPrintable.mli x: 24 commits (all time) y: 132 lines of code infer/src/concurrency/RacerDFileAnalysis.ml x: 18 commits (all time) y: 563 lines of code infer/src/pulse/PulseModelsGenericArrayBackedCollection.mli x: 2 commits (all time) y: 65 lines of code infer/src/pulse/PulseModelsImport.ml x: 6 commits (all time) y: 257 lines of code infer/src/pulse/PulseResult.ml x: 2 commits (all time) y: 113 lines of code infer/src/pulse/PulseModelsCpp.ml x: 5 commits (all time) y: 507 lines of code infer/src/pulse/PulseModelsJava.ml x: 5 commits (all time) y: 644 lines of code infer/src/pulse/PulseModelsOptional.ml x: 2 commits (all time) y: 202 lines of code infer/src/pulse/PulsePathCondition.ml x: 42 commits (all time) y: 383 lines of code infer/src/pulse/PulsePathContext.mli x: 7 commits (all time) y: 20 lines of code infer/src/IR/BuiltinDecl.ml x: 58 commits (all time) y: 132 lines of code sledge/src/llair/llair.mli x: 59 commits (all time) y: 259 lines of code sledge/src/domain_sh.ml x: 64 commits (all time) y: 397 lines of code sledge/src/exec.ml x: 52 commits (all time) y: 777 lines of code sledge/src/llair/builtins.ml x: 1 commits (all time) y: 38 lines of code sledge/src/fol/context.ml x: 80 commits (all time) y: 1375 lines of code infer/src/nullsafe/unit/ThirdPartyAnnotationInfoTests.ml x: 4 commits (all time) y: 253 lines of code infer/src/base/DBWriter.ml x: 30 commits (all time) y: 402 lines of code infer/src/java/jFrontend.ml x: 89 commits (all time) y: 223 lines of code infer/src/IR/Exp.ml x: 48 commits (all time) y: 325 lines of code infer/src/IR/Exp.mli x: 33 commits (all time) y: 118 lines of code infer/src/IR/QualifiedCppName.ml x: 29 commits (all time) y: 84 lines of code infer/src/IR/Typ.ml x: 170 commits (all time) y: 686 lines of code infer/src/IR/Typ.mli x: 152 commits (all time) y: 236 lines of code infer/src/clang/cType_to_sil_type.ml x: 60 commits (all time) y: 242 lines of code infer/src/pulse/PulseCallOperations.mli x: 6 commits (all time) y: 37 lines of code infer/src/pulse/PulseModelsErlang.ml x: 6 commits (all time) y: 611 lines of code infer/src/backend/Devirtualizer.ml x: 6 commits (all time) y: 139 lines of code infer/src/backend/preanal.ml x: 150 commits (all time) y: 430 lines of code infer/src/backend/InferAnalyzeJson.ml x: 15 commits (all time) y: 628 lines of code infer/src/biabduction/BuiltinDefn.ml x: 50 commits (all time) y: 836 lines of code infer/src/bufferoverrun/bufferOverrunField.ml x: 26 commits (all time) y: 93 lines of code infer/src/IR/BUILTINS.ml x: 20 commits (all time) y: 85 lines of code infer/src/java/jTrans.ml x: 211 commits (all time) y: 1165 lines of code infer/src/IR/Attributes.ml x: 42 commits (all time) y: 87 lines of code infer/src/backend/ProcLocker.mli x: 6 commits (all time) y: 15 lines of code infer/src/backend/RestartScheduler.ml x: 22 commits (all time) y: 105 lines of code infer/src/IR/DotCfg.ml x: 15 commits (all time) y: 125 lines of code infer/src/bufferoverrun/bufferOverrunChecker.ml x: 265 commits (all time) y: 430 lines of code infer/src/checkers/SelfInBlock.ml x: 41 commits (all time) y: 505 lines of code infer/src/cost/cost.ml x: 71 commits (all time) y: 420 lines of code infer/src/checkers/ParameterNotNullChecked.ml x: 10 commits (all time) y: 179 lines of code infer/src/pulse/PulseModelsImport.mli x: 2 commits (all time) y: 84 lines of code infer/src/bufferoverrun/bufferOverrunSemantics.ml x: 178 commits (all time) y: 807 lines of code infer/src/cost/costInstantiate.ml x: 6 commits (all time) y: 102 lines of code infer/src/biabduction/SymExec.ml x: 116 commits (all time) y: 1683 lines of code infer/src/IR/Procdesc.mli x: 91 commits (all time) y: 280 lines of code infer/src/backend/Summary.ml x: 61 commits (all time) y: 279 lines of code infer/src/pulse/PulseBaseMemory.ml x: 22 commits (all time) y: 165 lines of code infer/src/pulse/PulseRefCounting.ml x: 3 commits (all time) y: 95 lines of code infer/src/absint/Localise.ml x: 10 commits (all time) y: 429 lines of code infer/src/absint/Localise.mli x: 10 commits (all time) y: 90 lines of code infer/src/biabduction/Exceptions.ml x: 17 commits (all time) y: 160 lines of code infer/src/biabduction/Rearrange.ml x: 65 commits (all time) y: 1213 lines of code infer/src/biabduction/Tabulation.ml x: 69 commits (all time) y: 1279 lines of code infer/src/biabduction/errdesc.ml x: 16 commits (all time) y: 1020 lines of code infer/src/clang/cFrontend.ml x: 131 commits (all time) y: 54 lines of code Makefile.autoconf.in x: 44 commits (all time) y: 106 lines of code infer/src/bufferoverrun/bufferOverrunModels.ml x: 292 commits (all time) y: 1958 lines of code infer/src/bufferoverrun/bufferOverrunProofObligations.ml x: 90 commits (all time) y: 773 lines of code infer/src/bufferoverrun/itv.ml x: 173 commits (all time) y: 584 lines of code infer/src/bufferoverrun/itv.mli x: 95 commits (all time) y: 159 lines of code infer/src/IR/Annot.ml x: 29 commits (all time) y: 137 lines of code infer/src/IR/Annot.mli x: 24 commits (all time) y: 50 lines of code infer/src/IR/Struct.ml x: 22 commits (all time) y: 368 lines of code infer/src/biabduction/RetainCycles.ml x: 27 commits (all time) y: 233 lines of code infer/src/checkers/RequiredProps.ml x: 46 commits (all time) y: 284 lines of code infer/src/clang/cAst_utils.ml x: 75 commits (all time) y: 479 lines of code infer/src/clang/cField_decl.ml x: 79 commits (all time) y: 113 lines of code infer/src/clang/cField_decl.mli x: 34 commits (all time) y: 19 lines of code infer/src/clang/cGeneral_utils.ml x: 57 commits (all time) y: 93 lines of code infer/src/concurrency/RacerDModels.ml x: 52 commits (all time) y: 592 lines of code infer/src/java/jAnnotation.ml x: 37 commits (all time) y: 86 lines of code infer/src/java/jTransType.ml x: 119 commits (all time) y: 341 lines of code infer/src/nullsafe/AnnotatedSignature.ml x: 35 commits (all time) y: 217 lines of code infer/src/IR/Tenv.ml x: 54 commits (all time) y: 206 lines of code infer/src/IR/Tenv.mli x: 32 commits (all time) y: 64 lines of code infer/src/clang/CAddImplicitDeallocImpl.ml x: 5 commits (all time) y: 167 lines of code infer/src/pulse/PulseBaseMemory.mli x: 18 commits (all time) y: 33 lines of code infer/src/backend/mergeCapture.ml x: 68 commits (all time) y: 92 lines of code infer/src/pulse/PulseModels.mli x: 20 commits (all time) y: 14 lines of code infer/src/pulse/PulseModelsC.ml x: 1 commits (all time) y: 85 lines of code infer/src/base/Checker.ml x: 42 commits (all time) y: 458 lines of code infer/src/checkers/impurity.ml x: 62 commits (all time) y: 235 lines of code infer/src/pulse/PulseArithmetic.ml x: 25 commits (all time) y: 56 lines of code infer/src/pulse/PulseSummary.mli x: 15 commits (all time) y: 19 lines of code infer/src/pulse/PulseFormula.mli x: 22 commits (all time) y: 62 lines of code infer/src/pulse/PulsePathCondition.mli x: 27 commits (all time) y: 73 lines of code infer/src/pulse/unit/PulseFormulaTest.ml x: 33 commits (all time) y: 427 lines of code infer/src/IR/Binop.ml x: 16 commits (all time) y: 150 lines of code infer/src/IR/Binop.mli x: 14 commits (all time) y: 49 lines of code infer/src/absint/HilExp.ml x: 10 commits (all time) y: 610 lines of code infer/src/biabduction/Attribute.ml x: 18 commits (all time) y: 340 lines of code infer/src/biabduction/Prop.ml x: 40 commits (all time) y: 2356 lines of code infer/src/clang/cArithmetic_trans.ml x: 58 commits (all time) y: 294 lines of code infer/src/clang/cArithmetic_trans.mli x: 23 commits (all time) y: 30 lines of code infer/src/pulse/PulseCItv.ml x: 7 commits (all time) y: 405 lines of code infer/src/pulse/PulseTrace.mli x: 21 commits (all time) y: 35 lines of code infer/src/absint/annotations.mli x: 8 commits (all time) y: 75 lines of code infer/src/concurrency/RacerDProcAnalysis.ml x: 7 commits (all time) y: 316 lines of code infer/src/IR/SpecializeProcdesc.ml x: 26 commits (all time) y: 164 lines of code infer/src/absint/FormalMap.ml x: 14 commits (all time) y: 31 lines of code infer/src/biabduction/PropUtil.ml x: 10 commits (all time) y: 174 lines of code infer/src/biabduction/interproc.ml x: 81 commits (all time) y: 985 lines of code infer/src/checkers/uninit.ml x: 91 commits (all time) y: 310 lines of code infer/src/nullsafe/typeCheck.ml x: 102 commits (all time) y: 1362 lines of code infer/src/quandary/ClangTrace.ml x: 90 commits (all time) y: 491 lines of code infer/src/quandary/JavaTrace.ml x: 126 commits (all time) y: 585 lines of code infer/src/pulse/PulseInvalidation.ml x: 27 commits (all time) y: 143 lines of code infer/src/nullsafe/ClassLevelAnalysis.ml x: 34 commits (all time) y: 291 lines of code infer/src/absint/ProcCfg.ml x: 34 commits (all time) y: 309 lines of code infer/src/absint/ProcCfg.mli x: 23 commits (all time) y: 104 lines of code infer/src/backend/Issue.ml x: 7 commits (all time) y: 41 lines of code infer/src/cost/costDomain.ml x: 21 commits (all time) y: 98 lines of code infer/src/concurrency/RacerDModels.mli x: 22 commits (all time) y: 52 lines of code infer/src/clang/cLocation.ml x: 82 commits (all time) y: 87 lines of code infer/src/java/jMain.ml x: 126 commits (all time) y: 109 lines of code infer/src/integration/SarifReport.ml x: 2 commits (all time) y: 122 lines of code infer/src/infer.ml x: 84 commits (all time) y: 165 lines of code infer/src/clang/cFrontend_config.ml x: 97 commits (all time) y: 86 lines of code infer/src/clang/cFrontend_config.mli x: 93 commits (all time) y: 75 lines of code infer/src/backend/Payloads.mli x: 36 commits (all time) y: 35 lines of code infer/src/backend/registerCheckers.ml x: 47 commits (all time) y: 217 lines of code infer/src/base/Checker.mli x: 21 commits (all time) y: 79 lines of code infer/src/cost/costModels.ml x: 37 commits (all time) y: 445 lines of code infer/src/bufferoverrun/bufferOverrunDomain.ml x: 258 commits (all time) y: 2145 lines of code infer/src/bufferoverrun/bufferOverrunDomain.mli x: 25 commits (all time) y: 457 lines of code infer/src/absint/exe_env.ml x: 5 commits (all time) y: 92 lines of code sledge/src/domain_intf.ml x: 23 commits (all time) y: 63 lines of code sledge/src/domain_relation.ml x: 21 commits (all time) y: 117 lines of code sledge/src/domain_used_globals.ml x: 30 commits (all time) y: 77 lines of code sledge/src/fol/theory.ml x: 15 commits (all time) y: 183 lines of code sledge/src/sh.ml x: 100 commits (all time) y: 964 lines of code sledge/nonstdlib/iter.ml x: 12 commits (all time) y: 98 lines of code infer/src/IR/CallFlags.ml x: 19 commits (all time) y: 33 lines of code infer/src/dune.in x: 54 commits (all time) y: 124 lines of code infer/src/biabduction/Match.ml x: 20 commits (all time) y: 817 lines of code infer/src/concurrency/StarvationModels.ml x: 59 commits (all time) y: 367 lines of code infer/src/concurrency/starvation.ml x: 170 commits (all time) y: 785 lines of code infer/src/concurrency/starvationDomain.ml x: 104 commits (all time) y: 861 lines of code infer/src/concurrency/starvationDomain.mli x: 79 commits (all time) y: 205 lines of code infer/src/IR/Cfg.ml x: 70 commits (all time) y: 49 lines of code infer/src/IR/Cfg.mli x: 31 commits (all time) y: 25 lines of code infer/src/IR/Instrs.ml x: 21 commits (all time) y: 193 lines of code infer/src/base/ResultsDirEntryName.ml x: 13 commits (all time) y: 223 lines of code infer/src/checkers/loopInvariant.ml x: 36 commits (all time) y: 266 lines of code infer/src/base/ScubaLogging.ml x: 5 commits (all time) y: 69 lines of code sledge/src/fol/trm.ml x: 47 commits (all time) y: 532 lines of code infer/src/IR/Sil.ml x: 68 commits (all time) y: 187 lines of code infer/src/IR/Sil.mli x: 52 commits (all time) y: 88 lines of code infer/src/biabduction/Paths.ml x: 24 commits (all time) y: 606 lines of code infer/src/biabduction/Predicates.ml x: 12 commits (all time) y: 1037 lines of code infer/src/clang/cContext.ml x: 74 commits (all time) y: 131 lines of code infer/src/clang/cContext.mli x: 50 commits (all time) y: 64 lines of code infer/src/clang/cScope.ml x: 15 commits (all time) y: 295 lines of code sledge/src/fol/exp.ml x: 11 commits (all time) y: 354 lines of code sledge/src/fol/exp.mli x: 9 commits (all time) y: 111 lines of code sledge/src/fol/trm.mli x: 21 commits (all time) y: 132 lines of code sledge/src/solver.ml x: 33 commits (all time) y: 686 lines of code infer/src/absint/TransferFunctions.ml x: 26 commits (all time) y: 42 lines of code infer/src/cost/costUtils.ml x: 6 commits (all time) y: 91 lines of code sledge/src/llair/exp.ml x: 110 commits (all time) y: 401 lines of code sledge/nonstdlib/ocaml/map.ml x: 5 commits (all time) y: 570 lines of code sledge/nonstdlib/ocaml/map.mli x: 4 commits (all time) y: 341 lines of code sledge/nonstdlib/ocaml/set.ml x: 6 commits (all time) y: 623 lines of code sledge/nonstdlib/NSSet_intf.ml x: 9 commits (all time) y: 89 lines of code sledge/nonstdlib/multiset.ml x: 17 commits (all time) y: 94 lines of code sledge/nonstdlib/multiset_intf.ml x: 13 commits (all time) y: 87 lines of code sledge/src/llair/typ.ml x: 30 commits (all time) y: 151 lines of code sledge/src/fol/arithmetic.ml x: 26 commits (all time) y: 410 lines of code sledge/nonstdlib/NSMap.ml x: 13 commits (all time) y: 198 lines of code sledge/nonstdlib/NSMap_intf.ml x: 12 commits (all time) y: 133 lines of code sledge/ppx_trace/trace/trace.ml x: 12 commits (all time) y: 249 lines of code infer/src/base/ProcessPool.ml x: 51 commits (all time) y: 415 lines of code infer/src/backend/printer.ml x: 129 commits (all time) y: 283 lines of code infer/src/istd/RecencyMap.ml x: 8 commits (all time) y: 186 lines of code infer/src/istd/RecencyMap.mli x: 6 commits (all time) y: 40 lines of code infer/src/backend/Summary.mli x: 42 commits (all time) y: 73 lines of code infer/src/base/SourceFile.ml x: 71 commits (all time) y: 335 lines of code facebook-clang-plugins/clang-ocaml/clang_ast_proj.ml.p x: 6 commits (all time) y: 180 lines of code infer/src/al/cPredicates.ml x: 15 commits (all time) y: 1273 lines of code infer/src/clang/ast_expressions.ml x: 93 commits (all time) y: 121 lines of code infer/src/clang/cTrans_utils.ml x: 207 commits (all time) y: 677 lines of code infer/src/bufferoverrun/bufferOverrunUtils.ml x: 105 commits (all time) y: 378 lines of code infer/src/IR/PredSymb.ml x: 20 commits (all time) y: 198 lines of code infer/src/IR/Subtype.ml x: 22 commits (all time) y: 215 lines of code infer/src/biabduction/BiabductionSummary.ml x: 16 commits (all time) y: 228 lines of code infer/src/biabduction/DotBiabduction.ml x: 8 commits (all time) y: 973 lines of code infer/src/bufferoverrun/symb.ml x: 65 commits (all time) y: 305 lines of code infer/src/istd/Pp.ml x: 25 commits (all time) y: 173 lines of code infer/src/scripts/checkCopyright.ml x: 43 commits (all time) y: 343 lines of code infer/src/IR/inferconfig.ml x: 13 commits (all time) y: 306 lines of code infer/src/base/SourceFile.mli x: 31 commits (all time) y: 50 lines of code infer/src/IR/SourceFiles.ml x: 29 commits (all time) y: 148 lines of code infer/src/absint/ProcnameDispatcher.mli x: 4 commits (all time) y: 268 lines of code infer/src/al/ALIssues.ml x: 22 commits (all time) y: 488 lines of code infer/src/al/CTL.ml x: 10 commits (all time) y: 900 lines of code infer/src/backend/GCStats.ml x: 3 commits (all time) y: 120 lines of code infer/src/backend/Procedures.ml x: 19 commits (all time) y: 111 lines of code infer/src/backend/Tasks.ml x: 40 commits (all time) y: 52 lines of code infer/src/backend/callbacks.mli x: 54 commits (all time) y: 44 lines of code infer/src/base/ResultsDir.ml x: 44 commits (all time) y: 127 lines of code infer/src/biabduction/Abs.ml x: 37 commits (all time) y: 1269 lines of code infer/src/biabduction/Absarray.ml x: 24 commits (all time) y: 647 lines of code infer/src/biabduction/Propgraph.ml x: 12 commits (all time) y: 229 lines of code infer/src/biabduction/Prover.ml x: 51 commits (all time) y: 2389 lines of code infer/src/biabduction/Timeout.ml x: 13 commits (all time) y: 103 lines of code infer/src/bufferoverrun/absLoc.ml x: 82 commits (all time) y: 515 lines of code infer/src/bufferoverrun/bounds.ml x: 72 commits (all time) y: 1174 lines of code infer/src/bufferoverrun/polynomials.ml x: 40 commits (all time) y: 750 lines of code infer/src/checkers/Siof.ml x: 98 commits (all time) y: 263 lines of code infer/src/checkers/control.ml x: 33 commits (all time) y: 175 lines of code infer/src/clang/ClangWrapper.ml x: 23 commits (all time) y: 177 lines of code infer/src/clang/objcCategory_decl.ml x: 53 commits (all time) y: 101 lines of code infer/src/clang/objcInterface_decl.ml x: 83 commits (all time) y: 133 lines of code infer/src/labs/01_integer_domain/ResourceLeaks.ml x: 13 commits (all time) y: 75 lines of code infer/src/nullsafe/AggregatedSummaries.ml x: 6 commits (all time) y: 126 lines of code infer/src/nullsafe/AssignmentRule.ml x: 45 commits (all time) y: 275 lines of code infer/src/nullsafe/NullsafeMode.ml x: 16 commits (all time) y: 214 lines of code infer/src/nullsafe/ThirdPartyAnnotationInfo.ml x: 14 commits (all time) y: 101 lines of code infer/src/nullsafe/eradicateChecks.ml x: 99 commits (all time) y: 511 lines of code infer/src/nullsafe/models.ml x: 38 commits (all time) y: 117 lines of code infer/src/nullsafe/typeErr.ml x: 60 commits (all time) y: 318 lines of code infer/src/nullsafe/typeOrigin.ml x: 41 commits (all time) y: 212 lines of code infer/src/nullsafe/unit/ThirdPartyMethodTests.ml x: 4 commits (all time) y: 110 lines of code infer/src/pulse/PulseBaseDomain.mli x: 16 commits (all time) y: 60 lines of code infer/src/quandary/TaintAnalysis.ml x: 223 commits (all time) y: 812 lines of code infer/src/unit/DifferentialFiltersTests.ml x: 31 commits (all time) y: 222 lines of code infer/src/unit/JavaProfilerSamplesTest.ml x: 24 commits (all time) y: 231 lines of code infer/src/unit/TraceTests.ml x: 54 commits (all time) y: 98 lines of code sledge/cli/sledge_buck.ml x: 6 commits (all time) y: 222 lines of code sledge/src/fol/propositional.ml x: 9 commits (all time) y: 296 lines of code infer/src/backend/ondemand.mli x: 51 commits (all time) y: 25 lines of code infer/src/integration/BuckBuildReport.ml x: 1 commits (all time) y: 134 lines of code infer/src/absint/ConcurrencyModels.ml x: 14 commits (all time) y: 352 lines of code infer/src/checkers/annotationReachability.ml x: 144 commits (all time) y: 475 lines of code infer/src/al/ComponentKit.ml x: 12 commits (all time) y: 191 lines of code infer/src/al/ctl_parser.mly x: 6 commits (all time) y: 307 lines of code infer/src/clang/Capture.ml x: 55 commits (all time) y: 185 lines of code infer/src/clang/cAst_utils.mli x: 48 commits (all time) y: 93 lines of code infer/src/integration/Javac.ml x: 30 commits (all time) y: 119 lines of code infer/src/java/jClasspath.ml x: 91 commits (all time) y: 195 lines of code infer/src/base/DB.ml x: 77 commits (all time) y: 121 lines of code infer/src/base/DB.mli x: 49 commits (all time) y: 48 lines of code infer/src/IR/Io_infer.ml x: 38 commits (all time) y: 148 lines of code sledge/cli/version.ml x: 5 commits (all time) y: 43 lines of code infer/src/base/Utils.ml x: 129 commits (all time) y: 424 lines of code infer/src/base/Utils.mli x: 99 commits (all time) y: 118 lines of code infer/src/biabduction/Dom.ml x: 28 commits (all time) y: 2038 lines of code sledge/src/control.mli x: 21 commits (all time) y: 17 lines of code infer/src/concurrency/RacerDDomain.ml x: 76 commits (all time) y: 585 lines of code infer/src/nullsafe/modelTables.ml x: 41 commits (all time) y: 834 lines of code infer/src/concurrency/AbstractAddress.ml x: 7 commits (all time) y: 250 lines of code website/static/odoc/1.1.0/odoc.css x: 2 commits (all time) y: 567 lines of code infer/src/istd/UnionFind.ml x: 6 commits (all time) y: 166 lines of code infer/src/IR/PredSymb.mli x: 14 commits (all time) y: 87 lines of code infer/src/base/PerfEvent.ml x: 10 commits (all time) y: 226 lines of code infer/src/checkers/purityModels.ml x: 18 commits (all time) y: 154 lines of code infer/src/clang/CMethodProperties.ml x: 14 commits (all time) y: 161 lines of code infer/src/clang/cTrans_models.ml x: 75 commits (all time) y: 86 lines of code infer/src/absint/LowerHil.ml x: 52 commits (all time) y: 112 lines of code infer/src/unit/schedulerTests.ml x: 43 commits (all time) y: 106 lines of code infer/src/bufferoverrun/absLoc.mli x: 15 commits (all time) y: 109 lines of code infer/src/bufferoverrun/bufferOverrunUtils.mli x: 54 commits (all time) y: 104 lines of code infer/src/clang/cGeneral_utils.mli x: 25 commits (all time) y: 24 lines of code infer/src/absint/TaintTrace.ml x: 2 commits (all time) y: 456 lines of code infer/src/biabduction/Predicates.mli x: 5 commits (all time) y: 267 lines of code infer/src/checkers/LithoDomain.ml x: 42 commits (all time) y: 429 lines of code infer/src/IR/WeakTopologicalOrder.ml x: 9 commits (all time) y: 206 lines of code sledge/nonstdlib/comparer.mli x: 1 commits (all time) y: 73 lines of code infer/lib/linter_rules/linters.al x: 42 commits (all time) y: 178 lines of code infer/src/al/cPredicates.mli x: 9 commits (all time) y: 330 lines of code infer/src/integration/CaptureCompilationDatabase.ml x: 101 commits (all time) y: 158 lines of code infer/src/unit/TaintTests.ml x: 99 commits (all time) y: 142 lines of code infer/src/nullsafe/ErrorRenderingUtils.ml x: 27 commits (all time) y: 261 lines of code infer/src/java/jSourceLexer.mll x: 2 commits (all time) y: 220 lines of code infer/src/java/jSourceParser.mly x: 2 commits (all time) y: 616 lines of code infer/src/concurrency/RacerDDomain.mli x: 60 commits (all time) y: 148 lines of code infer/src/clang/cTrans_utils.mli x: 106 commits (all time) y: 247 lines of code infer/src/nullsafe/DereferenceRule.ml x: 28 commits (all time) y: 136 lines of code infer/src/nullsafe/AnnotatedNullability.ml x: 20 commits (all time) y: 162 lines of code infer/src/clang/CType.ml x: 25 commits (all time) y: 70 lines of code infer/src/unit/accessPathTestUtils.ml x: 22 commits (all time) y: 16 lines of code infer/src/unit/accessTreeTests.ml x: 39 commits (all time) y: 514 lines of code infer/src/nullsafe/InferredNullability.ml x: 21 commits (all time) y: 59 lines of code infer/src/bufferoverrun/arrayBlk.ml x: 55 commits (all time) y: 327 lines of code website/static/odoc/1.0.0/odoc.css x: 1 commits (all time) y: 567 lines of code infer/src/java/jSourceFileInfo.mll x: 5 commits (all time) y: 393 lines of code facebook-clang-plugins/libtooling/atdlib/ATDWriter.h x: 2 commits (all time) y: 507 lines of code infer/src/checkers/printfArgs.ml x: 62 commits (all time) y: 161 lines of code sledge/TODO.org x: 17 commits (all time) y: 303 lines of code infer/src/base/Serialization.ml x: 40 commits (all time) y: 71 lines of code infer/src/clang/ast_expressions.mli x: 45 commits (all time) y: 27 lines of code infer/models/c/src/libc_basic.c x: 23 commits (all time) y: 1337 lines of code infer/src/istd/ImperativeUnionFind.ml x: 8 commits (all time) y: 113 lines of code infer/src/java/jTransType.mli x: 44 commits (all time) y: 50 lines of code infer/src/java/jClasspath.mli x: 34 commits (all time) y: 22 lines of code infer/src/java/jContext.ml x: 34 commits (all time) y: 80 lines of code infer/src/java/jTrans.mli x: 29 commits (all time) y: 59 lines of code infer/src/bufferoverrun/bufferOverrunTrace.ml x: 34 commits (all time) y: 228 lines of code infer/src/absint/AccessPath.ml x: 2 commits (all time) y: 140 lines of code infer/src/checkers/fragmentRetainsViewChecker.ml x: 56 commits (all time) y: 79 lines of code infer/src/al/ALDebugger.ml x: 2 commits (all time) y: 322 lines of code infer/src/base/TaskBar.ml x: 13 commits (all time) y: 163 lines of code infer/src/integration/DifferentialFilters.ml x: 1 commits (all time) y: 158 lines of code infer/src/absint/AccessTree.ml x: 1 commits (all time) y: 344 lines of code infer/src/bufferoverrun/bufferOverrunChecker.mli x: 18 commits (all time) y: 11 lines of code infer/src/backend/printer.mli x: 32 commits (all time) y: 20 lines of code infer/src/backend/callbacks.ml x: 118 commits (all time) y: 62 lines of code infer/src/absint/Scheduler.ml x: 18 commits (all time) y: 80 lines of code sledge/semantics/llvmScript.sml x: 27 commits (all time) y: 787 lines of code sledge/semantics/llvm_ssaScript.sml x: 9 commits (all time) y: 1752 lines of code sledge/semantics/llvm_to_llair_propScript.sml x: 18 commits (all time) y: 1165 lines of code sledge/semantics/llvm_to_llair_sem_propScript.sml x: 2 commits (all time) y: 2096 lines of code sledge/semantics/miscScript.sml x: 17 commits (all time) y: 927 lines of code sledge/semantics/llvm_to_llairScript.sml x: 19 commits (all time) y: 401 lines of code infer/src/clang/cFrontend_errors.ml x: 161 commits (all time) y: 42 lines of code infer/src/clang/cFrontend_errors.mli x: 46 commits (all time) y: 38 lines of code sledge/semantics/llairScript.sml x: 18 commits (all time) y: 507 lines of code sledge/semantics/llair_propScript.sml x: 9 commits (all time) y: 558 lines of code sledge/semantics/memory_modelScript.sml x: 6 commits (all time) y: 578 lines of code infer/src/cost/controlFlowCost.ml x: 1 commits (all time) y: 170 lines of code infer/src/quandary/JavaTaintAnalysis.ml x: 45 commits (all time) y: 82 lines of code infer/src/clang/cTrans_models.mli x: 29 commits (all time) y: 21 lines of code infer/src/unit/procCfgTests.ml x: 42 commits (all time) y: 156 lines of code infer/src/al/cTL.ml x: 8 commits (all time) y: 900 lines of code infer/src/unit/FileDiffTests.ml x: 6 commits (all time) y: 247 lines of code sledge/semantics/llvm_propScript.sml x: 17 commits (all time) y: 1019 lines of code infer/models/java/src/java/net/PlainSocketImpl.java x: 9 commits (all time) y: 121 lines of code infer/src/clang/cEnum_decl.mli x: 13 commits (all time) y: 10 lines of code infer/src/clang/objcProtocol_decl.ml x: 37 commits (all time) y: 30 lines of code infer/src/quandary/QuandaryConfig.ml x: 18 commits (all time) y: 76 lines of code infer/src/backend/inferanalyze.ml x: 77 commits (all time) y: 249 lines of code infer/src/IR/sil.ml x: 14 commits (all time) y: 187 lines of code infer/src/IR/procname.ml x: 4 commits (all time) y: 1007 lines of code infer/src/IR/procname.mli x: 3 commits (all time) y: 314 lines of code infer/src/IR/procAttributes.ml x: 2 commits (all time) y: 242 lines of code
5018.0
lines of code
  min: 2.0
  average: 108.65
  25th percentile: 9.0
  median: 26.0
  75th percentile: 86.0
  max: 5018.0
0 747.0
commits (all time)
min: 1.0 | average: 16.09 | 25th percentile: 2.0 | median: 6.0 | 75th percentile: 13.0 | max: 747.0

File Size vs. Contributors (all time): 1898 points

infer/src/base/Config.ml x: 44 contributors (all time) y: 2878 lines of code infer/src/base/Config.mli x: 40 contributors (all time) y: 415 lines of code infer/src/pulse/PulseFormula.ml x: 4 contributors (all time) y: 1991 lines of code facebook-clang-plugins/libtooling/ASTExporter.h x: 5 contributors (all time) y: 3686 lines of code infer/src/clang/cTrans.ml x: 24 contributors (all time) y: 5018 lines of code infer/src/pulse/PulseAttribute.ml x: 11 contributors (all time) y: 372 lines of code infer/src/pulse/PulseAttribute.mli x: 10 contributors (all time) y: 93 lines of code infer/src/pulse/PulseBaseAddressAttributes.ml x: 9 contributors (all time) y: 170 lines of code infer/src/pulse/PulseTaint.ml x: 1 contributors (all time) y: 18 lines of code infer/src/pulse/PulseTaintOperations.ml x: 1 contributors (all time) y: 183 lines of code infer/src/pulse/PulseDiagnostic.ml x: 12 contributors (all time) y: 506 lines of code infer/src/erlang/ErlangEnvironment.ml x: 1 contributors (all time) y: 157 lines of code infer/src/erlang/ErlangEnvironment.mli x: 1 contributors (all time) y: 49 lines of code infer/src/erlang/ErlangTranslator.ml x: 4 contributors (all time) y: 1165 lines of code infer/src/erlang/ErlangTypes.ml x: 1 contributors (all time) y: 128 lines of code infer/src/pulse/PulseDecompiler.ml x: 2 contributors (all time) y: 175 lines of code infer/src/pulse/PulseDecompiler.mli x: 2 contributors (all time) y: 24 lines of code infer/src/absint/AbstractDomain.ml x: 10 contributors (all time) y: 621 lines of code infer/src/absint/AbstractDomain.mli x: 10 contributors (all time) y: 243 lines of code infer/src/cost/ConfigImpactAnalysis.ml x: 4 contributors (all time) y: 992 lines of code infer/src/erlang/ErlangTypes.mli x: 1 contributors (all time) y: 22 lines of code infer/src/istd/IList.ml x: 10 contributors (all time) y: 205 lines of code infer/src/istd/IList.mli x: 10 contributors (all time) y: 58 lines of code infer/src/base/CommandDoc.ml x: 7 contributors (all time) y: 351 lines of code infer/src/base/CommandLineOption.ml x: 16 contributors (all time) y: 1045 lines of code infer/src/base/CommandLineOption.mli x: 13 contributors (all time) y: 220 lines of code sledge/report/sledge_report.ml x: 2 contributors (all time) y: 805 lines of code sledge/src/report.ml x: 3 contributors (all time) y: 160 lines of code sledge/src/report.mli x: 2 contributors (all time) y: 49 lines of code sledge/cli/sledge_cli.ml x: 2 contributors (all time) y: 311 lines of code infer/src/erlang/ErlangAst.ml x: 2 contributors (all time) y: 156 lines of code infer/src/erlang/ErlangJsonParser.ml x: 4 contributors (all time) y: 667 lines of code infer/src/clang/ClangCommand.ml x: 8 contributors (all time) y: 235 lines of code infer/src/checkers/SimpleLineage.ml x: 4 contributors (all time) y: 870 lines of code infer/src/absint/PatternMatch.ml x: 16 contributors (all time) y: 446 lines of code infer/src/absint/PatternMatch.mli x: 15 contributors (all time) y: 161 lines of code infer/src/absint/ProcnameDispatcher.ml x: 8 contributors (all time) y: 826 lines of code infer/src/pulse/PulseModels.ml x: 15 contributors (all time) y: 18 lines of code infer/src/IR/ProcAttributes.ml x: 16 contributors (all time) y: 242 lines of code infer/src/IR/ProcAttributes.mli x: 15 contributors (all time) y: 79 lines of code infer/src/IR/Pvar.ml x: 18 contributors (all time) y: 254 lines of code infer/src/IR/Pvar.mli x: 15 contributors (all time) y: 123 lines of code infer/src/backend/ClosureSubstSpecializedMethod.ml x: 7 contributors (all time) y: 300 lines of code infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml x: 7 contributors (all time) y: 94 lines of code infer/src/clang/cMethod_trans.ml x: 17 contributors (all time) y: 331 lines of code infer/src/clang/cMethod_trans.mli x: 12 contributors (all time) y: 56 lines of code infer/src/clang/cVar_decl.ml x: 13 contributors (all time) y: 207 lines of code infer/src/pulse/PulseAbductiveDomain.ml x: 13 contributors (all time) y: 1093 lines of code infer/src/pulse/PulseBlockSpecialization.ml x: 1 contributors (all time) y: 255 lines of code infer/src/pulse/PulseCallOperations.ml x: 9 contributors (all time) y: 301 lines of code infer/src/backend/CCallSpecializedWithClosures.ml x: 3 contributors (all time) y: 74 lines of code infer/src/pulse/Pulse.ml x: 15 contributors (all time) y: 786 lines of code infer/src/IR/Fieldname.ml x: 8 contributors (all time) y: 92 lines of code infer/src/IR/Fieldname.mli x: 7 contributors (all time) y: 48 lines of code infer/src/backend/ClosuresSubstitution.ml x: 5 contributors (all time) y: 147 lines of code infer/src/clang/CType_decl.ml x: 14 contributors (all time) y: 737 lines of code infer/src/clang/cFrontend_decl.ml x: 17 contributors (all time) y: 481 lines of code website/src/pages/index.js x: 5 contributors (all time) y: 230 lines of code infer/lib/erlang/extract.escript x: 2 contributors (all time) y: 207 lines of code infer/src/integration/JsonReports.ml x: 10 contributors (all time) y: 374 lines of code sledge/cli/domain_itv.ml x: 2 contributors (all time) y: 274 lines of code sledge/nonstdlib/array.ml x: 1 contributors (all time) y: 108 lines of code sledge/nonstdlib/iArray.mli x: 1 contributors (all time) y: 61 lines of code sledge/src/llair/llair.ml x: 3 contributors (all time) y: 746 lines of code sledge/cli/frontend.ml x: 2 contributors (all time) y: 1668 lines of code infer/src/java/jTransExn.ml x: 12 contributors (all time) y: 180 lines of code infer/src/backend/InferAnalyze.ml x: 14 contributors (all time) y: 249 lines of code infer/src/base/IssueType.ml x: 24 contributors (all time) y: 787 lines of code infer/src/base/IssueType.mli x: 22 contributors (all time) y: 227 lines of code infer/src/integration/Differential.ml x: 4 contributors (all time) y: 508 lines of code infer/src/IR/Procname.ml x: 15 contributors (all time) y: 1007 lines of code infer/src/IR/Procname.mli x: 15 contributors (all time) y: 314 lines of code infer/src/pulse/PulseNonDisjunctiveDomain.ml x: 2 contributors (all time) y: 86 lines of code infer/src/erlang/ErlangAstValidator.ml x: 1 contributors (all time) y: 278 lines of code sledge/nonstdlib/NS.mli x: 2 contributors (all time) y: 180 lines of code infer/src/base/Logging.ml x: 14 contributors (all time) y: 372 lines of code infer/src/integration/Help.ml x: 2 contributors (all time) y: 277 lines of code infer/src/backend/CallGraph.ml x: 3 contributors (all time) y: 113 lines of code infer/src/backend/CallGraph.mli x: 4 contributors (all time) y: 45 lines of code infer/src/backend/SyntacticCallGraph.ml x: 4 contributors (all time) y: 128 lines of code infer/src/backend/SyntacticCallGraph.mli x: 5 contributors (all time) y: 16 lines of code infer/src/integration/InferCommandImplementation.ml x: 2 contributors (all time) y: 229 lines of code infer/src/topl/Topl.ml x: 6 contributors (all time) y: 23 lines of code infer/src/pulse/PulseTopl.ml x: 3 contributors (all time) y: 532 lines of code infer/src/pulse/PulseTopl.mli x: 3 contributors (all time) y: 39 lines of code infer/src/topl/ToplAutomaton.ml x: 3 contributors (all time) y: 142 lines of code website/static/odoc/next/infer/ASTLanguage.html x: 6 contributors (all time) y: 2 lines of code website/static/odoc/next/infer/Absint/Reporting/index.html x: 6 contributors (all time) y: 41 lines of code website/static/odoc/next/infer/Backend/Payloads/Fields/Direct/index.html x: 6 contributors (all time) y: 604 lines of code website/static/odoc/next/infer/Biabduction/Errdesc/index.html x: 7 contributors (all time) y: 75 lines of code website/static/odoc/next/infer/Costlib/Cost/index.html x: 7 contributors (all time) y: 20 lines of code website/static/odoc/next/infer/Costlib/CostModels/Iterator/index.html x: 2 contributors (all time) y: 6 lines of code website/static/odoc/next/infer/Pulselib/PulseBaseDomain/GraphVisit/index.html x: 4 contributors (all time) y: 23 lines of code website/static/odoc/next/odoc.css x: 6 contributors (all time) y: 592 lines of code infer/src/base/Logging.mli x: 11 contributors (all time) y: 100 lines of code website/docusaurus.config.js x: 6 contributors (all time) y: 109 lines of code website/src/css/custom.css x: 3 contributors (all time) y: 42 lines of code infer/src/base/Stats.ml x: 3 contributors (all time) y: 277 lines of code infer/src/pulse/PulseInterproc.ml x: 7 contributors (all time) y: 843 lines of code infer/src/absint/AbstractInterpreter.ml x: 12 contributors (all time) y: 609 lines of code infer/src/absint/AbstractInterpreter.mli x: 9 contributors (all time) y: 89 lines of code infer/src/checkers/liveness.ml x: 16 contributors (all time) y: 357 lines of code infer/src/unit/abstractInterpreterTests.ml x: 9 contributors (all time) y: 117 lines of code infer/src/unit/analyzerTester.ml x: 12 contributors (all time) y: 287 lines of code infer/src/unit/livenessTests.ml x: 10 contributors (all time) y: 145 lines of code infer/src/pulse/PulseAbductiveDomain.mli x: 12 contributors (all time) y: 222 lines of code infer/src/pulse/PulseBaseAddressAttributes.mli x: 9 contributors (all time) y: 56 lines of code infer/src/pulse/PulseDiagnostic.mli x: 10 contributors (all time) y: 70 lines of code infer/src/pulse/PulseLatentIssue.ml x: 8 contributors (all time) y: 68 lines of code infer/src/pulse/PulseReport.ml x: 8 contributors (all time) y: 207 lines of code infer/src/pulse/PulseValueHistory.ml x: 5 contributors (all time) y: 273 lines of code infer/src/pulse/PulseValueHistory.mli x: 4 contributors (all time) y: 67 lines of code infer/src/pulse/PulseAccessResult.ml x: 4 contributors (all time) y: 108 lines of code infer/src/pulse/PulseObjectiveCSummary.ml x: 3 contributors (all time) y: 121 lines of code infer/src/pulse/PulseOperations.ml x: 13 contributors (all time) y: 719 lines of code infer/src/pulse/PulseOperations.mli x: 11 contributors (all time) y: 290 lines of code infer/src/backend/ondemand.ml x: 18 contributors (all time) y: 313 lines of code infer/src/deadcode/dune.in x: 8 contributors (all time) y: 16 lines of code infer/src/bufferoverrun/bufferOverrunAnalysis.ml x: 11 contributors (all time) y: 483 lines of code infer/src/base/BuckMode.mli x: 3 contributors (all time) y: 14 lines of code infer/src/integration/Buck.ml x: 11 contributors (all time) y: 411 lines of code infer/src/integration/Driver.ml x: 21 contributors (all time) y: 442 lines of code infer/src/integration/Driver.mli x: 11 contributors (all time) y: 41 lines of code infer/src/IR/Procdesc.ml x: 19 contributors (all time) y: 777 lines of code infer/src/istd/PrettyPrintable.mli x: 8 contributors (all time) y: 132 lines of code infer/src/concurrency/RacerDFileAnalysis.ml x: 6 contributors (all time) y: 563 lines of code infer/src/pulse/PulseModelsGenericArrayBackedCollection.mli x: 2 contributors (all time) y: 65 lines of code infer/src/pulse/PulseModelsCpp.ml x: 5 contributors (all time) y: 507 lines of code infer/src/pulse/PulseModelsJava.ml x: 3 contributors (all time) y: 644 lines of code infer/src/pulse/PulsePathCondition.ml x: 6 contributors (all time) y: 383 lines of code infer/src/IR/BuiltinDecl.ml x: 16 contributors (all time) y: 132 lines of code sledge/src/llair/llair.mli x: 3 contributors (all time) y: 259 lines of code sledge/src/domain_sh.ml x: 2 contributors (all time) y: 397 lines of code sledge/src/exec.ml x: 2 contributors (all time) y: 777 lines of code sledge/src/fol/context.ml x: 2 contributors (all time) y: 1375 lines of code infer/src/nullsafe/unit/ThirdPartyAnnotationInfoTests.ml x: 2 contributors (all time) y: 253 lines of code infer/src/base/DBWriter.ml x: 7 contributors (all time) y: 402 lines of code infer/src/java/jFrontend.ml x: 11 contributors (all time) y: 223 lines of code infer/src/IR/Exp.ml x: 11 contributors (all time) y: 325 lines of code infer/src/IR/Typ.ml x: 19 contributors (all time) y: 686 lines of code infer/src/IR/Typ.mli x: 18 contributors (all time) y: 236 lines of code infer/src/clang/cType_to_sil_type.ml x: 11 contributors (all time) y: 242 lines of code infer/src/dotnet/ResourceLeakCSDomain.ml x: 1 contributors (all time) y: 228 lines of code infer/src/pulse/PulseModelsErlang.ml x: 2 contributors (all time) y: 611 lines of code infer/src/backend/preanal.ml x: 15 contributors (all time) y: 430 lines of code infer/src/backend/InferAnalyzeJson.ml x: 7 contributors (all time) y: 628 lines of code infer/src/biabduction/BuiltinDefn.ml x: 14 contributors (all time) y: 836 lines of code infer/src/java/jTrans.ml x: 16 contributors (all time) y: 1165 lines of code infer/src/IR/DotCfg.ml x: 5 contributors (all time) y: 125 lines of code infer/src/bufferoverrun/bufferOverrunChecker.ml x: 21 contributors (all time) y: 430 lines of code infer/src/checkers/SelfInBlock.ml x: 6 contributors (all time) y: 505 lines of code infer/src/cost/cost.ml x: 9 contributors (all time) y: 420 lines of code infer/src/bufferoverrun/bufferOverrunSemantics.ml x: 15 contributors (all time) y: 807 lines of code infer/src/bufferoverrun/bufferOverrunSemantics.mli x: 3 contributors (all time) y: 82 lines of code infer/src/cost/cost.mli x: 5 contributors (all time) y: 26 lines of code infer/src/cost/hoisting.ml x: 7 contributors (all time) y: 123 lines of code infer/src/biabduction/SymExec.ml x: 15 contributors (all time) y: 1683 lines of code infer/src/IR/Procdesc.mli x: 17 contributors (all time) y: 280 lines of code infer/src/backend/Summary.ml x: 9 contributors (all time) y: 279 lines of code infer/src/pulse/PulseBaseMemory.ml x: 5 contributors (all time) y: 165 lines of code infer/src/pulse/PulseRefCounting.ml x: 1 contributors (all time) y: 95 lines of code infer/src/absint/Localise.ml x: 2 contributors (all time) y: 429 lines of code infer/src/biabduction/Exceptions.ml x: 4 contributors (all time) y: 160 lines of code infer/src/biabduction/Rearrange.ml x: 14 contributors (all time) y: 1213 lines of code infer/src/biabduction/Tabulation.ml x: 8 contributors (all time) y: 1279 lines of code infer/src/biabduction/errdesc.ml x: 5 contributors (all time) y: 1020 lines of code infer/src/clang/cFrontend.ml x: 13 contributors (all time) y: 54 lines of code Makefile.autoconf.in x: 14 contributors (all time) y: 106 lines of code infer/src/checkers/PurityAnalysis.ml x: 1 contributors (all time) y: 172 lines of code infer/src/bufferoverrun/bufferOverrunModels.ml x: 12 contributors (all time) y: 1958 lines of code infer/src/bufferoverrun/bufferOverrunProofObligations.ml x: 9 contributors (all time) y: 773 lines of code infer/src/bufferoverrun/itv.ml x: 15 contributors (all time) y: 584 lines of code infer/src/bufferoverrun/itv.mli x: 11 contributors (all time) y: 159 lines of code infer/src/IR/Annot.ml x: 9 contributors (all time) y: 137 lines of code infer/src/IR/Annot.mli x: 8 contributors (all time) y: 50 lines of code infer/src/IR/Struct.ml x: 8 contributors (all time) y: 368 lines of code infer/src/biabduction/RetainCycles.ml x: 9 contributors (all time) y: 233 lines of code infer/src/checkers/RequiredProps.ml x: 6 contributors (all time) y: 284 lines of code infer/src/clang/cAst_utils.ml x: 13 contributors (all time) y: 479 lines of code infer/src/clang/cField_decl.ml x: 12 contributors (all time) y: 113 lines of code infer/src/clang/cGeneral_utils.ml x: 12 contributors (all time) y: 93 lines of code infer/src/concurrency/RacerDModels.ml x: 9 contributors (all time) y: 592 lines of code infer/src/java/jAnnotation.ml x: 11 contributors (all time) y: 86 lines of code infer/src/java/jTransType.ml x: 14 contributors (all time) y: 341 lines of code infer/src/nullsafe/AnnotatedSignature.ml x: 7 contributors (all time) y: 217 lines of code infer/src/IR/Tenv.ml x: 12 contributors (all time) y: 206 lines of code infer/src/base/ResultsDatabase.ml x: 7 contributors (all time) y: 170 lines of code infer/src/IR/Tenv.mli x: 9 contributors (all time) y: 64 lines of code infer/src/base/Checker.ml x: 9 contributors (all time) y: 458 lines of code infer/src/checkers/impurity.ml x: 7 contributors (all time) y: 235 lines of code infer/src/pulse/PulseArithmetic.ml x: 5 contributors (all time) y: 56 lines of code infer/src/pulse/PulseSummary.mli x: 4 contributors (all time) y: 19 lines of code infer/src/pulse/unit/PulseFormulaTest.ml x: 3 contributors (all time) y: 427 lines of code infer/src/absint/HilExp.ml x: 5 contributors (all time) y: 610 lines of code infer/src/biabduction/Attribute.ml x: 5 contributors (all time) y: 340 lines of code infer/src/biabduction/Prop.ml x: 8 contributors (all time) y: 2356 lines of code infer/src/clang/cArithmetic_trans.ml x: 10 contributors (all time) y: 294 lines of code infer/src/clang/cArithmetic_trans.mli x: 8 contributors (all time) y: 30 lines of code infer/src/pulse/PulseCItv.ml x: 4 contributors (all time) y: 405 lines of code infer/src/absint/Reporting.ml x: 6 contributors (all time) y: 134 lines of code infer/src/concurrency/RacerDProcAnalysis.ml x: 4 contributors (all time) y: 316 lines of code infer/src/biabduction/Buckets.ml x: 6 contributors (all time) y: 150 lines of code infer/src/biabduction/interproc.ml x: 13 contributors (all time) y: 985 lines of code infer/src/checkers/uninit.ml x: 12 contributors (all time) y: 310 lines of code infer/src/nullsafe/typeCheck.ml x: 8 contributors (all time) y: 1362 lines of code infer/src/quandary/JavaTrace.ml x: 12 contributors (all time) y: 585 lines of code infer/src/pulse/PulseInvalidation.ml x: 7 contributors (all time) y: 143 lines of code infer/src/nullsafe/ClassLevelAnalysis.ml x: 4 contributors (all time) y: 291 lines of code infer/src/absint/ProcCfg.ml x: 8 contributors (all time) y: 309 lines of code infer/src/absint/ProcCfg.mli x: 8 contributors (all time) y: 104 lines of code infer/src/java/jMain.ml x: 16 contributors (all time) y: 109 lines of code infer/src/infer.ml x: 21 contributors (all time) y: 165 lines of code infer/src/clang/cFrontend_config.ml x: 14 contributors (all time) y: 86 lines of code infer/src/clang/cFrontend_config.mli x: 14 contributors (all time) y: 75 lines of code infer/src/backend/Payloads.ml x: 11 contributors (all time) y: 79 lines of code infer/src/backend/Payloads.mli x: 11 contributors (all time) y: 35 lines of code infer/src/base/Checker.mli x: 6 contributors (all time) y: 79 lines of code infer/src/cost/costModels.ml x: 4 contributors (all time) y: 445 lines of code infer/src/bufferoverrun/bufferOverrunDomain.ml x: 16 contributors (all time) y: 2145 lines of code infer/src/bufferoverrun/bufferOverrunDomain.mli x: 7 contributors (all time) y: 457 lines of code sledge/src/sh.ml x: 2 contributors (all time) y: 964 lines of code infer/src/dune.in x: 14 contributors (all time) y: 124 lines of code infer/src/biabduction/Match.ml x: 4 contributors (all time) y: 817 lines of code infer/src/concurrency/StarvationModels.ml x: 6 contributors (all time) y: 367 lines of code infer/src/concurrency/starvation.ml x: 10 contributors (all time) y: 785 lines of code infer/src/concurrency/starvationDomain.ml x: 5 contributors (all time) y: 861 lines of code infer/src/concurrency/starvationDomain.mli x: 5 contributors (all time) y: 205 lines of code infer/src/IR/Instrs.ml x: 10 contributors (all time) y: 193 lines of code infer/src/base/ResultsDirEntryName.ml x: 4 contributors (all time) y: 223 lines of code sledge/src/fol/trm.ml x: 2 contributors (all time) y: 532 lines of code infer/src/biabduction/Predicates.ml x: 6 contributors (all time) y: 1037 lines of code infer/src/clang/cContext.ml x: 11 contributors (all time) y: 131 lines of code sledge/src/fol/exp.ml x: 1 contributors (all time) y: 354 lines of code sledge/src/solver.ml x: 2 contributors (all time) y: 686 lines of code infer/src/bufferoverrun/bufferOverrunField.mli x: 5 contributors (all time) y: 73 lines of code infer/src/cost/costUtils.ml x: 4 contributors (all time) y: 91 lines of code sledge/nonstdlib/ocaml/map.ml x: 1 contributors (all time) y: 570 lines of code sledge/nonstdlib/ocaml/set.ml x: 1 contributors (all time) y: 623 lines of code sledge/src/llair/exp.mli x: 4 contributors (all time) y: 198 lines of code sledge/src/fol/arithmetic_intf.ml x: 2 contributors (all time) y: 99 lines of code sledge/nonstdlib/NSMap_intf.ml x: 2 contributors (all time) y: 133 lines of code infer/src/base/ProcessPool.ml x: 10 contributors (all time) y: 415 lines of code infer/src/backend/printer.ml x: 14 contributors (all time) y: 283 lines of code infer/src/istd/RecencyMap.ml x: 3 contributors (all time) y: 186 lines of code infer/src/base/SourceFile.ml x: 14 contributors (all time) y: 335 lines of code infer/src/nullsafe/eradicate.ml x: 9 contributors (all time) y: 240 lines of code infer/src/al/ctl_parser_types.ml x: 5 contributors (all time) y: 577 lines of code infer/src/clang/cTrans_utils.ml x: 18 contributors (all time) y: 677 lines of code infer/src/bufferoverrun/bufferOverrunUtils.ml x: 11 contributors (all time) y: 378 lines of code infer/src/IR/Ident.ml x: 10 contributors (all time) y: 173 lines of code infer/src/IR/Subtype.ml x: 6 contributors (all time) y: 215 lines of code infer/src/base/Language.ml x: 7 contributors (all time) y: 15 lines of code infer/src/biabduction/DotBiabduction.ml x: 4 contributors (all time) y: 973 lines of code infer/src/istd/Pp.ml x: 6 contributors (all time) y: 173 lines of code infer/src/scripts/checkCopyright.ml x: 8 contributors (all time) y: 343 lines of code infer/src/IR/inferconfig.ml x: 5 contributors (all time) y: 306 lines of code infer/src/al/ALIssues.ml x: 6 contributors (all time) y: 488 lines of code infer/src/al/CTL.ml x: 5 contributors (all time) y: 900 lines of code infer/src/base/SqliteUtils.ml x: 5 contributors (all time) y: 94 lines of code infer/src/biabduction/Abs.ml x: 6 contributors (all time) y: 1269 lines of code infer/src/biabduction/Absarray.ml x: 6 contributors (all time) y: 647 lines of code infer/src/biabduction/Prover.ml x: 11 contributors (all time) y: 2389 lines of code infer/src/bufferoverrun/absLoc.ml x: 11 contributors (all time) y: 515 lines of code infer/src/bufferoverrun/bounds.ml x: 7 contributors (all time) y: 1174 lines of code infer/src/bufferoverrun/polynomials.ml x: 9 contributors (all time) y: 750 lines of code infer/src/checkers/Siof.ml x: 14 contributors (all time) y: 263 lines of code infer/src/checkers/loop_control.ml x: 4 contributors (all time) y: 155 lines of code infer/src/clang/objcInterface_decl.ml x: 10 contributors (all time) y: 133 lines of code infer/src/integration/Maven.ml x: 8 contributors (all time) y: 175 lines of code infer/src/nullsafe/AnnotatedField.ml x: 5 contributors (all time) y: 102 lines of code infer/src/nullsafe/AssignmentRule.ml x: 7 contributors (all time) y: 275 lines of code infer/src/nullsafe/NullsafeMode.ml x: 3 contributors (all time) y: 214 lines of code infer/src/nullsafe/eradicateChecks.ml x: 7 contributors (all time) y: 511 lines of code infer/src/nullsafe/models.ml x: 7 contributors (all time) y: 117 lines of code infer/src/nullsafe/typeErr.ml x: 6 contributors (all time) y: 318 lines of code infer/src/pulse/PulseBaseDomain.ml x: 6 contributors (all time) y: 259 lines of code infer/src/quandary/TaintAnalysis.ml x: 13 contributors (all time) y: 812 lines of code infer/src/backend/ondemand.mli x: 9 contributors (all time) y: 25 lines of code infer/src/al/ComponentKit.ml x: 6 contributors (all time) y: 191 lines of code infer/src/al/ctl_parser.mly x: 3 contributors (all time) y: 307 lines of code infer/src/java/jClasspath.ml x: 11 contributors (all time) y: 195 lines of code infer/src/IR/Io_infer.ml x: 8 contributors (all time) y: 148 lines of code infer/src/base/Utils.ml x: 20 contributors (all time) y: 424 lines of code infer/src/base/Utils.mli x: 19 contributors (all time) y: 118 lines of code infer/src/biabduction/Dom.ml x: 7 contributors (all time) y: 2038 lines of code infer/src/concurrency/RacerDDomain.ml x: 10 contributors (all time) y: 585 lines of code infer/src/nullsafe/modelTables.ml x: 8 contributors (all time) y: 834 lines of code infer/src/concurrency/AbstractAddress.ml x: 3 contributors (all time) y: 250 lines of code website/static/odoc/1.1.0/odoc.css x: 2 contributors (all time) y: 567 lines of code infer/src/dune.common.in x: 12 contributors (all time) y: 15 lines of code infer/src/absint/LowerHil.ml x: 10 contributors (all time) y: 112 lines of code infer/src/absint/TaintTrace.ml x: 1 contributors (all time) y: 456 lines of code infer/src/checkers/LithoDomain.ml x: 6 contributors (all time) y: 429 lines of code infer/src/al/cPredicates.mli x: 4 contributors (all time) y: 330 lines of code infer/src/integration/CaptureCompilationDatabase.ml x: 11 contributors (all time) y: 158 lines of code infer/src/clang/cTrans_utils.mli x: 13 contributors (all time) y: 247 lines of code infer/src/unit/accessTreeTests.ml x: 8 contributors (all time) y: 514 lines of code infer/src/IR/JavaClassName.ml x: 6 contributors (all time) y: 97 lines of code infer/src/java/jSourceFileInfo.mll x: 3 contributors (all time) y: 393 lines of code facebook-clang-plugins/libtooling/atdlib/ATDWriter.h x: 1 contributors (all time) y: 507 lines of code infer/src/clang/ast_expressions.mli x: 10 contributors (all time) y: 27 lines of code infer/models/c/src/libc_basic.c x: 11 contributors (all time) y: 1337 lines of code infer/src/al/ALDebugger.ml x: 2 contributors (all time) y: 322 lines of code sledge/semantics/llvmScript.sml x: 1 contributors (all time) y: 787 lines of code sledge/semantics/llvm_ssaScript.sml x: 1 contributors (all time) y: 1752 lines of code sledge/semantics/llvm_to_llair_propScript.sml x: 1 contributors (all time) y: 1165 lines of code sledge/semantics/llvm_to_llair_sem_propScript.sml x: 1 contributors (all time) y: 2096 lines of code sledge/semantics/miscScript.sml x: 1 contributors (all time) y: 927 lines of code sledge/semantics/llvm_to_llairScript.sml x: 1 contributors (all time) y: 401 lines of code infer/src/clang/cFrontend_errors.ml x: 15 contributors (all time) y: 42 lines of code sledge/semantics/memory_modelScript.sml x: 1 contributors (all time) y: 578 lines of code infer/src/al/cTL.ml x: 3 contributors (all time) y: 900 lines of code sledge/semantics/llvm_propScript.sml x: 1 contributors (all time) y: 1019 lines of code infer/src/backend/inferanalyze.ml x: 7 contributors (all time) y: 249 lines of code infer/src/IR/sil.ml x: 5 contributors (all time) y: 187 lines of code infer/src/IR/procname.ml x: 3 contributors (all time) y: 1007 lines of code
5018.0
lines of code
  min: 2.0
  average: 108.65
  25th percentile: 9.0
  median: 26.0
  75th percentile: 86.0
  max: 5018.0
0 44.0
contributors (all time)
min: 1.0 | average: 3.92 | 25th percentile: 1.0 | median: 3.0 | 75th percentile: 5.0 | max: 44.0

File Size vs. Commits (30 days): 270 points

infer/src/base/Config.ml x: 13 commits (30d) y: 2878 lines of code infer/src/base/Config.mli x: 12 commits (30d) y: 415 lines of code infer/src/pulse/PulseFormula.ml x: 1 commits (30d) y: 1991 lines of code facebook-clang-plugins/libtooling/ASTExporter.h x: 2 commits (30d) y: 3686 lines of code infer/src/clang/cTrans.ml x: 4 commits (30d) y: 5018 lines of code infer/src/pulse/PulseAttribute.ml x: 5 commits (30d) y: 372 lines of code infer/src/pulse/PulseAttribute.mli x: 4 commits (30d) y: 93 lines of code infer/src/pulse/PulseBaseAddressAttributes.ml x: 4 commits (30d) y: 170 lines of code infer/src/pulse/PulseTaint.ml x: 2 commits (30d) y: 18 lines of code infer/src/pulse/PulseTaintOperations.ml x: 3 commits (30d) y: 183 lines of code infer/src/pulse/PulseDiagnostic.ml x: 8 commits (30d) y: 506 lines of code infer/src/erlang/ErlangEnvironment.ml x: 5 commits (30d) y: 157 lines of code infer/src/erlang/ErlangEnvironment.mli x: 5 commits (30d) y: 49 lines of code infer/src/erlang/ErlangTranslator.ml x: 5 commits (30d) y: 1165 lines of code infer/src/erlang/ErlangTypes.ml x: 8 commits (30d) y: 128 lines of code infer/src/pulse/PulseDecompiler.ml x: 2 commits (30d) y: 175 lines of code infer/src/pulse/PulseDecompiler.mli x: 2 commits (30d) y: 24 lines of code infer/src/absint/AbstractDomain.ml x: 1 commits (30d) y: 621 lines of code infer/src/absint/AbstractDomain.mli x: 1 commits (30d) y: 243 lines of code infer/src/cost/ConfigImpactAnalysis.ml x: 6 commits (30d) y: 992 lines of code infer/src/erlang/ErlangTypes.mli x: 3 commits (30d) y: 22 lines of code infer/src/istd/IList.ml x: 1 commits (30d) y: 205 lines of code infer/src/istd/IList.mli x: 1 commits (30d) y: 58 lines of code infer/src/base/CommandDoc.ml x: 1 commits (30d) y: 351 lines of code infer/src/base/CommandLineOption.ml x: 1 commits (30d) y: 1045 lines of code infer/src/base/CommandLineOption.mli x: 1 commits (30d) y: 220 lines of code sledge/report/sledge_report.ml x: 1 commits (30d) y: 805 lines of code sledge/src/report.ml x: 1 commits (30d) y: 160 lines of code sledge/cli/sledge_cli.ml x: 2 commits (30d) y: 311 lines of code sledge/ppx_trace/ppx_trace.ml x: 1 commits (30d) y: 122 lines of code infer/src/erlang/ErlangAst.ml x: 6 commits (30d) y: 156 lines of code infer/src/erlang/ErlangJsonParser.ml x: 7 commits (30d) y: 667 lines of code infer/src/checkers/SimpleLineage.ml x: 1 commits (30d) y: 870 lines of code infer/src/absint/PatternMatch.ml x: 1 commits (30d) y: 446 lines of code infer/src/absint/ProcnameDispatcher.ml x: 1 commits (30d) y: 826 lines of code infer/src/pulse/PulseModels.ml x: 1 commits (30d) y: 18 lines of code infer/src/IR/ProcAttributes.ml x: 2 commits (30d) y: 242 lines of code infer/src/IR/ProcAttributes.mli x: 2 commits (30d) y: 79 lines of code infer/src/backend/ClosureSubstSpecializedMethod.ml x: 4 commits (30d) y: 300 lines of code infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml x: 1 commits (30d) y: 94 lines of code infer/src/clang/cMethod_trans.ml x: 1 commits (30d) y: 331 lines of code infer/src/pulse/PulseAbductiveDomain.ml x: 6 commits (30d) y: 1093 lines of code infer/src/pulse/PulseBlockSpecialization.ml x: 5 commits (30d) y: 255 lines of code infer/src/pulse/PulseCallOperations.ml x: 3 commits (30d) y: 301 lines of code infer/src/absint/BlockSpecialization.mli x: 3 commits (30d) y: 12 lines of code infer/src/backend/CCallSpecializedWithClosures.ml x: 4 commits (30d) y: 74 lines of code infer/src/pulse/Pulse.ml x: 9 commits (30d) y: 786 lines of code infer/src/backend/ClosuresSubstitution.ml x: 2 commits (30d) y: 147 lines of code infer/src/clang/CType_decl.ml x: 1 commits (30d) y: 737 lines of code infer/src/clang/cFrontend_decl.ml x: 1 commits (30d) y: 481 lines of code infer/lib/erlang/erlang.escript x: 1 commits (30d) y: 181 lines of code infer/src/integration/Rebar3.ml x: 1 commits (30d) y: 61 lines of code sledge/src/control.ml x: 2 commits (30d) y: 1001 lines of code infer/src/integration/JsonReports.ml x: 3 commits (30d) y: 374 lines of code sledge/cli/domain_itv.ml x: 1 commits (30d) y: 274 lines of code sledge/nonstdlib/array.ml x: 1 commits (30d) y: 108 lines of code sledge/cli/frontend.ml x: 3 commits (30d) y: 1668 lines of code infer/src/cost/ConfigImpactAnalysis.mli x: 2 commits (30d) y: 53 lines of code infer/src/base/IssueType.ml x: 2 commits (30d) y: 787 lines of code infer/src/base/IssueType.mli x: 2 commits (30d) y: 227 lines of code infer/src/integration/Differential.ml x: 1 commits (30d) y: 508 lines of code infer/src/IR/Procname.ml x: 1 commits (30d) y: 1007 lines of code infer/src/pulse/PulseNonDisjunctiveDomain.ml x: 2 commits (30d) y: 86 lines of code infer/src/pulse/PulseNonDisjunctiveOperations.ml x: 3 commits (30d) y: 167 lines of code infer/src/erlang/ErlangAstValidator.ml x: 1 commits (30d) y: 278 lines of code sledge/ROADMAP.org x: 1 commits (30d) y: 140 lines of code infer/src/base/Logging.ml x: 1 commits (30d) y: 372 lines of code infer/src/opensource/FbGKInteraction.ml x: 1 commits (30d) y: 21 lines of code infer/src/pulse/PulseTopl.ml x: 3 commits (30d) y: 532 lines of code website/static/odoc/next/infer/Backend/Payloads/Fields/Direct/index.html x: 1 commits (30d) y: 604 lines of code website/static/odoc/next/odoc.css x: 1 commits (30d) y: 592 lines of code infer/src/base/Stats.ml x: 2 commits (30d) y: 277 lines of code infer/src/pulse/PulseInterproc.ml x: 4 commits (30d) y: 843 lines of code infer/src/pulse/PulseAbductiveDomain.mli x: 4 commits (30d) y: 222 lines of code infer/src/pulse/PulseBaseAddressAttributes.mli x: 3 commits (30d) y: 56 lines of code infer/src/pulse/PulseReport.ml x: 3 commits (30d) y: 207 lines of code infer/src/pulse/PulseValueHistory.ml x: 2 commits (30d) y: 273 lines of code infer/src/pulse/PulseOperations.ml x: 1 commits (30d) y: 719 lines of code infer/src/backend/ondemand.ml x: 1 commits (30d) y: 313 lines of code infer/src/integration/Buck.ml x: 1 commits (30d) y: 411 lines of code infer/src/IR/Procdesc.ml x: 1 commits (30d) y: 777 lines of code
5018.0
lines of code
  min: 2.0
  average: 201.38
  25th percentile: 7.0
  median: 41.5
  75th percentile: 207.0
  max: 5018.0
0 13.0
commits (30d)
min: 1.0 | average: 1.58 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 13.0

File Size vs. Contributors (30 days): 270 points

infer/src/base/Config.ml x: 7 contributors (30d) y: 2878 lines of code infer/src/base/Config.mli x: 7 contributors (30d) y: 415 lines of code infer/src/pulse/PulseFormula.ml x: 1 contributors (30d) y: 1991 lines of code facebook-clang-plugins/libtooling/ASTExporter.h x: 2 contributors (30d) y: 3686 lines of code infer/src/clang/cTrans.ml x: 3 contributors (30d) y: 5018 lines of code infer/src/pulse/PulseAttribute.ml x: 3 contributors (30d) y: 372 lines of code infer/src/pulse/PulseAttribute.mli x: 2 contributors (30d) y: 93 lines of code infer/src/pulse/PulseBaseAddressAttributes.ml x: 2 contributors (30d) y: 170 lines of code infer/src/pulse/PulseTaint.ml x: 1 contributors (30d) y: 18 lines of code infer/src/pulse/PulseTaintOperations.ml x: 1 contributors (30d) y: 183 lines of code infer/src/pulse/PulseDiagnostic.ml x: 3 contributors (30d) y: 506 lines of code infer/src/erlang/ErlangEnvironment.ml x: 1 contributors (30d) y: 157 lines of code infer/src/erlang/ErlangEnvironment.mli x: 1 contributors (30d) y: 49 lines of code infer/src/erlang/ErlangTranslator.ml x: 2 contributors (30d) y: 1165 lines of code infer/src/erlang/ErlangTypes.ml x: 1 contributors (30d) y: 128 lines of code infer/src/pulse/PulseDecompiler.mli x: 2 contributors (30d) y: 24 lines of code infer/src/absint/AbstractDomain.ml x: 1 contributors (30d) y: 621 lines of code infer/src/absint/AbstractDomain.mli x: 1 contributors (30d) y: 243 lines of code infer/src/cost/ConfigImpactAnalysis.ml x: 1 contributors (30d) y: 992 lines of code infer/src/erlang/ErlangTypes.mli x: 1 contributors (30d) y: 22 lines of code infer/src/istd/IList.ml x: 1 contributors (30d) y: 205 lines of code infer/src/base/CommandDoc.ml x: 1 contributors (30d) y: 351 lines of code infer/src/base/CommandLineOption.ml x: 1 contributors (30d) y: 1045 lines of code infer/src/base/CommandLineOption.mli x: 1 contributors (30d) y: 220 lines of code sledge/report/sledge_report.ml x: 1 contributors (30d) y: 805 lines of code sledge/src/report.ml x: 1 contributors (30d) y: 160 lines of code sledge/cli/sledge_cli.ml x: 1 contributors (30d) y: 311 lines of code infer/src/erlang/ErlangJsonParser.ml x: 1 contributors (30d) y: 667 lines of code infer/src/checkers/SimpleLineage.ml x: 1 contributors (30d) y: 870 lines of code infer/src/absint/PatternMatch.ml x: 1 contributors (30d) y: 446 lines of code infer/src/absint/ProcnameDispatcher.ml x: 1 contributors (30d) y: 826 lines of code infer/src/IR/ProcAttributes.mli x: 1 contributors (30d) y: 79 lines of code infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml x: 1 contributors (30d) y: 94 lines of code infer/src/clang/cMethod_trans.ml x: 1 contributors (30d) y: 331 lines of code infer/src/pulse/PulseAbductiveDomain.ml x: 3 contributors (30d) y: 1093 lines of code infer/src/pulse/PulseCallOperations.ml x: 2 contributors (30d) y: 301 lines of code infer/src/pulse/Pulse.ml x: 5 contributors (30d) y: 786 lines of code infer/src/clang/CType_decl.ml x: 1 contributors (30d) y: 737 lines of code infer/src/clang/cFrontend_decl.ml x: 1 contributors (30d) y: 481 lines of code infer/src/integration/JsonReports.ml x: 1 contributors (30d) y: 374 lines of code sledge/cli/domain_itv.ml x: 1 contributors (30d) y: 274 lines of code sledge/nonstdlib/array.ml x: 1 contributors (30d) y: 108 lines of code sledge/cli/frontend.ml x: 1 contributors (30d) y: 1668 lines of code infer/src/base/IssueType.ml x: 2 contributors (30d) y: 787 lines of code infer/src/base/IssueType.mli x: 2 contributors (30d) y: 227 lines of code infer/src/integration/Differential.ml x: 1 contributors (30d) y: 508 lines of code infer/src/erlang/ErlangAstValidator.ml x: 1 contributors (30d) y: 278 lines of code infer/src/pulse/PulseTopl.ml x: 1 contributors (30d) y: 532 lines of code website/static/odoc/next/infer/Backend/Payloads/Fields/Direct/index.html x: 1 contributors (30d) y: 604 lines of code website/static/odoc/next/odoc.css x: 1 contributors (30d) y: 592 lines of code infer/src/base/Stats.ml x: 2 contributors (30d) y: 277 lines of code infer/src/pulse/PulseInterproc.ml x: 2 contributors (30d) y: 843 lines of code infer/src/pulse/PulseAbductiveDomain.mli x: 3 contributors (30d) y: 222 lines of code infer/src/pulse/PulseBaseAddressAttributes.mli x: 2 contributors (30d) y: 56 lines of code infer/src/pulse/PulseOperations.ml x: 1 contributors (30d) y: 719 lines of code infer/src/integration/Buck.ml x: 1 contributors (30d) y: 411 lines of code infer/src/IR/Procdesc.ml x: 1 contributors (30d) y: 777 lines of code
5018.0
lines of code
  min: 2.0
  average: 201.38
  25th percentile: 7.0
  median: 41.5
  75th percentile: 207.0
  max: 5018.0
0 7.0
contributors (30d)
min: 1.0 | average: 1.15 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 7.0

File Size vs. Commits (90 days): 404 points

infer/src/base/Config.ml x: 23 commits (90d) y: 2878 lines of code infer/src/base/Config.mli x: 21 commits (90d) y: 415 lines of code infer/src/pulse/PulseFormula.ml x: 1 commits (90d) y: 1991 lines of code facebook-clang-plugins/libtooling/ASTExporter.h x: 2 commits (90d) y: 3686 lines of code infer/src/clang/cTrans.ml x: 5 commits (90d) y: 5018 lines of code infer/src/pulse/PulseAttribute.ml x: 9 commits (90d) y: 372 lines of code infer/src/pulse/PulseAttribute.mli x: 7 commits (90d) y: 93 lines of code infer/src/pulse/PulseBaseAddressAttributes.ml x: 9 commits (90d) y: 170 lines of code infer/src/pulse/PulseTaint.ml x: 2 commits (90d) y: 18 lines of code infer/src/pulse/PulseTaintOperations.ml x: 3 commits (90d) y: 183 lines of code infer/src/pulse/PulseDiagnostic.ml x: 11 commits (90d) y: 506 lines of code infer/src/erlang/ErlangEnvironment.ml x: 5 commits (90d) y: 157 lines of code infer/src/erlang/ErlangEnvironment.mli x: 5 commits (90d) y: 49 lines of code infer/src/erlang/ErlangTranslator.ml x: 10 commits (90d) y: 1165 lines of code infer/src/erlang/ErlangTypes.ml x: 8 commits (90d) y: 128 lines of code infer/src/pulse/PulseDecompiler.ml x: 2 commits (90d) y: 175 lines of code infer/src/pulse/PulseDecompiler.mli x: 2 commits (90d) y: 24 lines of code infer/src/absint/AbstractDomain.ml x: 2 commits (90d) y: 621 lines of code infer/src/absint/AbstractDomain.mli x: 2 commits (90d) y: 243 lines of code infer/src/cost/ConfigImpactAnalysis.ml x: 18 commits (90d) y: 992 lines of code infer/src/erlang/ErlangTypes.mli x: 3 commits (90d) y: 22 lines of code infer/src/istd/IList.ml x: 1 commits (90d) y: 205 lines of code infer/src/istd/IList.mli x: 1 commits (90d) y: 58 lines of code infer/src/base/CommandDoc.ml x: 1 commits (90d) y: 351 lines of code infer/src/base/CommandLineOption.ml x: 2 commits (90d) y: 1045 lines of code infer/src/base/CommandLineOption.mli x: 1 commits (90d) y: 220 lines of code sledge/report/sledge_report.ml x: 1 commits (90d) y: 805 lines of code sledge/cli/sledge_cli.ml x: 2 commits (90d) y: 311 lines of code sledge/ppx_trace/ppx_trace.ml x: 1 commits (90d) y: 122 lines of code infer/src/erlang/ErlangAst.ml x: 6 commits (90d) y: 156 lines of code infer/src/erlang/ErlangJsonParser.ml x: 7 commits (90d) y: 667 lines of code infer/src/clang/ClangCommand.ml x: 2 commits (90d) y: 235 lines of code infer/src/checkers/SimpleLineage.ml x: 7 commits (90d) y: 870 lines of code infer/src/absint/PatternMatch.ml x: 3 commits (90d) y: 446 lines of code infer/src/absint/PatternMatch.mli x: 3 commits (90d) y: 161 lines of code infer/src/absint/ProcnameDispatcher.ml x: 2 commits (90d) y: 826 lines of code infer/src/pulse/PulseModelsCSharp.mli x: 1 commits (90d) y: 9 lines of code infer/src/IR/ProcAttributes.ml x: 5 commits (90d) y: 242 lines of code infer/src/IR/ProcAttributes.mli x: 4 commits (90d) y: 79 lines of code infer/src/IR/Pvar.ml x: 3 commits (90d) y: 254 lines of code infer/src/IR/Pvar.mli x: 3 commits (90d) y: 123 lines of code infer/src/backend/ClosureSubstSpecializedMethod.ml x: 7 commits (90d) y: 300 lines of code infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml x: 3 commits (90d) y: 94 lines of code infer/src/clang/cMethod_trans.ml x: 3 commits (90d) y: 331 lines of code infer/src/pulse/PulseAbductiveDomain.ml x: 15 commits (90d) y: 1093 lines of code infer/src/pulse/PulseCallOperations.ml x: 9 commits (90d) y: 301 lines of code infer/src/absint/BlockSpecialization.mli x: 3 commits (90d) y: 12 lines of code infer/src/backend/CCallSpecializedWithClosures.ml x: 9 commits (90d) y: 74 lines of code infer/src/pulse/Pulse.ml x: 20 commits (90d) y: 786 lines of code infer/src/IR/Fieldname.ml x: 5 commits (90d) y: 92 lines of code infer/src/IR/Fieldname.mli x: 4 commits (90d) y: 48 lines of code infer/src/backend/ClosuresSubstitution.ml x: 3 commits (90d) y: 147 lines of code infer/src/clang/CType_decl.ml x: 2 commits (90d) y: 737 lines of code infer/src/clang/cFrontend_decl.ml x: 1 commits (90d) y: 481 lines of code infer/lib/erlang/erlang.escript x: 1 commits (90d) y: 181 lines of code infer/lib/erlang/extract.escript x: 2 commits (90d) y: 207 lines of code infer/src/integration/Rebar3.ml x: 1 commits (90d) y: 61 lines of code sledge/src/control.ml x: 6 commits (90d) y: 1001 lines of code infer/src/integration/JsonReports.ml x: 5 commits (90d) y: 374 lines of code sledge/cli/domain_itv.ml x: 4 commits (90d) y: 274 lines of code sledge/nonstdlib/array.ml x: 1 commits (90d) y: 108 lines of code sledge/src/llair/llair.ml x: 7 commits (90d) y: 746 lines of code sledge/cli/frontend.ml x: 6 commits (90d) y: 1668 lines of code infer/src/base/IssueType.ml x: 8 commits (90d) y: 787 lines of code infer/src/base/IssueType.mli x: 6 commits (90d) y: 227 lines of code infer/src/integration/Differential.ml x: 1 commits (90d) y: 508 lines of code infer/src/IR/Procname.ml x: 9 commits (90d) y: 1007 lines of code infer/src/IR/Procname.mli x: 8 commits (90d) y: 314 lines of code infer/src/pulse/PulseNonDisjunctiveDomain.ml x: 2 commits (90d) y: 86 lines of code infer/src/erlang/ErlangAstValidator.ml x: 1 commits (90d) y: 278 lines of code sledge/ROADMAP.org x: 1 commits (90d) y: 140 lines of code infer/src/base/Logging.ml x: 1 commits (90d) y: 372 lines of code infer/src/opensource/FbGKInteraction.ml x: 1 commits (90d) y: 21 lines of code infer/src/pulse/PulseTopl.ml x: 6 commits (90d) y: 532 lines of code infer/src/topl/ToplAutomaton.ml x: 2 commits (90d) y: 142 lines of code website/static/odoc/next/infer/Backend/Payloads/Fields/Direct/index.html x: 1 commits (90d) y: 604 lines of code website/static/odoc/next/infer/Biabduction/Errdesc/index.html x: 2 commits (90d) y: 75 lines of code website/static/odoc/next/infer/Pulselib/PulseModelsImport/Hist/index.html x: 2 commits (90d) y: 43 lines of code website/static/odoc/next/odoc.css x: 1 commits (90d) y: 592 lines of code infer/src/base/Stats.ml x: 4 commits (90d) y: 277 lines of code infer/src/base/Stats.mli x: 4 commits (90d) y: 33 lines of code infer/src/pulse/PulseInterproc.ml x: 8 commits (90d) y: 843 lines of code infer/src/absint/AbstractInterpreter.ml x: 3 commits (90d) y: 609 lines of code infer/src/checkers/liveness.ml x: 2 commits (90d) y: 357 lines of code infer/src/pulse/PulseAbductiveDomain.mli x: 8 commits (90d) y: 222 lines of code infer/src/pulse/PulseBaseAddressAttributes.mli x: 7 commits (90d) y: 56 lines of code infer/src/pulse/PulseDiagnostic.mli x: 3 commits (90d) y: 70 lines of code infer/src/pulse/PulseReport.ml x: 10 commits (90d) y: 207 lines of code infer/src/pulse/PulseValueHistory.ml x: 3 commits (90d) y: 273 lines of code infer/src/pulse/PulseAccessResult.ml x: 3 commits (90d) y: 108 lines of code infer/src/pulse/PulseObjectiveCSummary.ml x: 2 commits (90d) y: 121 lines of code infer/src/pulse/PulseOperations.ml x: 11 commits (90d) y: 719 lines of code infer/src/pulse/PulseOperations.mli x: 9 commits (90d) y: 290 lines of code infer/src/bufferoverrun/bufferOverrunAnalysis.ml x: 5 commits (90d) y: 483 lines of code infer/src/integration/Buck.ml x: 1 commits (90d) y: 411 lines of code infer/src/IR/Procdesc.ml x: 3 commits (90d) y: 777 lines of code infer/src/concurrency/RacerDFileAnalysis.ml x: 2 commits (90d) y: 563 lines of code infer/src/pulse/PulseModelsImport.ml x: 6 commits (90d) y: 257 lines of code infer/src/pulse/PulseModelsCpp.ml x: 5 commits (90d) y: 507 lines of code infer/src/pulse/PulseModelsJava.ml x: 5 commits (90d) y: 644 lines of code infer/src/pulse/PulsePathCondition.ml x: 1 commits (90d) y: 383 lines of code infer/src/IR/BuiltinDecl.ml x: 4 commits (90d) y: 132 lines of code sledge/src/domain_sh.ml x: 3 commits (90d) y: 397 lines of code sledge/src/exec.ml x: 1 commits (90d) y: 777 lines of code sledge/src/fol/context.ml x: 1 commits (90d) y: 1375 lines of code infer/src/nullsafe/unit/ThirdPartyAnnotationInfoTests.ml x: 1 commits (90d) y: 253 lines of code infer/src/IR/Exp.ml x: 1 commits (90d) y: 325 lines of code infer/src/IR/QualifiedCppName.ml x: 1 commits (90d) y: 84 lines of code infer/src/IR/Typ.ml x: 2 commits (90d) y: 686 lines of code infer/src/pulse/PulseModelsObjC.ml x: 7 commits (90d) y: 285 lines of code infer/src/pulse/PulseModelsErlang.ml x: 6 commits (90d) y: 611 lines of code infer/src/backend/preanal.ml x: 2 commits (90d) y: 430 lines of code infer/src/backend/InferAnalyzeJson.ml x: 3 commits (90d) y: 628 lines of code infer/src/biabduction/BuiltinDefn.ml x: 4 commits (90d) y: 836 lines of code infer/src/java/jTrans.ml x: 1 commits (90d) y: 1165 lines of code infer/src/bufferoverrun/bufferOverrunChecker.ml x: 3 commits (90d) y: 430 lines of code infer/src/checkers/ParameterNotNullChecked.ml x: 2 commits (90d) y: 179 lines of code infer/src/cost/costInstantiate.ml x: 2 commits (90d) y: 102 lines of code infer/src/biabduction/SymExec.ml x: 2 commits (90d) y: 1683 lines of code infer/src/biabduction/Rearrange.ml x: 2 commits (90d) y: 1213 lines of code infer/src/biabduction/Tabulation.ml x: 2 commits (90d) y: 1279 lines of code infer/src/biabduction/errdesc.ml x: 1 commits (90d) y: 1020 lines of code infer/src/checkers/PurityAnalysis.ml x: 1 commits (90d) y: 172 lines of code infer/src/bufferoverrun/bufferOverrunModels.ml x: 1 commits (90d) y: 1958 lines of code infer/src/IR/Struct.ml x: 7 commits (90d) y: 368 lines of code infer/src/IR/Tenv.ml x: 3 commits (90d) y: 206 lines of code infer/src/base/Checker.ml x: 1 commits (90d) y: 458 lines of code
5018.0
lines of code
  min: 2.0
  average: 215.13
  25th percentile: 13.25
  median: 60.0
  75th percentile: 234.5
  max: 5018.0
0 23.0
commits (90d)
min: 1.0 | average: 2.24 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 2.0 | max: 23.0

File Size vs. Contributors (90 days): 404 points

infer/src/base/Config.ml x: 9 contributors (90d) y: 2878 lines of code infer/src/base/Config.mli x: 9 contributors (90d) y: 415 lines of code infer/src/pulse/PulseFormula.ml x: 1 contributors (90d) y: 1991 lines of code facebook-clang-plugins/libtooling/ASTExporter.h x: 2 contributors (90d) y: 3686 lines of code infer/src/clang/cTrans.ml x: 4 contributors (90d) y: 5018 lines of code infer/src/pulse/PulseAttribute.ml x: 5 contributors (90d) y: 372 lines of code infer/src/pulse/PulseAttribute.mli x: 4 contributors (90d) y: 93 lines of code infer/src/pulse/PulseBaseAddressAttributes.ml x: 4 contributors (90d) y: 170 lines of code infer/src/pulse/PulseTaint.ml x: 1 contributors (90d) y: 18 lines of code infer/src/pulse/PulseTaintOperations.ml x: 1 contributors (90d) y: 183 lines of code infer/src/pulse/PulseDiagnostic.ml x: 5 contributors (90d) y: 506 lines of code infer/src/erlang/ErlangEnvironment.ml x: 1 contributors (90d) y: 157 lines of code infer/src/erlang/ErlangEnvironment.mli x: 1 contributors (90d) y: 49 lines of code infer/src/erlang/ErlangTranslator.ml x: 2 contributors (90d) y: 1165 lines of code infer/src/erlang/ErlangTypes.ml x: 1 contributors (90d) y: 128 lines of code infer/src/pulse/PulseDecompiler.ml x: 2 contributors (90d) y: 175 lines of code infer/src/pulse/PulseDecompiler.mli x: 2 contributors (90d) y: 24 lines of code infer/src/absint/AbstractDomain.ml x: 2 contributors (90d) y: 621 lines of code infer/src/absint/AbstractDomain.mli x: 2 contributors (90d) y: 243 lines of code infer/src/cost/ConfigImpactAnalysis.ml x: 3 contributors (90d) y: 992 lines of code infer/src/erlang/ErlangTypes.mli x: 1 contributors (90d) y: 22 lines of code infer/src/istd/IList.ml x: 1 contributors (90d) y: 205 lines of code infer/src/base/CommandDoc.ml x: 1 contributors (90d) y: 351 lines of code infer/src/base/CommandLineOption.ml x: 2 contributors (90d) y: 1045 lines of code infer/src/base/CommandLineOption.mli x: 1 contributors (90d) y: 220 lines of code sledge/report/sledge_report.ml x: 1 contributors (90d) y: 805 lines of code sledge/src/report.ml x: 1 contributors (90d) y: 160 lines of code sledge/cli/sledge_cli.ml x: 1 contributors (90d) y: 311 lines of code infer/src/erlang/ErlangJsonParser.ml x: 1 contributors (90d) y: 667 lines of code infer/src/checkers/SimpleLineage.ml x: 2 contributors (90d) y: 870 lines of code infer/src/absint/PatternMatch.ml x: 3 contributors (90d) y: 446 lines of code infer/src/absint/PatternMatch.mli x: 3 contributors (90d) y: 161 lines of code infer/src/absint/ProcnameDispatcher.ml x: 2 contributors (90d) y: 826 lines of code infer/src/pulse/PulseModels.ml x: 2 contributors (90d) y: 18 lines of code infer/src/IR/ProcAttributes.ml x: 3 contributors (90d) y: 242 lines of code infer/src/IR/ProcAttributes.mli x: 2 contributors (90d) y: 79 lines of code infer/src/IR/Pvar.mli x: 2 contributors (90d) y: 123 lines of code infer/src/backend/ClosureSubstSpecializedMethod.ml x: 2 contributors (90d) y: 300 lines of code infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml x: 2 contributors (90d) y: 94 lines of code infer/src/clang/cMethod_trans.ml x: 2 contributors (90d) y: 331 lines of code infer/src/pulse/PulseAbductiveDomain.ml x: 6 contributors (90d) y: 1093 lines of code infer/src/pulse/PulseBlockSpecialization.ml x: 1 contributors (90d) y: 255 lines of code infer/src/pulse/PulseCallOperations.ml x: 4 contributors (90d) y: 301 lines of code infer/src/pulse/Pulse.ml x: 8 contributors (90d) y: 786 lines of code infer/src/IR/Fieldname.ml x: 3 contributors (90d) y: 92 lines of code infer/src/IR/Fieldname.mli x: 2 contributors (90d) y: 48 lines of code infer/src/clang/CType_decl.ml x: 2 contributors (90d) y: 737 lines of code infer/src/clang/cFrontend_decl.ml x: 1 contributors (90d) y: 481 lines of code website/src/pages/index.js x: 2 contributors (90d) y: 230 lines of code infer/lib/erlang/extract.escript x: 2 contributors (90d) y: 207 lines of code infer/src/integration/Rebar3.ml x: 1 contributors (90d) y: 61 lines of code sledge/src/control.ml x: 2 contributors (90d) y: 1001 lines of code infer/src/integration/JsonReports.ml x: 2 contributors (90d) y: 374 lines of code sledge/cli/domain_itv.ml x: 1 contributors (90d) y: 274 lines of code sledge/nonstdlib/array.ml x: 1 contributors (90d) y: 108 lines of code sledge/src/llair/llair.ml x: 1 contributors (90d) y: 746 lines of code sledge/cli/frontend.ml x: 1 contributors (90d) y: 1668 lines of code infer/src/base/IssueType.ml x: 5 contributors (90d) y: 787 lines of code infer/src/base/IssueType.mli x: 4 contributors (90d) y: 227 lines of code infer/src/integration/Differential.ml x: 1 contributors (90d) y: 508 lines of code infer/src/IR/Procname.ml x: 6 contributors (90d) y: 1007 lines of code infer/src/IR/Procname.mli x: 5 contributors (90d) y: 314 lines of code infer/src/pulse/PulseNonDisjunctiveDomain.ml x: 1 contributors (90d) y: 86 lines of code infer/src/erlang/ErlangAstValidator.ml x: 1 contributors (90d) y: 278 lines of code infer/src/base/Logging.ml x: 1 contributors (90d) y: 372 lines of code infer/src/pulse/PulseTopl.ml x: 2 contributors (90d) y: 532 lines of code website/static/odoc/next/infer/Backend/Payloads/Fields/Direct/index.html x: 1 contributors (90d) y: 604 lines of code website/static/odoc/next/odoc.css x: 1 contributors (90d) y: 592 lines of code infer/src/base/Stats.ml x: 3 contributors (90d) y: 277 lines of code infer/src/base/Stats.mli x: 3 contributors (90d) y: 33 lines of code infer/src/pulse/PulseInterproc.ml x: 4 contributors (90d) y: 843 lines of code infer/src/absint/AbstractInterpreter.ml x: 3 contributors (90d) y: 609 lines of code infer/src/unit/livenessTests.ml x: 2 contributors (90d) y: 145 lines of code infer/src/pulse/PulseBaseAddressAttributes.mli x: 4 contributors (90d) y: 56 lines of code infer/src/pulse/PulseReport.ml x: 3 contributors (90d) y: 207 lines of code infer/src/pulse/PulseAccessResult.ml x: 2 contributors (90d) y: 108 lines of code infer/src/pulse/PulseOperations.ml x: 4 contributors (90d) y: 719 lines of code infer/src/pulse/PulseOperations.mli x: 4 contributors (90d) y: 290 lines of code infer/src/bufferoverrun/bufferOverrunAnalysis.ml x: 3 contributors (90d) y: 483 lines of code infer/src/integration/Buck.ml x: 1 contributors (90d) y: 411 lines of code infer/src/integration/Driver.ml x: 2 contributors (90d) y: 442 lines of code infer/src/IR/Procdesc.ml x: 3 contributors (90d) y: 777 lines of code infer/src/concurrency/RacerDFileAnalysis.ml x: 2 contributors (90d) y: 563 lines of code infer/src/pulse/PulseModelsImport.ml x: 5 contributors (90d) y: 257 lines of code infer/src/pulse/PulseModelsJava.ml x: 3 contributors (90d) y: 644 lines of code infer/src/pulse/PulsePathCondition.ml x: 1 contributors (90d) y: 383 lines of code infer/src/IR/BuiltinDecl.ml x: 3 contributors (90d) y: 132 lines of code sledge/src/exec.ml x: 1 contributors (90d) y: 777 lines of code sledge/src/fol/context.ml x: 1 contributors (90d) y: 1375 lines of code infer/src/IR/Exp.ml x: 1 contributors (90d) y: 325 lines of code infer/src/IR/Typ.ml x: 2 contributors (90d) y: 686 lines of code infer/src/pulse/PulseModelsErlang.ml x: 2 contributors (90d) y: 611 lines of code infer/src/backend/preanal.ml x: 2 contributors (90d) y: 430 lines of code infer/src/backend/InferAnalyzeJson.ml x: 3 contributors (90d) y: 628 lines of code infer/src/biabduction/BuiltinDefn.ml x: 3 contributors (90d) y: 836 lines of code infer/src/java/jTrans.ml x: 1 contributors (90d) y: 1165 lines of code infer/src/bufferoverrun/bufferOverrunChecker.ml x: 3 contributors (90d) y: 430 lines of code infer/src/biabduction/SymExec.ml x: 2 contributors (90d) y: 1683 lines of code infer/src/absint/Localise.ml x: 1 contributors (90d) y: 429 lines of code infer/src/biabduction/Rearrange.ml x: 1 contributors (90d) y: 1213 lines of code infer/src/biabduction/Tabulation.ml x: 1 contributors (90d) y: 1279 lines of code infer/src/biabduction/errdesc.ml x: 1 contributors (90d) y: 1020 lines of code infer/src/bufferoverrun/bufferOverrunModels.ml x: 1 contributors (90d) y: 1958 lines of code infer/src/base/Checker.ml x: 1 contributors (90d) y: 458 lines of code
5018.0
lines of code
  min: 2.0
  average: 215.13
  25th percentile: 13.25
  median: 60.0
  75th percentile: 234.5
  max: 5018.0
0 9.0
contributors (90d)
min: 1.0 | average: 1.47 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 2.0 | max: 9.0