facebook / infer
File Change Frequency

File change frequency (churn) shows the distribution of file updates (days with at least one commit).

File Change Frequency Overall
File Change Frequency Overall
The number of recorded file updates
  • There are 1,875 files with 201,753 lines of code.
    • 32 files changed more than 100 times (26,548 lines of code)
    • 74 files changed 51-100 times (27,839 lines of code)
    • 177 files changed 21-50 times (45,290 lines of code)
    • 630 files changed 6-20 times (65,717 lines of code)
    • 962 files changed 1-5 times (36,359 lines of code)
13% | 13% | 22% | 32% | 18%
Legend:
101+
51-100
21-50
6-20
1-5
explore: zoomable circles | data
File Change Frequency per File Extension
html, ml, mli, java, cpp, m, md, c, h, smt2, erl, mm, txt, make, sh, xml, in, json, al, sml, js, mll, gitignore, m4, css, mly, plist, kt, py, patch, mk, clang-format, storyboard, escript, sig, svg, gradle, yml, org, p, properties, sexp, xib, adoc, pro, gitattributes, s, prettierignore
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
ml17% | 17% | 26% | 26% | 12%
mli3% | 9% | 18% | 34% | 33%
c0% | 0% | 66% | 32% | 1%
in0% | 0% | 53% | 11% | 35%
al0% | 0% | 100% | 0% | 0%
sml0% | 0% | 0% | 72% | 27%
h0% | 0% | 0% | 79% | 20%
java0% | 0% | 0% | 84% | 15%
html0% | 0% | 0% | 67% | 32%
css0% | 0% | 0% | 32% | 67%
mly0% | 0% | 0% | 34% | 65%
js0% | 0% | 0% | 93% | 6%
org0% | 0% | 0% | 68% | 31%
m0% | 0% | 0% | 60% | 39%
mll0% | 0% | 0% | 9% | 90%
cpp0% | 0% | 0% | 15% | 85%
escript0% | 0% | 0% | 0% | 100%
p0% | 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 Change Frequency per Logical Decomposition
primary
primary (file change frequency)
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
infer/src17% | 16% | 27% | 24% | 14%
sledge/src0% | 19% | 17% | 52% | 11%
infer/models0% | 0% | 21% | 68% | 10%
infer/lib0% | 0% | 30% | 0% | 69%
ROOT0% | 0% | 100% | 0% | 0%
sledge/semantics0% | 0% | 0% | 72% | 27%
facebook-clang-plugins/libtooling0% | 0% | 0% | 75% | 24%
sledge/cli0% | 0% | 0% | 86% | 13%
website/static0% | 0% | 0% | 54% | 45%
sledge/nonstdlib0% | 0% | 0% | 25% | 74%
sledge/report0% | 0% | 0% | 100% | 0%
sledge/ppx_trace0% | 0% | 0% | 87% | 12%
sledge0% | 0% | 0% | 65% | 34%
website/src0% | 0% | 0% | 63% | 36%
website0% | 0% | 0% | 100% | 0%
infer/annotations0% | 0% | 0% | 22% | 77%
sledge/model0% | 0% | 0% | 87% | 12%
facebook-clang-plugins/clang-ocaml0% | 0% | 0% | 0% | 100%
infer0% | 0% | 0% | 0% | 100%
Most Frequently Changed Files (Top 50)

See data for all files...

File# lines# unitslast modified
(days ago)
created
(days ago)
# changes# contributors
ml
Config.ml
in infer/src/base
2878 - 15 2019 522 44
mli
Config.mli
in infer/src/base
415 - 15 2019 418 40
ml
cTrans.ml
in infer/src/clang
5018 - 15 2494 390 24
ml
bufferOverrunDomain.ml
in infer/src/bufferoverrun
2145 - 141 1899 200 16
ml
bufferOverrunModels.ml
in infer/src/bufferoverrun
1958 - 73 1624 199 12
ml
bufferOverrunChecker.ml
in infer/src/bufferoverrun
430 - 64 1899 197 21
ml
cMethod_trans.ml
in infer/src/clang
331 - 23 2494 181 17
ml
cTrans_utils.ml
in infer/src/clang
677 - 219 2494 178 18
ml
IssueType.ml
in infer/src/base
787 - 31 1704 174 24
ml
jTrans.ml
in infer/src/java
1165 - 63 2494 174 16
ml
TaintAnalysis.ml
in infer/src/quandary
812 - 242 2066 166 13
ml
ondemand.ml
in infer/src/backend
313 - 42 2396 154 18
ml
PulseModels.ml
in infer/src/pulse
18 - 23 1115 151 15
ml
bufferOverrunSemantics.ml
in infer/src/bufferoverrun
807 - 70 1899 147 15
mli
IssueType.mli
in infer/src/base
227 - 31 1704 139 22
ml
itv.ml
in infer/src/bufferoverrun
584 - 73 1899 138 15
ml
Typ.ml
in infer/src/IR
686 - 56 1739 136 19
ml
cFrontend_errors.ml
in infer/src/clang
42 - 766 2353 131 15
ml
preanal.ml
in infer/src/backend
430 - 59 2464 129 15
mli
Typ.mli
in infer/src/IR
236 - 56 1739 125 18
ml
Driver.ml
in infer/src/integration
442 - 42 1753 125 21
ml
starvation.ml
in infer/src/concurrency
785 - 158 1480 125 10
ml
cFrontend_decl.ml
in infer/src/clang
481 - 23 2223 124 17
ml
annotationReachability.ml
in infer/src/checkers
475 - 266 2193 122 17
ml
Pulse.ml
in infer/src/pulse
786 - 23 1115 116 15
ml
cFrontend.ml
in infer/src/clang
54 - 72 2494 115 13
ml
PulseOperations.ml
in infer/src/pulse
719 - 42 1115 111 13
ml
Procdesc.ml
in infer/src/IR
777 - 43 1739 111 19
ml
printer.ml
in infer/src/backend
283 - 205 2464 109 14
ml
JavaTrace.ml
in infer/src/quandary
585 - 121 2061 109 12
ml
PulseAbductiveDomain.ml
in infer/src/pulse
1093 - 23 1100 109 13
ml
jMain.ml
in infer/src/java
109 - 130 2496 105 16
mli
cTrans_utils.mli
in infer/src/clang
247 - 514 2467 99 13
ml
jTransType.ml
in infer/src/java
341 - 74 2494 99 14
ml
Utils.ml
in infer/src/base
424 - 311 2019 97 20
ml
CommandLineOption.ml
in infer/src/base
1045 - 17 2019 97 16
ml
callbacks.ml
in infer/src/backend
62 - 716 2464 94 14
ml
InferAnalyze.ml
in infer/src/backend
249 - 31 1739 94 14
ml
SymExec.ml
in infer/src/biabduction
1683 - 70 1480 93 15
ml
liveness.ml
in infer/src/checkers
357 - 42 2201 92 16
ml
TaintTests.ml
in infer/src/unit
142 - 492 2066 88 11
ml
analyzerTester.ml
in infer/src/unit
287 - 42 2230 86 12
ml
CType_decl.ml
in infer/src/clang
737 - 23 1990 85 14
ml
ast_expressions.ml
in infer/src/clang
121 - 219 2487 84 16
ml
CaptureCompilationDatabase.ml
in infer/src/integration
158 - 485 1984 83 11
mli
itv.mli
in infer/src/bufferoverrun
159 - 73 1493 83 11
ml
Siof.ml
in infer/src/checkers
263 - 242 1990 83 14
ml
bufferOverrunAnalysis.ml
in infer/src/bufferoverrun
483 - 42 1171 83 11
ml
cFrontend_config.ml
in infer/src/clang
86 - 137 2487 82 14
ml
bufferOverrunUtils.ml
in infer/src/bufferoverrun
378 - 225 1598 82 11
Files With Most Contributors (Top 50)
Files sorted by the number of unique email addresses found in commits.

See data for all files...

File# lines# unitslast modified
(days ago)
created
(days ago)
# changes# contributors
ml
Config.ml
in infer/src/base
2878 - 15 2019 522 44
mli
Config.mli
in infer/src/base
415 - 15 2019 418 40
ml
cTrans.ml
in infer/src/clang
5018 - 15 2494 390 24
ml
bufferOverrunDomain.ml
in infer/src/bufferoverrun
2145 - 141 1899 200 16
ml
bufferOverrunModels.ml
in infer/src/bufferoverrun
1958 - 73 1624 199 12
ml
bufferOverrunChecker.ml
in infer/src/bufferoverrun
430 - 64 1899 197 21
ml
cMethod_trans.ml
in infer/src/clang
331 - 23 2494 181 17
ml
cTrans_utils.ml
in infer/src/clang
677 - 219 2494 178 18
ml
jTrans.ml
in infer/src/java
1165 - 63 2494 174 16
ml
IssueType.ml
in infer/src/base
787 - 31 1704 174 24
ml
TaintAnalysis.ml
in infer/src/quandary
812 - 242 2066 166 13
ml
ondemand.ml
in infer/src/backend
313 - 42 2396 154 18
ml
PulseModels.ml
in infer/src/pulse
18 - 23 1115 151 15
ml
bufferOverrunSemantics.ml
in infer/src/bufferoverrun
807 - 70 1899 147 15
mli
IssueType.mli
in infer/src/base
227 - 31 1704 139 22
ml
itv.ml
in infer/src/bufferoverrun
584 - 73 1899 138 15
ml
Typ.ml
in infer/src/IR
686 - 56 1739 136 19
ml
cFrontend_errors.ml
in infer/src/clang
42 - 766 2353 131 15
ml
preanal.ml
in infer/src/backend
430 - 59 2464 129 15
ml
starvation.ml
in infer/src/concurrency
785 - 158 1480 125 10
mli
Typ.mli
in infer/src/IR
236 - 56 1739 125 18
ml
Driver.ml
in infer/src/integration
442 - 42 1753 125 21
ml
cFrontend_decl.ml
in infer/src/clang
481 - 23 2223 124 17
ml
annotationReachability.ml
in infer/src/checkers
475 - 266 2193 122 17
ml
Pulse.ml
in infer/src/pulse
786 - 23 1115 116 15
ml
cFrontend.ml
in infer/src/clang
54 - 72 2494 115 13
ml
PulseOperations.ml
in infer/src/pulse
719 - 42 1115 111 13
ml
Procdesc.ml
in infer/src/IR
777 - 43 1739 111 19
ml
JavaTrace.ml
in infer/src/quandary
585 - 121 2061 109 12
ml
PulseAbductiveDomain.ml
in infer/src/pulse
1093 - 23 1100 109 13
ml
printer.ml
in infer/src/backend
283 - 205 2464 109 14
ml
jMain.ml
in infer/src/java
109 - 130 2496 105 16
mli
cTrans_utils.mli
in infer/src/clang
247 - 514 2467 99 13
ml
jTransType.ml
in infer/src/java
341 - 74 2494 99 14
ml
CommandLineOption.ml
in infer/src/base
1045 - 17 2019 97 16
ml
Utils.ml
in infer/src/base
424 - 311 2019 97 20
ml
InferAnalyze.ml
in infer/src/backend
249 - 31 1739 94 14
ml
callbacks.ml
in infer/src/backend
62 - 716 2464 94 14
ml
SymExec.ml
in infer/src/biabduction
1683 - 70 1480 93 15
ml
liveness.ml
in infer/src/checkers
357 - 42 2201 92 16
ml
TaintTests.ml
in infer/src/unit
142 - 492 2066 88 11
ml
analyzerTester.ml
in infer/src/unit
287 - 42 2230 86 12
ml
CType_decl.ml
in infer/src/clang
737 - 23 1990 85 14
ml
ast_expressions.ml
in infer/src/clang
121 - 219 2487 84 16
ml
CaptureCompilationDatabase.ml
in infer/src/integration
158 - 485 1984 83 11
ml
bufferOverrunAnalysis.ml
in infer/src/bufferoverrun
483 - 42 1171 83 11
mli
itv.mli
in infer/src/bufferoverrun
159 - 73 1493 83 11
ml
Siof.ml
in infer/src/checkers
263 - 242 1990 83 14
ml
bufferOverrunUtils.ml
in infer/src/bufferoverrun
378 - 225 1598 82 11
ml
cFrontend_config.ml
in infer/src/clang
86 - 137 2487 82 14
Correlations

File Size vs. Number of Changes: 1898 points

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

Number of Contributors vs. Number of Changes: 1898 points

infer/src/base/Config.ml x: 44 # contributors y: 522 # changes infer/src/base/Config.mli x: 40 # contributors y: 418 # changes infer/src/pulse/PulseFormula.ml x: 4 # contributors y: 35 # changes facebook-clang-plugins/libtooling/ASTExporter.h x: 5 # contributors y: 13 # changes infer/src/clang/cTrans.ml x: 24 # contributors y: 390 # changes infer/src/pulse/PulseAttribute.ml x: 11 # contributors y: 42 # changes infer/src/pulse/PulseAttribute.mli x: 10 # contributors y: 37 # changes infer/src/pulse/PulseBaseAddressAttributes.ml x: 9 # contributors y: 40 # changes infer/src/pulse/PulseTaint.ml x: 1 # contributors y: 2 # changes infer/src/pulse/PulseTaintOperations.ml x: 1 # contributors y: 3 # changes infer/src/pulse/PulseDiagnostic.ml x: 12 # contributors y: 58 # changes infer/src/erlang/ErlangEnvironment.ml x: 1 # contributors y: 7 # changes infer/src/erlang/ErlangTranslator.ml x: 4 # contributors y: 46 # changes infer/src/pulse/PulseDecompiler.ml x: 2 # contributors y: 2 # changes infer/src/absint/AbstractDomain.ml x: 10 # contributors y: 51 # changes infer/src/cost/ConfigImpactAnalysis.ml x: 4 # contributors y: 42 # changes infer/src/istd/IList.ml x: 10 # contributors y: 30 # changes infer/src/istd/IList.mli x: 10 # contributors y: 25 # changes infer/src/base/CommandDoc.ml x: 7 # contributors y: 35 # changes infer/src/base/CommandLineOption.ml x: 16 # contributors y: 97 # changes infer/src/base/CommandLineOption.mli x: 13 # contributors y: 59 # changes sledge/report/sledge_report.ml x: 2 # contributors y: 14 # changes sledge/src/report.ml x: 3 # contributors y: 26 # changes sledge/src/report.mli x: 2 # contributors y: 18 # changes sledge/cli/sledge_cli.ml x: 2 # contributors y: 20 # changes sledge/ppx_trace/ppx_trace.ml x: 1 # contributors y: 9 # changes infer/src/erlang/ErlangAst.ml x: 2 # contributors y: 9 # changes infer/src/erlang/ErlangJsonParser.ml x: 4 # contributors y: 13 # changes infer/src/clang/ClangCommand.ml x: 8 # contributors y: 49 # changes infer/src/checkers/SimpleLineage.ml x: 4 # contributors y: 16 # changes infer/src/absint/PatternMatch.ml x: 16 # contributors y: 81 # changes infer/src/absint/PatternMatch.mli x: 15 # contributors y: 57 # changes infer/src/absint/ProcnameDispatcher.ml x: 8 # contributors y: 12 # changes infer/src/pulse/PulseModels.ml x: 15 # contributors y: 151 # changes infer/src/IR/ProcAttributes.ml x: 16 # contributors y: 65 # changes infer/src/IR/ProcAttributes.mli x: 15 # contributors y: 53 # changes infer/src/IR/Pvar.ml x: 18 # contributors y: 64 # changes infer/src/IR/Pvar.mli x: 15 # contributors y: 38 # changes infer/src/backend/ClosureSubstSpecializedMethod.ml x: 7 # contributors y: 12 # changes infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml x: 7 # contributors y: 19 # changes infer/src/clang/cMethod_trans.ml x: 17 # contributors y: 181 # changes infer/src/clang/cMethod_trans.mli x: 12 # contributors y: 57 # changes infer/src/clang/cVar_decl.ml x: 13 # contributors y: 66 # changes infer/src/pulse/PulseAbductiveDomain.ml x: 13 # contributors y: 109 # changes infer/src/pulse/PulseCallOperations.ml x: 9 # contributors y: 32 # changes infer/src/backend/CCallSpecializedWithClosures.ml x: 3 # contributors y: 6 # changes infer/src/pulse/Pulse.ml x: 15 # contributors y: 116 # changes infer/src/IR/Fieldname.ml x: 8 # contributors y: 15 # changes infer/src/backend/ClosuresSubstitution.ml x: 5 # contributors y: 9 # changes infer/src/clang/CType_decl.ml x: 14 # contributors y: 85 # changes infer/src/clang/cFrontend_decl.ml x: 17 # contributors y: 124 # changes website/src/pages/index.js x: 5 # contributors y: 8 # changes infer/lib/erlang/erlang.escript x: 1 # contributors y: 5 # changes infer/lib/erlang/extract.escript x: 2 # contributors y: 5 # changes infer/src/integration/Rebar3.ml x: 3 # contributors y: 11 # changes sledge/src/control.ml x: 4 # contributors y: 67 # changes sledge/cli/domain_itv.ml x: 2 # contributors y: 16 # changes sledge/src/llair/llair.ml x: 3 # contributors y: 51 # changes infer/src/java/jTransExn.ml x: 12 # contributors y: 52 # changes infer/src/backend/InferAnalyze.ml x: 14 # contributors y: 94 # changes infer/src/base/IssueType.ml x: 24 # contributors y: 174 # changes infer/src/base/IssueType.mli x: 22 # contributors y: 139 # changes infer/src/integration/ConfigImpactIssuesTest.ml x: 2 # contributors y: 4 # changes infer/src/integration/Differential.ml x: 4 # contributors y: 24 # changes infer/src/IR/Procname.mli x: 15 # contributors y: 47 # changes infer/src/pulse/PulseNonDisjunctiveOperations.ml x: 2 # contributors y: 8 # changes infer/src/base/Logging.ml x: 14 # contributors y: 74 # changes infer/src/backend/CallGraph.ml x: 3 # contributors y: 18 # changes infer/src/topl/Topl.ml x: 6 # contributors y: 34 # changes infer/src/pulse/PulseTopl.ml x: 3 # contributors y: 13 # changes infer/src/topl/ToplAutomaton.ml x: 3 # contributors y: 16 # changes website/static/odoc/next/infer/ASTLanguage.html x: 6 # contributors y: 9 # changes website/static/odoc/next/infer/BO/BufferOverrunModels/NSString/index.html x: 6 # contributors y: 8 # changes website/static/odoc/next/infer/Backend/Payloads/Fields/Direct/index.html x: 6 # contributors y: 13 # changes website/static/odoc/next/infer/Biabduction/Errdesc/index.html x: 7 # contributors y: 14 # changes website/static/odoc/next/infer/ClangFrontend/CStructUtils/index.html x: 5 # contributors y: 5 # changes website/static/odoc/next/infer/Costlib/CostModels/Algorithm/index.html x: 3 # contributors y: 3 # changes website/static/odoc/next/infer/Costlib/CostModels/Call/index.html x: 6 # contributors y: 11 # changes website/static/odoc/next/infer/Pulselib/PulseBaseDomain/GraphVisit/index.html x: 4 # contributors y: 4 # changes infer/src/base/Logging.mli x: 11 # contributors y: 33 # changes infer/src/pulse/PulseInterproc.ml x: 7 # contributors y: 39 # changes infer/src/absint/AbstractInterpreter.ml x: 12 # contributors y: 68 # changes infer/src/absint/AbstractInterpreter.mli x: 9 # contributors y: 21 # changes infer/src/checkers/liveness.ml x: 16 # contributors y: 92 # changes infer/src/unit/abstractInterpreterTests.ml x: 9 # contributors y: 29 # changes infer/src/unit/analyzerTester.ml x: 12 # contributors y: 86 # changes infer/src/unit/livenessTests.ml x: 10 # contributors y: 40 # changes infer/src/pulse/PulseAbductiveDomain.mli x: 12 # contributors y: 77 # changes infer/src/pulse/PulseBaseAddressAttributes.mli x: 9 # contributors y: 36 # changes infer/src/pulse/PulseBasicInterface.ml x: 1 # contributors y: 11 # changes infer/src/pulse/PulseDiagnostic.mli x: 10 # contributors y: 31 # changes infer/src/pulse/PulseReport.ml x: 8 # contributors y: 28 # changes infer/src/pulse/PulseValueHistory.ml x: 5 # contributors y: 19 # changes infer/src/pulse/PulseValueHistory.mli x: 4 # contributors y: 17 # changes infer/src/pulse/PulseAccessResult.ml x: 4 # contributors y: 9 # changes infer/src/pulse/PulseExecutionDomain.ml x: 6 # contributors y: 23 # changes infer/src/pulse/PulseExecutionDomain.mli x: 6 # contributors y: 20 # changes infer/src/pulse/PulseObjectiveCSummary.ml x: 3 # contributors y: 19 # changes infer/src/pulse/PulseOperations.ml x: 13 # contributors y: 111 # changes infer/src/pulse/PulseOperations.mli x: 11 # contributors y: 72 # changes infer/src/pulse/PulseSummary.ml x: 7 # contributors y: 26 # changes infer/src/backend/ondemand.ml x: 18 # contributors y: 154 # changes infer/src/deadcode/dune.in x: 8 # contributors y: 23 # changes infer/src/bufferoverrun/bufferOverrunAnalysis.ml x: 11 # contributors y: 83 # changes infer/src/integration/Buck.mli x: 7 # contributors y: 23 # changes infer/src/integration/Driver.ml x: 21 # contributors y: 125 # changes infer/src/integration/Driver.mli x: 11 # contributors y: 32 # changes infer/src/IR/Procdesc.ml x: 19 # contributors y: 111 # changes infer/src/concurrency/RacerDFileAnalysis.ml x: 6 # contributors y: 15 # changes infer/src/IR/BuiltinDecl.ml x: 16 # contributors y: 53 # changes infer/src/IR/BuiltinDecl.mli x: 9 # contributors y: 27 # changes sledge/src/llair/llair.mli x: 3 # contributors y: 33 # changes sledge/src/domain_sh.ml x: 2 # contributors y: 25 # changes infer/src/java/jFrontend.ml x: 11 # contributors y: 74 # changes infer/src/IR/Exp.ml x: 11 # contributors y: 41 # changes infer/src/IR/QualifiedCppName.mli x: 8 # contributors y: 19 # changes infer/src/IR/Typ.ml x: 19 # contributors y: 136 # changes infer/src/IR/Typ.mli x: 18 # contributors y: 125 # changes infer/src/clang/cType_to_sil_type.ml x: 11 # contributors y: 57 # changes infer/src/backend/preanal.ml x: 15 # contributors y: 129 # changes infer/src/biabduction/BuiltinDefn.ml x: 14 # contributors y: 43 # changes infer/src/IR/BUILTINS.ml x: 8 # contributors y: 18 # changes infer/src/java/jTrans.ml x: 16 # contributors y: 174 # changes infer/src/IR/Attributes.ml x: 8 # contributors y: 33 # changes infer/src/IR/Attributes.mli x: 5 # contributors y: 12 # changes infer/src/bufferoverrun/bufferOverrunChecker.ml x: 21 # contributors y: 197 # changes infer/src/checkers/SelfInBlock.ml x: 6 # contributors y: 29 # changes infer/src/cost/cost.ml x: 9 # contributors y: 60 # changes infer/src/bufferoverrun/bufferOverrunSemantics.ml x: 15 # contributors y: 147 # changes infer/src/bufferoverrun/bufferOverrunSemantics.mli x: 3 # contributors y: 7 # changes infer/src/cost/costInstantiate.ml x: 4 # contributors y: 5 # changes infer/src/cost/hoisting.ml x: 7 # contributors y: 15 # changes infer/src/biabduction/SymExec.ml x: 15 # contributors y: 93 # changes infer/src/IR/Procdesc.mli x: 17 # contributors y: 77 # changes infer/src/backend/Summary.ml x: 9 # contributors y: 51 # changes infer/src/biabduction/Exceptions.ml x: 4 # contributors y: 11 # changes infer/src/biabduction/Rearrange.ml x: 14 # contributors y: 47 # changes infer/src/biabduction/Rearrange.mli x: 3 # contributors y: 10 # changes infer/src/clang/cFrontend.ml x: 13 # contributors y: 115 # changes infer/src/bufferoverrun/bufferOverrunModels.ml x: 12 # contributors y: 199 # changes infer/src/bufferoverrun/bufferOverrunProofObligations.ml x: 9 # contributors y: 70 # changes infer/src/bufferoverrun/itv.ml x: 15 # contributors y: 138 # changes infer/src/biabduction/RetainCycles.ml x: 9 # contributors y: 25 # changes infer/src/clang/cField_decl.ml x: 12 # contributors y: 71 # changes infer/src/clang/cField_decl.mli x: 8 # contributors y: 32 # changes infer/src/clang/cGeneral_utils.ml x: 12 # contributors y: 50 # changes infer/src/concurrency/RacerDModels.ml x: 9 # contributors y: 44 # changes infer/src/java/jAnnotation.ml x: 11 # contributors y: 35 # changes infer/src/java/jTransType.ml x: 14 # contributors y: 99 # changes infer/src/nullsafe/AnnotatedSignature.ml x: 7 # contributors y: 30 # changes infer/src/IR/Tenv.ml x: 12 # contributors y: 49 # changes infer/src/checkers/liveness.mli x: 4 # contributors y: 8 # changes infer/src/pulse/PulseBaseMemory.mli x: 5 # contributors y: 15 # changes infer/src/backend/mergeCapture.ml x: 8 # contributors y: 57 # changes infer/src/checkers/impurity.ml x: 7 # contributors y: 50 # changes infer/src/pulse/PulseArithmetic.ml x: 5 # contributors y: 23 # changes infer/src/biabduction/Attribute.ml x: 5 # contributors y: 18 # changes infer/src/checkers/uninit.ml x: 12 # contributors y: 74 # changes infer/src/nullsafe/typeCheck.ml x: 8 # contributors y: 60 # changes infer/src/quandary/ClangTrace.ml x: 13 # contributors y: 80 # changes infer/src/quandary/JavaTrace.ml x: 12 # contributors y: 109 # changes infer/src/cost/costDomain.ml x: 7 # contributors y: 21 # changes infer/src/clang/cLocation.ml x: 10 # contributors y: 66 # changes infer/src/java/jMain.ml x: 16 # contributors y: 105 # changes infer/src/infer.ml x: 21 # contributors y: 72 # changes infer/src/clang/cFrontend_config.ml x: 14 # contributors y: 82 # changes infer/src/base/costKind.ml x: 2 # contributors y: 12 # changes infer/src/cost/costModels.ml x: 4 # contributors y: 33 # changes infer/src/bufferoverrun/bufferOverrunDomain.ml x: 16 # contributors y: 200 # changes sledge/src/domain_used_globals.ml x: 1 # contributors y: 13 # changes sledge/src/sh.ml x: 2 # contributors y: 29 # changes infer/src/dune.in x: 14 # contributors y: 38 # changes infer/src/biabduction/Match.ml x: 4 # contributors y: 19 # changes infer/src/concurrency/StarvationModels.ml x: 6 # contributors y: 48 # changes infer/src/concurrency/StarvationModels.mli x: 4 # contributors y: 26 # changes infer/src/concurrency/starvation.ml x: 10 # contributors y: 125 # changes infer/src/concurrency/starvationDomain.ml x: 5 # contributors y: 79 # changes infer/src/concurrency/starvationDomain.mli x: 5 # contributors y: 61 # changes infer/src/IR/Cfg.ml x: 13 # contributors y: 52 # changes infer/src/IR/Cfg.mli x: 11 # contributors y: 27 # changes infer/src/IR/Instrs.ml x: 10 # contributors y: 18 # changes infer/src/checkers/loopInvariant.ml x: 5 # contributors y: 32 # changes infer/src/clang/cContext.ml x: 11 # contributors y: 63 # changes infer/src/clang/cContext.mli x: 7 # contributors y: 44 # changes sledge/src/llair/exp.ml x: 4 # contributors y: 51 # changes sledge/src/llair/exp.mli x: 4 # contributors y: 39 # changes infer/src/base/ProcessPool.ml x: 10 # contributors y: 49 # changes infer/src/backend/printer.ml x: 14 # contributors y: 109 # changes infer/src/backend/Summary.mli x: 9 # contributors y: 39 # changes infer/src/base/SourceFile.ml x: 14 # contributors y: 60 # changes infer/src/al/AL.ml x: 7 # contributors y: 9 # changes infer/src/al/cPredicates.ml x: 8 # contributors y: 14 # changes infer/src/clang/ast_expressions.ml x: 16 # contributors y: 84 # changes infer/src/clang/cTrans_utils.ml x: 18 # contributors y: 178 # changes infer/src/bufferoverrun/bufferOverrunUtils.ml x: 11 # contributors y: 82 # changes infer/src/IR/Subtype.ml x: 6 # contributors y: 21 # changes infer/src/bufferoverrun/symb.ml x: 9 # contributors y: 59 # changes infer/src/scripts/checkCopyright.ml x: 8 # contributors y: 41 # changes infer/src/base/SourceFile.mli x: 12 # contributors y: 29 # changes infer/src/backend/Tasks.ml x: 8 # contributors y: 39 # changes infer/src/backend/callbacks.mli x: 13 # contributors y: 49 # changes infer/src/base/ResultsDir.ml x: 9 # contributors y: 34 # changes infer/src/base/SqliteUtils.ml x: 5 # contributors y: 22 # changes infer/src/biabduction/Abs.ml x: 6 # contributors y: 28 # changes infer/src/biabduction/State.ml x: 7 # contributors y: 27 # changes infer/src/bufferoverrun/bounds.ml x: 7 # contributors y: 65 # changes infer/src/checkers/Siof.ml x: 14 # contributors y: 83 # changes infer/src/checkers/control.ml x: 7 # contributors y: 31 # changes infer/src/clang/objcInterface_decl.ml x: 10 # contributors y: 69 # changes infer/src/integration/Maven.ml x: 8 # contributors y: 30 # changes infer/src/istd/IContainer.ml x: 6 # contributors y: 18 # changes infer/src/nullsafe/eradicateChecks.ml x: 7 # contributors y: 56 # changes infer/src/nullsafe/models.ml x: 7 # contributors y: 34 # changes infer/src/nullsafe/typeErr.ml x: 6 # contributors y: 44 # changes infer/src/nullsafe/typeOrigin.ml x: 6 # contributors y: 26 # changes infer/src/quandary/TaintAnalysis.ml x: 13 # contributors y: 166 # changes infer/src/backend/ondemand.mli x: 9 # contributors y: 48 # changes infer/src/checkers/annotationReachability.ml x: 17 # contributors y: 122 # changes infer/src/clang/Capture.ml x: 10 # contributors y: 47 # changes infer/src/clang/cAst_utils.mli x: 12 # contributors y: 46 # changes infer/src/java/jClasspath.ml x: 11 # contributors y: 78 # changes infer/src/base/Utils.ml x: 20 # contributors y: 97 # changes infer/src/base/Utils.mli x: 19 # contributors y: 73 # changes infer/src/concurrency/RacerDDomain.ml x: 10 # contributors y: 65 # changes infer/src/nullsafe/modelTables.ml x: 8 # contributors y: 35 # changes infer/src/dune.common.in x: 12 # contributors y: 20 # changes infer/src/clang/cMethodSignature.ml x: 8 # contributors y: 21 # changes infer/src/clang/cMethodSignature.mli x: 7 # contributors y: 18 # changes infer/src/clang/cTrans_models.ml x: 11 # contributors y: 67 # changes infer/src/absint/LowerHil.ml x: 10 # contributors y: 45 # changes infer/src/labs/ResourceLeaks.ml x: 10 # contributors y: 42 # changes infer/src/bufferoverrun/bufferOverrunUtils.mli x: 8 # contributors y: 45 # changes infer/src/bufferoverrun/bounds.mli x: 7 # contributors y: 47 # changes infer/src/unit/TaintTests.ml x: 11 # contributors y: 88 # changes infer/src/concurrency/RacerDDomain.mli x: 8 # contributors y: 47 # changes infer/src/clang/cTrans_utils.mli x: 13 # contributors y: 99 # changes infer/src/bufferoverrun/arrayBlk.ml x: 11 # contributors y: 52 # changes infer/src/checkers/printfArgs.ml x: 11 # contributors y: 55 # changes infer/models/c/src/libc_basic.c x: 11 # contributors y: 22 # changes infer/src/java/jTransType.mli x: 8 # contributors y: 42 # changes infer/src/base/Process.ml x: 8 # contributors y: 26 # changes infer/src/checkers/fragmentRetainsViewChecker.ml x: 9 # contributors y: 53 # changes infer/src/clang/cFrontend_errors.ml x: 15 # contributors y: 131 # changes infer/src/clang/cFrontend_errors.mli x: 9 # contributors y: 43 # changes infer/annotations/src/main/java/com/facebook/infer/annotation/Assertions.java x: 7 # contributors y: 7 # changes infer/annotations/src/main/java/com/facebook/infer/annotation/FalseOnNull.java x: 6 # contributors y: 6 # changes infer/src/istd/IStd.ml x: 4 # contributors y: 21 # changes infer/src/backend/inferanalyze.ml x: 7 # contributors y: 60 # changes
522.0
# changes
  min: 1.0
  average: 13.29
  25th percentile: 2.0
  median: 5.0
  75th percentile: 11.0
  max: 522.0
0 44.0
# contributors
min: 1.0 | average: 3.92 | 25th percentile: 1.0 | median: 3.0 | 75th percentile: 5.0 | max: 44.0