svf-tools 1.0.438 → 1.0.441

package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html

@@ -77,9 +77,9 @@ Inheritance diagram for SVF::DoubleFreeChecker:</div>
  <div class="center">
   <img src="classSVF_1_1DoubleFreeChecker.png" usemap="#SVF::DoubleFreeChecker_map" alt=""/>
   <map id="SVF::DoubleFreeChecker_map" name="SVF::DoubleFreeChecker_map">
-<area href="classSVF_1_1LeakChecker.html" alt="SVF::LeakChecker" shape="rect" coords="0,112,240,136"/>
-<area href="classSVF_1_1SrcSnkDDA.html" alt="SVF::SrcSnkDDA" shape="rect" coords="0,56,240,80"/>
-<area href="classSVF_1_1CFLSolver.html" alt="SVF::CFLSolver&lt; GraphType, DPIm &gt;" shape="rect" coords="0,0,240,24"/>
+<area href="classSVF_1_1LeakChecker.html" alt="SVF::LeakChecker" shape="rect" coords="0,112,257,136"/>
+<area href="classSVF_1_1SrcSnkDDA.html" alt="SVF::SrcSnkDDA" shape="rect" coords="0,56,257,80"/>
+<area href="classSVF_1_1SrcSnkSolver.html" alt="SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;" shape="rect" coords="0,0,257,24"/>
 </map>
  </div></div>
 <table class="memberdecls">
@@ -224,26 +224,26 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a70cff8ea7c033c01400935c9e446f2c6 inherit pub_types_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3c0d8850c4dae49a760ce5f80fb8822a inherit pub_types_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c">ProgSlice::VFWorkList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">WorkList</a></td></tr>
 <tr class="separator:a3c0d8850c4dae49a760ce5f80fb8822a inherit pub_types_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="inherit_header pub_types_classSVF_1_1CFLSolver"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1CFLSolver')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a></td></tr>
-<tr class="memitem:afdead1450dbc71d4430ab660733ff85c inherit pub_types_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">typedef llvm::GraphTraits&lt; GraphType &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#afdead1450dbc71d4430ab660733ff85c">GTraits</a></td></tr>
-<tr class="memdesc:afdead1450dbc71d4430ab660733ff85c inherit pub_types_classSVF_1_1CFLSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define the GTraits and node iterator.  <a href="classSVF_1_1CFLSolver.html#afdead1450dbc71d4430ab660733ff85c">More...</a><br /></td></tr>
-<tr class="separator:afdead1450dbc71d4430ab660733ff85c inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7a180d7878fc7b4c055fa72298398127 inherit pub_types_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">typedef GTraits::NodeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a7a180d7878fc7b4c055fa72298398127">GNODE</a></td></tr>
-<tr class="separator:a7a180d7878fc7b4c055fa72298398127 inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aaddd6c593ad39c117bd35ede711b9f36 inherit pub_types_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">typedef GTraits::EdgeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#aaddd6c593ad39c117bd35ede711b9f36">GEDGE</a></td></tr>
-<tr class="separator:aaddd6c593ad39c117bd35ede711b9f36 inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a586cfb2dd110d1853e70e534e0f66624 inherit pub_types_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">typedef GTraits::nodes_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a586cfb2dd110d1853e70e534e0f66624">node_iterator</a></td></tr>
-<tr class="separator:a586cfb2dd110d1853e70e534e0f66624 inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:adf0b96a758a29d5c3c46fcc48081b62c inherit pub_types_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">typedef GTraits::ChildIteratorType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#adf0b96a758a29d5c3c46fcc48081b62c">child_iterator</a></td></tr>
-<tr class="separator:adf0b96a758a29d5c3c46fcc48081b62c inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae507eecc97716000324820bb1a7a9573 inherit pub_types_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">typedef llvm::GraphTraits&lt; llvm::Inverse&lt; <a class="el" href="classSVF_1_1CFLSolver.html#a7a180d7878fc7b4c055fa72298398127">GNODE</a> * &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#ae507eecc97716000324820bb1a7a9573">InvGTraits</a></td></tr>
-<tr class="memdesc:ae507eecc97716000324820bb1a7a9573 inherit pub_types_classSVF_1_1CFLSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define inverse GTraits and note iterator.  <a href="classSVF_1_1CFLSolver.html#ae507eecc97716000324820bb1a7a9573">More...</a><br /></td></tr>
-<tr class="separator:ae507eecc97716000324820bb1a7a9573 inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a98613e4d455a53183d1f16a58de6244e inherit pub_types_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">typedef InvGTraits::ChildIteratorType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a98613e4d455a53183d1f16a58de6244e">inv_child_iterator</a></td></tr>
-<tr class="separator:a98613e4d455a53183d1f16a58de6244e inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a802e04eafce9adfd60506c44951c3d53 inherit pub_types_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>&lt; DPIm &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">WorkList</a></td></tr>
-<tr class="memdesc:a802e04eafce9adfd60506c44951c3d53 inherit pub_types_classSVF_1_1CFLSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define worklist.  <a href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">More...</a><br /></td></tr>
-<tr class="separator:a802e04eafce9adfd60506c44951c3d53 inherit pub_types_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1SrcSnkSolver"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1SrcSnkSolver')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td></tr>
+<tr class="memitem:a40c3ad6a16099d14654d6f59a1bae238 inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">typedef llvm::GraphTraits&lt; GraphType &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238">GTraits</a></td></tr>
+<tr class="memdesc:a40c3ad6a16099d14654d6f59a1bae238 inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define the GTraits and node iterator.  <a href="classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238">More...</a><br /></td></tr>
+<tr class="separator:a40c3ad6a16099d14654d6f59a1bae238 inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aad6cad7d89663ac4466f97dac63ee385 inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">typedef GTraits::NodeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a></td></tr>
+<tr class="separator:aad6cad7d89663ac4466f97dac63ee385 inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6007c2d795370bb48ad120af5474a31f inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">typedef GTraits::EdgeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f">GEDGE</a></td></tr>
+<tr class="separator:a6007c2d795370bb48ad120af5474a31f inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a14a76b28f06e167bf66e15b336570cd3 inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">typedef GTraits::nodes_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3">node_iterator</a></td></tr>
+<tr class="separator:a14a76b28f06e167bf66e15b336570cd3 inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a78684539084301715a665f0aece23c8e inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">typedef GTraits::ChildIteratorType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e">child_iterator</a></td></tr>
+<tr class="separator:a78684539084301715a665f0aece23c8e inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad50e99f38fe6569107d0461d96f735ae inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">typedef llvm::GraphTraits&lt; llvm::Inverse&lt; <a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a> * &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae">InvGTraits</a></td></tr>
+<tr class="memdesc:ad50e99f38fe6569107d0461d96f735ae inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define inverse GTraits and note iterator.  <a href="classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae">More...</a><br /></td></tr>
+<tr class="separator:ad50e99f38fe6569107d0461d96f735ae inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acb3b73c60427a78ad8dd12d651202d78 inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">typedef InvGTraits::ChildIteratorType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78">inv_child_iterator</a></td></tr>
+<tr class="separator:acb3b73c60427a78ad8dd12d651202d78 inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a19861635c58ef6db7347c22daabf80da inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>&lt; DPIm &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">WorkList</a></td></tr>
+<tr class="memdesc:a19861635c58ef6db7347c22daabf80da inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define worklist.  <a href="classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da">More...</a><br /></td></tr>
+<tr class="separator:a19861635c58ef6db7347c22daabf80da inherit pub_types_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_methods_classSVF_1_1LeakChecker"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1LeakChecker')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td></tr>
 <tr class="memitem:aaf5d098e0d08929a108fb59bff46e424 inherit pro_methods_classSVF_1_1LeakChecker"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LeakChecker.html#aaf5d098e0d08929a108fb59bff46e424">testsValidation</a> (const <a class="el" href="classSVF_1_1ProgSlice.html">ProgSlice</a> *slice)</td></tr>
 <tr class="memdesc:aaf5d098e0d08929a108fb59bff46e424 inherit pro_methods_classSVF_1_1LeakChecker"><td class="mdescLeft">&#160;</td><td class="mdescRight">Validate test cases for regression test purpose.  <a href="classSVF_1_1LeakChecker.html#aaf5d098e0d08929a108fb59bff46e424">More...</a><br /></td></tr>
@@ -298,47 +298,47 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a8817604b20724703121e9466e5cdb4cd inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae3d665ff1e796348131e797eb0283bfb inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ae3d665ff1e796348131e797eb0283bfb">printBDDStat</a> ()</td></tr>
 <tr class="separator:ae3d665ff1e796348131e797eb0283bfb inherit pro_methods_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="inherit_header pro_methods_classSVF_1_1CFLSolver"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1CFLSolver')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a></td></tr>
-<tr class="memitem:ab339e69dd2f2aa2f98fb549e979838af inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#ab339e69dd2f2aa2f98fb549e979838af">CFLSolver</a> ()</td></tr>
-<tr class="memdesc:ab339e69dd2f2aa2f98fb549e979838af inherit pro_methods_classSVF_1_1CFLSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1CFLSolver.html#ab339e69dd2f2aa2f98fb549e979838af">More...</a><br /></td></tr>
-<tr class="separator:ab339e69dd2f2aa2f98fb549e979838af inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac37d5e6e81edcc0a6c53e02d7d343f5b inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#ac37d5e6e81edcc0a6c53e02d7d343f5b">~CFLSolver</a> ()</td></tr>
-<tr class="memdesc:ac37d5e6e81edcc0a6c53e02d7d343f5b inherit pro_methods_classSVF_1_1CFLSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1CFLSolver.html#ac37d5e6e81edcc0a6c53e02d7d343f5b">More...</a><br /></td></tr>
-<tr class="separator:ac37d5e6e81edcc0a6c53e02d7d343f5b inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:adaa8ca9296ec3e9b6ec544a105296d22 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLSolver.html#a7a180d7878fc7b4c055fa72298398127">GNODE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#adaa8ca9296ec3e9b6ec544a105296d22">getNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
-<tr class="separator:adaa8ca9296ec3e9b6ec544a105296d22 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a31199503d0ed7aff97d4620b3599dea6 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a31199503d0ed7aff97d4620b3599dea6">getNodeIDFromItem</a> (const DPIm &amp;item) const</td></tr>
-<tr class="separator:a31199503d0ed7aff97d4620b3599dea6 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac9dc4e29fde45a19d42987360ee5f528 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#ac9dc4e29fde45a19d42987360ee5f528">forwardTraverse</a> (DPIm &amp;it)</td></tr>
-<tr class="memdesc:ac9dc4e29fde45a19d42987360ee5f528 inherit pro_methods_classSVF_1_1CFLSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">CFL forward traverse solve.  <a href="classSVF_1_1CFLSolver.html#ac9dc4e29fde45a19d42987360ee5f528">More...</a><br /></td></tr>
-<tr class="separator:ac9dc4e29fde45a19d42987360ee5f528 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:abf651315ae100f9d4df5d183f7d43c68 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#abf651315ae100f9d4df5d183f7d43c68">backwardTraverse</a> (DPIm &amp;it)</td></tr>
-<tr class="memdesc:abf651315ae100f9d4df5d183f7d43c68 inherit pro_methods_classSVF_1_1CFLSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">CFL forward traverse solve.  <a href="classSVF_1_1CFLSolver.html#abf651315ae100f9d4df5d183f7d43c68">More...</a><br /></td></tr>
-<tr class="separator:abf651315ae100f9d4df5d183f7d43c68 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9fc4cbe8985d4c25845d408ffcac13e4 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">const GraphType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a9fc4cbe8985d4c25845d408ffcac13e4">graph</a> () const</td></tr>
-<tr class="memdesc:a9fc4cbe8985d4c25845d408ffcac13e4 inherit pro_methods_classSVF_1_1CFLSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get/Set graph methods.  <a href="classSVF_1_1CFLSolver.html#a9fc4cbe8985d4c25845d408ffcac13e4">More...</a><br /></td></tr>
-<tr class="separator:a9fc4cbe8985d4c25845d408ffcac13e4 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae0a02179b2489f65988819666ec52a7c inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#ae0a02179b2489f65988819666ec52a7c">setGraph</a> (GraphType g)</td></tr>
-<tr class="separator:ae0a02179b2489f65988819666ec52a7c inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6d7361281bbf666a2f5da87f7ea869d2 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a6d7361281bbf666a2f5da87f7ea869d2">FWProcessCurNode</a> (const DPIm &amp;)</td></tr>
-<tr class="memdesc:a6d7361281bbf666a2f5da87f7ea869d2 inherit pro_methods_classSVF_1_1CFLSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Process the DP item.  <a href="classSVF_1_1CFLSolver.html#a6d7361281bbf666a2f5da87f7ea869d2">More...</a><br /></td></tr>
-<tr class="separator:a6d7361281bbf666a2f5da87f7ea869d2 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab444cce6a5c75c7e6c65d47039e567a8 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#ab444cce6a5c75c7e6c65d47039e567a8">BWProcessCurNode</a> (const DPIm &amp;)</td></tr>
-<tr class="separator:ab444cce6a5c75c7e6c65d47039e567a8 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a39b079c9b8a1b4570176028de79e85a4 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a39b079c9b8a1b4570176028de79e85a4">FWProcessOutgoingEdge</a> (const DPIm &amp;item, <a class="el" href="classSVF_1_1CFLSolver.html#aaddd6c593ad39c117bd35ede711b9f36">GEDGE</a> *edge)</td></tr>
-<tr class="memdesc:a39b079c9b8a1b4570176028de79e85a4 inherit pro_methods_classSVF_1_1CFLSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Propagation for the solving, to be implemented in the child class.  <a href="classSVF_1_1CFLSolver.html#a39b079c9b8a1b4570176028de79e85a4">More...</a><br /></td></tr>
-<tr class="separator:a39b079c9b8a1b4570176028de79e85a4 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3d5550fbb149297022d5a1852f3229b3 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a3d5550fbb149297022d5a1852f3229b3">BWProcessIncomingEdge</a> (const DPIm &amp;item, <a class="el" href="classSVF_1_1CFLSolver.html#aaddd6c593ad39c117bd35ede711b9f36">GEDGE</a> *edge)</td></tr>
-<tr class="separator:a3d5550fbb149297022d5a1852f3229b3 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a88f770b4762d44e50d72cd50bb504078 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">DPIm&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a88f770b4762d44e50d72cd50bb504078">popFromWorklist</a> ()</td></tr>
-<tr class="memdesc:a88f770b4762d44e50d72cd50bb504078 inherit pro_methods_classSVF_1_1CFLSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Worklist operations.  <a href="classSVF_1_1CFLSolver.html#a88f770b4762d44e50d72cd50bb504078">More...</a><br /></td></tr>
-<tr class="separator:a88f770b4762d44e50d72cd50bb504078 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a28cd2677717b19c9cd8ab3c1c441d409 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a28cd2677717b19c9cd8ab3c1c441d409">pushIntoWorklist</a> (DPIm &amp;item)</td></tr>
-<tr class="separator:a28cd2677717b19c9cd8ab3c1c441d409 inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4f35edfc7c4e4a35c9948ab5abd1a6ad inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a4f35edfc7c4e4a35c9948ab5abd1a6ad">isWorklistEmpty</a> ()</td></tr>
-<tr class="separator:a4f35edfc7c4e4a35c9948ab5abd1a6ad inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a435454f52e5be39c960052f1947b984d inherit pro_methods_classSVF_1_1CFLSolver"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLSolver.html#a435454f52e5be39c960052f1947b984d">isInWorklist</a> (DPIm &amp;item)</td></tr>
-<tr class="separator:a435454f52e5be39c960052f1947b984d inherit pro_methods_classSVF_1_1CFLSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_methods_classSVF_1_1SrcSnkSolver"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1SrcSnkSolver')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td></tr>
+<tr class="memitem:a952450652e55f3325f24b8d237d2c37d inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a952450652e55f3325f24b8d237d2c37d">SrcSnkSolver</a> ()</td></tr>
+<tr class="memdesc:a952450652e55f3325f24b8d237d2c37d inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1SrcSnkSolver.html#a952450652e55f3325f24b8d237d2c37d">More...</a><br /></td></tr>
+<tr class="separator:a952450652e55f3325f24b8d237d2c37d inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2e5019545fc7175402eb6bd6d898afa9 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a2e5019545fc7175402eb6bd6d898afa9">~SrcSnkSolver</a> ()</td></tr>
+<tr class="memdesc:a2e5019545fc7175402eb6bd6d898afa9 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1SrcSnkSolver.html#a2e5019545fc7175402eb6bd6d898afa9">More...</a><br /></td></tr>
+<tr class="separator:a2e5019545fc7175402eb6bd6d898afa9 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a18008d5496010aa5f54aade230bd64ff inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff">getNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
+<tr class="separator:a18008d5496010aa5f54aade230bd64ff inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab37d80b1c7a1ebfa0e19c70792c5129e inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e">getNodeIDFromItem</a> (const DPIm &amp;item) const</td></tr>
+<tr class="separator:ab37d80b1c7a1ebfa0e19c70792c5129e inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab0a1ee24b5899d54b65f0c7a92b7b52d inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d">forwardTraverse</a> (DPIm &amp;it)</td></tr>
+<tr class="memdesc:ab0a1ee24b5899d54b65f0c7a92b7b52d inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">CFL forward traverse solve.  <a href="classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d">More...</a><br /></td></tr>
+<tr class="separator:ab0a1ee24b5899d54b65f0c7a92b7b52d inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9c2fbfa1a4563ce45726ae79f0f34fcc inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc">backwardTraverse</a> (DPIm &amp;it)</td></tr>
+<tr class="memdesc:a9c2fbfa1a4563ce45726ae79f0f34fcc inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">CFL forward traverse solve.  <a href="classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc">More...</a><br /></td></tr>
+<tr class="separator:a9c2fbfa1a4563ce45726ae79f0f34fcc inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae66ed69eb3412c2eef14ef2f86a34c6c inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">const GraphType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c">graph</a> () const</td></tr>
+<tr class="memdesc:ae66ed69eb3412c2eef14ef2f86a34c6c inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get/Set graph methods.  <a href="classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c">More...</a><br /></td></tr>
+<tr class="separator:ae66ed69eb3412c2eef14ef2f86a34c6c inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a49cae8f70144639f529956478a8fca2b inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b">setGraph</a> (GraphType g)</td></tr>
+<tr class="separator:a49cae8f70144639f529956478a8fca2b inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab35190da65a3157a654a90afc7d793b5 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ab35190da65a3157a654a90afc7d793b5">FWProcessCurNode</a> (const DPIm &amp;)</td></tr>
+<tr class="memdesc:ab35190da65a3157a654a90afc7d793b5 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Process the DP item.  <a href="classSVF_1_1SrcSnkSolver.html#ab35190da65a3157a654a90afc7d793b5">More...</a><br /></td></tr>
+<tr class="separator:ab35190da65a3157a654a90afc7d793b5 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a447db2796a7024dfa0fbe9ac95c671c0 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a447db2796a7024dfa0fbe9ac95c671c0">BWProcessCurNode</a> (const DPIm &amp;)</td></tr>
+<tr class="separator:a447db2796a7024dfa0fbe9ac95c671c0 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa43dbc79bfde3199a73ce0257613f484 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aa43dbc79bfde3199a73ce0257613f484">FWProcessOutgoingEdge</a> (const DPIm &amp;item, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f">GEDGE</a> *edge)</td></tr>
+<tr class="memdesc:aa43dbc79bfde3199a73ce0257613f484 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Propagation for the solving, to be implemented in the child class.  <a href="classSVF_1_1SrcSnkSolver.html#aa43dbc79bfde3199a73ce0257613f484">More...</a><br /></td></tr>
+<tr class="separator:aa43dbc79bfde3199a73ce0257613f484 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9e8b3a956eb5d1ac2aad095eb132c848 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848">BWProcessIncomingEdge</a> (const DPIm &amp;item, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f">GEDGE</a> *edge)</td></tr>
+<tr class="separator:a9e8b3a956eb5d1ac2aad095eb132c848 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa9e62efa4443fc8a9dfb79d002c5e1ef inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">DPIm&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aa9e62efa4443fc8a9dfb79d002c5e1ef">popFromWorklist</a> ()</td></tr>
+<tr class="memdesc:aa9e62efa4443fc8a9dfb79d002c5e1ef inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">Worklist operations.  <a href="classSVF_1_1SrcSnkSolver.html#aa9e62efa4443fc8a9dfb79d002c5e1ef">More...</a><br /></td></tr>
+<tr class="separator:aa9e62efa4443fc8a9dfb79d002c5e1ef inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4451d97a06bb74223e2dad0ea04265d7 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a4451d97a06bb74223e2dad0ea04265d7">pushIntoWorklist</a> (DPIm &amp;item)</td></tr>
+<tr class="separator:a4451d97a06bb74223e2dad0ea04265d7 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8cf98a877e4190f3886b4020006f6383 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383">isWorklistEmpty</a> ()</td></tr>
+<tr class="separator:a8cf98a877e4190f3886b4020006f6383 inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1d9e1f15c9670758b9598e848ce5eeed inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed">isInWorklist</a> (DPIm &amp;item)</td></tr>
+<tr class="separator:a1d9e1f15c9670758b9598e848ce5eeed inherit pro_methods_classSVF_1_1SrcSnkSolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_attribs_classSVF_1_1SrcSnkDDA"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1SrcSnkDDA')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td></tr>
 <tr class="memitem:ab6803f0a2b3507213ad2979b9b12f700 inherit pro_attribs_classSVF_1_1SrcSnkDDA"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SaberSVFGBuilder.html">SaberSVFGBuilder</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700">memSSA</a></td></tr>
 <tr class="separator:ab6803f0a2b3507213ad2979b9b12f700 inherit pro_attribs_classSVF_1_1SrcSnkDDA"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1ExeState-members.html

@@ -0,0 +1,113 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1ExeState.html">ExeState</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">SVF::ExeState Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a8447b7c20dd6bb724270026f55cbdece">eqVarToValMap</a>(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a83ce58a2551d511448d0224a96ca1bd7">ExeState</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a02e0a7dd5e66255be3838fa10e3e1cab">ExeState</a>(const Z3Expr &amp;_pc, VarToValMap &amp;_varToValMap, LocToValMap &amp;_locToValMap)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a62bef487b31f2a4ca27b4e9b183bdef5">ExeState</a>(const ExeState &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ac7a74f57945b7f076a5cfe9435fd34e8">getContext</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2535d6ef4a91b2bd2366b6a89265ab91">getInternalID</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a4ee40de7eca22ac055b52360e0101623">getLocToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a00bd54e2dc70a8547581008e27790eb8">getPathConstraint</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#abf1237f5e4661a2da6e479f147957b18">getVarToVal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#af97d422306089e69c2910c6084475c51">getVirtualMemAddress</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab52debe3aae77d1efd5de4d220dbed2f">getZ3Expr</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#af4018e9053baa373b590230bc53b7ccb">initObjVar</a>(const ObjVar *objVar, Z3Expr &amp;e)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a7b3013578baac3ce73bc544569c3dbbf">initValVar</a>(const ValVar *valVar, Z3Expr &amp;e)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a2d5f2c2de23c919a47432501c3ad8adb">isVirtualMemAddress</a>(u32_t val)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a29c29c85982ffafd4c496e293a80eeeb">lessThanVarToValMap</a>(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a80bd7f3746198459bbcb59274cebc013">load</a>(const Z3Expr &amp;loc)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a8b58d74bd718d66cde9ad7e868d6137a">load</a>(u32_t objId)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a55464ae666ae16656ad8903894ec14da">locToVal</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a887d6f9108cbbe7dca68dea67f70c392">LocToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a4ee62e9c0cc0eb34c72effc2c203506a">operator!=</a>(const ExeState &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a10a12722f1974d466ef07a35d9dff108">operator&lt;</a>(const ExeState &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0c6a0cd40fc94cc2c3829d6ae0a21270">operator=</a>(const ExeState &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">operator==</a>(const ExeState &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#af539858577135d706304bb0703f1530d">operator[]</a>(u32_t varId)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a7a9c5c2275246a43414503f6822073b1">pathConstraint</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#aee8eece3daa2b7cbebb8dcde761931c2">printExprValues</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#abb73aa9e213818e89e1fb8abdd7a3309">setPathConstraint</a>(const Z3Expr &amp;pc)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a08db85e0e599d17b54743feb03a7717a">store</a>(const Z3Expr &amp;loc, const Z3Expr &amp;value)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ade4fc12b40dd05bf840c313f2b723879">store</a>(u32_t objId, const Z3Expr &amp;z3Expr)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a32a5c65de2656ecfd2e33100a44dc02f">varToVal</a></td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#afc4aad166cd39a6cfbd8e9b897104f3f">VarToValMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#ab931a1b6a85d3db047bc50741a22c8a6">z3Expr2NumValue</a>(const Z3Expr &amp;e)</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ExeState.html#a56dc11162e701d8d48ea354f9d380167">~ExeState</a>()=default</td><td class="entry"><a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+</table></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>