pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[website] Update website: forgot to add untracked files

Browse Source 
Reviewed By: jvillard

Differential Revision: D28640762

fbshipit-source-id: 6f4950658
master
Daiva Naudziuniene 4 years ago committed by Facebook GitHub Bot
parent ec1a13fc52
commit a3d7d87f96
100 changed files with 150 additions and 76 deletions
Show Stats Download Patch File Download Diff File

22
website/static/man/next/infer-analyze.1.html
Unescape View File

@ -520,14 +520,32 @@ modelled as allocs in Pulse</p>
<i>string</i></p>
<p style="margin-left:17%;">Regex of methods that should be
modelled as free in Pulse</p>
modelled as wrappers to <i>free</i>(3) in Pulse. The pointer
to be freed should be the first argument of the function.
This should only be needed if the code of the wrapper is not
visible to infer or if Pulse somehow doesn't understand it
(e.g. the call is dispatched to global function
pointers).</p>
<p style="margin-left:11%;"><b>--pulse-model-malloc-pattern</b>
<i>string</i></p>
<p style="margin-left:17%;">Regex of methods that should be
modelled as mallocs in Pulse</p>
modelled as wrappers to <i>malloc</i>(3) in Pulse. The size
to allocate should be the first argument of the function.
See <b>--pulse-model-free-pattern</b> for more
information.</p>
<p style="margin-left:11%;"><b>--pulse-model-realloc-pattern</b>
<i>string</i></p>
<p style="margin-left:17%;">Regex of methods that should be
modelled as wrappers to <i>realloc</i>(3) in Pulse. The
pointer to be reallocated should be the first argument of
the function and the new size the second argument. See
<b>--pulse-model-free-pattern</b> for more information.</p>
<p style="margin-left:11%;"><b>--pulse-model-release-pattern</b>

22
website/static/man/next/infer.1.html
Unescape View File

@ -1706,14 +1706,32 @@ modelled as allocs in Pulse</p>
--pulse-model-free-pattern</b> <i>string</i></p>
<p style="margin-left:17%;">Regex of methods that should be
modelled as free in Pulse</p>
modelled as wrappers to <i>free</i>(3) in Pulse. The pointer
to be freed should be the first argument of the function.
This should only be needed if the code of the wrapper is not
visible to infer or if Pulse somehow doesn't understand it
(e.g. the call is dispatched to global function
pointers).</p>
<p style="margin-left:11%;">See also
<b>infer-analyze</b>(1). <b><br>
--pulse-model-malloc-pattern</b> <i>string</i></p>
<p style="margin-left:17%;">Regex of methods that should be
modelled as mallocs in Pulse</p>
modelled as wrappers to <i>malloc</i>(3) in Pulse. The size
to allocate should be the first argument of the function.
See <b>--pulse-model-free-pattern</b> for more
information.</p>
<p style="margin-left:11%;">See also
<b>infer-analyze</b>(1). <b><br>
--pulse-model-realloc-pattern</b> <i>string</i></p>
<p style="margin-left:17%;">Regex of methods that should be
modelled as wrappers to <i>realloc</i>(3) in Pulse. The
pointer to be reallocated should be the first argument of
the function and the new size the second argument. See
<b>--pulse-model-free-pattern</b> for more information.</p>
<p style="margin-left:11%;">See also
<b>infer-analyze</b>(1). <b><br>

2
website/static/odoc/next/infer/Absint/AbstractDomain/InvertedMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint/AbstractDomain/Map/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint/AbstractDomain/MapOfPPMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint/AbstractDomain/SafeInvertedMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint/AbstractDomain/module-type-InvertedMapS/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint/AbstractDomain/module-type-MapS/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint/IdAccessPathMapDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint/PatternMatch/ObjectiveC/index.html
Unescape View File

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ObjectiveC (infer.Absint.PatternMatch.ObjectiveC)</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">Absint</a> &#x00BB; <a href="../index.html">PatternMatch</a> &#x00BB; ObjectiveC</nav><h1>Module <code>PatternMatch.ObjectiveC</code></h1></header><dl><dt class="spec value" id="val-implements"><a href="#val-implements" class="anchor"></a><code><span class="keyword">val</span> implements : string <span>&#45;&gt;</span> <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements a given ObjC class</p></dd></dl><dl><dt class="spec value" id="val-implements_ns_string_variants"><a href="#val-implements_ns_string_variants" class="anchor"></a><code><span class="keyword">val</span> implements_ns_string_variants : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements NSString or NSAttributedString</p></dd></dl><dl><dt class="spec value" id="val-conforms_to"><a href="#val-conforms_to" class="anchor"></a><code><span class="keyword">val</span> conforms_to : <span>protocol:string</span> <span>&#45;&gt;</span> <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class conforms to a given ObjC protocol</p></dd></dl><dl><dt class="spec value" id="val-implements_collection"><a href="#val-implements_collection" class="anchor"></a><code><span class="keyword">val</span> implements_collection : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_create_or_copy"><a href="#val-is_core_graphics_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_create_or_copy : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_foundation_create_or_copy"><a href="#val-is_core_foundation_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_foundation_create_or_copy : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_release"><a href="#val-is_core_graphics_release" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_release : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_alloc"><a href="#val-is_modelled_as_alloc" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_alloc : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_release"><a href="#val-is_modelled_as_release" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_release : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ObjectiveC (infer.Absint.PatternMatch.ObjectiveC)</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">Absint</a> &#x00BB; <a href="../index.html">PatternMatch</a> &#x00BB; ObjectiveC</nav><h1>Module <code>PatternMatch.ObjectiveC</code></h1></header><dl><dt class="spec value" id="val-implements"><a href="#val-implements" class="anchor"></a><code><span class="keyword">val</span> implements : string <span>&#45;&gt;</span> <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements a given ObjC class</p></dd></dl><dl><dt class="spec value" id="val-implements_ns_string_variants"><a href="#val-implements_ns_string_variants" class="anchor"></a><code><span class="keyword">val</span> implements_ns_string_variants : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements NSString or NSAttributedString</p></dd></dl><dl><dt class="spec value" id="val-conforms_to"><a href="#val-conforms_to" class="anchor"></a><code><span class="keyword">val</span> conforms_to : <span>protocol:string</span> <span>&#45;&gt;</span> <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class conforms to a given ObjC protocol</p></dd></dl><dl><dt class="spec value" id="val-implements_collection"><a href="#val-implements_collection" class="anchor"></a><code><span class="keyword">val</span> implements_collection : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_create_or_copy"><a href="#val-is_core_graphics_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_create_or_copy : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_foundation_create_or_copy"><a href="#val-is_core_foundation_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_foundation_create_or_copy : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_release"><a href="#val-is_core_graphics_release" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_release : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

2
website/static/odoc/next/infer/Absint__AbstractDomain/InvertedMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint__AbstractDomain/Map/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint__AbstractDomain/MapOfPPMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint__AbstractDomain/SafeInvertedMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint__AbstractDomain/module-type-InvertedMapS/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint__AbstractDomain/module-type-MapS/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint__IdAccessPathMapDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Absint__PatternMatch/ObjectiveC/index.html
Unescape View File

@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ObjectiveC (infer.Absint__PatternMatch.ObjectiveC)</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">Absint__PatternMatch</a> &#x00BB; ObjectiveC</nav><h1>Module <code>Absint__PatternMatch.ObjectiveC</code></h1></header><dl><dt class="spec value" id="val-implements"><a href="#val-implements" class="anchor"></a><code><span class="keyword">val</span> implements : string <span>&#45;&gt;</span> <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements a given ObjC class</p></dd></dl><dl><dt class="spec value" id="val-implements_ns_string_variants"><a href="#val-implements_ns_string_variants" class="anchor"></a><code><span class="keyword">val</span> implements_ns_string_variants : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements NSString or NSAttributedString</p></dd></dl><dl><dt class="spec value" id="val-conforms_to"><a href="#val-conforms_to" class="anchor"></a><code><span class="keyword">val</span> conforms_to : <span>protocol:string</span> <span>&#45;&gt;</span> <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class conforms to a given ObjC protocol</p></dd></dl><dl><dt class="spec value" id="val-implements_collection"><a href="#val-implements_collection" class="anchor"></a><code><span class="keyword">val</span> implements_collection : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_create_or_copy"><a href="#val-is_core_graphics_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_create_or_copy : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_foundation_create_or_copy"><a href="#val-is_core_foundation_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_foundation_create_or_copy : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_release"><a href="#val-is_core_graphics_release" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_release : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_alloc"><a href="#val-is_modelled_as_alloc" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_alloc : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_release"><a href="#val-is_modelled_as_release" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_release : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ObjectiveC (infer.Absint__PatternMatch.ObjectiveC)</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">Absint__PatternMatch</a> &#x00BB; ObjectiveC</nav><h1>Module <code>Absint__PatternMatch.ObjectiveC</code></h1></header><dl><dt class="spec value" id="val-implements"><a href="#val-implements" class="anchor"></a><code><span class="keyword">val</span> implements : string <span>&#45;&gt;</span> <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements a given ObjC class</p></dd></dl><dl><dt class="spec value" id="val-implements_ns_string_variants"><a href="#val-implements_ns_string_variants" class="anchor"></a><code><span class="keyword">val</span> implements_ns_string_variants : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements NSString or NSAttributedString</p></dd></dl><dl><dt class="spec value" id="val-conforms_to"><a href="#val-conforms_to" class="anchor"></a><code><span class="keyword">val</span> conforms_to : <span>protocol:string</span> <span>&#45;&gt;</span> <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class conforms to a given ObjC protocol</p></dd></dl><dl><dt class="spec value" id="val-implements_collection"><a href="#val-implements_collection" class="anchor"></a><code><span class="keyword">val</span> implements_collection : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_create_or_copy"><a href="#val-is_core_graphics_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_create_or_copy : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_foundation_create_or_copy"><a href="#val-is_core_foundation_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_foundation_create_or_copy : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_release"><a href="#val-is_core_graphics_release" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_release : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

2
website/static/odoc/next/infer/BO/ArrayBlk/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/BO/BufferOverrunDomain/AliasTargets/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/BO/BufferOverrunDomain/PrunePairs/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/BO__ArrayBlk/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/BO__BufferOverrunDomain/AliasTargets/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/BO__BufferOverrunDomain/PrunePairs/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Backend/ClosuresSubstitution/Domain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Backend__ClosuresSubstitution/Domain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Checkers/AnnotationReachabilityDomain/SinkMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Checkers/AnnotationReachabilityDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Checkers/ReachingDefs/ReachingDefsMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Checkers__AnnotationReachabilityDomain/SinkMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Checkers__AnnotationReachabilityDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Checkers__ReachingDefs/ReachingDefsMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Concurrency/RacerDDomain/AttributeMapDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Concurrency/StarvationDomain/AttributeDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Concurrency__RacerDDomain/AttributeMapDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Concurrency__StarvationDomain/AttributeDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Costlib/CostModels/NSAttributedString/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>NSAttributedString (infer.Costlib.CostModels.NSAttributedString)</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">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; NSAttributedString</nav><h1>Module <code>CostModels.NSAttributedString</code></h1></header><dl><dt class="spec value" id="val-enumerate_using_block"><a href="#val-enumerate_using_block" class="anchor"></a><code><span class="keyword">val</span> enumerate_using_block : <span><span><span class="type-var">'a</span> <a href="../../../Absint/ProcnameDispatcher/Call/FuncArg/index.html#type-t">Absint.ProcnameDispatcher.Call.FuncArg.t</a></span> list</span> <span>&#45;&gt;</span> <a href="../../CostUtils/CostModelEnv/index.html#type-cost_model_env">CostUtils.CostModelEnv.cost_model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

2
website/static/odoc/next/infer/Costlib__CostModels/NSAttributedString/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>NSAttributedString (infer.Costlib__CostModels.NSAttributedString)</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">Costlib__CostModels</a> &#x00BB; NSAttributedString</nav><h1>Module <code>Costlib__CostModels.NSAttributedString</code></h1></header><dl><dt class="spec value" id="val-enumerate_using_block"><a href="#val-enumerate_using_block" class="anchor"></a><code><span class="keyword">val</span> enumerate_using_block : <span><span><span class="type-var">'a</span> <a href="../../Absint/ProcnameDispatcher/Call/FuncArg/index.html#type-t">Absint.ProcnameDispatcher.Call.FuncArg.t</a></span> list</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/CostModelEnv/index.html#type-cost_model_env">Costlib.CostUtils.CostModelEnv.cost_model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

0
website/static/odoc/next/infer/ErlangFrontend/.dune-keep
Unescape View File

2
website/static/odoc/next/infer/ErlangFrontend/ErlangAst/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/ErlangFrontend/ErlangJsonParser/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ErlangJsonParser (infer.ErlangFrontend.ErlangJsonParser)</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">ErlangFrontend</a> &#x00BB; ErlangJsonParser</nav><h1>Module <code>ErlangFrontend.ErlangJsonParser</code></h1></header><dl><dt class="spec value" id="val-to_module"><a href="#val-to_module" class="anchor"></a><code><span class="keyword">val</span> to_module : Yojson.Safe.t <span>&#45;&gt;</span> <span><a href="../ErlangAst/index.html#type-module_">ErlangAst.module_</a> option</span></code></dt></dl></div></body></html>

2
website/static/odoc/next/infer/ErlangFrontend/ErlangTranslator/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ErlangTranslator (infer.ErlangFrontend.ErlangTranslator)</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">ErlangFrontend</a> &#x00BB; ErlangTranslator</nav><h1>Module <code>ErlangFrontend.ErlangTranslator</code></h1></header><dl><dt class="spec value" id="val-to_source_and_cfg"><a href="#val-to_source_and_cfg" class="anchor"></a><code><span class="keyword">val</span> to_source_and_cfg : <a href="../ErlangAst/index.html#type-module_">ErlangAst.module_</a> <span>&#45;&gt;</span> <a href="../../IBase/SourceFile/index.html#type-t">IBase.SourceFile.t</a> * <a href="../../IR/Cfg/index.html#type-t">IR.Cfg.t</a></code></dt></dl></div></body></html>

2
website/static/odoc/next/infer/ErlangFrontend/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ErlangFrontend (infer.ErlangFrontend)</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; ErlangFrontend</nav><h1>Module <code>ErlangFrontend</code></h1></header><dl><dt class="spec module" id="module-ErlangAst"><a href="#module-ErlangAst" class="anchor"></a><code><span class="keyword">module</span> <a href="ErlangAst/index.html">ErlangAst</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ErlangJsonParser"><a href="#module-ErlangJsonParser" class="anchor"></a><code><span class="keyword">module</span> <a href="ErlangJsonParser/index.html">ErlangJsonParser</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ErlangTranslator"><a href="#module-ErlangTranslator" class="anchor"></a><code><span class="keyword">module</span> <a href="ErlangTranslator/index.html">ErlangTranslator</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl></div></body></html>

0
website/static/odoc/next/infer/ErlangFrontend__ErlangAst/.dune-keep
Unescape View File

2
website/static/odoc/next/infer/ErlangFrontend__ErlangAst/index.html
View File

File diff suppressed because one or more lines are too long

0
website/static/odoc/next/infer/ErlangFrontend__ErlangJsonParser/.dune-keep
Unescape View File

2
website/static/odoc/next/infer/ErlangFrontend__ErlangJsonParser/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ErlangFrontend__ErlangJsonParser (infer.ErlangFrontend__ErlangJsonParser)</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; ErlangFrontend__ErlangJsonParser</nav><h1>Module <code>ErlangFrontend__ErlangJsonParser</code></h1></header><dl><dt class="spec value" id="val-to_module"><a href="#val-to_module" class="anchor"></a><code><span class="keyword">val</span> to_module : Yojson.Safe.t <span>&#45;&gt;</span> <span><a href="../ErlangFrontend/ErlangAst/index.html#type-module_">ErlangFrontend.ErlangAst.module_</a> option</span></code></dt></dl></div></body></html>

0
website/static/odoc/next/infer/ErlangFrontend__ErlangTranslator/.dune-keep
Unescape View File

2
website/static/odoc/next/infer/ErlangFrontend__ErlangTranslator/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ErlangFrontend__ErlangTranslator (infer.ErlangFrontend__ErlangTranslator)</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; ErlangFrontend__ErlangTranslator</nav><h1>Module <code>ErlangFrontend__ErlangTranslator</code></h1></header><dl><dt class="spec value" id="val-to_source_and_cfg"><a href="#val-to_source_and_cfg" class="anchor"></a><code><span class="keyword">val</span> to_source_and_cfg : <a href="../ErlangFrontend/ErlangAst/index.html#type-module_">ErlangFrontend.ErlangAst.module_</a> <span>&#45;&gt;</span> <a href="../IBase/SourceFile/index.html#type-t">IBase.SourceFile.t</a> * <a href="../IR/Cfg/index.html#type-t">IR.Cfg.t</a></code></dt></dl></div></body></html>

2
website/static/odoc/next/infer/IBase/Config/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IBase__Config/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IR/ObjCDispatchModels/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ObjCDispatchModels (infer.IR.ObjCDispatchModels)</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">IR</a> &#x00BB; ObjCDispatchModels</nav><h1>Module <code>IR.ObjCDispatchModels</code></h1></header><dl><dt class="spec value" id="val-is_model"><a href="#val-is_model" class="anchor"></a><code><span class="keyword">val</span> is_model : <a href="../Procname/index.html#type-t">Procname.t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-get_dispatch_closure_opt"><a href="#val-get_dispatch_closure_opt" class="anchor"></a><code><span class="keyword">val</span> get_dispatch_closure_opt : <span><span>(<a href="../Exp/index.html#type-t">Exp.t</a> * <a href="../Typ/index.html#type-t">Typ.t</a>)</span> list</span> <span>&#45;&gt;</span> <span><span>(<a href="../Procname/index.html#type-t">Procname.t</a> * <span><span>(<a href="../Exp/index.html#type-t">Exp.t</a> * <a href="../Typ/index.html#type-t">Typ.t</a>)</span> list</span>)</span> option</span></code></dt></dl></div></body></html>

2
website/static/odoc/next/infer/IR/Procname/Erlang/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Erlang (infer.IR.Procname.Erlang)</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">IR</a> &#x00BB; <a href="../index.html">Procname</a> &#x00BB; Erlang</nav><h1>Module <code>Procname.Erlang</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></dt></dl></div></body></html>

0
website/static/odoc/next/infer/IR__ObjCDispatchModels/.dune-keep
Unescape View File

2
website/static/odoc/next/infer/IR__ObjCDispatchModels/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>IR__ObjCDispatchModels (infer.IR__ObjCDispatchModels)</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; IR__ObjCDispatchModels</nav><h1>Module <code>IR__ObjCDispatchModels</code></h1></header><dl><dt class="spec value" id="val-is_model"><a href="#val-is_model" class="anchor"></a><code><span class="keyword">val</span> is_model : <a href="../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-get_dispatch_closure_opt"><a href="#val-get_dispatch_closure_opt" class="anchor"></a><code><span class="keyword">val</span> get_dispatch_closure_opt : <span><span>(<a href="../IR/Exp/index.html#type-t">IR.Exp.t</a> * <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span> list</span> <span>&#45;&gt;</span> <span><span>(<a href="../IR/Procname/index.html#type-t">IR.Procname.t</a> * <span><span>(<a href="../IR/Exp/index.html#type-t">IR.Exp.t</a> * <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span> list</span>)</span> option</span></code></dt></dl></div></body></html>

2
website/static/odoc/next/infer/IR__Procname/Erlang/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Erlang (infer.IR__Procname.Erlang)</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">IR__Procname</a> &#x00BB; Erlang</nav><h1>Module <code>IR__Procname.Erlang</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></dt></dl></div></body></html>

2
website/static/odoc/next/infer/IStdlib/ISys/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ISys (infer.IStdlib.ISys)</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">IStdlib</a> &#x00BB; ISys</nav><h1>Module <code>IStdlib.ISys</code></h1></header><dl><dt class="spec value" id="val-file_exists"><a href="#val-file_exists" class="anchor"></a><code><span class="keyword">val</span> file_exists : <span>?&#8288;follow_symlinks:bool</span> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Similar to <code>Sys.file_exists_exn</code>, but it returns <code>false</code> when the result is unknown, instead of raising an exception. <code>follow_symlinks</code> is true by default.</p></dd></dl></div></body></html>

2
website/static/odoc/next/infer/IStdlib/PrettyPrintable/MakePPMonoMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IStdlib/PrettyPrintable/PPMonoMapOfPPMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IStdlib/PrettyPrintable/module-type-MonoMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IStdlib/PrettyPrintable/module-type-PPMonoMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IStdlib/RecencyMap/Make/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IStdlib/RecencyMap/module-type-S/index.html
View File

File diff suppressed because one or more lines are too long

0
website/static/odoc/next/infer/IStdlib__ISys/.dune-keep
Unescape View File

2
website/static/odoc/next/infer/IStdlib__ISys/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>IStdlib__ISys (infer.IStdlib__ISys)</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; IStdlib__ISys</nav><h1>Module <code>IStdlib__ISys</code></h1></header><dl><dt class="spec value" id="val-file_exists"><a href="#val-file_exists" class="anchor"></a><code><span class="keyword">val</span> file_exists : <span>?&#8288;follow_symlinks:bool</span> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Similar to <code>Sys.file_exists_exn</code>, but it returns <code>false</code> when the result is unknown, instead of raising an exception. <code>follow_symlinks</code> is true by default.</p></dd></dl></div></body></html>

2
website/static/odoc/next/infer/IStdlib__PrettyPrintable/MakePPMonoMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IStdlib__PrettyPrintable/PPMonoMapOfPPMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IStdlib__PrettyPrintable/module-type-MonoMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IStdlib__PrettyPrintable/module-type-PPMonoMap/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IStdlib__RecencyMap/Make/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/IStdlib__RecencyMap/module-type-S/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Integration/Rebar3/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Rebar3 (infer.Integration.Rebar3)</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">Integration</a> &#x00BB; Rebar3</nav><h1>Module <code>Integration.Rebar3</code></h1></header><dl><dt class="spec value" id="val-capture"><a href="#val-capture" class="anchor"></a><code><span class="keyword">val</span> capture : <span>args:<span>string list</span></span> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>

0
website/static/odoc/next/infer/Integration__Rebar3/.dune-keep
Unescape View File

2
website/static/odoc/next/infer/Integration__Rebar3/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Integration__Rebar3 (infer.Integration__Rebar3)</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; Integration__Rebar3</nav><h1>Module <code>Integration__Rebar3</code></h1></header><dl><dt class="spec value" id="val-capture"><a href="#val-capture" class="anchor"></a><code><span class="keyword">val</span> capture : <span>args:<span>string list</span></span> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>

2
website/static/odoc/next/infer/Pulselib/PulseAbductiveDomain/AddressAttributes/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib/PulseAbductiveDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib/PulseAttribute/Attributes/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib/PulseAttribute/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib/PulseBaseAddressAttributes/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib/PulseBaseDomain/GraphVisit/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>GraphVisit (infer.Pulselib.PulseBaseDomain.GraphVisit)</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">Pulselib</a> &#x00BB; <a href="../index.html">PulseBaseDomain</a> &#x00BB; GraphVisit</nav><h1>Module <code>PulseBaseDomain.GraphVisit</code></h1></header><dl><dt class="spec value" id="val-fold"><a href="#val-fold" class="anchor"></a><code><span class="keyword">val</span> fold : <span>var_filter:<span>(<a href="../../../IR/Var/index.html#type-t">IR.Var.t</a> <span>&#45;&gt;</span> bool)</span></span> <span>&#45;&gt;</span> <a href="../index.html#type-t">t</a> <span>&#45;&gt;</span> <span>init:<span class="type-var">'accum</span></span> <span>&#45;&gt;</span> <span>f:<span>(<a href="../../../IR/Var/index.html#type-t">IR.Var.t</a> <span>&#45;&gt;</span> <span class="type-var">'accum</span> <span>&#45;&gt;</span> <a href="../../PulseAbstractValue/index.html#type-t">PulseBasicInterface.AbstractValue.t</a> <span>&#45;&gt;</span> <span><a href="../../../Pulselib__PulseBaseMemory/index.html#module-Access">Memory.Access</a>.t list</span> <span>&#45;&gt;</span> <span><span>(<span class="type-var">'accum</span>, <span class="type-var">'final</span>)</span> Base.Continue_or_stop.t</span>)</span></span> <span>&#45;&gt;</span> <span>finish:<span>(<span class="type-var">'accum</span> <span>&#45;&gt;</span> <span class="type-var">'final</span>)</span></span> <span>&#45;&gt;</span> <a href="../../../Pulselib__PulseAbstractValue/index.html#module-Set">Pulselib.PulseBasicInterface.AbstractValue.Set</a>.t * <span class="type-var">'final</span></code></dt><dd><p>Generic graph traversal of the memory starting from each variable in the stack that pass <code>var_filter</code>, in order. Returns the result of folding over every address in the graph and the set of addresses that have been visited before <code>f</code> returned <code>Stop</code> or all reachable addresses were seen. <code>f</code> is passed each address together with the variable from which the address was reached and the access path from that variable to the address.</p></dd></dl><dl><dt class="spec value" id="val-fold_from_addresses"><a href="#val-fold_from_addresses" class="anchor"></a><code><span class="keyword">val</span> fold_from_addresses : <span><a href="../../PulseAbstractValue/index.html#type-t">PulseBasicInterface.AbstractValue.t</a> Stdlib.Seq.t</span> <span>&#45;&gt;</span> <a href="../index.html#type-t">t</a> <span>&#45;&gt;</span> <span>init:<span class="type-var">'accum</span></span> <span>&#45;&gt;</span> <span>f:<span>(<span class="type-var">'accum</span> <span>&#45;&gt;</span> <a href="../../PulseAbstractValue/index.html#type-t">PulseBasicInterface.AbstractValue.t</a> <span>&#45;&gt;</span> <span><a href="../../../Pulselib__PulseBaseMemory/index.html#module-Access">Memory.Access</a>.t list</span> <span>&#45;&gt;</span> <span><span>(<span class="type-var">'accum</span>, <span class="type-var">'final</span>)</span> Base.Continue_or_stop.t</span>)</span></span> <span>&#45;&gt;</span> <span>finish:<span>(<span class="type-var">'accum</span> <span>&#45;&gt;</span> <span class="type-var">'final</span>)</span></span> <span>&#45;&gt;</span> <a href="../../../Pulselib__PulseAbstractValue/index.html#module-Set">Pulselib.PulseBasicInterface.AbstractValue.Set</a>.t * <span class="type-var">'final</span></code></dt><dd><p>Similar to <code>fold</code>, but start from given addresses, instead of stack variables.</p></dd></dl></div></body></html>

2
website/static/odoc/next/infer/Pulselib/PulseBaseDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib/PulseBaseMemory/Edges/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib/PulseBaseMemory/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib/PulseBaseStack/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib/PulseFormula/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib/PulsePathCondition/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib/PulseSkippedCalls/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulseAbductiveDomain/AddressAttributes/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulseAbductiveDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulseAttribute/Attributes/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulseAttribute/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulseBaseAddressAttributes/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulseBaseDomain/GraphVisit/index.html
Unescape View File

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>GraphVisit (infer.Pulselib__PulseBaseDomain.GraphVisit)</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">Pulselib__PulseBaseDomain</a> &#x00BB; GraphVisit</nav><h1>Module <code>Pulselib__PulseBaseDomain.GraphVisit</code></h1></header><dl><dt class="spec value" id="val-fold"><a href="#val-fold" class="anchor"></a><code><span class="keyword">val</span> fold : <span>var_filter:<span>(<a href="../../IR/Var/index.html#type-t">IR.Var.t</a> <span>&#45;&gt;</span> bool)</span></span> <span>&#45;&gt;</span> <a href="../index.html#type-t">t</a> <span>&#45;&gt;</span> <span>init:<span class="type-var">'accum</span></span> <span>&#45;&gt;</span> <span>f:<span>(<a href="../../IR/Var/index.html#type-t">IR.Var.t</a> <span>&#45;&gt;</span> <span class="type-var">'accum</span> <span>&#45;&gt;</span> <a href="../../Pulselib/PulseAbstractValue/index.html#type-t">Pulselib.PulseBasicInterface.AbstractValue.t</a> <span>&#45;&gt;</span> <span><a href="../../Pulselib__PulseBaseMemory/index.html#module-Access">Memory.Access</a>.t list</span> <span>&#45;&gt;</span> <span><span>(<span class="type-var">'accum</span>, <span class="type-var">'final</span>)</span> Base.Continue_or_stop.t</span>)</span></span> <span>&#45;&gt;</span> <span>finish:<span>(<span class="type-var">'accum</span> <span>&#45;&gt;</span> <span class="type-var">'final</span>)</span></span> <span>&#45;&gt;</span> <a href="../../Pulselib__PulseAbstractValue/index.html#module-Set">Pulselib.PulseBasicInterface.AbstractValue.Set</a>.t * <span class="type-var">'final</span></code></dt><dd><p>Generic graph traversal of the memory starting from each variable in the stack that pass <code>var_filter</code>, in order. Returns the result of folding over every address in the graph and the set of addresses that have been visited before <code>f</code> returned <code>Stop</code> or all reachable addresses were seen. <code>f</code> is passed each address together with the variable from which the address was reached and the access path from that variable to the address.</p></dd></dl><dl><dt class="spec value" id="val-fold_from_addresses"><a href="#val-fold_from_addresses" class="anchor"></a><code><span class="keyword">val</span> fold_from_addresses : <span><a href="../../Pulselib/PulseAbstractValue/index.html#type-t">Pulselib.PulseBasicInterface.AbstractValue.t</a> Stdlib.Seq.t</span> <span>&#45;&gt;</span> <a href="../index.html#type-t">t</a> <span>&#45;&gt;</span> <span>init:<span class="type-var">'accum</span></span> <span>&#45;&gt;</span> <span>f:<span>(<span class="type-var">'accum</span> <span>&#45;&gt;</span> <a href="../../Pulselib/PulseAbstractValue/index.html#type-t">Pulselib.PulseBasicInterface.AbstractValue.t</a> <span>&#45;&gt;</span> <span><a href="../../Pulselib__PulseBaseMemory/index.html#module-Access">Memory.Access</a>.t list</span> <span>&#45;&gt;</span> <span><span>(<span class="type-var">'accum</span>, <span class="type-var">'final</span>)</span> Base.Continue_or_stop.t</span>)</span></span> <span>&#45;&gt;</span> <span>finish:<span>(<span class="type-var">'accum</span> <span>&#45;&gt;</span> <span class="type-var">'final</span>)</span></span> <span>&#45;&gt;</span> <a href="../../Pulselib__PulseAbstractValue/index.html#module-Set">Pulselib.PulseBasicInterface.AbstractValue.Set</a>.t * <span class="type-var">'final</span></code></dt><dd><p>Similar to <code>fold</code>, but start from given addresses, instead of stack variables.</p></dd></dl></div></body></html>

2
website/static/odoc/next/infer/Pulselib__PulseBaseDomain/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulseBaseMemory/Edges/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulseBaseMemory/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulseBaseStack/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulseFormula/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulsePathCondition/index.html
View File

File diff suppressed because one or more lines are too long

2
website/static/odoc/next/infer/Pulselib__PulseSkippedCalls/index.html
View File

File diff suppressed because one or more lines are too long
Write Preview
Loading…
Cancel
Save