<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html xmlns:fn="http://www.w3.org/2005/02/xpath-functions"> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <link rel="stylesheet" href="../../../../doc/otp_doc.css" type="text/css"> <title>Erlang -- Dialyzer User's Guide</title> </head> <body bgcolor="white" text="#000000" link="#0000ff" vlink="#ff00ff" alink="#ff0000"><div id="container"> <script id="js" type="text/javascript" language="JavaScript" src="../../../../doc/js/flipmenu/flipmenu.js"></script><script id="js2" type="text/javascript" src="../../../../doc/js/erlresolvelinks.js"></script><script language="JavaScript" type="text/javascript"> <!-- function getWinHeight() { var myHeight = 0; if( typeof( window.innerHeight ) == 'number' ) { //Non-IE myHeight = window.innerHeight; } else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) { //IE 6+ in 'standards compliant mode' myHeight = document.documentElement.clientHeight; } else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) { //IE 4 compatible myHeight = document.body.clientHeight; } return myHeight; } function setscrollpos() { var objf=document.getElementById('loadscrollpos'); document.getElementById("leftnav").scrollTop = objf.offsetTop - getWinHeight()/2; } function addEvent(obj, evType, fn){ if (obj.addEventListener){ obj.addEventListener(evType, fn, true); return true; } else if (obj.attachEvent){ var r = obj.attachEvent("on"+evType, fn); return r; } else { return false; } } addEvent(window, 'load', setscrollpos); //--></script><div id="leftnav"><div class="innertube"> <img alt="Erlang logo" src="../../../../doc/erlang-logo.png"><br><small><a href="users_guide.html">User's Guide</a><br><a href="index.html">Reference Manual</a><br><a href="release_notes.html">Release Notes</a><br><a href="../pdf/dialyzer-2.2.0.pdf">PDF</a><br><a href="../../../../doc/index.html">Top</a></small><p><strong>Dialyzer</strong><br><strong>User's Guide</strong><br><small>Version 2.2.0</small></p> <br><a href="javascript:openAllFlips()">Expand All</a><br><a href="javascript:closeAllFlips()">Contract All</a><p><small><strong>Chapters</strong></small></p> <ul class="flipMenu" imagepath="../../../../doc/js/flipmenu"><li id="no" title="Dialyzer" expanded="false">Dialyzer<ul> <li><a href="dialyzer_chapter.html"> Top of chapter </a></li> <li title="Introduction"><a href="dialyzer_chapter.html#id2257786">Introduction</a></li> <li title="Using the Dialyzer from the GUI"><a href="dialyzer_chapter.html#id2257764">Using the Dialyzer from the GUI</a></li> <li title="Using the Dialyzer from the command line"><a href="dialyzer_chapter.html#id2259566">Using the Dialyzer from the command line</a></li> <li title="Using the Dialyzer from Erlang"><a href="dialyzer_chapter.html#id2257886">Using the Dialyzer from Erlang</a></li> <li title="More on the Persistent Lookup Table (PLT)"><a href="dialyzer_chapter.html#id2257903">More on the Persistent Lookup Table (PLT)</a></li> <li title="Feedback and bug reports"><a href="dialyzer_chapter.html#id2259361">Feedback and bug reports</a></li> </ul> </li></ul> </div></div> <div id="content"> <div class="innertube"> <div class="frontpage"></div> <center><h1>Dialyzer User's Guide</h1></center> <center><h4>Version 2.2.0</h4></center> <center><h4>February 22 2010</h4></center> </div> <div class="footer"> <hr> <p>Copyright © 2006-2010 Ericsson AB. All Rights Reserved.</p> </div> </div> </div></body> </html>