<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Biabduction__Exceptions (infer.Biabduction__Exceptions)</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> » Biabduction__Exceptions</nav><h1>Module <code>Biabduction__Exceptions</code></h1><nav class="toc"><ul><li><a href="#biabduction-uses-exceptions-to-store-issues-in-summaries">Biabduction uses exceptions to store issues in summaries</a></li></ul></nav></header><section><header><h2 id="biabduction-uses-exceptions-to-store-issues-in-summaries"><a href="#biabduction-uses-exceptions-to-store-issues-in-summaries" class="anchor"></a>Biabduction uses exceptions to store issues in summaries</h2></header><dl><dt class="spec exception" id="exception-Abduction_case_not_implemented"><a href="#exception-Abduction_case_not_implemented" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Abduction_case_not_implemented</span> <span class="keyword">of</span> <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Analysis_stops"><a href="#exception-Analysis_stops" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Analysis_stops</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <span><a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a> option</span></code></dt><dt class="spec exception" id="exception-Array_of_pointsto"><a href="#exception-Array_of_pointsto" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Array_of_pointsto</span> <span class="keyword">of</span> <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Array_out_of_bounds_l1"><a href="#exception-Array_out_of_bounds_l1" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Array_out_of_bounds_l1</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Array_out_of_bounds_l2"><a href="#exception-Array_out_of_bounds_l2" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Array_out_of_bounds_l2</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Array_out_of_bounds_l3"><a href="#exception-Array_out_of_bounds_l3" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Array_out_of_bounds_l3</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Bad_footprint"><a href="#exception-Bad_footprint" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Bad_footprint</span> <span class="keyword">of</span> <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Cannot_star"><a href="#exception-Cannot_star" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Cannot_star</span> <span class="keyword">of</span> <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Class_cast_exception"><a href="#exception-Class_cast_exception" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Class_cast_exception</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Custom_error"><a href="#exception-Custom_error" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Custom_error</span> <span class="keyword">of</span> string * <a href="../IBase/IssueType/index.html#type-severity">IBase.IssueType.severity</a> * <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a></code></dt><dt class="spec exception" id="exception-Dangling_pointer_dereference"><a href="#exception-Dangling_pointer_dereference" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Dangling_pointer_dereference</span> <span class="keyword">of</span> bool * <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Divide_by_zero"><a href="#exception-Divide_by_zero" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Divide_by_zero</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Field_not_null_checked"><a href="#exception-Field_not_null_checked" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Field_not_null_checked</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Empty_vector_access"><a href="#exception-Empty_vector_access" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Empty_vector_access</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Inherently_dangerous_function"><a href="#exception-Inherently_dangerous_function" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Inherently_dangerous_function</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a></code></dt><dt class="spec exception" id="exception-Internal_error"><a href="#exception-Internal_error" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Internal_error</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a></code></dt><dt class="spec exception" id="exception-Leak"><a href="#exception-Leak" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Leak</span> <span class="keyword">of</span> bool * bool * <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * bool * <a href="../IR/PredSymb/index.html#type-resource">IR.PredSymb.resource</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Missing_fld"><a href="#exception-Missing_fld" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Missing_fld</span> <span class="keyword">of</span> <a href="../IR/Fieldname/index.html#type-t">IR.Fieldname.t</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Premature_nil_termination"><a href="#exception-Premature_nil_termination" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Premature_nil_termination</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Null_dereference"><a href="#exception-Null_dereference" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Null_dereference</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Parameter_not_null_checked"><a href="#exception-Parameter_not_null_checked" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Parameter_not_null_checked</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Precondition_not_found"><a href="#exception-Precondition_not_found" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Precondition_not_found</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Precondition_not_met"><a href="#exception-Precondition_not_met" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Precondition_not_met</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Retain_cycle"><a href="#exception-Retain_cycle" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Retain_cycle</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Registered_observer_being_deallocated"><a href="#exception-Registered_observer_being_deallocated" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Registered_observer_being_deallocated</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a> * <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Skip_function"><a href="#exception-Skip_function" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Skip_function</span> <span class="keyword">of</span> <a href="../Absint/Localise/index.html#type-error_desc">Absint.Localise.error_desc</a></code></dt><dt class="spec exception" id="exception-Symexec_memory_error"><a href="#exception-Symexec_memory_error" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Symexec_memory_error</span> <span class="keyword">of</span> <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt><dt class="spec exception" id="exception-Wrong_argument_number"><a href="#exception-Wrong_argument_number" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Wrong_argument_number</span> <span class="keyword">of</span> <a href="../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a></code></dt></dl><dl><dt class="spec value" id="val-handle_exception"><a href="#val-handle_exception" class="anchor"></a><code><span class="keyword">val</span> handle_exception : exn <span>-></span> bool</code></dt><dd><p>Return true if the exception is not serious and should be handled in timeout mode</p></dd></dl><dl><dt class="spec value" id="val-print_exception_html"><a href="#val-print_exception_html" class="anchor"></a><code><span class="keyword">val</span> print_exception_html : string <span>-></span> exn <span>-></span> unit</code></dt><dd><p>print a description of the exception to the html output</p></dd></dl><dl><dt class="spec value" id="val-recognize_exception"><a href="#val-recognize_exception" class="anchor"></a><code><span class="keyword">val</span> recognize_exception : exn <span>-></span> <a href="../Absint/IssueToReport/index.html#type-t">Absint.IssueToReport.t</a></code></dt></dl></section></div></body></html>