[docs] publish

Summary: Update docs

Reviewed By: jvillard

Differential Revision: D28001936

fbshipit-source-id: 508849ddf
master
Nikos Gorogiannis 4 years ago committed by Facebook GitHub Bot
parent 3bce92d804
commit aa11c43731

@ -1199,12 +1199,11 @@ class C implements I {
Reported as "Lock Consistency Violation" by [racerd](/docs/next/checker-racerd).
This is a C++ and Objective C error reported whenever:
This is an error reported on C++ and Objective C classes whenever:
- A class contains a member `lock` used for synchronization (most often a
`std::mutex`).
- It has a public method which writes to some member `x` while holding `lock`.
- It has a public method which reads `x` without holding `lock`.
- Some class method directly uses locking primitives (not transitively).
- It has a public method which writes to some member `x` while holding a lock.
- It has a public method which reads `x` without holding a lock.
The above may happen through a chain of calls. Above, `x` may also be a
container (an array, a vector, etc).
@ -1302,6 +1301,11 @@ Reported as "Mutable Local Variable In Component File" by [linters](/docs/next/c
[Doc in ComponentKit page](http://componentkit.org/docs/avoid-local-variables)
## NIL_MESSAGING_TO_NON_POD
Reported as "Nil Messaging To Non Pod" by [pulse](/docs/next/checker-pulse).
See [NULLPTR_DEREFERENCE](#nullptr_dereference).
## NULLPTR_DEREFERENCE
Reported as "Nullptr Dereference" by [pulse](/docs/next/checker-pulse).
@ -2134,98 +2138,7 @@ These annotations can be found at `com.facebook.infer.annotation.*`.
Reported as "Thread Safety Violation in `@Nullsafe` Class" by [racerd](/docs/next/checker-racerd).
This warning indicates a potential data race in Java. The analyser is called
RacerD and this section gives brief but a mostly complete description of its
features. See the [RacerD page](/docs/next/checker-racerd) for more in-depth information and
examples.
### Thread-safety: What is a data race
Here a data race is a pair of accesses to the same member field such that:
- at least one is a write, and,
- at least one occurs without any lock synchronization, and,
- the two accesses occur on threads (if known) which can run in parallel.
### Thread-safety: Potential fixes
- Synchronizing the accesses (using the `synchronized` keyword, thread-exclusion
such as atomic objects, `volatile` etc).
- Making an offending method private -- this will exclude it from being checked
at the top level, though it will be checked if called by a public method which
may itself, e.g., hold a lock when calling it.
- Putting the two accesses on the same thread, e.g., by using `@MainThread` or
`@ThreadConfined`.
### Thread-safety: Conditions checked before reporting
The class and method are not marked `@ThreadSafe(enableChecks = false)`, and,
- The method is declared `synchronized`, or employs (non-transitively) locking,
or,
- The class is not marked `@NotThreadSafe`, and,
- The class/method is marked `@ThreadSafe,` or one of the configured synonyms
in `.inferconfig`, or,
- A parent class, or an override method are marked with the above annotations.
NB currently RacerD **does not take into account `@GuardedBy`**.
### Thread-safety: Thread annotations recognized by RacerD
These class and method annotations imply the method is on the main thread:
`@MainThread`, `@UiThread`
These method annotations imply the method is on the main thread: `@OnBind`,
`@OnEvent`, `@OnMount`, `@OnUnbind`, `@OnUnmount`
Both classes of annotations work through the inheritance tree (i.e. if a parent
class or method is marked with one of these annotations, so is the child class /
method override).
In addition to these, RacerD recognizes many lifecycle methods as necessarily
running on the main thread, eg `Fragment.onCreate` etc.
Finally, the thread status of being on the main thread propagates backwards
through the call graph (ie if `foo` calls `bar` and `bar` is marked `@UiThtread`
then `foo` is automatically considered on the main thread too). Calling
`assertMainThread`, `assertOnUiThread`, `checkOnMainThread` has the same effect.
NB RacerD currently **does not recognize `@WorkerThread`, `@BinderThread` or
`@AnyThread`**.
### Thread-safety: Other annotations and what they do
These annotations can be found at `com.facebook.infer.annotation.*`.
- `@Functional` This is a method annotation indicating the method always returns
the same value. When a method `foo` is annotated `@Functional`, RacerD will
ignore any writes of the return value of `foo`. For example, in
`this.x = foo()`, the write to `this.x` is ignored. The reasoning is that if
the method returns the same value whenever it's called, any data race on
`this.x` is benign, if that is the only write.
- `@ThreadConfined` This is a class/method/field annotation which takes a single
parameter which can be `UI`, `ANY` or a user chosen string. It indicates to
RacerD a thread identifier for the class/method/field. Thus,
`@ThreadConfined(UI)` is equivalent to `@UiThread`, and `@ThreadConfined(ANY)`
is equivalent to not having the annotation at all, for classes and methods.
When this annotation is applied to a field it instructs Infer to assume
(without checking) that all accesses to that field are made on the same thread
(and can, therefore, not race by definition). The intention is that RacerD
uses that to detect exclusion between accesses occurring on the same thread.
However, only the UI thread is supported at this time, and any user provided
value is considered equal to `UI`.
- `@VisibleForTesting` A method annotation making Infer consider the method as
effectively `private`. This means it will not be checked for races against
other non-private methods of the class, but only if called by one.
- `@ReturnsOwnership` A method annotation indicating that the method returns a
freshly owned object. Accesses to the returned value will not be considered
for data races, as the object is in-effect unique and not accessible yet from
other threads. The main utility of this annotation is in interfaces, where
Infer cannot look up the implementation and decide for itself.
A [Thread Safety Violation](#thread_safety_violation) in a `@Nullsafe` class.
## TOPL_ERROR
Reported as "Topl Error" by [topl](/docs/next/checker-topl).

@ -75,6 +75,7 @@ class Registry {
The following issue types are reported by this checker:
- [CONSTANT_ADDRESS_DEREFERENCE](/docs/next/all-issue-types#constant_address_dereference)
- [MEMORY_LEAK](/docs/next/all-issue-types#memory_leak)
- [NIL_MESSAGING_TO_NON_POD](/docs/next/all-issue-types#nil_messaging_to_non_pod)
- [NULLPTR_DEREFERENCE](/docs/next/all-issue-types#nullptr_dereference)
- [OPTIONAL_EMPTY_ACCESS](/docs/next/all-issue-types#optional_empty_access)
- [PULSE_UNINITIALIZED_VALUE](/docs/next/all-issue-types#pulse_uninitialized_value)

@ -12,9 +12,11 @@ Supported languages:
- Java: Yes
- C#/.Net: Yes
RacerD finds data races in your C++ and Java code. This page gives a more in-depth
RacerD finds data races in your C++/Objective C and Java code. This page gives a more in-depth
explanation of how the analysis works *for Java code*, but may be less complete than the
[Thread Safety Violation bug description page](/docs/next/all-issue-types#thread_safety_violation).
For information on C++ and Objective C, see the
[Lock Consistency violation page](/docs/next/all-issue-types#lock_consistency_violation).
To run the analysis, you can use plain `infer` (to run RacerD along with other
analyses that are run by default) or `infer --racerd-only` (to run only RacerD).

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-analyze</title>
</head>
<body>
<h1 align="center">infer-analyze</h1>
<h1 align=center>infer-analyze</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -37,35 +36,31 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-analyze -
analyze the files captured by infer</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
analyze</b> <i>[options]</i> <b><br>
infer</b> <i>[options]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Analyze the
files captured in the project results directory and
report.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -73,12 +68,12 @@ report.</p>
<p style="margin-left:17%;">Activates: checker
annotation-reachability: Given a pair of source and sink
annotation, e.g. &rsquo;@PerformanceCritical&rsquo; and
&rsquo;@Expensive&rsquo;, this checker will warn whenever
annotation, e.g. &lsquo;@PerformanceCritical&lsquo; and
&lsquo;@Expensive&lsquo;, this checker will warn whenever
some method annotated with
&rsquo;@PerformanceCritical&rsquo; calls, directly or
&lsquo;@PerformanceCritical&lsquo; calls, directly or
indirectly, another method annotated with
&rsquo;@Expensive&rsquo; (Conversely:
&lsquo;@Expensive&lsquo; (Conversely:
<b>--no-annotation-reachability</b>)</p>
@ -174,7 +169,7 @@ given the same before. Not compatible with
<p style="margin-left:17%;">Activates: checker cost:
Computes the time complexity of functions and methods. Can
be used to detect changes in runtime complexity with
&rsquo;infer reportdiff&rsquo;. (Conversely:
&lsquo;infer reportdiff&lsquo;. (Conversely:
<b>--no-cost</b>)</p>
<p style="margin-left:11%;"><b>--cost-only</b></p>
@ -256,7 +251,7 @@ reporting. (Conversely: <b>--deduplicate</b>)</p>
<p style="margin-left:11%;"><b>--eradicate</b></p>
<p style="margin-left:17%;">Activates: checker eradicate:
The eradicate &rsquo;@Nullable&rsquo; checker for Java
The eradicate &lsquo;@Nullable&lsquo; checker for Java
annotations. (Conversely: <b>--no-eradicate</b>)</p>
<p style="margin-left:11%;"><b>--eradicate-only</b></p>
@ -302,9 +297,9 @@ internal options in the INTERNAL OPTIONS section</p>
<p style="margin-left:17%;">Activates: checker
immutable-cast: Detection of object cast from immutable
types to mutable types. For instance, it will detect casts
from &rsquo;ImmutableList&rsquo; to &rsquo;List&rsquo;,
&rsquo;ImmutableMap&rsquo; to &rsquo;Map&rsquo;, and
&rsquo;ImmutableSet&rsquo; to &rsquo;Set&rsquo;.
from &lsquo;ImmutableList&lsquo; to &lsquo;List&lsquo;,
&lsquo;ImmutableMap&lsquo; to &lsquo;Map&lsquo;, and
&lsquo;ImmutableSet&lsquo; to &lsquo;Set&lsquo;.
(Conversely: <b>--no-immutable-cast</b>)</p>
@ -380,7 +375,7 @@ disable all other checkers (Conversely:
<p style="margin-left:17%;">Activates: checker
litho-required-props: Checks that all non-optional
&rsquo;@Prop&rsquo;s have been specified when constructing
&lsquo;@Prop&lsquo;s have been specified when constructing
Litho components. (Conversely:
<b>--no-litho-required-props</b>)</p>
@ -435,7 +430,7 @@ running simultaneously</p>
<p style="margin-left:17%;">Activates: Generate OCaml
analysis allocation traces in
&rsquo;infer-out/memtrace&rsquo;. (Conversely:
&lsquo;infer-out/memtrace&lsquo;. (Conversely:
<b>--no-memtrace-analysis-profiling</b>)</p>
@ -460,11 +455,11 @@ stdout and stderr (Conversely: <b>--no-print-logs</b>)</p>
<p style="margin-left:11%;"><b>--printf-args</b></p>
<p style="margin-left:17%;">Activates: checker printf-args:
Detect mismatches between the Java &rsquo;printf&rsquo;
Detect mismatches between the Java &lsquo;printf&lsquo;
format strings and the argument types For example, this
checker will warn about the type error in
&rsquo;printf(&quot;Hello %d&quot;,
&quot;world&quot;)&rsquo; (Conversely:
&lsquo;printf(&quot;Hello %d&quot;,
&quot;world&quot;)&lsquo; (Conversely:
<b>--no-printf-args</b>)</p>
<p style="margin-left:11%;"><b>--printf-args-only</b></p>
@ -663,7 +658,7 @@ performs better in some circumstances <b><br>
<p style="margin-left:17%;">Deactivates: checker
self-in-block: An Objective-C-specific analysis to detect
when a block captures &rsquo;self&rsquo;. (Conversely:
when a block captures &lsquo;self&lsquo;. (Conversely:
<b>--self-in-block</b>)</p>
@ -766,9 +761,8 @@ node. (Conversely: <b>--no-write-html</b>) <b><br>
<p style="margin-left:17%;">Specify the suffix of Xcode
isysroot directory, to avoid absolute paths in tests</p>
<h2>BUCK OPTIONS
<a name="BUCK OPTIONS"></a>
</h2>
<h2>BUCK OPTIONS</h2>
@ -778,9 +772,8 @@ isysroot directory, to avoid absolute paths in tests</p>
results directories specified in the dependency file.
(Conversely: <b>--no-merge</b>)</p>
<h2>BUFFER OVERRUN OPTIONS
<a name="BUFFER OVERRUN OPTIONS"></a>
</h2>
<h2>BUFFER OVERRUN OPTIONS</h2>
@ -796,9 +789,8 @@ checker (0-4)</p>
<p style="margin-left:17%;">Limit of field depth of
abstract location in buffer-overrun checker</p>
<h2>CLANG OPTIONS
<a name="CLANG OPTIONS"></a>
</h2>
<h2>CLANG OPTIONS</h2>
@ -831,9 +823,10 @@ Example:</p>
&quot;.*::Trusted::.*&quot; ] } <br>
} <br>
} <br>
} <br>
This will cause us to create a new ISOLATED_REACHING_CONNECT
<br>
}</p>
<p style="margin-left:11%; margin-top: 1em">This will cause
us to create a new ISOLATED_REACHING_CONNECT <br>
issue for every function whose source path starts with
&quot;isolated/&quot; <br>
that may reach the function named &quot;connect&quot;,
@ -881,9 +874,8 @@ common wrappers around these types such as
when the variables are not read explicitly by the
program.</p>
<h2>JAVA OPTIONS
<a name="JAVA OPTIONS"></a>
</h2>
<h2>JAVA OPTIONS</h2>
@ -912,9 +904,8 @@ packages.</p>
<p style="margin-left:17%;">The version of Java being used.
Set it to your Java version if mvn is failing.</p>
<h2>QUANDARY CHECKER OPTIONS
<a name="QUANDARY CHECKER OPTIONS"></a>
</h2>
<h2>QUANDARY CHECKER OPTIONS</h2>
@ -942,9 +933,8 @@ Quandary</p>
<p style="margin-left:17%;">Specify custom sources for
Quandary</p>
<h2>RACERD CHECKER OPTIONS
<a name="RACERD CHECKER OPTIONS"></a>
</h2>
<h2>RACERD CHECKER OPTIONS</h2>
@ -967,9 +957,8 @@ nothing. (Conversely:
<p style="margin-left:17%;">Specify custom annotations that
should be considered aliases of @ThreadSafe</p>
<h2>SIOF CHECKER OPTIONS
<a name="SIOF CHECKER OPTIONS"></a>
</h2>
<h2>SIOF CHECKER OPTIONS</h2>
@ -990,9 +979,8 @@ recent libstdc++ then it is safe to turn this option on.
&quot;foo&lt;int&gt;::bar()&quot;, etc. (can be specified
multiple times)</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -1002,9 +990,8 @@ multiple times)</p>
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -1013,9 +1000,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-capture</title>
</head>
<body>
<h1 align="center">infer-capture</h1>
<h1 align=center>infer-capture</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -34,17 +33,15 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-capture -
capture source files for later analysis</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
@ -71,9 +68,8 @@ infer capture</b> <i>[options]</i> <b>-- ndk-build</b>
infer capture</b> <i>[--no-xcpretty] [options]</i> <b>--
xcodebuild</b> <i>...</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Capture the
@ -83,9 +79,8 @@ source files, translate them into infer's intermediate
representation, and store the result of the translation in
the results directory.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -155,7 +150,7 @@ values: <i>ant</i>, <i>buck</i>, <i>gradle</i>,
<i>clang</i>, <i>gcc</i>, <i>clang++</i>, <i>c++</i>,
<i>g++</i>, <i>make</i>, <i>configure</i>, <i>cmake</i>,
<i>waf</i>, <i>mvn</i>, <i>mvnw</i>, <i>ndk-build</i>,
<i>xcodebuild</i>.</p>
<i>rebar3</i>, <i>xcodebuild</i>.</p>
<p style="margin-left:11%;"><b>--help</b></p>
@ -242,25 +237,24 @@ phase is expected to require several <i>different</i>
project roots, all relative to a common workspace. Usually a
single project root is enough, though.</p>
<table width="100%" border="0" rules="none" frame="void"
<table width="100%" border=0 rules="none" frame="void"
cellspacing="0" cellpadding="0">
<tr valign="top" align="left">
<td width="11%"></td>
<td width="3%">
<p><b>--</b></p></td>
<p style="margin-top: 1em" valign="top"><b>--</b></p></td>
<td width="3%"></td>
<td width="83%">
<p>Stop argument processing, use remaining arguments as a
build command</p></td></tr>
<p style="margin-top: 1em" valign="top">Stop argument
processing, use remaining arguments as a build command</p></td>
</table>
<h2>BUCK OPTIONS
<a name="BUCK OPTIONS"></a>
</h2>
<h2>BUCK OPTIONS</h2>
@ -346,14 +340,14 @@ matched by the specified regular expression. Only valid for
<i>+string</i></p>
<p style="margin-left:17%;">Pass values as command-line
arguments to invocations of <i>&rsquo;buck build&rsquo;</i>.
arguments to invocations of <i>&lsquo;buck build&lsquo;</i>.
Only valid for <b>--buck-clang</b>.</p>
<p style="margin-left:11%;"><b>--Xbuck-no-inline</b>
<i>+string</i></p>
<p style="margin-left:17%;">Pass values as command-line
arguments to invocations of <i>&rsquo;buck build&rsquo;</i>,
arguments to invocations of <i>&lsquo;buck build&lsquo;</i>,
don't inline any args starting with '@'. Only valid for
<b>--buck-clang</b>.</p>
@ -363,9 +357,8 @@ don't inline any args starting with '@'. Only valid for
<p style="margin-left:17%;">Specify the path to Xcode
developer directory, to use for Buck clang targets</p>
<h2>CLANG LINTERS OPTIONS
<a name="CLANG LINTERS OPTIONS"></a>
</h2>
<h2>CLANG LINTERS OPTIONS</h2>
@ -435,9 +428,8 @@ files even if some compilation fails. (Conversely:
AL files, then emit possible errors in JSON format to stdout
(Conversely: <b>--no-linters-validate-syntax-only</b>)</p>
<h2>CLANG OPTIONS
<a name="CLANG OPTIONS"></a>
</h2>
<h2>CLANG OPTIONS</h2>
@ -540,13 +532,12 @@ arguments to invocations of clang</p>
<p style="margin-left:17%;">Activates: Infer will use
xcpretty together with xcodebuild to analyze an iOS app.
xcpretty just needs to be in the path, infer command is
still just <i>&rsquo;infer -- &lt;xcodebuild
command&gt;&rsquo;</i>. (Conversely:
still just <i>&lsquo;infer -- &lt;xcodebuild
command&gt;&lsquo;</i>. (Conversely:
<b>--no-xcpretty</b>)</p>
<h2>JAVA OPTIONS
<a name="JAVA OPTIONS"></a>
</h2>
<h2>JAVA OPTIONS</h2>
@ -588,9 +579,8 @@ used to generate the bytecode</p>
<p style="margin-left:17%;">The version of Java being used.
Set it to your Java version if mvn is failing.</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -600,9 +590,8 @@ Set it to your Java version if mvn is failing.</p>
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -611,9 +600,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-compile</title>
</head>
<body>
<h1 align="center">infer-compile</h1>
<h1 align=center>infer-compile</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -31,25 +30,22 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-compile -
compile project from within the infer environment</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
compile --</b> <i>[compile command]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Intercepts
@ -58,9 +54,8 @@ simply execute these compilation commands and do not perform
any translation of the source files. This can be useful to
configure build systems or for debugging purposes.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -129,9 +124,8 @@ undefined, and to <b>pager</b> otherwise.</p>
<p style="margin-left:17%;">Show this manual with all
internal options in the INTERNAL OPTIONS section</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -141,9 +135,8 @@ internal options in the INTERNAL OPTIONS section</p>
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -152,9 +145,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>EXAMPLES
<a name="EXAMPLES"></a>
</h2>
<h2>EXAMPLES</h2>
@ -189,9 +181,8 @@ cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=1 .. <br>
infer capture --compilation-database
compile_commands.json</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-debug</title>
</head>
<body>
<h1 align="center">infer-debug</h1>
<h1 align=center>infer-debug</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -33,17 +32,15 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-debug -
print internal infer data structures</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer debug
@ -51,9 +48,8 @@ print internal infer data structures</p>
infer debug --procedures</b> <i>[options]</i> <b><br>
infer debug --source-files</b> <i>[options]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">If
@ -71,9 +67,8 @@ environment (if any).</p>
<p style="margin-left:11%; margin-top: 1em">At least one of
the above options must be passed.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -100,9 +95,8 @@ internal options in the INTERNAL OPTIONS section</p>
<p style="margin-left:17%;">Select option number <i>N</i>
or <i>all</i> of them. If omitted, prompt for input.</p>
<h2>DEBUG GLOBAL TYPE ENVIRONMENT
<a name="DEBUG GLOBAL TYPE ENVIRONMENT"></a>
</h2>
<h2>DEBUG GLOBAL TYPE ENVIRONMENT</h2>
@ -111,9 +105,8 @@ or <i>all</i> of them. If omitted, prompt for input.</p>
<p style="margin-left:17%;">Activates: Print the global
type environment. (Conversely: <b>--no-global-tenv</b>)</p>
<h2>DEBUG PROCEDURES
<a name="DEBUG PROCEDURES"></a>
</h2>
<h2>DEBUG PROCEDURES</h2>
@ -187,9 +180,8 @@ of each procedure in the output of <b>--procedures</b>
of each procedure in the output of <b>--procedures</b> as
JSON (Conversely: <b>--no-procedures-summary-json</b>)</p>
<h2>DEBUG SOURCE FILES
<a name="DEBUG SOURCE FILES"></a>
</h2>
<h2>DEBUG SOURCE FILES</h2>
@ -239,9 +231,8 @@ environment of each source file in the output of
<b>--source-files</b> (Conversely:
<b>--no-source-files-type-environment</b>)</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -251,9 +242,8 @@ environment of each source file in the output of
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -262,9 +252,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-explore</title>
</head>
<body>
<h1 align="center">infer-explore</h1>
<h1 align=center>infer-explore</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -31,25 +30,22 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-explore -
explore the error traces in infer reports</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
explore</b> <i>[options]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Show the list
@ -57,9 +53,8 @@ of bugs on the console and explore symbolic program traces
emitted by infer to explain a report. Can also generate an
HTML report from a JSON report.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -86,9 +81,8 @@ internal options in the INTERNAL OPTIONS section</p>
<p style="margin-left:17%;">Write results and internal
files in the specified directory</p>
<h2>EXPLORE BUGS
<a name="EXPLORE BUGS"></a>
</h2>
<h2>EXPLORE BUGS</h2>
@ -116,9 +110,8 @@ or <i>all</i> of them. If omitted, prompt for input.</p>
excerpts around trace elements (Conversely:
<b>--source-preview</b>)</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -128,9 +121,8 @@ excerpts around trace elements (Conversely:
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -139,9 +131,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-help</title>
</head>
<body>
<h1 align="center">infer-help</h1>
<h1 align=center>infer-help</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -29,17 +28,15 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-help -
Show and generate documentation.</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer help
@ -52,9 +49,8 @@ infer help --list-checkers <br>
infer help --list-issue-types <br>
infer help --write-website</b> <i>website_root</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Without
@ -80,9 +76,8 @@ for the <i>fbinfer.com</i> website. (Used in scripts, not
meant to be used except when publishing content to
<i>fbinfer.com</i>)</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -138,9 +133,8 @@ documenting issue types and checkers under
Infer directory to generate its website at
<i>fbinfer.com</i> at <i>website/</i>.</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -150,9 +144,8 @@ Infer directory to generate its website at
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-report</title>
</head>
<body>
<h1 align="center">infer-report</h1>
<h1 align=center>infer-report</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -31,25 +30,22 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-report -
compute and manipulate infer results</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
report</b> <i>[options]</i> [<i>file.specs</i>...]</p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Read, convert,
@ -60,9 +56,8 @@ is printed to standard output unless option -q is used.</p>
file are passed on the command line, process all the .specs
in the results directory.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -78,18 +73,18 @@ are specified, they are applied in the order in which they
are specified. Each filter is applied to each issue
detected, and only issues which are accepted by all filters
are reported. Each filter is of the form:
&rsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&rsquo;.
&lsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&lsquo;.
The first two components are OCaml Str regular expressions,
with an optional &rsquo;!&rsquo; character prefix. If a
regex has a &rsquo;!&rsquo; prefix, the polarity is
with an optional &lsquo;!&lsquo; character prefix. If a
regex has a &lsquo;!&lsquo; prefix, the polarity is
inverted, and the filter becomes a &quot;blacklist&quot;
instead of a &quot;whitelist&quot;. Each filter is
interpreted as an implication: an issue matches if it does
not match the &rsquo;issue_type_regex&rsquo; or if it does
match the &rsquo;filename_regex&rsquo;. The filenames that
not match the &lsquo;issue_type_regex&lsquo; or if it does
match the &lsquo;filename_regex&lsquo;. The filenames that
are tested by the regex are relative to the
&rsquo;--project-root&rsquo; directory. The
&rsquo;&lt;reason_string&gt;&rsquo; is a non-empty string
&lsquo;--project-root&lsquo; directory. The
&lsquo;&lt;reason_string&gt;&lsquo; is a non-empty string
used to explain why the issue was filtered.</p>
@ -194,9 +189,11 @@ have run. In particular, note that disabling issue types
does not make the corresponding checker not run.</p>
<p style="margin-left:11%;">Available issue types are as
follows: <br>
ARBITRARY_CODE_EXECUTION_UNDER_LOCK (enabled by default),
<br>
follows:</p>
<p style="margin-left:11%; margin-top: 1em">ARBITRARY_CODE_EXECUTION_UNDER_LOCK
(enabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L1 (disabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L2 (disabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L3 (disabled by default), <br>
@ -338,6 +335,7 @@ MULTIPLE_WEAKSELF (enabled by default), <br>
MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE (enabled by
default), <br>
Missing_fld (enabled by default), <br>
NIL_MESSAGING_TO_NON_POD (disabled by default), <br>
NULLPTR_DEREFERENCE (enabled by default), <br>
NULL_DEREFERENCE (enabled by default), <br>
OPTIONAL_EMPTY_ACCESS (enabled by default), <br>
@ -534,9 +532,8 @@ files in the specified directory</p>
(Conversely:
<b>--no-skip-analysis-in-path-skips-compilation</b>)</p>
<h2>HOISTING OPTIONS
<a name="HOISTING OPTIONS"></a>
</h2>
<h2>HOISTING OPTIONS</h2>
@ -547,9 +544,8 @@ loop-invariant calls only when the function is expensive,
i.e. at least linear (Conversely:
<b>--hoisting-report-only-expensive</b>)</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -559,9 +555,8 @@ i.e. at least linear (Conversely:
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -570,9 +565,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-reportdiff</title>
</head>
<body>
<h1 align="center">infer-reportdiff</h1>
<h1 align=center>infer-reportdiff</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -30,27 +29,24 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-reportdiff
- compute the differences between two infer reports</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
reportdiff --report-current</b> <i>file</i>
<b>--report-previous</b> <i>file [options]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Given two infer
@ -68,9 +64,8 @@ directory: <br>
<p style="margin-left:11%; margin-top: 1em">All three files
follow the same format as normal infer reports.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -203,9 +198,8 @@ fixed-then-introduced duplicated types while computing
differential reports (Conversely:
<b>--skip-duplicated-types</b>)</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -215,9 +209,8 @@ differential reports (Conversely:
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -226,9 +219,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-run</title>
</head>
<body>
<h1 align="center">infer-run</h1>
<h1 align=center>infer-run</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -32,17 +31,15 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-run -
capture source files, analyze, and report</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
@ -50,9 +47,8 @@ run</b> <i>[options]</i> <b><br>
infer</b> <i>[options]</i> <b>--</b> <i>compile
command</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Calling
@ -63,14 +59,13 @@ to performing the following sequence of commands:</p>
capture</b> <i>[options]</i> <b><br>
infer analyze</b> <i>[options]</i></p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
<p style="margin-left:11%; margin-top: 1em"><i><b>--censor-report</b>
+string</i></p>
<p style="margin-left:11%; margin-top: 1em"><b>--censor-report</b>
<i>+string</i></p>
<p style="margin-left:17%;">Specify a filter for issues to
be censored by adding a 'censored_reason' field in the json
@ -81,18 +76,18 @@ are specified, they are applied in the order in which they
are specified. Each filter is applied to each issue
detected, and only issues which are accepted by all filters
are reported. Each filter is of the form:
&rsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&rsquo;.
&lsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&lsquo;.
The first two components are OCaml Str regular expressions,
with an optional &rsquo;!&rsquo; character prefix. If a
regex has a &rsquo;!&rsquo; prefix, the polarity is
with an optional &lsquo;!&lsquo; character prefix. If a
regex has a &lsquo;!&lsquo; prefix, the polarity is
inverted, and the filter becomes a &quot;blacklist&quot;
instead of a &quot;whitelist&quot;. Each filter is
interpreted as an implication: an issue matches if it does
not match the &rsquo;issue_type_regex&rsquo; or if it does
match the &rsquo;filename_regex&rsquo;. The filenames that
not match the &lsquo;issue_type_regex&lsquo; or if it does
match the &lsquo;filename_regex&lsquo;. The filenames that
are tested by the regex are relative to the
&rsquo;--project-root&rsquo; directory. The
&rsquo;&lt;reason_string&gt;&rsquo; is a non-empty string
&lsquo;--project-root&lsquo; directory. The
&lsquo;&lt;reason_string&gt;&lsquo; is a non-empty string
used to explain why the issue was filtered.</p>
<p style="margin-left:11%;"><b>--debug</b>,<b>-g</b></p>
@ -159,7 +154,7 @@ values: <i>ant</i>, <i>buck</i>, <i>gradle</i>,
<i>clang</i>, <i>gcc</i>, <i>clang++</i>, <i>c++</i>,
<i>g++</i>, <i>make</i>, <i>configure</i>, <i>cmake</i>,
<i>waf</i>, <i>mvn</i>, <i>mvnw</i>, <i>ndk-build</i>,
<i>xcodebuild</i>.</p>
<i>rebar3</i>, <i>xcodebuild</i>.</p>
<p style="margin-left:11%;"><b>--help</b></p>
@ -287,25 +282,24 @@ exit</p>
<p style="margin-left:17%;">Print version information in
json format and exit</p>
<table width="100%" border="0" rules="none" frame="void"
<table width="100%" border=0 rules="none" frame="void"
cellspacing="0" cellpadding="0">
<tr valign="top" align="left">
<td width="11%"></td>
<td width="3%">
<p><b>--</b></p></td>
<p style="margin-top: 1em" valign="top"><b>--</b></p></td>
<td width="3%"></td>
<td width="83%">
<p>Stop argument processing, use remaining arguments as a
build command</p></td></tr>
<p style="margin-top: 1em" valign="top">Stop argument
processing, use remaining arguments as a build command</p></td>
</table>
<h2>BUCK OPTIONS
<a name="BUCK OPTIONS"></a>
</h2>
<h2>BUCK OPTIONS</h2>
@ -324,9 +318,8 @@ not Java. <b><br>
matched by the specified regular expression. Only valid for
<b>--buck-compilation-database</b>.</p>
<h2>JAVA OPTIONS
<a name="JAVA OPTIONS"></a>
</h2>
<h2>JAVA OPTIONS</h2>
@ -337,9 +330,8 @@ matched by the specified regular expression. Only valid for
by the specified OCaml regular expression (only supported by
the javac integration for now).</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -349,9 +341,8 @@ the javac integration for now).</p>
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -360,9 +351,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer</title>
</head>
<body>
<h1 align="center">infer</h1>
<h1 align=center>infer</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -30,17 +29,15 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer - static
analysis for Java and C/C++/Objective-C/Objective-C++</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
@ -57,9 +54,8 @@ infer --compilation-database[-escaped]</b> <i>file
infer</b> <i>[options]</i> <b>-- compile command <br>
infer</b> <i>[options]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Infer is a
@ -79,9 +75,8 @@ specified via the <b>--</b> option or one of the
<b>infer</b> behaves as <b>infer-run</b>(1). Otherwise,
<b>infer</b> behaves as <b>infer-analyze</b>(1).</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
<p style="margin-left:11%; margin-top: 1em">Every infer
@ -121,12 +116,12 @@ reserved for internal use). <b><br>
<p style="margin-left:17%;">Activates: checker
annotation-reachability: Given a pair of source and sink
annotation, e.g. &rsquo;@PerformanceCritical&rsquo; and
&rsquo;@Expensive&rsquo;, this checker will warn whenever
annotation, e.g. &lsquo;@PerformanceCritical&lsquo; and
&lsquo;@Expensive&lsquo;, this checker will warn whenever
some method annotated with
&rsquo;@PerformanceCritical&rsquo; calls, directly or
&lsquo;@PerformanceCritical&lsquo; calls, directly or
indirectly, another method annotated with
&rsquo;@Expensive&rsquo; (Conversely:
&lsquo;@Expensive&lsquo; (Conversely:
<b>--no-annotation-reachability</b>)</p>
<p style="margin-left:11%;">See also
@ -171,9 +166,10 @@ Example:</p>
&quot;.*::Trusted::.*&quot; ] } <br>
} <br>
} <br>
} <br>
This will cause us to create a new ISOLATED_REACHING_CONNECT
<br>
}</p>
<p style="margin-left:11%; margin-top: 1em">This will cause
us to create a new ISOLATED_REACHING_CONNECT <br>
issue for every function whose source path starts with
&quot;isolated/&quot; <br>
that may reach the function named &quot;connect&quot;,
@ -373,18 +369,18 @@ are specified, they are applied in the order in which they
are specified. Each filter is applied to each issue
detected, and only issues which are accepted by all filters
are reported. Each filter is of the form:
&rsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&rsquo;.
&lsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&lsquo;.
The first two components are OCaml Str regular expressions,
with an optional &rsquo;!&rsquo; character prefix. If a
regex has a &rsquo;!&rsquo; prefix, the polarity is
with an optional &lsquo;!&lsquo; character prefix. If a
regex has a &lsquo;!&lsquo; prefix, the polarity is
inverted, and the filter becomes a &quot;blacklist&quot;
instead of a &quot;whitelist&quot;. Each filter is
interpreted as an implication: an issue matches if it does
not match the &rsquo;issue_type_regex&rsquo; or if it does
match the &rsquo;filename_regex&rsquo;. The filenames that
not match the &lsquo;issue_type_regex&lsquo; or if it does
match the &lsquo;filename_regex&lsquo;. The filenames that
are tested by the regex are relative to the
&rsquo;--project-root&rsquo; directory. The
&rsquo;&lt;reason_string&gt;&rsquo; is a non-empty string
&lsquo;--project-root&lsquo; directory. The
&lsquo;&lt;reason_string&gt;&lsquo; is a non-empty string
used to explain why the issue was filtered.</p>
<p style="margin-left:11%;">See also <b>infer-report</b>(1)
@ -554,7 +550,7 @@ given the same before. Not compatible with
<p style="margin-left:17%;">Activates: checker cost:
Computes the time complexity of functions and methods. Can
be used to detect changes in runtime complexity with
&rsquo;infer reportdiff&rsquo;. (Conversely:
&lsquo;infer reportdiff&lsquo;. (Conversely:
<b>--no-cost</b>)</p>
<p style="margin-left:11%;">See also
@ -750,9 +746,11 @@ have run. In particular, note that disabling issue types
does not make the corresponding checker not run.</p>
<p style="margin-left:11%;">Available issue types are as
follows: <br>
ARBITRARY_CODE_EXECUTION_UNDER_LOCK (enabled by default),
<br>
follows:</p>
<p style="margin-left:11%; margin-top: 1em">ARBITRARY_CODE_EXECUTION_UNDER_LOCK
(enabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L1 (disabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L2 (disabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L3 (disabled by default), <br>
@ -894,6 +892,7 @@ MULTIPLE_WEAKSELF (enabled by default), <br>
MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE (enabled by
default), <br>
Missing_fld (enabled by default), <br>
NIL_MESSAGING_TO_NON_POD (disabled by default), <br>
NULLPTR_DEREFERENCE (enabled by default), <br>
NULL_DEREFERENCE (enabled by default), <br>
OPTIONAL_EMPTY_ACCESS (enabled by default), <br>
@ -942,8 +941,10 @@ USE_AFTER_FREE (enabled by default), <br>
USE_AFTER_LIFETIME (enabled by default), <br>
VECTOR_INVALIDATION (enabled by default), <br>
WEAK_SELF_IN_NO_ESCAPE_BLOCK (enabled by default), <br>
Wrong_argument_number (enabled by default). <br>
See also <b>infer-report</b>(1). <b><br>
Wrong_argument_number (enabled by default).</p>
<p style="margin-left:11%; margin-top: 1em">See also
<b>infer-report</b>(1). <b><br>
--dump-duplicate-symbols</b></p>
<p style="margin-left:17%;">Activates: Dump all symbols
@ -966,7 +967,7 @@ or off.</p>
--eradicate</b></p>
<p style="margin-left:17%;">Activates: checker eradicate:
The eradicate &rsquo;@Nullable&rsquo; checker for Java
The eradicate &lsquo;@Nullable&lsquo; checker for Java
annotations. (Conversely: <b>--no-eradicate</b>)</p>
<p style="margin-left:11%;">See also
@ -1030,7 +1031,7 @@ values: <i>ant</i>, <i>buck</i>, <i>gradle</i>,
<i>clang</i>, <i>gcc</i>, <i>clang++</i>, <i>c++</i>,
<i>g++</i>, <i>make</i>, <i>configure</i>, <i>cmake</i>,
<i>waf</i>, <i>mvn</i>, <i>mvnw</i>, <i>ndk-build</i>,
<i>xcodebuild</i>.</p>
<i>rebar3</i>, <i>xcodebuild</i>.</p>
<p style="margin-left:11%;">See also
<b>infer-capture</b>(1) and <b>infer-run</b>(1). <b><br>
@ -1182,9 +1183,9 @@ report of issues found. (Conversely: <b>--no-html</b>)</p>
<p style="margin-left:17%;">Activates: checker
immutable-cast: Detection of object cast from immutable
types to mutable types. For instance, it will detect casts
from &rsquo;ImmutableList&rsquo; to &rsquo;List&rsquo;,
&rsquo;ImmutableMap&rsquo; to &rsquo;Map&rsquo;, and
&rsquo;ImmutableSet&rsquo; to &rsquo;Set&rsquo;.
from &lsquo;ImmutableList&lsquo; to &lsquo;List&lsquo;,
&lsquo;ImmutableMap&lsquo; to &lsquo;Map&lsquo;, and
&lsquo;ImmutableSet&lsquo; to &lsquo;Set&lsquo;.
(Conversely: <b>--no-immutable-cast</b>)</p>
<p style="margin-left:11%;">See also
@ -1386,7 +1387,7 @@ issue types that infer might report. (Conversely:
<p style="margin-left:17%;">Activates: checker
litho-required-props: Checks that all non-optional
&rsquo;@Prop&rsquo;s have been specified when constructing
&lsquo;@Prop&lsquo;s have been specified when constructing
Litho components. (Conversely:
<b>--no-litho-required-props</b>)</p>
@ -1479,7 +1480,7 @@ skipped. If omitted, all levels are shown.</p>
<p style="margin-left:17%;">Activates: Generate OCaml
analysis allocation traces in
&rsquo;infer-out/memtrace&rsquo;. (Conversely:
&lsquo;infer-out/memtrace&lsquo;. (Conversely:
<b>--no-memtrace-analysis-profiling</b>)</p>
<p style="margin-left:11%;">See also
@ -1527,11 +1528,11 @@ infer-run</b>(1). <b><br>
--printf-args</b></p>
<p style="margin-left:17%;">Activates: checker printf-args:
Detect mismatches between the Java &rsquo;printf&rsquo;
Detect mismatches between the Java &lsquo;printf&lsquo;
format strings and the argument types For example, this
checker will warn about the type error in
&rsquo;printf(&quot;Hello %d&quot;,
&quot;world&quot;)&rsquo; (Conversely:
&lsquo;printf(&quot;Hello %d&quot;,
&quot;world&quot;)&lsquo; (Conversely:
<b>--no-printf-args</b>)</p>
<p style="margin-left:11%;">See also
@ -1966,7 +1967,7 @@ and <b>infer-explore</b>(1). <b><br>
<p style="margin-left:17%;">Deactivates: checker
self-in-block: An Objective-C-specific analysis to detect
when a block captures &rsquo;self&rsquo;. (Conversely:
when a block captures &lsquo;self&lsquo;. (Conversely:
<b>--self-in-block</b>)</p>
<p style="margin-left:11%;">See also
@ -2264,7 +2265,7 @@ Infer directory to generate its website at
--Xbuck</b> <i>+string</i></p>
<p style="margin-left:17%;">Pass values as command-line
arguments to invocations of <i>&rsquo;buck build&rsquo;</i>.
arguments to invocations of <i>&lsquo;buck build&lsquo;</i>.
Only valid for <b>--buck-clang</b>.</p>
<p style="margin-left:11%;">See also
@ -2272,7 +2273,7 @@ Only valid for <b>--buck-clang</b>.</p>
--Xbuck-no-inline</b> <i>+string</i></p>
<p style="margin-left:17%;">Pass values as command-line
arguments to invocations of <i>&rsquo;buck build&rsquo;</i>,
arguments to invocations of <i>&lsquo;buck build&lsquo;</i>,
don't inline any args starting with '@'. Only valid for
<b>--buck-clang</b>.</p>
@ -2304,35 +2305,34 @@ isysroot directory, to avoid absolute paths in tests</p>
<p style="margin-left:17%;">Activates: Infer will use
xcpretty together with xcodebuild to analyze an iOS app.
xcpretty just needs to be in the path, infer command is
still just <i>&rsquo;infer -- &lt;xcodebuild
command&gt;&rsquo;</i>. (Conversely:
still just <i>&lsquo;infer -- &lt;xcodebuild
command&gt;&lsquo;</i>. (Conversely:
<b>--no-xcpretty</b>)</p>
<p style="margin-left:11%;">See also
<b>infer-capture</b>(1).</p>
<table width="100%" border="0" rules="none" frame="void"
<table width="100%" border=0 rules="none" frame="void"
cellspacing="0" cellpadding="0">
<tr valign="top" align="left">
<td width="11%"></td>
<td width="3%">
<p><b>--</b></p></td>
<p style="margin-top: 1em" valign="top"><b>--</b></p></td>
<td width="3%"></td>
<td width="83%">
<p>Stop argument processing, use remaining arguments as a
build command</p></td></tr>
<p style="margin-top: 1em" valign="top">Stop argument
processing, use remaining arguments as a build command</p></td>
</table>
<p style="margin-left:11%;">See also
<b>infer-capture</b>(1) and <b>infer-run</b>(1).</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
<p style="margin-left:11%; margin-top: 1em">Extra arguments
@ -2340,9 +2340,9 @@ may be passed to all infer commands using the
<b>INFER_ARGS</b> environment variable (see the
<i>OPTIONS</i> section). <b>INFER_ARGS</b> is expected to
contain a string of ^-separated options. For instance,
calling &rsquo;INFER_ARGS=--debug^--print-logs infer&rsquo;
is equivalent to calling &rsquo;infer --debug
--print-logs&rsquo;.</p>
calling &lsquo;INFER_ARGS=--debug^--print-logs infer&lsquo;
is equivalent to calling &lsquo;infer --debug
--print-logs&lsquo;.</p>
<p style="margin-left:11%; margin-top: 1em"><b>INFERCONFIG</b>:
@ -2355,9 +2355,8 @@ commands will exit with an error code in some cases when
otherwise a simple warning would be emitted on stderr, for
instance if a deprecated form of an option is used.</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -2389,9 +2388,8 @@ then its parent, etc., stopping at the first
[&quot;@gen&quot;,&quot;/* no infer */&quot;] <br>
}</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-analyze</title>
</head>
<body>
<h1 align="center">infer-analyze</h1>
<h1 align=center>infer-analyze</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -37,35 +36,31 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-analyze -
analyze the files captured by infer</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
analyze</b> <i>[options]</i> <b><br>
infer</b> <i>[options]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Analyze the
files captured in the project results directory and
report.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -73,12 +68,12 @@ report.</p>
<p style="margin-left:17%;">Activates: checker
annotation-reachability: Given a pair of source and sink
annotation, e.g. &rsquo;@PerformanceCritical&rsquo; and
&rsquo;@Expensive&rsquo;, this checker will warn whenever
annotation, e.g. &lsquo;@PerformanceCritical&lsquo; and
&lsquo;@Expensive&lsquo;, this checker will warn whenever
some method annotated with
&rsquo;@PerformanceCritical&rsquo; calls, directly or
&lsquo;@PerformanceCritical&lsquo; calls, directly or
indirectly, another method annotated with
&rsquo;@Expensive&rsquo; (Conversely:
&lsquo;@Expensive&lsquo; (Conversely:
<b>--no-annotation-reachability</b>)</p>
@ -174,7 +169,7 @@ given the same before. Not compatible with
<p style="margin-left:17%;">Activates: checker cost:
Computes the time complexity of functions and methods. Can
be used to detect changes in runtime complexity with
&rsquo;infer reportdiff&rsquo;. (Conversely:
&lsquo;infer reportdiff&lsquo;. (Conversely:
<b>--no-cost</b>)</p>
<p style="margin-left:11%;"><b>--cost-only</b></p>
@ -256,7 +251,7 @@ reporting. (Conversely: <b>--deduplicate</b>)</p>
<p style="margin-left:11%;"><b>--eradicate</b></p>
<p style="margin-left:17%;">Activates: checker eradicate:
The eradicate &rsquo;@Nullable&rsquo; checker for Java
The eradicate &lsquo;@Nullable&lsquo; checker for Java
annotations. (Conversely: <b>--no-eradicate</b>)</p>
<p style="margin-left:11%;"><b>--eradicate-only</b></p>
@ -302,9 +297,9 @@ internal options in the INTERNAL OPTIONS section</p>
<p style="margin-left:17%;">Activates: checker
immutable-cast: Detection of object cast from immutable
types to mutable types. For instance, it will detect casts
from &rsquo;ImmutableList&rsquo; to &rsquo;List&rsquo;,
&rsquo;ImmutableMap&rsquo; to &rsquo;Map&rsquo;, and
&rsquo;ImmutableSet&rsquo; to &rsquo;Set&rsquo;.
from &lsquo;ImmutableList&lsquo; to &lsquo;List&lsquo;,
&lsquo;ImmutableMap&lsquo; to &lsquo;Map&lsquo;, and
&lsquo;ImmutableSet&lsquo; to &lsquo;Set&lsquo;.
(Conversely: <b>--no-immutable-cast</b>)</p>
@ -380,7 +375,7 @@ disable all other checkers (Conversely:
<p style="margin-left:17%;">Activates: checker
litho-required-props: Checks that all non-optional
&rsquo;@Prop&rsquo;s have been specified when constructing
&lsquo;@Prop&lsquo;s have been specified when constructing
Litho components. (Conversely:
<b>--no-litho-required-props</b>)</p>
@ -435,7 +430,7 @@ running simultaneously</p>
<p style="margin-left:17%;">Activates: Generate OCaml
analysis allocation traces in
&rsquo;infer-out/memtrace&rsquo;. (Conversely:
&lsquo;infer-out/memtrace&lsquo;. (Conversely:
<b>--no-memtrace-analysis-profiling</b>)</p>
@ -460,11 +455,11 @@ stdout and stderr (Conversely: <b>--no-print-logs</b>)</p>
<p style="margin-left:11%;"><b>--printf-args</b></p>
<p style="margin-left:17%;">Activates: checker printf-args:
Detect mismatches between the Java &rsquo;printf&rsquo;
Detect mismatches between the Java &lsquo;printf&lsquo;
format strings and the argument types For example, this
checker will warn about the type error in
&rsquo;printf(&quot;Hello %d&quot;,
&quot;world&quot;)&rsquo; (Conversely:
&lsquo;printf(&quot;Hello %d&quot;,
&quot;world&quot;)&lsquo; (Conversely:
<b>--no-printf-args</b>)</p>
<p style="margin-left:11%;"><b>--printf-args-only</b></p>
@ -663,7 +658,7 @@ performs better in some circumstances <b><br>
<p style="margin-left:17%;">Deactivates: checker
self-in-block: An Objective-C-specific analysis to detect
when a block captures &rsquo;self&rsquo;. (Conversely:
when a block captures &lsquo;self&lsquo;. (Conversely:
<b>--self-in-block</b>)</p>
@ -766,9 +761,8 @@ node. (Conversely: <b>--no-write-html</b>) <b><br>
<p style="margin-left:17%;">Specify the suffix of Xcode
isysroot directory, to avoid absolute paths in tests</p>
<h2>BUCK OPTIONS
<a name="BUCK OPTIONS"></a>
</h2>
<h2>BUCK OPTIONS</h2>
@ -778,9 +772,8 @@ isysroot directory, to avoid absolute paths in tests</p>
results directories specified in the dependency file.
(Conversely: <b>--no-merge</b>)</p>
<h2>BUFFER OVERRUN OPTIONS
<a name="BUFFER OVERRUN OPTIONS"></a>
</h2>
<h2>BUFFER OVERRUN OPTIONS</h2>
@ -796,9 +789,8 @@ checker (0-4)</p>
<p style="margin-left:17%;">Limit of field depth of
abstract location in buffer-overrun checker</p>
<h2>CLANG OPTIONS
<a name="CLANG OPTIONS"></a>
</h2>
<h2>CLANG OPTIONS</h2>
@ -831,9 +823,10 @@ Example:</p>
&quot;.*::Trusted::.*&quot; ] } <br>
} <br>
} <br>
} <br>
This will cause us to create a new ISOLATED_REACHING_CONNECT
<br>
}</p>
<p style="margin-left:11%; margin-top: 1em">This will cause
us to create a new ISOLATED_REACHING_CONNECT <br>
issue for every function whose source path starts with
&quot;isolated/&quot; <br>
that may reach the function named &quot;connect&quot;,
@ -881,9 +874,8 @@ common wrappers around these types such as
when the variables are not read explicitly by the
program.</p>
<h2>JAVA OPTIONS
<a name="JAVA OPTIONS"></a>
</h2>
<h2>JAVA OPTIONS</h2>
@ -912,9 +904,8 @@ packages.</p>
<p style="margin-left:17%;">The version of Java being used.
Set it to your Java version if mvn is failing.</p>
<h2>QUANDARY CHECKER OPTIONS
<a name="QUANDARY CHECKER OPTIONS"></a>
</h2>
<h2>QUANDARY CHECKER OPTIONS</h2>
@ -942,9 +933,8 @@ Quandary</p>
<p style="margin-left:17%;">Specify custom sources for
Quandary</p>
<h2>RACERD CHECKER OPTIONS
<a name="RACERD CHECKER OPTIONS"></a>
</h2>
<h2>RACERD CHECKER OPTIONS</h2>
@ -967,9 +957,8 @@ nothing. (Conversely:
<p style="margin-left:17%;">Specify custom annotations that
should be considered aliases of @ThreadSafe</p>
<h2>SIOF CHECKER OPTIONS
<a name="SIOF CHECKER OPTIONS"></a>
</h2>
<h2>SIOF CHECKER OPTIONS</h2>
@ -990,9 +979,8 @@ recent libstdc++ then it is safe to turn this option on.
&quot;foo&lt;int&gt;::bar()&quot;, etc. (can be specified
multiple times)</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -1002,9 +990,8 @@ multiple times)</p>
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -1013,9 +1000,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-capture</title>
</head>
<body>
<h1 align="center">infer-capture</h1>
<h1 align=center>infer-capture</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -34,17 +33,15 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-capture -
capture source files for later analysis</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
@ -71,9 +68,8 @@ infer capture</b> <i>[options]</i> <b>-- ndk-build</b>
infer capture</b> <i>[--no-xcpretty] [options]</i> <b>--
xcodebuild</b> <i>...</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Capture the
@ -83,9 +79,8 @@ source files, translate them into infer's intermediate
representation, and store the result of the translation in
the results directory.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -155,7 +150,7 @@ values: <i>ant</i>, <i>buck</i>, <i>gradle</i>,
<i>clang</i>, <i>gcc</i>, <i>clang++</i>, <i>c++</i>,
<i>g++</i>, <i>make</i>, <i>configure</i>, <i>cmake</i>,
<i>waf</i>, <i>mvn</i>, <i>mvnw</i>, <i>ndk-build</i>,
<i>xcodebuild</i>.</p>
<i>rebar3</i>, <i>xcodebuild</i>.</p>
<p style="margin-left:11%;"><b>--help</b></p>
@ -242,25 +237,24 @@ phase is expected to require several <i>different</i>
project roots, all relative to a common workspace. Usually a
single project root is enough, though.</p>
<table width="100%" border="0" rules="none" frame="void"
<table width="100%" border=0 rules="none" frame="void"
cellspacing="0" cellpadding="0">
<tr valign="top" align="left">
<td width="11%"></td>
<td width="3%">
<p><b>--</b></p></td>
<p style="margin-top: 1em" valign="top"><b>--</b></p></td>
<td width="3%"></td>
<td width="83%">
<p>Stop argument processing, use remaining arguments as a
build command</p></td></tr>
<p style="margin-top: 1em" valign="top">Stop argument
processing, use remaining arguments as a build command</p></td>
</table>
<h2>BUCK OPTIONS
<a name="BUCK OPTIONS"></a>
</h2>
<h2>BUCK OPTIONS</h2>
@ -346,14 +340,14 @@ matched by the specified regular expression. Only valid for
<i>+string</i></p>
<p style="margin-left:17%;">Pass values as command-line
arguments to invocations of <i>&rsquo;buck build&rsquo;</i>.
arguments to invocations of <i>&lsquo;buck build&lsquo;</i>.
Only valid for <b>--buck-clang</b>.</p>
<p style="margin-left:11%;"><b>--Xbuck-no-inline</b>
<i>+string</i></p>
<p style="margin-left:17%;">Pass values as command-line
arguments to invocations of <i>&rsquo;buck build&rsquo;</i>,
arguments to invocations of <i>&lsquo;buck build&lsquo;</i>,
don't inline any args starting with '@'. Only valid for
<b>--buck-clang</b>.</p>
@ -363,9 +357,8 @@ don't inline any args starting with '@'. Only valid for
<p style="margin-left:17%;">Specify the path to Xcode
developer directory, to use for Buck clang targets</p>
<h2>CLANG LINTERS OPTIONS
<a name="CLANG LINTERS OPTIONS"></a>
</h2>
<h2>CLANG LINTERS OPTIONS</h2>
@ -435,9 +428,8 @@ files even if some compilation fails. (Conversely:
AL files, then emit possible errors in JSON format to stdout
(Conversely: <b>--no-linters-validate-syntax-only</b>)</p>
<h2>CLANG OPTIONS
<a name="CLANG OPTIONS"></a>
</h2>
<h2>CLANG OPTIONS</h2>
@ -540,13 +532,12 @@ arguments to invocations of clang</p>
<p style="margin-left:17%;">Activates: Infer will use
xcpretty together with xcodebuild to analyze an iOS app.
xcpretty just needs to be in the path, infer command is
still just <i>&rsquo;infer -- &lt;xcodebuild
command&gt;&rsquo;</i>. (Conversely:
still just <i>&lsquo;infer -- &lt;xcodebuild
command&gt;&lsquo;</i>. (Conversely:
<b>--no-xcpretty</b>)</p>
<h2>JAVA OPTIONS
<a name="JAVA OPTIONS"></a>
</h2>
<h2>JAVA OPTIONS</h2>
@ -588,9 +579,8 @@ used to generate the bytecode</p>
<p style="margin-left:17%;">The version of Java being used.
Set it to your Java version if mvn is failing.</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -600,9 +590,8 @@ Set it to your Java version if mvn is failing.</p>
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -611,9 +600,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-compile</title>
</head>
<body>
<h1 align="center">infer-compile</h1>
<h1 align=center>infer-compile</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -31,25 +30,22 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-compile -
compile project from within the infer environment</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
compile --</b> <i>[compile command]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Intercepts
@ -58,9 +54,8 @@ simply execute these compilation commands and do not perform
any translation of the source files. This can be useful to
configure build systems or for debugging purposes.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -129,9 +124,8 @@ undefined, and to <b>pager</b> otherwise.</p>
<p style="margin-left:17%;">Show this manual with all
internal options in the INTERNAL OPTIONS section</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -141,9 +135,8 @@ internal options in the INTERNAL OPTIONS section</p>
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -152,9 +145,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>EXAMPLES
<a name="EXAMPLES"></a>
</h2>
<h2>EXAMPLES</h2>
@ -189,9 +181,8 @@ cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=1 .. <br>
infer capture --compilation-database
compile_commands.json</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-debug</title>
</head>
<body>
<h1 align="center">infer-debug</h1>
<h1 align=center>infer-debug</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -33,17 +32,15 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-debug -
print internal infer data structures</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer debug
@ -51,9 +48,8 @@ print internal infer data structures</p>
infer debug --procedures</b> <i>[options]</i> <b><br>
infer debug --source-files</b> <i>[options]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">If
@ -71,9 +67,8 @@ environment (if any).</p>
<p style="margin-left:11%; margin-top: 1em">At least one of
the above options must be passed.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -100,9 +95,8 @@ internal options in the INTERNAL OPTIONS section</p>
<p style="margin-left:17%;">Select option number <i>N</i>
or <i>all</i> of them. If omitted, prompt for input.</p>
<h2>DEBUG GLOBAL TYPE ENVIRONMENT
<a name="DEBUG GLOBAL TYPE ENVIRONMENT"></a>
</h2>
<h2>DEBUG GLOBAL TYPE ENVIRONMENT</h2>
@ -111,9 +105,8 @@ or <i>all</i> of them. If omitted, prompt for input.</p>
<p style="margin-left:17%;">Activates: Print the global
type environment. (Conversely: <b>--no-global-tenv</b>)</p>
<h2>DEBUG PROCEDURES
<a name="DEBUG PROCEDURES"></a>
</h2>
<h2>DEBUG PROCEDURES</h2>
@ -187,9 +180,8 @@ of each procedure in the output of <b>--procedures</b>
of each procedure in the output of <b>--procedures</b> as
JSON (Conversely: <b>--no-procedures-summary-json</b>)</p>
<h2>DEBUG SOURCE FILES
<a name="DEBUG SOURCE FILES"></a>
</h2>
<h2>DEBUG SOURCE FILES</h2>
@ -239,9 +231,8 @@ environment of each source file in the output of
<b>--source-files</b> (Conversely:
<b>--no-source-files-type-environment</b>)</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -251,9 +242,8 @@ environment of each source file in the output of
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -262,9 +252,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-explore</title>
</head>
<body>
<h1 align="center">infer-explore</h1>
<h1 align=center>infer-explore</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -31,25 +30,22 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-explore -
explore the error traces in infer reports</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
explore</b> <i>[options]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Show the list
@ -57,9 +53,8 @@ of bugs on the console and explore symbolic program traces
emitted by infer to explain a report. Can also generate an
HTML report from a JSON report.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -86,9 +81,8 @@ internal options in the INTERNAL OPTIONS section</p>
<p style="margin-left:17%;">Write results and internal
files in the specified directory</p>
<h2>EXPLORE BUGS
<a name="EXPLORE BUGS"></a>
</h2>
<h2>EXPLORE BUGS</h2>
@ -116,9 +110,8 @@ or <i>all</i> of them. If omitted, prompt for input.</p>
excerpts around trace elements (Conversely:
<b>--source-preview</b>)</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -128,9 +121,8 @@ excerpts around trace elements (Conversely:
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -139,9 +131,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-help</title>
</head>
<body>
<h1 align="center">infer-help</h1>
<h1 align=center>infer-help</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -29,17 +28,15 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-help -
Show and generate documentation.</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer help
@ -52,9 +49,8 @@ infer help --list-checkers <br>
infer help --list-issue-types <br>
infer help --write-website</b> <i>website_root</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Without
@ -80,9 +76,8 @@ for the <i>fbinfer.com</i> website. (Used in scripts, not
meant to be used except when publishing content to
<i>fbinfer.com</i>)</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -138,9 +133,8 @@ documenting issue types and checkers under
Infer directory to generate its website at
<i>fbinfer.com</i> at <i>website/</i>.</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -150,9 +144,8 @@ Infer directory to generate its website at
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-report</title>
</head>
<body>
<h1 align="center">infer-report</h1>
<h1 align=center>infer-report</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -31,25 +30,22 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-report -
compute and manipulate infer results</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
report</b> <i>[options]</i> [<i>file.specs</i>...]</p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Read, convert,
@ -60,9 +56,8 @@ is printed to standard output unless option -q is used.</p>
file are passed on the command line, process all the .specs
in the results directory.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -78,18 +73,18 @@ are specified, they are applied in the order in which they
are specified. Each filter is applied to each issue
detected, and only issues which are accepted by all filters
are reported. Each filter is of the form:
&rsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&rsquo;.
&lsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&lsquo;.
The first two components are OCaml Str regular expressions,
with an optional &rsquo;!&rsquo; character prefix. If a
regex has a &rsquo;!&rsquo; prefix, the polarity is
with an optional &lsquo;!&lsquo; character prefix. If a
regex has a &lsquo;!&lsquo; prefix, the polarity is
inverted, and the filter becomes a &quot;blacklist&quot;
instead of a &quot;whitelist&quot;. Each filter is
interpreted as an implication: an issue matches if it does
not match the &rsquo;issue_type_regex&rsquo; or if it does
match the &rsquo;filename_regex&rsquo;. The filenames that
not match the &lsquo;issue_type_regex&lsquo; or if it does
match the &lsquo;filename_regex&lsquo;. The filenames that
are tested by the regex are relative to the
&rsquo;--project-root&rsquo; directory. The
&rsquo;&lt;reason_string&gt;&rsquo; is a non-empty string
&lsquo;--project-root&lsquo; directory. The
&lsquo;&lt;reason_string&gt;&lsquo; is a non-empty string
used to explain why the issue was filtered.</p>
@ -194,9 +189,11 @@ have run. In particular, note that disabling issue types
does not make the corresponding checker not run.</p>
<p style="margin-left:11%;">Available issue types are as
follows: <br>
ARBITRARY_CODE_EXECUTION_UNDER_LOCK (enabled by default),
<br>
follows:</p>
<p style="margin-left:11%; margin-top: 1em">ARBITRARY_CODE_EXECUTION_UNDER_LOCK
(enabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L1 (disabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L2 (disabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L3 (disabled by default), <br>
@ -338,6 +335,7 @@ MULTIPLE_WEAKSELF (enabled by default), <br>
MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE (enabled by
default), <br>
Missing_fld (enabled by default), <br>
NIL_MESSAGING_TO_NON_POD (disabled by default), <br>
NULLPTR_DEREFERENCE (enabled by default), <br>
NULL_DEREFERENCE (enabled by default), <br>
OPTIONAL_EMPTY_ACCESS (enabled by default), <br>
@ -534,9 +532,8 @@ files in the specified directory</p>
(Conversely:
<b>--no-skip-analysis-in-path-skips-compilation</b>)</p>
<h2>HOISTING OPTIONS
<a name="HOISTING OPTIONS"></a>
</h2>
<h2>HOISTING OPTIONS</h2>
@ -547,9 +544,8 @@ loop-invariant calls only when the function is expensive,
i.e. at least linear (Conversely:
<b>--hoisting-report-only-expensive</b>)</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -559,9 +555,8 @@ i.e. at least linear (Conversely:
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -570,9 +565,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-reportdiff</title>
</head>
<body>
<h1 align="center">infer-reportdiff</h1>
<h1 align=center>infer-reportdiff</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -30,27 +29,24 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-reportdiff
- compute the differences between two infer reports</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
reportdiff --report-current</b> <i>file</i>
<b>--report-previous</b> <i>file [options]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Given two infer
@ -68,9 +64,8 @@ directory: <br>
<p style="margin-left:11%; margin-top: 1em">All three files
follow the same format as normal infer reports.</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
@ -203,9 +198,8 @@ fixed-then-introduced duplicated types while computing
differential reports (Conversely:
<b>--skip-duplicated-types</b>)</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -215,9 +209,8 @@ differential reports (Conversely:
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -226,9 +219,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer-run</title>
</head>
<body>
<h1 align="center">infer-run</h1>
<h1 align=center>infer-run</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -32,17 +31,15 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer-run -
capture source files, analyze, and report</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
@ -50,9 +47,8 @@ run</b> <i>[options]</i> <b><br>
infer</b> <i>[options]</i> <b>--</b> <i>compile
command</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Calling
@ -63,14 +59,13 @@ to performing the following sequence of commands:</p>
capture</b> <i>[options]</i> <b><br>
infer analyze</b> <i>[options]</i></p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
<p style="margin-left:11%; margin-top: 1em"><i><b>--censor-report</b>
+string</i></p>
<p style="margin-left:11%; margin-top: 1em"><b>--censor-report</b>
<i>+string</i></p>
<p style="margin-left:17%;">Specify a filter for issues to
be censored by adding a 'censored_reason' field in the json
@ -81,18 +76,18 @@ are specified, they are applied in the order in which they
are specified. Each filter is applied to each issue
detected, and only issues which are accepted by all filters
are reported. Each filter is of the form:
&rsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&rsquo;.
&lsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&lsquo;.
The first two components are OCaml Str regular expressions,
with an optional &rsquo;!&rsquo; character prefix. If a
regex has a &rsquo;!&rsquo; prefix, the polarity is
with an optional &lsquo;!&lsquo; character prefix. If a
regex has a &lsquo;!&lsquo; prefix, the polarity is
inverted, and the filter becomes a &quot;blacklist&quot;
instead of a &quot;whitelist&quot;. Each filter is
interpreted as an implication: an issue matches if it does
not match the &rsquo;issue_type_regex&rsquo; or if it does
match the &rsquo;filename_regex&rsquo;. The filenames that
not match the &lsquo;issue_type_regex&lsquo; or if it does
match the &lsquo;filename_regex&lsquo;. The filenames that
are tested by the regex are relative to the
&rsquo;--project-root&rsquo; directory. The
&rsquo;&lt;reason_string&gt;&rsquo; is a non-empty string
&lsquo;--project-root&lsquo; directory. The
&lsquo;&lt;reason_string&gt;&lsquo; is a non-empty string
used to explain why the issue was filtered.</p>
<p style="margin-left:11%;"><b>--debug</b>,<b>-g</b></p>
@ -159,7 +154,7 @@ values: <i>ant</i>, <i>buck</i>, <i>gradle</i>,
<i>clang</i>, <i>gcc</i>, <i>clang++</i>, <i>c++</i>,
<i>g++</i>, <i>make</i>, <i>configure</i>, <i>cmake</i>,
<i>waf</i>, <i>mvn</i>, <i>mvnw</i>, <i>ndk-build</i>,
<i>xcodebuild</i>.</p>
<i>rebar3</i>, <i>xcodebuild</i>.</p>
<p style="margin-left:11%;"><b>--help</b></p>
@ -287,25 +282,24 @@ exit</p>
<p style="margin-left:17%;">Print version information in
json format and exit</p>
<table width="100%" border="0" rules="none" frame="void"
<table width="100%" border=0 rules="none" frame="void"
cellspacing="0" cellpadding="0">
<tr valign="top" align="left">
<td width="11%"></td>
<td width="3%">
<p><b>--</b></p></td>
<p style="margin-top: 1em" valign="top"><b>--</b></p></td>
<td width="3%"></td>
<td width="83%">
<p>Stop argument processing, use remaining arguments as a
build command</p></td></tr>
<p style="margin-top: 1em" valign="top">Stop argument
processing, use remaining arguments as a build command</p></td>
</table>
<h2>BUCK OPTIONS
<a name="BUCK OPTIONS"></a>
</h2>
<h2>BUCK OPTIONS</h2>
@ -324,9 +318,8 @@ not Java. <b><br>
matched by the specified regular expression. Only valid for
<b>--buck-compilation-database</b>.</p>
<h2>JAVA OPTIONS
<a name="JAVA OPTIONS"></a>
</h2>
<h2>JAVA OPTIONS</h2>
@ -337,9 +330,8 @@ matched by the specified regular expression. Only valid for
by the specified OCaml regular expression (only supported by
the javac integration for now).</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
@ -349,9 +341,8 @@ the javac integration for now).</p>
<p style="margin-left:17%;">See the ENVIRONMENT section in
the manual of <b>infer</b>(1).</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -360,9 +351,8 @@ the manual of <b>infer</b>(1).</p>
<p style="margin-left:17%;">See the FILES section in the
manual of <b>infer</b>(1).</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,4 +1,4 @@
<!-- Creator : groff version 1.22.4 -->
<!-- Creator : groff version 1.19.2 -->
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
@ -7,17 +7,16 @@
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="Content-Style" content="text/css">
<style type="text/css">
p { margin-top: 0; margin-bottom: 0; vertical-align: top }
pre { margin-top: 0; margin-bottom: 0; vertical-align: top }
table { margin-top: 0; margin-bottom: 0; vertical-align: top }
h1 { text-align: center }
p { margin-top: 0; margin-bottom: 0; }
pre { margin-top: 0; margin-bottom: 0; }
table { margin-top: 0; margin-bottom: 0; }
</style>
<title>infer</title>
</head>
<body>
<h1 align="center">infer</h1>
<h1 align=center>infer</h1>
<a href="#NAME">NAME</a><br>
<a href="#SYNOPSIS">SYNOPSIS</a><br>
@ -30,17 +29,15 @@
<hr>
<h2>NAME
<a name="NAME"></a>
</h2>
<h2>NAME</h2>
<p style="margin-left:11%; margin-top: 1em">infer - static
analysis for Java and C/C++/Objective-C/Objective-C++</p>
<h2>SYNOPSIS
<a name="SYNOPSIS"></a>
</h2>
<h2>SYNOPSIS</h2>
<p style="margin-left:11%; margin-top: 1em"><b>infer
@ -57,9 +54,8 @@ infer --compilation-database[-escaped]</b> <i>file
infer</b> <i>[options]</i> <b>-- compile command <br>
infer</b> <i>[options]</i></p>
<h2>DESCRIPTION
<a name="DESCRIPTION"></a>
</h2>
<h2>DESCRIPTION</h2>
<p style="margin-left:11%; margin-top: 1em">Infer is a
@ -79,9 +75,8 @@ specified via the <b>--</b> option or one of the
<b>infer</b> behaves as <b>infer-run</b>(1). Otherwise,
<b>infer</b> behaves as <b>infer-analyze</b>(1).</p>
<h2>OPTIONS
<a name="OPTIONS"></a>
</h2>
<h2>OPTIONS</h2>
<p style="margin-left:11%; margin-top: 1em">Every infer
@ -121,12 +116,12 @@ reserved for internal use). <b><br>
<p style="margin-left:17%;">Activates: checker
annotation-reachability: Given a pair of source and sink
annotation, e.g. &rsquo;@PerformanceCritical&rsquo; and
&rsquo;@Expensive&rsquo;, this checker will warn whenever
annotation, e.g. &lsquo;@PerformanceCritical&lsquo; and
&lsquo;@Expensive&lsquo;, this checker will warn whenever
some method annotated with
&rsquo;@PerformanceCritical&rsquo; calls, directly or
&lsquo;@PerformanceCritical&lsquo; calls, directly or
indirectly, another method annotated with
&rsquo;@Expensive&rsquo; (Conversely:
&lsquo;@Expensive&lsquo; (Conversely:
<b>--no-annotation-reachability</b>)</p>
<p style="margin-left:11%;">See also
@ -171,9 +166,10 @@ Example:</p>
&quot;.*::Trusted::.*&quot; ] } <br>
} <br>
} <br>
} <br>
This will cause us to create a new ISOLATED_REACHING_CONNECT
<br>
}</p>
<p style="margin-left:11%; margin-top: 1em">This will cause
us to create a new ISOLATED_REACHING_CONNECT <br>
issue for every function whose source path starts with
&quot;isolated/&quot; <br>
that may reach the function named &quot;connect&quot;,
@ -373,18 +369,18 @@ are specified, they are applied in the order in which they
are specified. Each filter is applied to each issue
detected, and only issues which are accepted by all filters
are reported. Each filter is of the form:
&rsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&rsquo;.
&lsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&lsquo;.
The first two components are OCaml Str regular expressions,
with an optional &rsquo;!&rsquo; character prefix. If a
regex has a &rsquo;!&rsquo; prefix, the polarity is
with an optional &lsquo;!&lsquo; character prefix. If a
regex has a &lsquo;!&lsquo; prefix, the polarity is
inverted, and the filter becomes a &quot;blacklist&quot;
instead of a &quot;whitelist&quot;. Each filter is
interpreted as an implication: an issue matches if it does
not match the &rsquo;issue_type_regex&rsquo; or if it does
match the &rsquo;filename_regex&rsquo;. The filenames that
not match the &lsquo;issue_type_regex&lsquo; or if it does
match the &lsquo;filename_regex&lsquo;. The filenames that
are tested by the regex are relative to the
&rsquo;--project-root&rsquo; directory. The
&rsquo;&lt;reason_string&gt;&rsquo; is a non-empty string
&lsquo;--project-root&lsquo; directory. The
&lsquo;&lt;reason_string&gt;&lsquo; is a non-empty string
used to explain why the issue was filtered.</p>
<p style="margin-left:11%;">See also <b>infer-report</b>(1)
@ -554,7 +550,7 @@ given the same before. Not compatible with
<p style="margin-left:17%;">Activates: checker cost:
Computes the time complexity of functions and methods. Can
be used to detect changes in runtime complexity with
&rsquo;infer reportdiff&rsquo;. (Conversely:
&lsquo;infer reportdiff&lsquo;. (Conversely:
<b>--no-cost</b>)</p>
<p style="margin-left:11%;">See also
@ -750,9 +746,11 @@ have run. In particular, note that disabling issue types
does not make the corresponding checker not run.</p>
<p style="margin-left:11%;">Available issue types are as
follows: <br>
ARBITRARY_CODE_EXECUTION_UNDER_LOCK (enabled by default),
<br>
follows:</p>
<p style="margin-left:11%; margin-top: 1em">ARBITRARY_CODE_EXECUTION_UNDER_LOCK
(enabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L1 (disabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L2 (disabled by default), <br>
ARRAY_OUT_OF_BOUNDS_L3 (disabled by default), <br>
@ -894,6 +892,7 @@ MULTIPLE_WEAKSELF (enabled by default), <br>
MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE (enabled by
default), <br>
Missing_fld (enabled by default), <br>
NIL_MESSAGING_TO_NON_POD (disabled by default), <br>
NULLPTR_DEREFERENCE (enabled by default), <br>
NULL_DEREFERENCE (enabled by default), <br>
OPTIONAL_EMPTY_ACCESS (enabled by default), <br>
@ -942,8 +941,10 @@ USE_AFTER_FREE (enabled by default), <br>
USE_AFTER_LIFETIME (enabled by default), <br>
VECTOR_INVALIDATION (enabled by default), <br>
WEAK_SELF_IN_NO_ESCAPE_BLOCK (enabled by default), <br>
Wrong_argument_number (enabled by default). <br>
See also <b>infer-report</b>(1). <b><br>
Wrong_argument_number (enabled by default).</p>
<p style="margin-left:11%; margin-top: 1em">See also
<b>infer-report</b>(1). <b><br>
--dump-duplicate-symbols</b></p>
<p style="margin-left:17%;">Activates: Dump all symbols
@ -966,7 +967,7 @@ or off.</p>
--eradicate</b></p>
<p style="margin-left:17%;">Activates: checker eradicate:
The eradicate &rsquo;@Nullable&rsquo; checker for Java
The eradicate &lsquo;@Nullable&lsquo; checker for Java
annotations. (Conversely: <b>--no-eradicate</b>)</p>
<p style="margin-left:11%;">See also
@ -1030,7 +1031,7 @@ values: <i>ant</i>, <i>buck</i>, <i>gradle</i>,
<i>clang</i>, <i>gcc</i>, <i>clang++</i>, <i>c++</i>,
<i>g++</i>, <i>make</i>, <i>configure</i>, <i>cmake</i>,
<i>waf</i>, <i>mvn</i>, <i>mvnw</i>, <i>ndk-build</i>,
<i>xcodebuild</i>.</p>
<i>rebar3</i>, <i>xcodebuild</i>.</p>
<p style="margin-left:11%;">See also
<b>infer-capture</b>(1) and <b>infer-run</b>(1). <b><br>
@ -1182,9 +1183,9 @@ report of issues found. (Conversely: <b>--no-html</b>)</p>
<p style="margin-left:17%;">Activates: checker
immutable-cast: Detection of object cast from immutable
types to mutable types. For instance, it will detect casts
from &rsquo;ImmutableList&rsquo; to &rsquo;List&rsquo;,
&rsquo;ImmutableMap&rsquo; to &rsquo;Map&rsquo;, and
&rsquo;ImmutableSet&rsquo; to &rsquo;Set&rsquo;.
from &lsquo;ImmutableList&lsquo; to &lsquo;List&lsquo;,
&lsquo;ImmutableMap&lsquo; to &lsquo;Map&lsquo;, and
&lsquo;ImmutableSet&lsquo; to &lsquo;Set&lsquo;.
(Conversely: <b>--no-immutable-cast</b>)</p>
<p style="margin-left:11%;">See also
@ -1386,7 +1387,7 @@ issue types that infer might report. (Conversely:
<p style="margin-left:17%;">Activates: checker
litho-required-props: Checks that all non-optional
&rsquo;@Prop&rsquo;s have been specified when constructing
&lsquo;@Prop&lsquo;s have been specified when constructing
Litho components. (Conversely:
<b>--no-litho-required-props</b>)</p>
@ -1479,7 +1480,7 @@ skipped. If omitted, all levels are shown.</p>
<p style="margin-left:17%;">Activates: Generate OCaml
analysis allocation traces in
&rsquo;infer-out/memtrace&rsquo;. (Conversely:
&lsquo;infer-out/memtrace&lsquo;. (Conversely:
<b>--no-memtrace-analysis-profiling</b>)</p>
<p style="margin-left:11%;">See also
@ -1527,11 +1528,11 @@ infer-run</b>(1). <b><br>
--printf-args</b></p>
<p style="margin-left:17%;">Activates: checker printf-args:
Detect mismatches between the Java &rsquo;printf&rsquo;
Detect mismatches between the Java &lsquo;printf&lsquo;
format strings and the argument types For example, this
checker will warn about the type error in
&rsquo;printf(&quot;Hello %d&quot;,
&quot;world&quot;)&rsquo; (Conversely:
&lsquo;printf(&quot;Hello %d&quot;,
&quot;world&quot;)&lsquo; (Conversely:
<b>--no-printf-args</b>)</p>
<p style="margin-left:11%;">See also
@ -1966,7 +1967,7 @@ and <b>infer-explore</b>(1). <b><br>
<p style="margin-left:17%;">Deactivates: checker
self-in-block: An Objective-C-specific analysis to detect
when a block captures &rsquo;self&rsquo;. (Conversely:
when a block captures &lsquo;self&lsquo;. (Conversely:
<b>--self-in-block</b>)</p>
<p style="margin-left:11%;">See also
@ -2264,7 +2265,7 @@ Infer directory to generate its website at
--Xbuck</b> <i>+string</i></p>
<p style="margin-left:17%;">Pass values as command-line
arguments to invocations of <i>&rsquo;buck build&rsquo;</i>.
arguments to invocations of <i>&lsquo;buck build&lsquo;</i>.
Only valid for <b>--buck-clang</b>.</p>
<p style="margin-left:11%;">See also
@ -2272,7 +2273,7 @@ Only valid for <b>--buck-clang</b>.</p>
--Xbuck-no-inline</b> <i>+string</i></p>
<p style="margin-left:17%;">Pass values as command-line
arguments to invocations of <i>&rsquo;buck build&rsquo;</i>,
arguments to invocations of <i>&lsquo;buck build&lsquo;</i>,
don't inline any args starting with '@'. Only valid for
<b>--buck-clang</b>.</p>
@ -2304,35 +2305,34 @@ isysroot directory, to avoid absolute paths in tests</p>
<p style="margin-left:17%;">Activates: Infer will use
xcpretty together with xcodebuild to analyze an iOS app.
xcpretty just needs to be in the path, infer command is
still just <i>&rsquo;infer -- &lt;xcodebuild
command&gt;&rsquo;</i>. (Conversely:
still just <i>&lsquo;infer -- &lt;xcodebuild
command&gt;&lsquo;</i>. (Conversely:
<b>--no-xcpretty</b>)</p>
<p style="margin-left:11%;">See also
<b>infer-capture</b>(1).</p>
<table width="100%" border="0" rules="none" frame="void"
<table width="100%" border=0 rules="none" frame="void"
cellspacing="0" cellpadding="0">
<tr valign="top" align="left">
<td width="11%"></td>
<td width="3%">
<p><b>--</b></p></td>
<p style="margin-top: 1em" valign="top"><b>--</b></p></td>
<td width="3%"></td>
<td width="83%">
<p>Stop argument processing, use remaining arguments as a
build command</p></td></tr>
<p style="margin-top: 1em" valign="top">Stop argument
processing, use remaining arguments as a build command</p></td>
</table>
<p style="margin-left:11%;">See also
<b>infer-capture</b>(1) and <b>infer-run</b>(1).</p>
<h2>ENVIRONMENT
<a name="ENVIRONMENT"></a>
</h2>
<h2>ENVIRONMENT</h2>
<p style="margin-left:11%; margin-top: 1em">Extra arguments
@ -2340,9 +2340,9 @@ may be passed to all infer commands using the
<b>INFER_ARGS</b> environment variable (see the
<i>OPTIONS</i> section). <b>INFER_ARGS</b> is expected to
contain a string of ^-separated options. For instance,
calling &rsquo;INFER_ARGS=--debug^--print-logs infer&rsquo;
is equivalent to calling &rsquo;infer --debug
--print-logs&rsquo;.</p>
calling &lsquo;INFER_ARGS=--debug^--print-logs infer&lsquo;
is equivalent to calling &lsquo;infer --debug
--print-logs&lsquo;.</p>
<p style="margin-left:11%; margin-top: 1em"><b>INFERCONFIG</b>:
@ -2355,9 +2355,8 @@ commands will exit with an error code in some cases when
otherwise a simple warning would be emitted on stderr, for
instance if a deprecated form of an option is used.</p>
<h2>FILES
<a name="FILES"></a>
</h2>
<h2>FILES</h2>
@ -2389,9 +2388,8 @@ then its parent, etc., stopping at the first
[&quot;@gen&quot;,&quot;/* no infer */&quot;] <br>
}</p>
<h2>SEE ALSO
<a name="SEE ALSO"></a>
</h2>
<h2>SEE ALSO</h2>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage (infer.ASTLanguage)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="index.html">Up</a> <a href="index.html">infer</a> &#x00BB; ASTLanguage</nav><h1 id="ast-language-(al)"><a href="#ast-language-(al)" class="anchor"></a>AST Language (AL)</h1><p>Linter framework based on the <a href="ClangFrontend.html">Clang frontend</a>.</p><p>All modules: <a href="ASTLanguage/index.html"><code>ASTLanguage</code></a></p></header></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage (infer.ASTLanguage)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="index.html">Up</a> <a href="index.html">infer</a> &#x00BB; ASTLanguage</nav><h1 id="ast-language-(al)"><a href="#ast-language-(al)" class="anchor"></a>AST Language (AL)</h1><p>Linter framework based on the <a href="ClangFrontend.html">Clang frontend</a>.</p><p>All modules: <a href="ASTLanguage/index.html"><code>ASTLanguage</code></a></p></header></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>AL (infer.ASTLanguage.AL)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; AL</nav><h1>Module <code>ASTLanguage.AL</code></h1></header><dl><dt class="spec value" id="val-do_frontend_checks"><a href="#val-do_frontend_checks" class="anchor"></a><code><span class="keyword">val</span> do_frontend_checks : <a href="../../ClangFrontend/CFrontend_config/index.html#type-translation_unit_context">ClangFrontend.CFrontend_config.translation_unit_context</a> <span>&#45;&gt;</span> <a href="../../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>AL (infer.ASTLanguage.AL)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; AL</nav><h1>Module <code>ASTLanguage.AL</code></h1></header><dl><dt class="spec value" id="val-do_frontend_checks"><a href="#val-do_frontend_checks" class="anchor"></a><code><span class="keyword">val</span> do_frontend_checks : <a href="../../ClangFrontend/CFrontend_config/index.html#type-translation_unit_context">ClangFrontend.CFrontend_config.translation_unit_context</a> <span>&#45;&gt;</span> <a href="../../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>DottyPrinter (infer.ASTLanguage.ALDebugger.EvaluationTracker.DottyPrinter)</title><link rel="stylesheet" href="../../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../../../index.html">infer</a> &#x00BB; <a href="../../../index.html">ASTLanguage</a> &#x00BB; <a href="../../index.html">ALDebugger</a> &#x00BB; <a href="../index.html">EvaluationTracker</a> &#x00BB; DottyPrinter</nav><h1>Module <code>EvaluationTracker.DottyPrinter</code></h1></header><dl><dt class="spec value" id="val-dotty_of_ctl_evaluation"><a href="#val-dotty_of_ctl_evaluation" class="anchor"></a><code><span class="keyword">val</span> dotty_of_ctl_evaluation : <a href="../index.html#type-t">t</a> <span>&#45;&gt;</span> string</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>DottyPrinter (infer.ASTLanguage.ALDebugger.EvaluationTracker.DottyPrinter)</title><link rel="stylesheet" href="../../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../../../index.html">infer</a> &#x00BB; <a href="../../../index.html">ASTLanguage</a> &#x00BB; <a href="../../index.html">ALDebugger</a> &#x00BB; <a href="../index.html">EvaluationTracker</a> &#x00BB; DottyPrinter</nav><h1>Module <code>EvaluationTracker.DottyPrinter</code></h1></header><dl><dt class="spec value" id="val-dotty_of_ctl_evaluation"><a href="#val-dotty_of_ctl_evaluation" class="anchor"></a><code><span class="keyword">val</span> dotty_of_ctl_evaluation : <a href="../index.html#type-t">t</a> <span>&#45;&gt;</span> string</code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ALDebugger (infer.ASTLanguage.ALDebugger)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; ALDebugger</nav><h1>Module <code>ASTLanguage.ALDebugger</code></h1></header><div class="spec module" id="module-EvaluationTracker"><a href="#module-EvaluationTracker" class="anchor"></a><code><span class="keyword">module</span> <a href="EvaluationTracker/index.html">EvaluationTracker</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ALDebugger (infer.ASTLanguage.ALDebugger)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; ALDebugger</nav><h1>Module <code>ASTLanguage.ALDebugger</code></h1></header><div class="spec module" id="module-EvaluationTracker"><a href="#module-EvaluationTracker" class="anchor"></a><code><span class="keyword">module</span> <a href="EvaluationTracker/index.html">EvaluationTracker</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ALUtils (infer.ASTLanguage.ALUtils)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; ALUtils</nav><h1>Module <code>ASTLanguage.ALUtils</code></h1></header><dl><dt class="spec value" id="val-location_from_dinfo"><a href="#val-location_from_dinfo" class="anchor"></a><code><span class="keyword">val</span> location_from_dinfo : <a href="../CLintersContext/index.html#type-context">CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../../ATDGenerated/Clang_ast_t/index.html#type-decl_info">ATDGenerated.Clang_ast_t.decl_info</a> <span>&#45;&gt;</span> <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-location_from_an"><a href="#val-location_from_an" class="anchor"></a><code><span class="keyword">val</span> location_from_an : <a href="../CLintersContext/index.html#type-context">CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-location_from_decl"><a href="#val-location_from_decl" class="anchor"></a><code><span class="keyword">val</span> location_from_decl : <a href="../CLintersContext/index.html#type-context">CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> <span>&#45;&gt;</span> <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-ivar_name"><a href="#val-ivar_name" class="anchor"></a><code><span class="keyword">val</span> ivar_name : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-cxx_ref_captured_in_block"><a href="#val-cxx_ref_captured_in_block" class="anchor"></a><code><span class="keyword">val</span> cxx_ref_captured_in_block : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-decl_ref_or_selector_name"><a href="#val-decl_ref_or_selector_name" class="anchor"></a><code><span class="keyword">val</span> decl_ref_or_selector_name : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-receiver_method_call"><a href="#val-receiver_method_call" class="anchor"></a><code><span class="keyword">val</span> receiver_method_call : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-class_name"><a href="#val-class_name" class="anchor"></a><code><span class="keyword">val</span> class_name : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ALUtils (infer.ASTLanguage.ALUtils)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; ALUtils</nav><h1>Module <code>ASTLanguage.ALUtils</code></h1></header><dl><dt class="spec value" id="val-location_from_dinfo"><a href="#val-location_from_dinfo" class="anchor"></a><code><span class="keyword">val</span> location_from_dinfo : <a href="../CLintersContext/index.html#type-context">CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../../ATDGenerated/Clang_ast_t/index.html#type-decl_info">ATDGenerated.Clang_ast_t.decl_info</a> <span>&#45;&gt;</span> <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-location_from_an"><a href="#val-location_from_an" class="anchor"></a><code><span class="keyword">val</span> location_from_an : <a href="../CLintersContext/index.html#type-context">CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-location_from_decl"><a href="#val-location_from_decl" class="anchor"></a><code><span class="keyword">val</span> location_from_decl : <a href="../CLintersContext/index.html#type-context">CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> <span>&#45;&gt;</span> <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-ivar_name"><a href="#val-ivar_name" class="anchor"></a><code><span class="keyword">val</span> ivar_name : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-cxx_ref_captured_in_block"><a href="#val-cxx_ref_captured_in_block" class="anchor"></a><code><span class="keyword">val</span> cxx_ref_captured_in_block : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-decl_ref_or_selector_name"><a href="#val-decl_ref_or_selector_name" class="anchor"></a><code><span class="keyword">val</span> decl_ref_or_selector_name : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-receiver_method_call"><a href="#val-receiver_method_call" class="anchor"></a><code><span class="keyword">val</span> receiver_method_call : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-class_name"><a href="#val-class_name" class="anchor"></a><code><span class="keyword">val</span> class_name : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CIssue (infer.ASTLanguage.CIssue)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CIssue</nav><h1>Module <code>ASTLanguage.CIssue</code></h1></header><dl><dt class="spec type" id="type-mode"><a href="#type-mode" class="anchor"></a><code><span class="keyword">type</span> mode</code><code> = </code><table class="variant"><tr id="type-mode.On" class="anchored"><td class="def constructor"><a href="#type-mode.On" class="anchor"></a><code>| </code><code><span class="constructor">On</span></code></td></tr><tr id="type-mode.Off" class="anchored"><td class="def constructor"><a href="#type-mode.Off" class="anchor"></a><code>| </code><code><span class="constructor">Off</span></code></td></tr></table></dt></dl><dl><dt class="spec value" id="val-should_run_check"><a href="#val-should_run_check" class="anchor"></a><code><span class="keyword">val</span> should_run_check : <a href="index.html#type-mode">mode</a> <span>&#45;&gt;</span> bool</code></dt></dl><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><code>{</code><table class="record"><tr id="type-t.issue_type" class="anchored"><td class="def field"><a href="#type-t.issue_type" class="anchor"></a><code>issue_type : <a href="../../IBase/IssueType/index.html#type-t">IBase.IssueType.t</a>;</code></td></tr><tr id="type-t.description" class="anchored"><td class="def field"><a href="#type-t.description" class="anchor"></a><code>description : string;</code></td><td class="doc"><p>Description in the error message</p></td></tr><tr id="type-t.mode" class="anchored"><td class="def field"><a href="#type-t.mode" class="anchor"></a><code>mode : <a href="index.html#type-mode">mode</a>;</code></td></tr><tr id="type-t.loc" class="anchored"><td class="def field"><a href="#type-t.loc" class="anchor"></a><code>loc : <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a>;</code></td><td class="doc"><p>location in the code</p></td></tr><tr id="type-t.severity" class="anchored"><td class="def field"><a href="#type-t.severity" class="anchor"></a><code>severity : <a href="../../IBase/IssueType/index.html#type-severity">IBase.IssueType.severity</a>;</code></td></tr><tr id="type-t.suggestion" class="anchored"><td class="def field"><a href="#type-t.suggestion" class="anchor"></a><code>suggestion : <span>string option</span>;</code></td><td class="doc"><p>an optional suggestion or correction</p></td></tr></table><code>}</code></dt></dl><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : Stdlib.Format.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CIssue (infer.ASTLanguage.CIssue)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CIssue</nav><h1>Module <code>ASTLanguage.CIssue</code></h1></header><dl><dt class="spec type" id="type-mode"><a href="#type-mode" class="anchor"></a><code><span class="keyword">type</span> mode</code><code> = </code><table class="variant"><tr id="type-mode.On" class="anchored"><td class="def constructor"><a href="#type-mode.On" class="anchor"></a><code>| </code><code><span class="constructor">On</span></code></td></tr><tr id="type-mode.Off" class="anchored"><td class="def constructor"><a href="#type-mode.Off" class="anchor"></a><code>| </code><code><span class="constructor">Off</span></code></td></tr></table></dt></dl><dl><dt class="spec value" id="val-should_run_check"><a href="#val-should_run_check" class="anchor"></a><code><span class="keyword">val</span> should_run_check : <a href="index.html#type-mode">mode</a> <span>&#45;&gt;</span> bool</code></dt></dl><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><code>{</code><table class="record"><tr id="type-t.issue_type" class="anchored"><td class="def field"><a href="#type-t.issue_type" class="anchor"></a><code>issue_type : <a href="../../IBase/IssueType/index.html#type-t">IBase.IssueType.t</a>;</code></td></tr><tr id="type-t.description" class="anchored"><td class="def field"><a href="#type-t.description" class="anchor"></a><code>description : string;</code></td><td class="doc"><p>Description in the error message</p></td></tr><tr id="type-t.mode" class="anchored"><td class="def field"><a href="#type-t.mode" class="anchor"></a><code>mode : <a href="index.html#type-mode">mode</a>;</code></td></tr><tr id="type-t.loc" class="anchored"><td class="def field"><a href="#type-t.loc" class="anchor"></a><code>loc : <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a>;</code></td><td class="doc"><p>location in the code</p></td></tr><tr id="type-t.severity" class="anchored"><td class="def field"><a href="#type-t.severity" class="anchor"></a><code>severity : <a href="../../IBase/IssueType/index.html#type-severity">IBase.IssueType.severity</a>;</code></td></tr><tr id="type-t.suggestion" class="anchored"><td class="def field"><a href="#type-t.suggestion" class="anchor"></a><code>suggestion : <span>string option</span>;</code></td><td class="doc"><p>an optional suggestion or correction</p></td></tr></table><code>}</code></dt></dl><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : Stdlib.Format.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CPredicatesOnTwoNodes (infer.ASTLanguage.CPredicatesOnTwoNodes)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CPredicatesOnTwoNodes</nav><h1>Module <code>ASTLanguage.CPredicatesOnTwoNodes</code></h1></header><dl><dt class="spec value" id="val-decl_name_is_contained_in_name_of_decl"><a href="#val-decl_name_is_contained_in_name_of_decl" class="anchor"></a><code><span class="keyword">val</span> decl_name_is_contained_in_name_of_decl : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CPredicatesOnTwoNodes (infer.ASTLanguage.CPredicatesOnTwoNodes)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CPredicatesOnTwoNodes</nav><h1>Module <code>ASTLanguage.CPredicatesOnTwoNodes</code></h1></header><dl><dt class="spec value" id="val-decl_name_is_contained_in_name_of_decl"><a href="#val-decl_name_is_contained_in_name_of_decl" class="anchor"></a><code><span class="keyword">val</span> decl_name_is_contained_in_name_of_decl : <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

@ -1,5 +1,5 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CTL (infer.ASTLanguage.CTL)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CTL</nav><h1>Module <code>ASTLanguage.CTL</code></h1></header><aside><p>This module defines a language to define checkers. These checkers are interpreted over the AST of the program. A checker is defined by a CTL formula which expresses a condition saying when the checker should report a problem.</p></aside><dl><dt class="spec type" id="type-clause"><a href="#type-clause" class="anchor"></a><code><span class="keyword">type</span> clause</code><code> = </code><table class="variant"><tr id="type-clause.CLet" class="anchored"><td class="def constructor"><a href="#type-clause.CLet" class="anchor"></a><code>| </code><code><span class="constructor">CLet</span> <span class="keyword">of</span> <a href="../ALVar/index.html#type-formula_id">ALVar.formula_id</a> * <span><a href="../ALVar/index.html#type-t">ALVar.t</a> list</span> * <a href="../CTLTypes/index.html#type-t">CTLTypes.t</a></code></td><td class="doc"><p>Let clause: let id = definifion;</p></td></tr><tr id="type-clause.CSet" class="anchored"><td class="def constructor"><a href="#type-clause.CSet" class="anchor"></a><code>| </code><code><span class="constructor">CSet</span> <span class="keyword">of</span> <a href="../ALVar/index.html#type-keyword">ALVar.keyword</a> * <a href="../CTLTypes/index.html#type-t">CTLTypes.t</a></code></td><td class="doc"><p>Set clause: set id = definition</p></td></tr><tr id="type-clause.CDesc" class="anchored"><td class="def constructor"><a href="#type-clause.CDesc" class="anchor"></a><code>| </code><code><span class="constructor">CDesc</span> <span class="keyword">of</span> <a href="../ALVar/index.html#type-keyword">ALVar.keyword</a> * string</code></td><td class="doc"><p>Description clause eg: set message = &quot;...&quot;</p></td></tr><tr id="type-clause.CPath" class="anchored"><td class="def constructor"><a href="#type-clause.CPath" class="anchor"></a><code>| </code><code><span class="constructor">CPath</span> <span class="keyword">of</span> <span>[ `WhitelistPath <span>| `BlacklistPath</span> ]</span> * <span><a href="../ALVar/index.html#type-t">ALVar.t</a> list</span></code></td></tr></table></dt><dd><p>&quot;set&quot; clauses are used for defining mandatory variables that will be used by when reporting issues: eg for defining the condition.</p><p>&quot;desc&quot; clauses are used for defining the error message, the suggestion, the severity.</p><p>&quot;let&quot; clauses are used to define temporary formulas which are then used to abbreviate the another formula. For example</p><pre> let f = a And B
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CTL (infer.ASTLanguage.CTL)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CTL</nav><h1>Module <code>ASTLanguage.CTL</code></h1></header><aside><p>This module defines a language to define checkers. These checkers are interpreted over the AST of the program. A checker is defined by a CTL formula which expresses a condition saying when the checker should report a problem.</p></aside><dl><dt class="spec type" id="type-clause"><a href="#type-clause" class="anchor"></a><code><span class="keyword">type</span> clause</code><code> = </code><table class="variant"><tr id="type-clause.CLet" class="anchored"><td class="def constructor"><a href="#type-clause.CLet" class="anchor"></a><code>| </code><code><span class="constructor">CLet</span> <span class="keyword">of</span> <a href="../ALVar/index.html#type-formula_id">ALVar.formula_id</a> * <span><a href="../ALVar/index.html#type-t">ALVar.t</a> list</span> * <a href="../CTLTypes/index.html#type-t">CTLTypes.t</a></code></td><td class="doc"><p>Let clause: let id = definifion;</p></td></tr><tr id="type-clause.CSet" class="anchored"><td class="def constructor"><a href="#type-clause.CSet" class="anchor"></a><code>| </code><code><span class="constructor">CSet</span> <span class="keyword">of</span> <a href="../ALVar/index.html#type-keyword">ALVar.keyword</a> * <a href="../CTLTypes/index.html#type-t">CTLTypes.t</a></code></td><td class="doc"><p>Set clause: set id = definition</p></td></tr><tr id="type-clause.CDesc" class="anchored"><td class="def constructor"><a href="#type-clause.CDesc" class="anchor"></a><code>| </code><code><span class="constructor">CDesc</span> <span class="keyword">of</span> <a href="../ALVar/index.html#type-keyword">ALVar.keyword</a> * string</code></td><td class="doc"><p>Description clause eg: set message = &quot;...&quot;</p></td></tr><tr id="type-clause.CPath" class="anchored"><td class="def constructor"><a href="#type-clause.CPath" class="anchor"></a><code>| </code><code><span class="constructor">CPath</span> <span class="keyword">of</span> <span>[ `WhitelistPath <span>| `BlacklistPath</span> ]</span> * <span><a href="../ALVar/index.html#type-t">ALVar.t</a> list</span></code></td></tr></table></dt><dd><p>&quot;set&quot; clauses are used for defining mandatory variables that will be used by when reporting issues: eg for defining the condition.</p><p>&quot;desc&quot; clauses are used for defining the error message, the suggestion, the severity.</p><p>&quot;let&quot; clauses are used to define temporary formulas which are then used to abbreviate the another formula. For example</p><pre> let f = a And B
set formula = f OR f

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CTLExceptions (infer.ASTLanguage.CTLExceptions)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CTLExceptions</nav><h1>Module <code>ASTLanguage.CTLExceptions</code></h1></header><dl><dt class="spec exception" id="exception-ALParserInvariantViolationException"><a href="#exception-ALParserInvariantViolationException" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">ALParserInvariantViolationException</span> <span class="keyword">of</span> string</code></dt><dd><p>Raised when the parser encounters a violation of a certain invariant</p></dd></dl><dl><dt class="spec type" id="type-exc_info"><a href="#type-exc_info" class="anchor"></a><code><span class="keyword">type</span> exc_info</code></dt></dl><dl><dt class="spec exception" id="exception-ALFileException"><a href="#exception-ALFileException" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">ALFileException</span> <span class="keyword">of</span> <a href="index.html#type-exc_info">exc_info</a></code></dt><dd><p>Raised when any exception from the lexer/parser of AL is caught, to include source-location info</p></dd></dl><dl><dt class="spec value" id="val-create_exc_info"><a href="#val-create_exc_info" class="anchor"></a><code><span class="keyword">val</span> create_exc_info : string <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-exc_info">exc_info</a></code></dt><dt class="spec value" id="val-json_of_exc_info"><a href="#val-json_of_exc_info" class="anchor"></a><code><span class="keyword">val</span> json_of_exc_info : <a href="index.html#type-exc_info">exc_info</a> <span>&#45;&gt;</span> Yojson.Basic.t</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CTLExceptions (infer.ASTLanguage.CTLExceptions)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CTLExceptions</nav><h1>Module <code>ASTLanguage.CTLExceptions</code></h1></header><dl><dt class="spec exception" id="exception-ALParserInvariantViolationException"><a href="#exception-ALParserInvariantViolationException" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">ALParserInvariantViolationException</span> <span class="keyword">of</span> string</code></dt><dd><p>Raised when the parser encounters a violation of a certain invariant</p></dd></dl><dl><dt class="spec type" id="type-exc_info"><a href="#type-exc_info" class="anchor"></a><code><span class="keyword">type</span> exc_info</code></dt></dl><dl><dt class="spec exception" id="exception-ALFileException"><a href="#exception-ALFileException" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">ALFileException</span> <span class="keyword">of</span> <a href="index.html#type-exc_info">exc_info</a></code></dt><dd><p>Raised when any exception from the lexer/parser of AL is caught, to include source-location info</p></dd></dl><dl><dt class="spec value" id="val-create_exc_info"><a href="#val-create_exc_info" class="anchor"></a><code><span class="keyword">val</span> create_exc_info : string <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-exc_info">exc_info</a></code></dt><dt class="spec value" id="val-json_of_exc_info"><a href="#val-json_of_exc_info" class="anchor"></a><code><span class="keyword">val</span> json_of_exc_info : <a href="index.html#type-exc_info">exc_info</a> <span>&#45;&gt;</span> Yojson.Basic.t</code></dt></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CTLParserHelper (infer.ASTLanguage.CTLParserHelper)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CTLParserHelper</nav><h1>Module <code>ASTLanguage.CTLParserHelper</code></h1></header><dl><dt class="spec value" id="val-parse_al_file"><a href="#val-parse_al_file" class="anchor"></a><code><span class="keyword">val</span> parse_al_file : string <span>&#45;&gt;</span> <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.In_channel.t <span>&#45;&gt;</span> <span><a href="../CTL/index.html#type-al_file">CTL.al_file</a> option</span></code></dt><dt class="spec value" id="val-validate_al_files"><a href="#val-validate_al_files" class="anchor"></a><code><span class="keyword">val</span> validate_al_files : unit <span>&#45;&gt;</span> <span><span>(unit, string)</span> <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Result.t</span></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CTLParserHelper (infer.ASTLanguage.CTLParserHelper)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CTLParserHelper</nav><h1>Module <code>ASTLanguage.CTLParserHelper</code></h1></header><dl><dt class="spec value" id="val-parse_al_file"><a href="#val-parse_al_file" class="anchor"></a><code><span class="keyword">val</span> parse_al_file : string <span>&#45;&gt;</span> <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.In_channel.t <span>&#45;&gt;</span> <span><a href="../CTL/index.html#type-al_file">CTL.al_file</a> option</span></code></dt><dt class="spec value" id="val-validate_al_files"><a href="#val-validate_al_files" class="anchor"></a><code><span class="keyword">val</span> validate_al_files : unit <span>&#45;&gt;</span> <span><span>(unit, string)</span> <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Result.t</span></code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CiOSVersionNumbers (infer.ASTLanguage.CiOSVersionNumbers)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CiOSVersionNumbers</nav><h1>Module <code>ASTLanguage.CiOSVersionNumbers</code></h1></header><dl><dt class="spec type" id="type-human_readable_version"><a href="#type-human_readable_version" class="anchor"></a><code><span class="keyword">type</span> human_readable_version</code><code> = string</code></dt></dl><dl><dt class="spec value" id="val-version_of"><a href="#val-version_of" class="anchor"></a><code><span class="keyword">val</span> version_of : string <span>&#45;&gt;</span> <span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span></code></dt><dt class="spec value" id="val-pp_diff_of_version_opt"><a href="#val-pp_diff_of_version_opt" class="anchor"></a><code><span class="keyword">val</span> pp_diff_of_version_opt : Stdlib.Format.formatter <span>&#45;&gt;</span> <span>(<span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span> * <span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span>)</span> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CiOSVersionNumbers (infer.ASTLanguage.CiOSVersionNumbers)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; CiOSVersionNumbers</nav><h1>Module <code>ASTLanguage.CiOSVersionNumbers</code></h1></header><dl><dt class="spec type" id="type-human_readable_version"><a href="#type-human_readable_version" class="anchor"></a><code><span class="keyword">type</span> human_readable_version</code><code> = string</code></dt></dl><dl><dt class="spec value" id="val-version_of"><a href="#val-version_of" class="anchor"></a><code><span class="keyword">val</span> version_of : string <span>&#45;&gt;</span> <span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span></code></dt><dt class="spec value" id="val-pp_diff_of_version_opt"><a href="#val-pp_diff_of_version_opt" class="anchor"></a><code><span class="keyword">val</span> pp_diff_of_version_opt : Stdlib.Format.formatter <span>&#45;&gt;</span> <span>(<span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span> * <span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span>)</span> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ComponentKit (infer.ASTLanguage.ComponentKit)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; ComponentKit</nav><h1>Module <code>ASTLanguage.ComponentKit</code></h1></header><dl><dt class="spec value" id="val-contains_ck_impl"><a href="#val-contains_ck_impl" class="anchor"></a><code><span class="keyword">val</span> contains_ck_impl : <span><a href="../../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> list</span> <span>&#45;&gt;</span> bool</code></dt><dd><p>Returns true if the passed-in list of decls contains an ObjCImplementationDecl of a descendant of CKComponent or CKComponentController.</p><p>Does not recurse into hierarchy.</p></dd></dl><dl><dt class="spec value" id="val-mutable_local_vars_advice"><a href="#val-mutable_local_vars_advice" class="anchor"></a><code><span class="keyword">val</span> mutable_local_vars_advice : <a href="../CLintersContext/index.html#type-context">CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <span><a href="../CIssue/index.html#type-t">CIssue.t</a> option</span></code></dt><dt class="spec value" id="val-component_with_multiple_factory_methods_advice"><a href="#val-component_with_multiple_factory_methods_advice" class="anchor"></a><code><span class="keyword">val</span> component_with_multiple_factory_methods_advice : <a href="../CLintersContext/index.html#type-context">CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <span><a href="../CIssue/index.html#type-t">CIssue.t</a> list</span></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ComponentKit (infer.ASTLanguage.ComponentKit)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; ComponentKit</nav><h1>Module <code>ASTLanguage.ComponentKit</code></h1></header><dl><dt class="spec value" id="val-contains_ck_impl"><a href="#val-contains_ck_impl" class="anchor"></a><code><span class="keyword">val</span> contains_ck_impl : <span><a href="../../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> list</span> <span>&#45;&gt;</span> bool</code></dt><dd><p>Returns true if the passed-in list of decls contains an ObjCImplementationDecl of a descendant of CKComponent or CKComponentController.</p><p>Does not recurse into hierarchy.</p></dd></dl><dl><dt class="spec value" id="val-mutable_local_vars_advice"><a href="#val-mutable_local_vars_advice" class="anchor"></a><code><span class="keyword">val</span> mutable_local_vars_advice : <a href="../CLintersContext/index.html#type-context">CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <span><a href="../CIssue/index.html#type-t">CIssue.t</a> option</span></code></dt><dt class="spec value" id="val-component_with_multiple_factory_methods_advice"><a href="#val-component_with_multiple_factory_methods_advice" class="anchor"></a><code><span class="keyword">val</span> component_with_multiple_factory_methods_advice : <a href="../CLintersContext/index.html#type-context">CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../Ctl_parser_types/index.html#type-ast_node">Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <span><a href="../CIssue/index.html#type-t">CIssue.t</a> list</span></code></dt></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Ctl_lexer (infer.ASTLanguage.Ctl_lexer)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; Ctl_lexer</nav><h1>Module <code>ASTLanguage.Ctl_lexer</code></h1></header><dl><dt class="spec exception" id="exception-SyntaxError"><a href="#exception-SyntaxError" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">SyntaxError</span> <span class="keyword">of</span> string</code></dt></dl><dl><dt class="spec value" id="val-next_line"><a href="#val-next_line" class="anchor"></a><code><span class="keyword">val</span> next_line : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-__ocaml_lex_tables"><a href="#val-__ocaml_lex_tables" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_tables : Stdlib.Lexing.lex_tables</code></dt><dt class="spec value" id="val-token"><a href="#val-token" class="anchor"></a><code><span class="keyword">val</span> token : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../Ctl_parser/index.html#type-token">Ctl_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_token_rec"><a href="#val-__ocaml_lex_token_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../Ctl_parser/index.html#type-token">Ctl_parser.token</a></code></dt><dt class="spec value" id="val-read_string"><a href="#val-read_string" class="anchor"></a><code><span class="keyword">val</span> read_string : <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../Ctl_parser/index.html#type-token">Ctl_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_read_string_rec"><a href="#val-__ocaml_lex_read_string_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_read_string_rec : <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../Ctl_parser/index.html#type-token">Ctl_parser.token</a></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Ctl_lexer (infer.ASTLanguage.Ctl_lexer)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; Ctl_lexer</nav><h1>Module <code>ASTLanguage.Ctl_lexer</code></h1></header><dl><dt class="spec exception" id="exception-SyntaxError"><a href="#exception-SyntaxError" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">SyntaxError</span> <span class="keyword">of</span> string</code></dt></dl><dl><dt class="spec value" id="val-next_line"><a href="#val-next_line" class="anchor"></a><code><span class="keyword">val</span> next_line : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-__ocaml_lex_tables"><a href="#val-__ocaml_lex_tables" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_tables : Stdlib.Lexing.lex_tables</code></dt><dt class="spec value" id="val-token"><a href="#val-token" class="anchor"></a><code><span class="keyword">val</span> token : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../Ctl_parser/index.html#type-token">Ctl_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_token_rec"><a href="#val-__ocaml_lex_token_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../Ctl_parser/index.html#type-token">Ctl_parser.token</a></code></dt><dt class="spec value" id="val-read_string"><a href="#val-read_string" class="anchor"></a><code><span class="keyword">val</span> read_string : <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../Ctl_parser/index.html#type-token">Ctl_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_read_string_rec"><a href="#val-__ocaml_lex_read_string_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_read_string_rec : <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../Ctl_parser/index.html#type-token">Ctl_parser.token</a></code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>RegisterCallback (infer.ASTLanguage.RegisterCallback)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; RegisterCallback</nav><h1>Module <code>ASTLanguage.RegisterCallback</code></h1></header><dl><dt class="spec value" id="val-register_frontend_checks"><a href="#val-register_frontend_checks" class="anchor"></a><code><span class="keyword">val</span> register_frontend_checks : unit <span>&#45;&gt;</span> unit</code></dt><dd><p>call this before running the clang frontend</p></dd></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>RegisterCallback (infer.ASTLanguage.RegisterCallback)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; RegisterCallback</nav><h1>Module <code>ASTLanguage.RegisterCallback</code></h1></header><dl><dt class="spec value" id="val-register_frontend_checks"><a href="#val-register_frontend_checks" class="anchor"></a><code><span class="keyword">val</span> register_frontend_checks : unit <span>&#45;&gt;</span> unit</code></dt><dd><p>call this before running the clang frontend</p></dd></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Types_lexer (infer.ASTLanguage.Types_lexer)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; Types_lexer</nav><h1>Module <code>ASTLanguage.Types_lexer</code></h1></header><dl><dt class="spec exception" id="exception-SyntaxError"><a href="#exception-SyntaxError" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">SyntaxError</span> <span class="keyword">of</span> string</code></dt></dl><dl><dt class="spec value" id="val-next_line"><a href="#val-next_line" class="anchor"></a><code><span class="keyword">val</span> next_line : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-__ocaml_lex_tables"><a href="#val-__ocaml_lex_tables" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_tables : Stdlib.Lexing.lex_tables</code></dt><dt class="spec value" id="val-token"><a href="#val-token" class="anchor"></a><code><span class="keyword">val</span> token : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../Types_parser/index.html#type-token">Types_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_token_rec"><a href="#val-__ocaml_lex_token_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../Types_parser/index.html#type-token">Types_parser.token</a></code></dt><dt class="spec value" id="val-read_string"><a href="#val-read_string" class="anchor"></a><code><span class="keyword">val</span> read_string : <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../Types_parser/index.html#type-token">Types_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_read_string_rec"><a href="#val-__ocaml_lex_read_string_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_read_string_rec : <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../Types_parser/index.html#type-token">Types_parser.token</a></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Types_lexer (infer.ASTLanguage.Types_lexer)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ASTLanguage</a> &#x00BB; Types_lexer</nav><h1>Module <code>ASTLanguage.Types_lexer</code></h1></header><dl><dt class="spec exception" id="exception-SyntaxError"><a href="#exception-SyntaxError" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">SyntaxError</span> <span class="keyword">of</span> string</code></dt></dl><dl><dt class="spec value" id="val-next_line"><a href="#val-next_line" class="anchor"></a><code><span class="keyword">val</span> next_line : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-__ocaml_lex_tables"><a href="#val-__ocaml_lex_tables" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_tables : Stdlib.Lexing.lex_tables</code></dt><dt class="spec value" id="val-token"><a href="#val-token" class="anchor"></a><code><span class="keyword">val</span> token : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../Types_parser/index.html#type-token">Types_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_token_rec"><a href="#val-__ocaml_lex_token_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../Types_parser/index.html#type-token">Types_parser.token</a></code></dt><dt class="spec value" id="val-read_string"><a href="#val-read_string" class="anchor"></a><code><span class="keyword">val</span> read_string : <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../Types_parser/index.html#type-token">Types_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_read_string_rec"><a href="#val-__ocaml_lex_read_string_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_read_string_rec : <a href="../../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../Types_parser/index.html#type-token">Types_parser.token</a></code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__AL (infer.ASTLanguage__AL)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__AL</nav><h1>Module <code>ASTLanguage__AL</code></h1></header><dl><dt class="spec value" id="val-do_frontend_checks"><a href="#val-do_frontend_checks" class="anchor"></a><code><span class="keyword">val</span> do_frontend_checks : <a href="../ClangFrontend/CFrontend_config/index.html#type-translation_unit_context">ClangFrontend.CFrontend_config.translation_unit_context</a> <span>&#45;&gt;</span> <a href="../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__AL (infer.ASTLanguage__AL)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__AL</nav><h1>Module <code>ASTLanguage__AL</code></h1></header><dl><dt class="spec value" id="val-do_frontend_checks"><a href="#val-do_frontend_checks" class="anchor"></a><code><span class="keyword">val</span> do_frontend_checks : <a href="../ClangFrontend/CFrontend_config/index.html#type-translation_unit_context">ClangFrontend.CFrontend_config.translation_unit_context</a> <span>&#45;&gt;</span> <a href="../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>DottyPrinter (infer.ASTLanguage__ALDebugger.EvaluationTracker.DottyPrinter)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">ASTLanguage__ALDebugger</a> &#x00BB; <a href="../index.html">EvaluationTracker</a> &#x00BB; DottyPrinter</nav><h1>Module <code>EvaluationTracker.DottyPrinter</code></h1></header><dl><dt class="spec value" id="val-dotty_of_ctl_evaluation"><a href="#val-dotty_of_ctl_evaluation" class="anchor"></a><code><span class="keyword">val</span> dotty_of_ctl_evaluation : <a href="../index.html#type-t">t</a> <span>&#45;&gt;</span> string</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>DottyPrinter (infer.ASTLanguage__ALDebugger.EvaluationTracker.DottyPrinter)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">ASTLanguage__ALDebugger</a> &#x00BB; <a href="../index.html">EvaluationTracker</a> &#x00BB; DottyPrinter</nav><h1>Module <code>EvaluationTracker.DottyPrinter</code></h1></header><dl><dt class="spec value" id="val-dotty_of_ctl_evaluation"><a href="#val-dotty_of_ctl_evaluation" class="anchor"></a><code><span class="keyword">val</span> dotty_of_ctl_evaluation : <a href="../index.html#type-t">t</a> <span>&#45;&gt;</span> string</code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__ALDebugger (infer.ASTLanguage__ALDebugger)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__ALDebugger</nav><h1>Module <code>ASTLanguage__ALDebugger</code></h1></header><div class="spec module" id="module-EvaluationTracker"><a href="#module-EvaluationTracker" class="anchor"></a><code><span class="keyword">module</span> <a href="EvaluationTracker/index.html">EvaluationTracker</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__ALDebugger (infer.ASTLanguage__ALDebugger)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__ALDebugger</nav><h1>Module <code>ASTLanguage__ALDebugger</code></h1></header><div class="spec module" id="module-EvaluationTracker"><a href="#module-EvaluationTracker" class="anchor"></a><code><span class="keyword">module</span> <a href="EvaluationTracker/index.html">EvaluationTracker</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__ALUtils (infer.ASTLanguage__ALUtils)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__ALUtils</nav><h1>Module <code>ASTLanguage__ALUtils</code></h1></header><dl><dt class="spec value" id="val-location_from_dinfo"><a href="#val-location_from_dinfo" class="anchor"></a><code><span class="keyword">val</span> location_from_dinfo : <a href="../ASTLanguage/CLintersContext/index.html#type-context">ASTLanguage.CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../ATDGenerated/Clang_ast_t/index.html#type-decl_info">ATDGenerated.Clang_ast_t.decl_info</a> <span>&#45;&gt;</span> <a href="../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-location_from_an"><a href="#val-location_from_an" class="anchor"></a><code><span class="keyword">val</span> location_from_an : <a href="../ASTLanguage/CLintersContext/index.html#type-context">ASTLanguage.CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <a href="../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-location_from_decl"><a href="#val-location_from_decl" class="anchor"></a><code><span class="keyword">val</span> location_from_decl : <a href="../ASTLanguage/CLintersContext/index.html#type-context">ASTLanguage.CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> <span>&#45;&gt;</span> <a href="../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-ivar_name"><a href="#val-ivar_name" class="anchor"></a><code><span class="keyword">val</span> ivar_name : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-cxx_ref_captured_in_block"><a href="#val-cxx_ref_captured_in_block" class="anchor"></a><code><span class="keyword">val</span> cxx_ref_captured_in_block : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-decl_ref_or_selector_name"><a href="#val-decl_ref_or_selector_name" class="anchor"></a><code><span class="keyword">val</span> decl_ref_or_selector_name : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-receiver_method_call"><a href="#val-receiver_method_call" class="anchor"></a><code><span class="keyword">val</span> receiver_method_call : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-class_name"><a href="#val-class_name" class="anchor"></a><code><span class="keyword">val</span> class_name : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__ALUtils (infer.ASTLanguage__ALUtils)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__ALUtils</nav><h1>Module <code>ASTLanguage__ALUtils</code></h1></header><dl><dt class="spec value" id="val-location_from_dinfo"><a href="#val-location_from_dinfo" class="anchor"></a><code><span class="keyword">val</span> location_from_dinfo : <a href="../ASTLanguage/CLintersContext/index.html#type-context">ASTLanguage.CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../ATDGenerated/Clang_ast_t/index.html#type-decl_info">ATDGenerated.Clang_ast_t.decl_info</a> <span>&#45;&gt;</span> <a href="../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-location_from_an"><a href="#val-location_from_an" class="anchor"></a><code><span class="keyword">val</span> location_from_an : <a href="../ASTLanguage/CLintersContext/index.html#type-context">ASTLanguage.CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <a href="../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-location_from_decl"><a href="#val-location_from_decl" class="anchor"></a><code><span class="keyword">val</span> location_from_decl : <a href="../ASTLanguage/CLintersContext/index.html#type-context">ASTLanguage.CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> <span>&#45;&gt;</span> <a href="../IBase/Location/index.html#type-t">IBase.Location.t</a></code></dt><dt class="spec value" id="val-ivar_name"><a href="#val-ivar_name" class="anchor"></a><code><span class="keyword">val</span> ivar_name : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-cxx_ref_captured_in_block"><a href="#val-cxx_ref_captured_in_block" class="anchor"></a><code><span class="keyword">val</span> cxx_ref_captured_in_block : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-decl_ref_or_selector_name"><a href="#val-decl_ref_or_selector_name" class="anchor"></a><code><span class="keyword">val</span> decl_ref_or_selector_name : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-receiver_method_call"><a href="#val-receiver_method_call" class="anchor"></a><code><span class="keyword">val</span> receiver_method_call : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-class_name"><a href="#val-class_name" class="anchor"></a><code><span class="keyword">val</span> class_name : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> string</code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CIssue (infer.ASTLanguage__CIssue)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CIssue</nav><h1>Module <code>ASTLanguage__CIssue</code></h1></header><dl><dt class="spec type" id="type-mode"><a href="#type-mode" class="anchor"></a><code><span class="keyword">type</span> mode</code><code> = </code><table class="variant"><tr id="type-mode.On" class="anchored"><td class="def constructor"><a href="#type-mode.On" class="anchor"></a><code>| </code><code><span class="constructor">On</span></code></td></tr><tr id="type-mode.Off" class="anchored"><td class="def constructor"><a href="#type-mode.Off" class="anchor"></a><code>| </code><code><span class="constructor">Off</span></code></td></tr></table></dt></dl><dl><dt class="spec value" id="val-should_run_check"><a href="#val-should_run_check" class="anchor"></a><code><span class="keyword">val</span> should_run_check : <a href="index.html#type-mode">mode</a> <span>&#45;&gt;</span> bool</code></dt></dl><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><code>{</code><table class="record"><tr id="type-t.issue_type" class="anchored"><td class="def field"><a href="#type-t.issue_type" class="anchor"></a><code>issue_type : <a href="../IBase/IssueType/index.html#type-t">IBase.IssueType.t</a>;</code></td></tr><tr id="type-t.description" class="anchored"><td class="def field"><a href="#type-t.description" class="anchor"></a><code>description : string;</code></td><td class="doc"><p>Description in the error message</p></td></tr><tr id="type-t.mode" class="anchored"><td class="def field"><a href="#type-t.mode" class="anchor"></a><code>mode : <a href="index.html#type-mode">mode</a>;</code></td></tr><tr id="type-t.loc" class="anchored"><td class="def field"><a href="#type-t.loc" class="anchor"></a><code>loc : <a href="../IBase/Location/index.html#type-t">IBase.Location.t</a>;</code></td><td class="doc"><p>location in the code</p></td></tr><tr id="type-t.severity" class="anchored"><td class="def field"><a href="#type-t.severity" class="anchor"></a><code>severity : <a href="../IBase/IssueType/index.html#type-severity">IBase.IssueType.severity</a>;</code></td></tr><tr id="type-t.suggestion" class="anchored"><td class="def field"><a href="#type-t.suggestion" class="anchor"></a><code>suggestion : <span>string option</span>;</code></td><td class="doc"><p>an optional suggestion or correction</p></td></tr></table><code>}</code></dt></dl><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : Stdlib.Format.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CIssue (infer.ASTLanguage__CIssue)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CIssue</nav><h1>Module <code>ASTLanguage__CIssue</code></h1></header><dl><dt class="spec type" id="type-mode"><a href="#type-mode" class="anchor"></a><code><span class="keyword">type</span> mode</code><code> = </code><table class="variant"><tr id="type-mode.On" class="anchored"><td class="def constructor"><a href="#type-mode.On" class="anchor"></a><code>| </code><code><span class="constructor">On</span></code></td></tr><tr id="type-mode.Off" class="anchored"><td class="def constructor"><a href="#type-mode.Off" class="anchor"></a><code>| </code><code><span class="constructor">Off</span></code></td></tr></table></dt></dl><dl><dt class="spec value" id="val-should_run_check"><a href="#val-should_run_check" class="anchor"></a><code><span class="keyword">val</span> should_run_check : <a href="index.html#type-mode">mode</a> <span>&#45;&gt;</span> bool</code></dt></dl><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><code>{</code><table class="record"><tr id="type-t.issue_type" class="anchored"><td class="def field"><a href="#type-t.issue_type" class="anchor"></a><code>issue_type : <a href="../IBase/IssueType/index.html#type-t">IBase.IssueType.t</a>;</code></td></tr><tr id="type-t.description" class="anchored"><td class="def field"><a href="#type-t.description" class="anchor"></a><code>description : string;</code></td><td class="doc"><p>Description in the error message</p></td></tr><tr id="type-t.mode" class="anchored"><td class="def field"><a href="#type-t.mode" class="anchor"></a><code>mode : <a href="index.html#type-mode">mode</a>;</code></td></tr><tr id="type-t.loc" class="anchored"><td class="def field"><a href="#type-t.loc" class="anchor"></a><code>loc : <a href="../IBase/Location/index.html#type-t">IBase.Location.t</a>;</code></td><td class="doc"><p>location in the code</p></td></tr><tr id="type-t.severity" class="anchored"><td class="def field"><a href="#type-t.severity" class="anchor"></a><code>severity : <a href="../IBase/IssueType/index.html#type-severity">IBase.IssueType.severity</a>;</code></td></tr><tr id="type-t.suggestion" class="anchored"><td class="def field"><a href="#type-t.suggestion" class="anchor"></a><code>suggestion : <span>string option</span>;</code></td><td class="doc"><p>an optional suggestion or correction</p></td></tr></table><code>}</code></dt></dl><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : Stdlib.Format.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CPredicatesOnTwoNodes (infer.ASTLanguage__CPredicatesOnTwoNodes)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CPredicatesOnTwoNodes</nav><h1>Module <code>ASTLanguage__CPredicatesOnTwoNodes</code></h1></header><dl><dt class="spec value" id="val-decl_name_is_contained_in_name_of_decl"><a href="#val-decl_name_is_contained_in_name_of_decl" class="anchor"></a><code><span class="keyword">val</span> decl_name_is_contained_in_name_of_decl : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CPredicatesOnTwoNodes (infer.ASTLanguage__CPredicatesOnTwoNodes)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CPredicatesOnTwoNodes</nav><h1>Module <code>ASTLanguage__CPredicatesOnTwoNodes</code></h1></header><dl><dt class="spec value" id="val-decl_name_is_contained_in_name_of_decl"><a href="#val-decl_name_is_contained_in_name_of_decl" class="anchor"></a><code><span class="keyword">val</span> decl_name_is_contained_in_name_of_decl : <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

@ -1,5 +1,5 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CTL (infer.ASTLanguage__CTL)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CTL</nav><h1>Module <code>ASTLanguage__CTL</code></h1></header><aside><p>This module defines a language to define checkers. These checkers are interpreted over the AST of the program. A checker is defined by a CTL formula which expresses a condition saying when the checker should report a problem.</p></aside><dl><dt class="spec type" id="type-clause"><a href="#type-clause" class="anchor"></a><code><span class="keyword">type</span> clause</code><code> = </code><table class="variant"><tr id="type-clause.CLet" class="anchored"><td class="def constructor"><a href="#type-clause.CLet" class="anchor"></a><code>| </code><code><span class="constructor">CLet</span> <span class="keyword">of</span> <a href="../ASTLanguage/ALVar/index.html#type-formula_id">ASTLanguage.ALVar.formula_id</a> * <span><a href="../ASTLanguage/ALVar/index.html#type-t">ASTLanguage.ALVar.t</a> list</span> * <a href="../ASTLanguage/CTLTypes/index.html#type-t">ASTLanguage.CTLTypes.t</a></code></td><td class="doc"><p>Let clause: let id = definifion;</p></td></tr><tr id="type-clause.CSet" class="anchored"><td class="def constructor"><a href="#type-clause.CSet" class="anchor"></a><code>| </code><code><span class="constructor">CSet</span> <span class="keyword">of</span> <a href="../ASTLanguage/ALVar/index.html#type-keyword">ASTLanguage.ALVar.keyword</a> * <a href="../ASTLanguage/CTLTypes/index.html#type-t">ASTLanguage.CTLTypes.t</a></code></td><td class="doc"><p>Set clause: set id = definition</p></td></tr><tr id="type-clause.CDesc" class="anchored"><td class="def constructor"><a href="#type-clause.CDesc" class="anchor"></a><code>| </code><code><span class="constructor">CDesc</span> <span class="keyword">of</span> <a href="../ASTLanguage/ALVar/index.html#type-keyword">ASTLanguage.ALVar.keyword</a> * string</code></td><td class="doc"><p>Description clause eg: set message = &quot;...&quot;</p></td></tr><tr id="type-clause.CPath" class="anchored"><td class="def constructor"><a href="#type-clause.CPath" class="anchor"></a><code>| </code><code><span class="constructor">CPath</span> <span class="keyword">of</span> <span>[ `WhitelistPath <span>| `BlacklistPath</span> ]</span> * <span><a href="../ASTLanguage/ALVar/index.html#type-t">ASTLanguage.ALVar.t</a> list</span></code></td></tr></table></dt><dd><p>&quot;set&quot; clauses are used for defining mandatory variables that will be used by when reporting issues: eg for defining the condition.</p><p>&quot;desc&quot; clauses are used for defining the error message, the suggestion, the severity.</p><p>&quot;let&quot; clauses are used to define temporary formulas which are then used to abbreviate the another formula. For example</p><pre> let f = a And B
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CTL (infer.ASTLanguage__CTL)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CTL</nav><h1>Module <code>ASTLanguage__CTL</code></h1></header><aside><p>This module defines a language to define checkers. These checkers are interpreted over the AST of the program. A checker is defined by a CTL formula which expresses a condition saying when the checker should report a problem.</p></aside><dl><dt class="spec type" id="type-clause"><a href="#type-clause" class="anchor"></a><code><span class="keyword">type</span> clause</code><code> = </code><table class="variant"><tr id="type-clause.CLet" class="anchored"><td class="def constructor"><a href="#type-clause.CLet" class="anchor"></a><code>| </code><code><span class="constructor">CLet</span> <span class="keyword">of</span> <a href="../ASTLanguage/ALVar/index.html#type-formula_id">ASTLanguage.ALVar.formula_id</a> * <span><a href="../ASTLanguage/ALVar/index.html#type-t">ASTLanguage.ALVar.t</a> list</span> * <a href="../ASTLanguage/CTLTypes/index.html#type-t">ASTLanguage.CTLTypes.t</a></code></td><td class="doc"><p>Let clause: let id = definifion;</p></td></tr><tr id="type-clause.CSet" class="anchored"><td class="def constructor"><a href="#type-clause.CSet" class="anchor"></a><code>| </code><code><span class="constructor">CSet</span> <span class="keyword">of</span> <a href="../ASTLanguage/ALVar/index.html#type-keyword">ASTLanguage.ALVar.keyword</a> * <a href="../ASTLanguage/CTLTypes/index.html#type-t">ASTLanguage.CTLTypes.t</a></code></td><td class="doc"><p>Set clause: set id = definition</p></td></tr><tr id="type-clause.CDesc" class="anchored"><td class="def constructor"><a href="#type-clause.CDesc" class="anchor"></a><code>| </code><code><span class="constructor">CDesc</span> <span class="keyword">of</span> <a href="../ASTLanguage/ALVar/index.html#type-keyword">ASTLanguage.ALVar.keyword</a> * string</code></td><td class="doc"><p>Description clause eg: set message = &quot;...&quot;</p></td></tr><tr id="type-clause.CPath" class="anchored"><td class="def constructor"><a href="#type-clause.CPath" class="anchor"></a><code>| </code><code><span class="constructor">CPath</span> <span class="keyword">of</span> <span>[ `WhitelistPath <span>| `BlacklistPath</span> ]</span> * <span><a href="../ASTLanguage/ALVar/index.html#type-t">ASTLanguage.ALVar.t</a> list</span></code></td></tr></table></dt><dd><p>&quot;set&quot; clauses are used for defining mandatory variables that will be used by when reporting issues: eg for defining the condition.</p><p>&quot;desc&quot; clauses are used for defining the error message, the suggestion, the severity.</p><p>&quot;let&quot; clauses are used to define temporary formulas which are then used to abbreviate the another formula. For example</p><pre> let f = a And B
set formula = f OR f

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CTLExceptions (infer.ASTLanguage__CTLExceptions)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CTLExceptions</nav><h1>Module <code>ASTLanguage__CTLExceptions</code></h1></header><dl><dt class="spec exception" id="exception-ALParserInvariantViolationException"><a href="#exception-ALParserInvariantViolationException" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">ALParserInvariantViolationException</span> <span class="keyword">of</span> string</code></dt><dd><p>Raised when the parser encounters a violation of a certain invariant</p></dd></dl><dl><dt class="spec type" id="type-exc_info"><a href="#type-exc_info" class="anchor"></a><code><span class="keyword">type</span> exc_info</code></dt></dl><dl><dt class="spec exception" id="exception-ALFileException"><a href="#exception-ALFileException" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">ALFileException</span> <span class="keyword">of</span> <a href="index.html#type-exc_info">exc_info</a></code></dt><dd><p>Raised when any exception from the lexer/parser of AL is caught, to include source-location info</p></dd></dl><dl><dt class="spec value" id="val-create_exc_info"><a href="#val-create_exc_info" class="anchor"></a><code><span class="keyword">val</span> create_exc_info : string <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-exc_info">exc_info</a></code></dt><dt class="spec value" id="val-json_of_exc_info"><a href="#val-json_of_exc_info" class="anchor"></a><code><span class="keyword">val</span> json_of_exc_info : <a href="index.html#type-exc_info">exc_info</a> <span>&#45;&gt;</span> Yojson.Basic.t</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CTLExceptions (infer.ASTLanguage__CTLExceptions)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CTLExceptions</nav><h1>Module <code>ASTLanguage__CTLExceptions</code></h1></header><dl><dt class="spec exception" id="exception-ALParserInvariantViolationException"><a href="#exception-ALParserInvariantViolationException" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">ALParserInvariantViolationException</span> <span class="keyword">of</span> string</code></dt><dd><p>Raised when the parser encounters a violation of a certain invariant</p></dd></dl><dl><dt class="spec type" id="type-exc_info"><a href="#type-exc_info" class="anchor"></a><code><span class="keyword">type</span> exc_info</code></dt></dl><dl><dt class="spec exception" id="exception-ALFileException"><a href="#exception-ALFileException" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">ALFileException</span> <span class="keyword">of</span> <a href="index.html#type-exc_info">exc_info</a></code></dt><dd><p>Raised when any exception from the lexer/parser of AL is caught, to include source-location info</p></dd></dl><dl><dt class="spec value" id="val-create_exc_info"><a href="#val-create_exc_info" class="anchor"></a><code><span class="keyword">val</span> create_exc_info : string <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-exc_info">exc_info</a></code></dt><dt class="spec value" id="val-json_of_exc_info"><a href="#val-json_of_exc_info" class="anchor"></a><code><span class="keyword">val</span> json_of_exc_info : <a href="index.html#type-exc_info">exc_info</a> <span>&#45;&gt;</span> Yojson.Basic.t</code></dt></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CTLParserHelper (infer.ASTLanguage__CTLParserHelper)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CTLParserHelper</nav><h1>Module <code>ASTLanguage__CTLParserHelper</code></h1></header><dl><dt class="spec value" id="val-parse_al_file"><a href="#val-parse_al_file" class="anchor"></a><code><span class="keyword">val</span> parse_al_file : string <span>&#45;&gt;</span> <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.In_channel.t <span>&#45;&gt;</span> <span><a href="../ASTLanguage/CTL/index.html#type-al_file">ASTLanguage.CTL.al_file</a> option</span></code></dt><dt class="spec value" id="val-validate_al_files"><a href="#val-validate_al_files" class="anchor"></a><code><span class="keyword">val</span> validate_al_files : unit <span>&#45;&gt;</span> <span><span>(unit, string)</span> <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Result.t</span></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CTLParserHelper (infer.ASTLanguage__CTLParserHelper)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CTLParserHelper</nav><h1>Module <code>ASTLanguage__CTLParserHelper</code></h1></header><dl><dt class="spec value" id="val-parse_al_file"><a href="#val-parse_al_file" class="anchor"></a><code><span class="keyword">val</span> parse_al_file : string <span>&#45;&gt;</span> <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.In_channel.t <span>&#45;&gt;</span> <span><a href="../ASTLanguage/CTL/index.html#type-al_file">ASTLanguage.CTL.al_file</a> option</span></code></dt><dt class="spec value" id="val-validate_al_files"><a href="#val-validate_al_files" class="anchor"></a><code><span class="keyword">val</span> validate_al_files : unit <span>&#45;&gt;</span> <span><span>(unit, string)</span> <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Result.t</span></code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CiOSVersionNumbers (infer.ASTLanguage__CiOSVersionNumbers)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CiOSVersionNumbers</nav><h1>Module <code>ASTLanguage__CiOSVersionNumbers</code></h1></header><dl><dt class="spec type" id="type-human_readable_version"><a href="#type-human_readable_version" class="anchor"></a><code><span class="keyword">type</span> human_readable_version</code><code> = string</code></dt></dl><dl><dt class="spec value" id="val-version_of"><a href="#val-version_of" class="anchor"></a><code><span class="keyword">val</span> version_of : string <span>&#45;&gt;</span> <span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span></code></dt><dt class="spec value" id="val-pp_diff_of_version_opt"><a href="#val-pp_diff_of_version_opt" class="anchor"></a><code><span class="keyword">val</span> pp_diff_of_version_opt : Stdlib.Format.formatter <span>&#45;&gt;</span> <span>(<span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span> * <span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span>)</span> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__CiOSVersionNumbers (infer.ASTLanguage__CiOSVersionNumbers)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__CiOSVersionNumbers</nav><h1>Module <code>ASTLanguage__CiOSVersionNumbers</code></h1></header><dl><dt class="spec type" id="type-human_readable_version"><a href="#type-human_readable_version" class="anchor"></a><code><span class="keyword">type</span> human_readable_version</code><code> = string</code></dt></dl><dl><dt class="spec value" id="val-version_of"><a href="#val-version_of" class="anchor"></a><code><span class="keyword">val</span> version_of : string <span>&#45;&gt;</span> <span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span></code></dt><dt class="spec value" id="val-pp_diff_of_version_opt"><a href="#val-pp_diff_of_version_opt" class="anchor"></a><code><span class="keyword">val</span> pp_diff_of_version_opt : Stdlib.Format.formatter <span>&#45;&gt;</span> <span>(<span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span> * <span><a href="index.html#type-human_readable_version">human_readable_version</a> option</span>)</span> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__ComponentKit (infer.ASTLanguage__ComponentKit)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__ComponentKit</nav><h1>Module <code>ASTLanguage__ComponentKit</code></h1></header><dl><dt class="spec value" id="val-contains_ck_impl"><a href="#val-contains_ck_impl" class="anchor"></a><code><span class="keyword">val</span> contains_ck_impl : <span><a href="../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> list</span> <span>&#45;&gt;</span> bool</code></dt><dd><p>Returns true if the passed-in list of decls contains an ObjCImplementationDecl of a descendant of CKComponent or CKComponentController.</p><p>Does not recurse into hierarchy.</p></dd></dl><dl><dt class="spec value" id="val-mutable_local_vars_advice"><a href="#val-mutable_local_vars_advice" class="anchor"></a><code><span class="keyword">val</span> mutable_local_vars_advice : <a href="../ASTLanguage/CLintersContext/index.html#type-context">ASTLanguage.CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <span><a href="../ASTLanguage/CIssue/index.html#type-t">ASTLanguage.CIssue.t</a> option</span></code></dt><dt class="spec value" id="val-component_with_multiple_factory_methods_advice"><a href="#val-component_with_multiple_factory_methods_advice" class="anchor"></a><code><span class="keyword">val</span> component_with_multiple_factory_methods_advice : <a href="../ASTLanguage/CLintersContext/index.html#type-context">ASTLanguage.CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <span><a href="../ASTLanguage/CIssue/index.html#type-t">ASTLanguage.CIssue.t</a> list</span></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__ComponentKit (infer.ASTLanguage__ComponentKit)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__ComponentKit</nav><h1>Module <code>ASTLanguage__ComponentKit</code></h1></header><dl><dt class="spec value" id="val-contains_ck_impl"><a href="#val-contains_ck_impl" class="anchor"></a><code><span class="keyword">val</span> contains_ck_impl : <span><a href="../ATDGenerated/Clang_ast_t/index.html#type-decl">ATDGenerated.Clang_ast_t.decl</a> list</span> <span>&#45;&gt;</span> bool</code></dt><dd><p>Returns true if the passed-in list of decls contains an ObjCImplementationDecl of a descendant of CKComponent or CKComponentController.</p><p>Does not recurse into hierarchy.</p></dd></dl><dl><dt class="spec value" id="val-mutable_local_vars_advice"><a href="#val-mutable_local_vars_advice" class="anchor"></a><code><span class="keyword">val</span> mutable_local_vars_advice : <a href="../ASTLanguage/CLintersContext/index.html#type-context">ASTLanguage.CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <span><a href="../ASTLanguage/CIssue/index.html#type-t">ASTLanguage.CIssue.t</a> option</span></code></dt><dt class="spec value" id="val-component_with_multiple_factory_methods_advice"><a href="#val-component_with_multiple_factory_methods_advice" class="anchor"></a><code><span class="keyword">val</span> component_with_multiple_factory_methods_advice : <a href="../ASTLanguage/CLintersContext/index.html#type-context">ASTLanguage.CLintersContext.context</a> <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser_types/index.html#type-ast_node">ASTLanguage.Ctl_parser_types.ast_node</a> <span>&#45;&gt;</span> <span><a href="../ASTLanguage/CIssue/index.html#type-t">ASTLanguage.CIssue.t</a> list</span></code></dt></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__Ctl_lexer (infer.ASTLanguage__Ctl_lexer)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__Ctl_lexer</nav><h1>Module <code>ASTLanguage__Ctl_lexer</code></h1></header><dl><dt class="spec exception" id="exception-SyntaxError"><a href="#exception-SyntaxError" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">SyntaxError</span> <span class="keyword">of</span> string</code></dt></dl><dl><dt class="spec value" id="val-next_line"><a href="#val-next_line" class="anchor"></a><code><span class="keyword">val</span> next_line : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-__ocaml_lex_tables"><a href="#val-__ocaml_lex_tables" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_tables : Stdlib.Lexing.lex_tables</code></dt><dt class="spec value" id="val-token"><a href="#val-token" class="anchor"></a><code><span class="keyword">val</span> token : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser/index.html#type-token">ASTLanguage.Ctl_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_token_rec"><a href="#val-__ocaml_lex_token_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser/index.html#type-token">ASTLanguage.Ctl_parser.token</a></code></dt><dt class="spec value" id="val-read_string"><a href="#val-read_string" class="anchor"></a><code><span class="keyword">val</span> read_string : <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser/index.html#type-token">ASTLanguage.Ctl_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_read_string_rec"><a href="#val-__ocaml_lex_read_string_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_read_string_rec : <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser/index.html#type-token">ASTLanguage.Ctl_parser.token</a></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__Ctl_lexer (infer.ASTLanguage__Ctl_lexer)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__Ctl_lexer</nav><h1>Module <code>ASTLanguage__Ctl_lexer</code></h1></header><dl><dt class="spec exception" id="exception-SyntaxError"><a href="#exception-SyntaxError" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">SyntaxError</span> <span class="keyword">of</span> string</code></dt></dl><dl><dt class="spec value" id="val-next_line"><a href="#val-next_line" class="anchor"></a><code><span class="keyword">val</span> next_line : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-__ocaml_lex_tables"><a href="#val-__ocaml_lex_tables" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_tables : Stdlib.Lexing.lex_tables</code></dt><dt class="spec value" id="val-token"><a href="#val-token" class="anchor"></a><code><span class="keyword">val</span> token : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser/index.html#type-token">ASTLanguage.Ctl_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_token_rec"><a href="#val-__ocaml_lex_token_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser/index.html#type-token">ASTLanguage.Ctl_parser.token</a></code></dt><dt class="spec value" id="val-read_string"><a href="#val-read_string" class="anchor"></a><code><span class="keyword">val</span> read_string : <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser/index.html#type-token">ASTLanguage.Ctl_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_read_string_rec"><a href="#val-__ocaml_lex_read_string_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_read_string_rec : <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../ASTLanguage/Ctl_parser/index.html#type-token">ASTLanguage.Ctl_parser.token</a></code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__RegisterCallback (infer.ASTLanguage__RegisterCallback)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__RegisterCallback</nav><h1>Module <code>ASTLanguage__RegisterCallback</code></h1></header><dl><dt class="spec value" id="val-register_frontend_checks"><a href="#val-register_frontend_checks" class="anchor"></a><code><span class="keyword">val</span> register_frontend_checks : unit <span>&#45;&gt;</span> unit</code></dt><dd><p>call this before running the clang frontend</p></dd></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__RegisterCallback (infer.ASTLanguage__RegisterCallback)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__RegisterCallback</nav><h1>Module <code>ASTLanguage__RegisterCallback</code></h1></header><dl><dt class="spec value" id="val-register_frontend_checks"><a href="#val-register_frontend_checks" class="anchor"></a><code><span class="keyword">val</span> register_frontend_checks : unit <span>&#45;&gt;</span> unit</code></dt><dd><p>call this before running the clang frontend</p></dd></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__Types_lexer (infer.ASTLanguage__Types_lexer)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__Types_lexer</nav><h1>Module <code>ASTLanguage__Types_lexer</code></h1></header><dl><dt class="spec exception" id="exception-SyntaxError"><a href="#exception-SyntaxError" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">SyntaxError</span> <span class="keyword">of</span> string</code></dt></dl><dl><dt class="spec value" id="val-next_line"><a href="#val-next_line" class="anchor"></a><code><span class="keyword">val</span> next_line : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-__ocaml_lex_tables"><a href="#val-__ocaml_lex_tables" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_tables : Stdlib.Lexing.lex_tables</code></dt><dt class="spec value" id="val-token"><a href="#val-token" class="anchor"></a><code><span class="keyword">val</span> token : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../ASTLanguage/Types_parser/index.html#type-token">ASTLanguage.Types_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_token_rec"><a href="#val-__ocaml_lex_token_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../ASTLanguage/Types_parser/index.html#type-token">ASTLanguage.Types_parser.token</a></code></dt><dt class="spec value" id="val-read_string"><a href="#val-read_string" class="anchor"></a><code><span class="keyword">val</span> read_string : <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../ASTLanguage/Types_parser/index.html#type-token">ASTLanguage.Types_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_read_string_rec"><a href="#val-__ocaml_lex_read_string_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_read_string_rec : <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../ASTLanguage/Types_parser/index.html#type-token">ASTLanguage.Types_parser.token</a></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ASTLanguage__Types_lexer (infer.ASTLanguage__Types_lexer)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ASTLanguage__Types_lexer</nav><h1>Module <code>ASTLanguage__Types_lexer</code></h1></header><dl><dt class="spec exception" id="exception-SyntaxError"><a href="#exception-SyntaxError" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">SyntaxError</span> <span class="keyword">of</span> string</code></dt></dl><dl><dt class="spec value" id="val-next_line"><a href="#val-next_line" class="anchor"></a><code><span class="keyword">val</span> next_line : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-__ocaml_lex_tables"><a href="#val-__ocaml_lex_tables" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_tables : Stdlib.Lexing.lex_tables</code></dt><dt class="spec value" id="val-token"><a href="#val-token" class="anchor"></a><code><span class="keyword">val</span> token : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../ASTLanguage/Types_parser/index.html#type-token">ASTLanguage.Types_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_token_rec"><a href="#val-__ocaml_lex_token_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../ASTLanguage/Types_parser/index.html#type-token">ASTLanguage.Types_parser.token</a></code></dt><dt class="spec value" id="val-read_string"><a href="#val-read_string" class="anchor"></a><code><span class="keyword">val</span> read_string : <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../ASTLanguage/Types_parser/index.html#type-token">ASTLanguage.Types_parser.token</a></code></dt><dt class="spec value" id="val-__ocaml_lex_read_string_rec"><a href="#val-__ocaml_lex_read_string_rec" class="anchor"></a><code><span class="keyword">val</span> __ocaml_lex_read_string_rec : <a href="../IStdlib/index.html#module-IStd">IStdlib.IStd</a>.Buffer.t <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="../ASTLanguage/Types_parser/index.html#type-token">ASTLanguage.Types_parser.token</a></code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ATDGenerated (infer.ATDGenerated)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="index.html">Up</a> <a href="index.html">infer</a> &#x00BB; ATDGenerated</nav><h1 id="library-atdgenerated"><a href="#library-atdgenerated" class="anchor"></a>Library ATDGenerated</h1><p>Source code that is generated from ATD definitions.</p><p>The entry point of this library is the module <a href="ATDGenerated/index.html"><code>ATDGenerated</code></a>.</p></header></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ATDGenerated (infer.ATDGenerated)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="index.html">Up</a> <a href="index.html">infer</a> &#x00BB; ATDGenerated</nav><h1 id="library-atdgenerated"><a href="#library-atdgenerated" class="anchor"></a>Library ATDGenerated</h1><p>Source code that is generated from ATD definitions.</p><p>The entry point of this library is the module <a href="ATDGenerated/index.html"><code>ATDGenerated</code></a>.</p></header></div></body></html>

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>TypePtr (infer.ATDGenerated.Clang_ast_types.TypePtr)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">ATDGenerated</a> &#x00BB; <a href="../index.html">Clang_ast_types</a> &#x00BB; TypePtr</nav><h1>Module <code>Clang_ast_types.TypePtr</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><code>..</code></dt></dl><dl><dt class="spec extension"><code><span class="keyword">type</span> <a href="index.html#type-t">t</a> += </code><code><span class="extension">Ptr</span> <span class="keyword">of</span> int</code></dt></dl><dl><dt class="spec value" id="val-wrap"><a href="#val-wrap" class="anchor"></a><code><span class="keyword">val</span> wrap : int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-unwrap"><a href="#val-unwrap" class="anchor"></a><code><span class="keyword">val</span> unwrap : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>TypePtr (infer.ATDGenerated.Clang_ast_types.TypePtr)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">ATDGenerated</a> &#x00BB; <a href="../index.html">Clang_ast_types</a> &#x00BB; TypePtr</nav><h1>Module <code>Clang_ast_types.TypePtr</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><code>..</code></dt></dl><dl><dt class="spec extension"><code><span class="keyword">type</span> <a href="index.html#type-t">t</a> += </code><code><span class="extension">Ptr</span> <span class="keyword">of</span> int</code></dt></dl><dl><dt class="spec value" id="val-wrap"><a href="#val-wrap" class="anchor"></a><code><span class="keyword">val</span> wrap : int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-unwrap"><a href="#val-unwrap" class="anchor"></a><code><span class="keyword">val</span> unwrap : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</code></dt></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Clang_ast_types (infer.ATDGenerated.Clang_ast_types)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Clang_ast_types</nav><h1>Module <code>ATDGenerated.Clang_ast_types</code></h1></header><div class="spec module" id="module-TypePtr"><a href="#module-TypePtr" class="anchor"></a><code><span class="keyword">module</span> <a href="TypePtr/index.html">TypePtr</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Clang_ast_types (infer.ATDGenerated.Clang_ast_types)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Clang_ast_types</nav><h1>Module <code>ATDGenerated.Clang_ast_types</code></h1></header><div class="spec module" id="module-TypePtr"><a href="#module-TypePtr" class="anchor"></a><code><span class="keyword">module</span> <a href="TypePtr/index.html">TypePtr</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Clang_ast_visit (infer.ATDGenerated.Clang_ast_visit)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Clang_ast_visit</nav><h1>Module <code>ATDGenerated.Clang_ast_visit</code></h1></header><dl><dt class="spec type" id="type-visit_decl_t"><a href="#type-visit_decl_t" class="anchor"></a><code><span class="keyword">type</span> visit_decl_t</code><code> = Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-decl">Clang_ast_t.decl</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec type" id="type-visit_stmt_t"><a href="#type-visit_stmt_t" class="anchor"></a><code><span class="keyword">type</span> visit_stmt_t</code><code> = Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-stmt">Clang_ast_t.stmt</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec type" id="type-visit_type_t"><a href="#type-visit_type_t" class="anchor"></a><code><span class="keyword">type</span> visit_type_t</code><code> = Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-c_type">Clang_ast_t.c_type</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec type" id="type-visit_src_loc_t"><a href="#type-visit_src_loc_t" class="anchor"></a><code><span class="keyword">type</span> visit_src_loc_t</code><code> = Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-source_location">Clang_ast_t.source_location</a> <span>&#45;&gt;</span> unit</code></dt></dl><dl><dt class="spec value" id="val-empty_visitor"><a href="#val-empty_visitor" class="anchor"></a><code><span class="keyword">val</span> empty_visitor : <span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-decl_visitor"><a href="#val-decl_visitor" class="anchor"></a><code><span class="keyword">val</span> decl_visitor : <span><a href="index.html#type-visit_decl_t">visit_decl_t</a> Stdlib.ref</span></code></dt><dt class="spec value" id="val-stmt_visitor"><a href="#val-stmt_visitor" class="anchor"></a><code><span class="keyword">val</span> stmt_visitor : <span><a href="index.html#type-visit_stmt_t">visit_stmt_t</a> Stdlib.ref</span></code></dt><dt class="spec value" id="val-type_visitor"><a href="#val-type_visitor" class="anchor"></a><code><span class="keyword">val</span> type_visitor : <span><a href="index.html#type-visit_type_t">visit_type_t</a> Stdlib.ref</span></code></dt><dt class="spec value" id="val-source_location_visitor"><a href="#val-source_location_visitor" class="anchor"></a><code><span class="keyword">val</span> source_location_visitor : <span><a href="index.html#type-visit_src_loc_t">visit_src_loc_t</a> Stdlib.ref</span></code></dt><dt class="spec value" id="val-visit_decl"><a href="#val-visit_decl" class="anchor"></a><code><span class="keyword">val</span> visit_decl : Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-decl">Clang_ast_t.decl</a> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> option</span></code></dt><dt class="spec value" id="val-visit_stmt"><a href="#val-visit_stmt" class="anchor"></a><code><span class="keyword">val</span> visit_stmt : Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-stmt">Clang_ast_t.stmt</a> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> option</span></code></dt><dt class="spec value" id="val-visit_type"><a href="#val-visit_type" class="anchor"></a><code><span class="keyword">val</span> visit_type : Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-c_type">Clang_ast_t.c_type</a> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> option</span></code></dt><dt class="spec value" id="val-visit_source_loc"><a href="#val-visit_source_loc" class="anchor"></a><code><span class="keyword">val</span> visit_source_loc : Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-source_location">Clang_ast_t.source_location</a> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> option</span></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Clang_ast_visit (infer.ATDGenerated.Clang_ast_visit)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Clang_ast_visit</nav><h1>Module <code>ATDGenerated.Clang_ast_visit</code></h1></header><dl><dt class="spec type" id="type-visit_decl_t"><a href="#type-visit_decl_t" class="anchor"></a><code><span class="keyword">type</span> visit_decl_t</code><code> = Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-decl">Clang_ast_t.decl</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec type" id="type-visit_stmt_t"><a href="#type-visit_stmt_t" class="anchor"></a><code><span class="keyword">type</span> visit_stmt_t</code><code> = Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-stmt">Clang_ast_t.stmt</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec type" id="type-visit_type_t"><a href="#type-visit_type_t" class="anchor"></a><code><span class="keyword">type</span> visit_type_t</code><code> = Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-c_type">Clang_ast_t.c_type</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec type" id="type-visit_src_loc_t"><a href="#type-visit_src_loc_t" class="anchor"></a><code><span class="keyword">type</span> visit_src_loc_t</code><code> = Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-source_location">Clang_ast_t.source_location</a> <span>&#45;&gt;</span> unit</code></dt></dl><dl><dt class="spec value" id="val-empty_visitor"><a href="#val-empty_visitor" class="anchor"></a><code><span class="keyword">val</span> empty_visitor : <span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-decl_visitor"><a href="#val-decl_visitor" class="anchor"></a><code><span class="keyword">val</span> decl_visitor : <span><a href="index.html#type-visit_decl_t">visit_decl_t</a> Stdlib.ref</span></code></dt><dt class="spec value" id="val-stmt_visitor"><a href="#val-stmt_visitor" class="anchor"></a><code><span class="keyword">val</span> stmt_visitor : <span><a href="index.html#type-visit_stmt_t">visit_stmt_t</a> Stdlib.ref</span></code></dt><dt class="spec value" id="val-type_visitor"><a href="#val-type_visitor" class="anchor"></a><code><span class="keyword">val</span> type_visitor : <span><a href="index.html#type-visit_type_t">visit_type_t</a> Stdlib.ref</span></code></dt><dt class="spec value" id="val-source_location_visitor"><a href="#val-source_location_visitor" class="anchor"></a><code><span class="keyword">val</span> source_location_visitor : <span><a href="index.html#type-visit_src_loc_t">visit_src_loc_t</a> Stdlib.ref</span></code></dt><dt class="spec value" id="val-visit_decl"><a href="#val-visit_decl" class="anchor"></a><code><span class="keyword">val</span> visit_decl : Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-decl">Clang_ast_t.decl</a> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> option</span></code></dt><dt class="spec value" id="val-visit_stmt"><a href="#val-visit_stmt" class="anchor"></a><code><span class="keyword">val</span> visit_stmt : Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-stmt">Clang_ast_t.stmt</a> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> option</span></code></dt><dt class="spec value" id="val-visit_type"><a href="#val-visit_type" class="anchor"></a><code><span class="keyword">val</span> visit_type : Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-c_type">Clang_ast_t.c_type</a> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> option</span></code></dt><dt class="spec value" id="val-visit_source_loc"><a href="#val-visit_source_loc" class="anchor"></a><code><span class="keyword">val</span> visit_source_loc : Atdgen_runtime.Util.Validation.path <span>&#45;&gt;</span> <a href="../Clang_ast_t/index.html#type-source_location">Clang_ast_t.source_location</a> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> option</span></code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Clang_profiler_samples_t (infer.ATDGenerated.Clang_profiler_samples_t)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Clang_profiler_samples_t</nav><h1>Module <code>ATDGenerated.Clang_profiler_samples_t</code></h1></header><dl><dt class="spec type" id="type-native_symbol"><a href="#type-native_symbol" class="anchor"></a><code><span class="keyword">type</span> native_symbol</code><code> = </code><code>{</code><table class="record"><tr id="type-native_symbol.name" class="anchored"><td class="def field"><a href="#type-native_symbol.name" class="anchor"></a><code>name : string;</code></td></tr><tr id="type-native_symbol.mangled_name" class="anchored"><td class="def field"><a href="#type-native_symbol.mangled_name" class="anchor"></a><code>mangled_name : <span>string option</span>;</code></td></tr><tr id="type-native_symbol.hashed_mangled_name" class="anchored"><td class="def field"><a href="#type-native_symbol.hashed_mangled_name" class="anchor"></a><code>hashed_mangled_name : <span>string option</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-profiler_sample"><a href="#type-profiler_sample" class="anchor"></a><code><span class="keyword">type</span> profiler_sample</code><code> = </code><code>{</code><table class="record"><tr id="type-profiler_sample.test" class="anchored"><td class="def field"><a href="#type-profiler_sample.test" class="anchor"></a><code>test : string;</code></td></tr><tr id="type-profiler_sample.native_symbols" class="anchored"><td class="def field"><a href="#type-profiler_sample.native_symbols" class="anchor"></a><code>native_symbols : <span><a href="index.html#type-native_symbol">native_symbol</a> list</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-profiler_samples"><a href="#type-profiler_samples" class="anchor"></a><code><span class="keyword">type</span> profiler_samples</code><code> = <span><a href="index.html#type-profiler_sample">profiler_sample</a> list</span></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Clang_profiler_samples_t (infer.ATDGenerated.Clang_profiler_samples_t)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Clang_profiler_samples_t</nav><h1>Module <code>ATDGenerated.Clang_profiler_samples_t</code></h1></header><dl><dt class="spec type" id="type-native_symbol"><a href="#type-native_symbol" class="anchor"></a><code><span class="keyword">type</span> native_symbol</code><code> = </code><code>{</code><table class="record"><tr id="type-native_symbol.name" class="anchored"><td class="def field"><a href="#type-native_symbol.name" class="anchor"></a><code>name : string;</code></td></tr><tr id="type-native_symbol.mangled_name" class="anchored"><td class="def field"><a href="#type-native_symbol.mangled_name" class="anchor"></a><code>mangled_name : <span>string option</span>;</code></td></tr><tr id="type-native_symbol.hashed_mangled_name" class="anchored"><td class="def field"><a href="#type-native_symbol.hashed_mangled_name" class="anchor"></a><code>hashed_mangled_name : <span>string option</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-profiler_sample"><a href="#type-profiler_sample" class="anchor"></a><code><span class="keyword">type</span> profiler_sample</code><code> = </code><code>{</code><table class="record"><tr id="type-profiler_sample.test" class="anchored"><td class="def field"><a href="#type-profiler_sample.test" class="anchor"></a><code>test : string;</code></td></tr><tr id="type-profiler_sample.native_symbols" class="anchored"><td class="def field"><a href="#type-profiler_sample.native_symbols" class="anchor"></a><code>native_symbols : <span><a href="index.html#type-native_symbol">native_symbol</a> list</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-profiler_samples"><a href="#type-profiler_samples" class="anchor"></a><code><span class="keyword">type</span> profiler_samples</code><code> = <span><a href="index.html#type-profiler_sample">profiler_sample</a> list</span></code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Config_impact_data_t (infer.ATDGenerated.Config_impact_data_t)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Config_impact_data_t</nav><h1>Module <code>ATDGenerated.Config_impact_data_t</code></h1></header><dl><dt class="spec type" id="type-config_item"><a href="#type-config_item" class="anchor"></a><code><span class="keyword">type</span> config_item</code><code> = </code><code>{</code><table class="record"><tr id="type-config_item.method_name" class="anchored"><td class="def field"><a href="#type-config_item.method_name" class="anchor"></a><code>method_name : string;</code></td></tr><tr id="type-config_item.class_name" class="anchored"><td class="def field"><a href="#type-config_item.class_name" class="anchor"></a><code>class_name : string;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-config_data"><a href="#type-config_data" class="anchor"></a><code><span class="keyword">type</span> config_data</code><code> = <span><a href="index.html#type-config_item">config_item</a> list</span></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Config_impact_data_t (infer.ATDGenerated.Config_impact_data_t)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Config_impact_data_t</nav><h1>Module <code>ATDGenerated.Config_impact_data_t</code></h1></header><dl><dt class="spec type" id="type-config_item"><a href="#type-config_item" class="anchor"></a><code><span class="keyword">type</span> config_item</code><code> = </code><code>{</code><table class="record"><tr id="type-config_item.method_name" class="anchored"><td class="def field"><a href="#type-config_item.method_name" class="anchor"></a><code>method_name : string;</code></td></tr><tr id="type-config_item.class_name" class="anchored"><td class="def field"><a href="#type-config_item.class_name" class="anchor"></a><code>class_name : string;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-config_data"><a href="#type-config_data" class="anchor"></a><code><span class="keyword">type</span> config_data</code><code> = <span><a href="index.html#type-config_item">config_item</a> list</span></code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Java_method_decl_t (infer.ATDGenerated.Java_method_decl_t)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Java_method_decl_t</nav><h1>Module <code>ATDGenerated.Java_method_decl_t</code></h1></header><dl><dt class="spec type" id="type-java_method_decl"><a href="#type-java_method_decl" class="anchor"></a><code><span class="keyword">type</span> java_method_decl</code><code> = </code><code>{</code><table class="record"><tr id="type-java_method_decl.signature" class="anchored"><td class="def field"><a href="#type-java_method_decl.signature" class="anchor"></a><code>signature : <span>string option</span>;</code></td></tr><tr id="type-java_method_decl.unresolved_signature" class="anchored"><td class="def field"><a href="#type-java_method_decl.unresolved_signature" class="anchor"></a><code>unresolved_signature : bool;</code></td></tr><tr id="type-java_method_decl.method_name" class="anchored"><td class="def field"><a href="#type-java_method_decl.method_name" class="anchor"></a><code>method_name : string;</code></td></tr><tr id="type-java_method_decl.source_file" class="anchored"><td class="def field"><a href="#type-java_method_decl.source_file" class="anchor"></a><code>source_file : string;</code></td></tr><tr id="type-java_method_decl.start_line" class="anchored"><td class="def field"><a href="#type-java_method_decl.start_line" class="anchor"></a><code>start_line : int;</code></td></tr><tr id="type-java_method_decl.end_line" class="anchored"><td class="def field"><a href="#type-java_method_decl.end_line" class="anchor"></a><code>end_line : int;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-java_method_decls"><a href="#type-java_method_decls" class="anchor"></a><code><span class="keyword">type</span> java_method_decls</code><code> = <span><a href="index.html#type-java_method_decl">java_method_decl</a> list</span></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Java_method_decl_t (infer.ATDGenerated.Java_method_decl_t)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Java_method_decl_t</nav><h1>Module <code>ATDGenerated.Java_method_decl_t</code></h1></header><dl><dt class="spec type" id="type-java_method_decl"><a href="#type-java_method_decl" class="anchor"></a><code><span class="keyword">type</span> java_method_decl</code><code> = </code><code>{</code><table class="record"><tr id="type-java_method_decl.signature" class="anchored"><td class="def field"><a href="#type-java_method_decl.signature" class="anchor"></a><code>signature : <span>string option</span>;</code></td></tr><tr id="type-java_method_decl.unresolved_signature" class="anchored"><td class="def field"><a href="#type-java_method_decl.unresolved_signature" class="anchor"></a><code>unresolved_signature : bool;</code></td></tr><tr id="type-java_method_decl.method_name" class="anchored"><td class="def field"><a href="#type-java_method_decl.method_name" class="anchor"></a><code>method_name : string;</code></td></tr><tr id="type-java_method_decl.source_file" class="anchored"><td class="def field"><a href="#type-java_method_decl.source_file" class="anchor"></a><code>source_file : string;</code></td></tr><tr id="type-java_method_decl.start_line" class="anchored"><td class="def field"><a href="#type-java_method_decl.start_line" class="anchor"></a><code>start_line : int;</code></td></tr><tr id="type-java_method_decl.end_line" class="anchored"><td class="def field"><a href="#type-java_method_decl.end_line" class="anchor"></a><code>end_line : int;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-java_method_decls"><a href="#type-java_method_decls" class="anchor"></a><code><span class="keyword">type</span> java_method_decls</code><code> = <span><a href="index.html#type-java_method_decl">java_method_decl</a> list</span></code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Java_profiler_samples_t (infer.ATDGenerated.Java_profiler_samples_t)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Java_profiler_samples_t</nav><h1>Module <code>ATDGenerated.Java_profiler_samples_t</code></h1></header><dl><dt class="spec type" id="type-sampled_method"><a href="#type-sampled_method" class="anchor"></a><code><span class="keyword">type</span> sampled_method</code><code> = </code><code>{</code><table class="record"><tr id="type-sampled_method.classname" class="anchored"><td class="def field"><a href="#type-sampled_method.classname" class="anchor"></a><code>classname : string;</code></td></tr><tr id="type-sampled_method.methodname" class="anchored"><td class="def field"><a href="#type-sampled_method.methodname" class="anchor"></a><code>methodname : string;</code></td></tr><tr id="type-sampled_method.signature" class="anchored"><td class="def field"><a href="#type-sampled_method.signature" class="anchor"></a><code>signature : string;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-java_profiler_sample"><a href="#type-java_profiler_sample" class="anchor"></a><code><span class="keyword">type</span> java_profiler_sample</code><code> = </code><code>{</code><table class="record"><tr id="type-java_profiler_sample.test" class="anchored"><td class="def field"><a href="#type-java_profiler_sample.test" class="anchor"></a><code>test : string;</code></td></tr><tr id="type-java_profiler_sample.methods" class="anchored"><td class="def field"><a href="#type-java_profiler_sample.methods" class="anchor"></a><code>methods : <span><a href="index.html#type-sampled_method">sampled_method</a> list</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-java_profiler_samples"><a href="#type-java_profiler_samples" class="anchor"></a><code><span class="keyword">type</span> java_profiler_samples</code><code> = <span><a href="index.html#type-java_profiler_sample">java_profiler_sample</a> list</span></code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Java_profiler_samples_t (infer.ATDGenerated.Java_profiler_samples_t)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Java_profiler_samples_t</nav><h1>Module <code>ATDGenerated.Java_profiler_samples_t</code></h1></header><dl><dt class="spec type" id="type-sampled_method"><a href="#type-sampled_method" class="anchor"></a><code><span class="keyword">type</span> sampled_method</code><code> = </code><code>{</code><table class="record"><tr id="type-sampled_method.classname" class="anchored"><td class="def field"><a href="#type-sampled_method.classname" class="anchor"></a><code>classname : string;</code></td></tr><tr id="type-sampled_method.methodname" class="anchored"><td class="def field"><a href="#type-sampled_method.methodname" class="anchor"></a><code>methodname : string;</code></td></tr><tr id="type-sampled_method.signature" class="anchored"><td class="def field"><a href="#type-sampled_method.signature" class="anchor"></a><code>signature : string;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-java_profiler_sample"><a href="#type-java_profiler_sample" class="anchor"></a><code><span class="keyword">type</span> java_profiler_sample</code><code> = </code><code>{</code><table class="record"><tr id="type-java_profiler_sample.test" class="anchored"><td class="def field"><a href="#type-java_profiler_sample.test" class="anchor"></a><code>test : string;</code></td></tr><tr id="type-java_profiler_sample.methods" class="anchored"><td class="def field"><a href="#type-java_profiler_sample.methods" class="anchor"></a><code>methods : <span><a href="index.html#type-sampled_method">sampled_method</a> list</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-java_profiler_samples"><a href="#type-java_profiler_samples" class="anchor"></a><code><span class="keyword">type</span> java_profiler_samples</code><code> = <span><a href="index.html#type-java_profiler_sample">java_profiler_sample</a> list</span></code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Runstate_t (infer.ATDGenerated.Runstate_t)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Runstate_t</nav><h1>Module <code>ATDGenerated.Runstate_t</code></h1></header><dl><dt class="spec type" id="type-infer_version"><a href="#type-infer_version" class="anchor"></a><code><span class="keyword">type</span> infer_version</code><code> = </code><code>{</code><table class="record"><tr id="type-infer_version.major" class="anchored"><td class="def field"><a href="#type-infer_version.major" class="anchor"></a><code>major : int;</code></td></tr><tr id="type-infer_version.minor" class="anchored"><td class="def field"><a href="#type-infer_version.minor" class="anchor"></a><code>minor : int;</code></td></tr><tr id="type-infer_version.patch" class="anchored"><td class="def field"><a href="#type-infer_version.patch" class="anchor"></a><code>patch : int;</code></td></tr><tr id="type-infer_version.commit" class="anchored"><td class="def field"><a href="#type-infer_version.commit" class="anchor"></a><code>commit : string;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-command"><a href="#type-command" class="anchor"></a><code><span class="keyword">type</span> command</code><code> = <a href="../InferCommand/index.html#type-t">InferCommand.t</a></code></dt><dt class="spec type" id="type-run_info"><a href="#type-run_info" class="anchor"></a><code><span class="keyword">type</span> run_info</code><code> = </code><code>{</code><table class="record"><tr id="type-run_info.date" class="anchored"><td class="def field"><a href="#type-run_info.date" class="anchor"></a><code>date : string;</code></td></tr><tr id="type-run_info.command" class="anchored"><td class="def field"><a href="#type-run_info.command" class="anchor"></a><code>command : <a href="index.html#type-command">command</a>;</code></td></tr><tr id="type-run_info.infer_version" class="anchored"><td class="def field"><a href="#type-run_info.infer_version" class="anchor"></a><code>infer_version : <a href="index.html#type-infer_version">infer_version</a>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><code>{</code><table class="record"><tr id="type-t.run_sequence" class="anchored"><td class="def field"><a href="#type-t.run_sequence" class="anchor"></a><code>run_sequence : <span><a href="index.html#type-run_info">run_info</a> list</span>;</code></td></tr><tr id="type-t.results_dir_format" class="anchored"><td class="def field"><a href="#type-t.results_dir_format" class="anchor"></a><code>results_dir_format : string;</code></td></tr><tr id="type-t.should_merge_capture" class="anchored"><td class="def field"><a href="#type-t.should_merge_capture" class="anchor"></a><code>should_merge_capture : bool;</code></td></tr></table><code>}</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Runstate_t (infer.ATDGenerated.Runstate_t)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated</a> &#x00BB; Runstate_t</nav><h1>Module <code>ATDGenerated.Runstate_t</code></h1></header><dl><dt class="spec type" id="type-infer_version"><a href="#type-infer_version" class="anchor"></a><code><span class="keyword">type</span> infer_version</code><code> = </code><code>{</code><table class="record"><tr id="type-infer_version.major" class="anchored"><td class="def field"><a href="#type-infer_version.major" class="anchor"></a><code>major : int;</code></td></tr><tr id="type-infer_version.minor" class="anchored"><td class="def field"><a href="#type-infer_version.minor" class="anchor"></a><code>minor : int;</code></td></tr><tr id="type-infer_version.patch" class="anchored"><td class="def field"><a href="#type-infer_version.patch" class="anchor"></a><code>patch : int;</code></td></tr><tr id="type-infer_version.commit" class="anchored"><td class="def field"><a href="#type-infer_version.commit" class="anchor"></a><code>commit : string;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-command"><a href="#type-command" class="anchor"></a><code><span class="keyword">type</span> command</code><code> = <a href="../InferCommand/index.html#type-t">InferCommand.t</a></code></dt><dt class="spec type" id="type-run_info"><a href="#type-run_info" class="anchor"></a><code><span class="keyword">type</span> run_info</code><code> = </code><code>{</code><table class="record"><tr id="type-run_info.date" class="anchored"><td class="def field"><a href="#type-run_info.date" class="anchor"></a><code>date : string;</code></td></tr><tr id="type-run_info.command" class="anchored"><td class="def field"><a href="#type-run_info.command" class="anchor"></a><code>command : <a href="index.html#type-command">command</a>;</code></td></tr><tr id="type-run_info.infer_version" class="anchored"><td class="def field"><a href="#type-run_info.infer_version" class="anchor"></a><code>infer_version : <a href="index.html#type-infer_version">infer_version</a>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><code>{</code><table class="record"><tr id="type-t.run_sequence" class="anchored"><td class="def field"><a href="#type-t.run_sequence" class="anchor"></a><code>run_sequence : <span><a href="index.html#type-run_info">run_info</a> list</span>;</code></td></tr><tr id="type-t.results_dir_format" class="anchored"><td class="def field"><a href="#type-t.results_dir_format" class="anchor"></a><code>results_dir_format : string;</code></td></tr><tr id="type-t.should_merge_capture" class="anchored"><td class="def field"><a href="#type-t.should_merge_capture" class="anchor"></a><code>should_merge_capture : bool;</code></td></tr></table><code>}</code></dt></dl></div></body></html>

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>TypePtr (infer.ATDGenerated__Clang_ast_types.TypePtr)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated__Clang_ast_types</a> &#x00BB; TypePtr</nav><h1>Module <code>ATDGenerated__Clang_ast_types.TypePtr</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><code>..</code></dt></dl><dl><dt class="spec extension"><code><span class="keyword">type</span> <a href="index.html#type-t">t</a> += </code><code><span class="extension">Ptr</span> <span class="keyword">of</span> int</code></dt></dl><dl><dt class="spec value" id="val-wrap"><a href="#val-wrap" class="anchor"></a><code><span class="keyword">val</span> wrap : int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-unwrap"><a href="#val-unwrap" class="anchor"></a><code><span class="keyword">val</span> unwrap : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>TypePtr (infer.ATDGenerated__Clang_ast_types.TypePtr)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ATDGenerated__Clang_ast_types</a> &#x00BB; TypePtr</nav><h1>Module <code>ATDGenerated__Clang_ast_types.TypePtr</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><code>..</code></dt></dl><dl><dt class="spec extension"><code><span class="keyword">type</span> <a href="index.html#type-t">t</a> += </code><code><span class="extension">Ptr</span> <span class="keyword">of</span> int</code></dt></dl><dl><dt class="spec value" id="val-wrap"><a href="#val-wrap" class="anchor"></a><code><span class="keyword">val</span> wrap : int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-unwrap"><a href="#val-unwrap" class="anchor"></a><code><span class="keyword">val</span> unwrap : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</code></dt></dl></div></body></html>

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ATDGenerated__Clang_ast_types (infer.ATDGenerated__Clang_ast_types)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ATDGenerated__Clang_ast_types</nav><h1>Module <code>ATDGenerated__Clang_ast_types</code></h1></header><div class="spec module" id="module-TypePtr"><a href="#module-TypePtr" class="anchor"></a><code><span class="keyword">module</span> <a href="TypePtr/index.html">TypePtr</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ATDGenerated__Clang_ast_types (infer.ATDGenerated__Clang_ast_types)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> <a href="../index.html">infer</a> &#x00BB; ATDGenerated__Clang_ast_types</nav><h1>Module <code>ATDGenerated__Clang_ast_types</code></h1></header><div class="spec module" id="module-TypePtr"><a href="#module-TypePtr" class="anchor"></a><code><span class="keyword">module</span> <a href="TypePtr/index.html">TypePtr</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></div></body></html>

Some files were not shown because too many files have changed in this diff Show More

Loading…
Cancel
Save