svf-tools 1.0.442 → 1.0.445

package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html

@@ -81,30 +81,14 @@ Inheritance diagram for SVF::GenericEdge&lt; NodeTy &gt;:</div>
  <div class="center">
   <img src="classSVF_1_1GenericEdge.png" usemap="#SVF::GenericEdge_3C_20NodeTy_20_3E_map" alt=""/>
   <map id="SVF::GenericEdge_3C_20NodeTy_20_3E_map" name="SVF::GenericEdge_3C_20NodeTy_20_3E_map">
-<area href="classSVF_1_1CHEdge.html" alt="SVF::CHEdge" shape="rect" coords="0,56,185,80"/>
-<area href="classSVF_1_1ConstraintEdge.html" alt="SVF::ConstraintEdge" shape="rect" coords="195,56,380,80"/>
-<area href="classSVF_1_1ICFGEdge.html" alt="SVF::ICFGEdge" shape="rect" coords="585,56,770,80"/>
-<area href="classSVF_1_1PTACallGraphEdge.html" alt="SVF::PTACallGraphEdge" shape="rect" coords="975,56,1160,80"/>
-<area href="classSVF_1_1SVFStmt.html" alt="SVF::SVFStmt" shape="rect" coords="1365,56,1550,80"/>
-<area href="classSVF_1_1TCTEdge.html" alt="SVF::TCTEdge" shape="rect" coords="1560,56,1745,80"/>
-<area href="classSVF_1_1VFGEdge.html" alt="SVF::VFGEdge" shape="rect" coords="1755,56,1940,80"/>
-<area href="classSVF_1_1AddrCGEdge.html" alt="SVF::AddrCGEdge" shape="rect" coords="390,112,575,136"/>
-<area href="classSVF_1_1CopyCGEdge.html" alt="SVF::CopyCGEdge" shape="rect" coords="390,168,575,192"/>
-<area href="classSVF_1_1GepCGEdge.html" alt="SVF::GepCGEdge" shape="rect" coords="390,224,575,248"/>
-<area href="classSVF_1_1LoadCGEdge.html" alt="SVF::LoadCGEdge" shape="rect" coords="390,280,575,304"/>
-<area href="classSVF_1_1StoreCGEdge.html" alt="SVF::StoreCGEdge" shape="rect" coords="390,336,575,360"/>
-<area href="classSVF_1_1CallCFGEdge.html" alt="SVF::CallCFGEdge" shape="rect" coords="780,112,965,136"/>
-<area href="classSVF_1_1IntraCFGEdge.html" alt="SVF::IntraCFGEdge" shape="rect" coords="780,168,965,192"/>
-<area href="classSVF_1_1RetCFGEdge.html" alt="SVF::RetCFGEdge" shape="rect" coords="780,224,965,248"/>
-<area href="classSVF_1_1HareParForEdge.html" alt="SVF::HareParForEdge" shape="rect" coords="1170,112,1355,136"/>
-<area href="classSVF_1_1ThreadForkEdge.html" alt="SVF::ThreadForkEdge" shape="rect" coords="1170,168,1355,192"/>
-<area href="classSVF_1_1ThreadJoinEdge.html" alt="SVF::ThreadJoinEdge" shape="rect" coords="1170,224,1355,248"/>
-<area href="classSVF_1_1AssignStmt.html" alt="SVF::AssignStmt" shape="rect" coords="1560,112,1745,136"/>
-<area href="classSVF_1_1BranchStmt.html" alt="SVF::BranchStmt" shape="rect" coords="1560,168,1745,192"/>
-<area href="classSVF_1_1MultiOpndStmt.html" alt="SVF::MultiOpndStmt" shape="rect" coords="1560,224,1745,248"/>
-<area href="classSVF_1_1UnaryOPStmt.html" alt="SVF::UnaryOPStmt" shape="rect" coords="1560,280,1745,304"/>
-<area href="classSVF_1_1DirectSVFGEdge.html" alt="SVF::DirectSVFGEdge" shape="rect" coords="1950,112,2135,136"/>
-<area href="classSVF_1_1IndirectSVFGEdge.html" alt="SVF::IndirectSVFGEdge" shape="rect" coords="1950,168,2135,192"/>
+<area href="classSVF_1_1CFLEdge.html" alt="SVF::CFLEdge" shape="rect" coords="195,56,380,80"/>
+<area href="classSVF_1_1CHEdge.html" alt="SVF::CHEdge" shape="rect" coords="195,112,380,136"/>
+<area href="classSVF_1_1ConstraintEdge.html" alt="SVF::ConstraintEdge" shape="rect" coords="195,168,380,192"/>
+<area href="classSVF_1_1ICFGEdge.html" alt="SVF::ICFGEdge" shape="rect" coords="195,224,380,248"/>
+<area href="classSVF_1_1PTACallGraphEdge.html" alt="SVF::PTACallGraphEdge" shape="rect" coords="195,280,380,304"/>
+<area href="classSVF_1_1SVFStmt.html" alt="SVF::SVFStmt" shape="rect" coords="195,336,380,360"/>
+<area href="classSVF_1_1TCTEdge.html" alt="SVF::TCTEdge" shape="rect" coords="195,392,380,416"/>
+<area href="classSVF_1_1VFGEdge.html" alt="SVF::VFGEdge" shape="rect" coords="195,448,380,472"/>
 </map>
  </div></div>
 <table class="memberdecls">

package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html

@@ -78,15 +78,16 @@ Inheritance diagram for SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;:</div>
  <div class="center">
   <img src="classSVF_1_1GenericGraph.png" usemap="#SVF::GenericGraph_3C_20NodeTy_2C_20EdgeTy_20_3E_map" alt=""/>
   <map id="SVF::GenericGraph_3C_20NodeTy_2C_20EdgeTy_20_3E_map" name="SVF::GenericGraph_3C_20NodeTy_2C_20EdgeTy_20_3E_map">
-<area href="classSVF_1_1CHGraph.html" alt="SVF::CHGraph" shape="rect" coords="0,56,243,80"/>
-<area href="classSVF_1_1ICFG.html" alt="SVF::ICFG" shape="rect" coords="253,56,496,80"/>
-<area href="classSVF_1_1PTACallGraph.html" alt="SVF::PTACallGraph" shape="rect" coords="506,56,749,80"/>
-<area href="classSVF_1_1TCT.html" alt="SVF::TCT" shape="rect" coords="759,56,1002,80"/>
-<area href="classSVF_1_1VFG.html" alt="SVF::VFG" shape="rect" coords="1012,56,1255,80"/>
-<area href="classSVF_1_1ICFGPrinter.html" alt="SVF::ICFGPrinter" shape="rect" coords="253,112,496,136"/>
-<area href="classSVF_1_1ThreadCallGraph.html" alt="SVF::ThreadCallGraph" shape="rect" coords="506,112,749,136"/>
-<area href="classSVF_1_1SVFG.html" alt="SVF::SVFG" shape="rect" coords="1012,112,1255,136"/>
-<area href="classSVF_1_1SVFGOPT.html" alt="SVF::SVFGOPT" shape="rect" coords="1012,168,1255,192"/>
+<area href="classSVF_1_1CFLGraph.html" alt="SVF::CFLGraph" shape="rect" coords="0,56,243,80"/>
+<area href="classSVF_1_1CHGraph.html" alt="SVF::CHGraph" shape="rect" coords="253,56,496,80"/>
+<area href="classSVF_1_1ICFG.html" alt="SVF::ICFG" shape="rect" coords="506,56,749,80"/>
+<area href="classSVF_1_1PTACallGraph.html" alt="SVF::PTACallGraph" shape="rect" coords="759,56,1002,80"/>
+<area href="classSVF_1_1TCT.html" alt="SVF::TCT" shape="rect" coords="1012,56,1255,80"/>
+<area href="classSVF_1_1VFG.html" alt="SVF::VFG" shape="rect" coords="1265,56,1508,80"/>
+<area href="classSVF_1_1ICFGPrinter.html" alt="SVF::ICFGPrinter" shape="rect" coords="506,112,749,136"/>
+<area href="classSVF_1_1ThreadCallGraph.html" alt="SVF::ThreadCallGraph" shape="rect" coords="759,112,1002,136"/>
+<area href="classSVF_1_1SVFG.html" alt="SVF::SVFG" shape="rect" coords="1265,112,1508,136"/>
+<area href="classSVF_1_1SVFGOPT.html" alt="SVF::SVFGOPT" shape="rect" coords="1265,168,1508,192"/>
 </map>
  </div></div>
 <table class="memberdecls">

package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html

@@ -80,26 +80,27 @@ Inheritance diagram for SVF::GenericNode&lt; NodeTy, EdgeTy &gt;:</div>
   <img src="classSVF_1_1GenericNode.png" usemap="#SVF::GenericNode_3C_20NodeTy_2C_20EdgeTy_20_3E_map" alt=""/>
   <map id="SVF::GenericNode_3C_20NodeTy_2C_20EdgeTy_20_3E_map" name="SVF::GenericNode_3C_20NodeTy_2C_20EdgeTy_20_3E_map">
 <area href="classSVF_1_1CHNode.html" alt="SVF::CHNode" shape="rect" coords="0,56,238,80"/>
-<area href="classSVF_1_1ICFGNode.html" alt="SVF::ICFGNode" shape="rect" coords="248,56,486,80"/>
-<area href="classSVF_1_1PTACallGraphNode.html" alt="SVF::PTACallGraphNode" shape="rect" coords="496,56,734,80"/>
-<area href="classSVF_1_1SVFVar.html" alt="SVF::SVFVar" shape="rect" coords="744,56,982,80"/>
-<area href="classSVF_1_1TCTNode.html" alt="SVF::TCTNode" shape="rect" coords="992,56,1230,80"/>
-<area href="classSVF_1_1VFGNode.html" alt="SVF::VFGNode" shape="rect" coords="1240,56,1478,80"/>
-<area href="classSVF_1_1GlobalICFGNode.html" alt="SVF::GlobalICFGNode" shape="rect" coords="496,112,734,136"/>
-<area href="classSVF_1_1InterICFGNode.html" alt="SVF::InterICFGNode" shape="rect" coords="496,168,734,192"/>
-<area href="classSVF_1_1IntraICFGNode.html" alt="SVF::IntraICFGNode" shape="rect" coords="496,224,734,248"/>
-<area href="classSVF_1_1ObjVar.html" alt="SVF::ObjVar" shape="rect" coords="992,112,1230,136"/>
-<area href="classSVF_1_1ValVar.html" alt="SVF::ValVar" shape="rect" coords="992,168,1230,192"/>
-<area href="classSVF_1_1ArgumentVFGNode.html" alt="SVF::ArgumentVFGNode" shape="rect" coords="1488,112,1726,136"/>
-<area href="classSVF_1_1BinaryOPVFGNode.html" alt="SVF::BinaryOPVFGNode" shape="rect" coords="1488,168,1726,192"/>
-<area href="classSVF_1_1BranchVFGNode.html" alt="SVF::BranchVFGNode" shape="rect" coords="1488,224,1726,248"/>
-<area href="classSVF_1_1CmpVFGNode.html" alt="SVF::CmpVFGNode" shape="rect" coords="1488,280,1726,304"/>
-<area href="classSVF_1_1DummyVersionPropSVFGNode.html" alt="SVF::DummyVersionPropSVFGNode" shape="rect" coords="1488,336,1726,360"/>
-<area href="classSVF_1_1MRSVFGNode.html" alt="SVF::MRSVFGNode" shape="rect" coords="1488,392,1726,416"/>
-<area href="classSVF_1_1NullPtrVFGNode.html" alt="SVF::NullPtrVFGNode" shape="rect" coords="1488,448,1726,472"/>
-<area href="classSVF_1_1PHIVFGNode.html" alt="SVF::PHIVFGNode" shape="rect" coords="1488,504,1726,528"/>
-<area href="classSVF_1_1StmtVFGNode.html" alt="SVF::StmtVFGNode" shape="rect" coords="1488,560,1726,584"/>
-<area href="classSVF_1_1UnaryOPVFGNode.html" alt="SVF::UnaryOPVFGNode" shape="rect" coords="1488,616,1726,640"/>
+<area href="classSVF_1_1ConstraintNode.html" alt="SVF::ConstraintNode" shape="rect" coords="248,56,486,80"/>
+<area href="classSVF_1_1ICFGNode.html" alt="SVF::ICFGNode" shape="rect" coords="496,56,734,80"/>
+<area href="classSVF_1_1PTACallGraphNode.html" alt="SVF::PTACallGraphNode" shape="rect" coords="744,56,982,80"/>
+<area href="classSVF_1_1SVFVar.html" alt="SVF::SVFVar" shape="rect" coords="992,56,1230,80"/>
+<area href="classSVF_1_1TCTNode.html" alt="SVF::TCTNode" shape="rect" coords="1240,56,1478,80"/>
+<area href="classSVF_1_1VFGNode.html" alt="SVF::VFGNode" shape="rect" coords="1488,56,1726,80"/>
+<area href="classSVF_1_1GlobalICFGNode.html" alt="SVF::GlobalICFGNode" shape="rect" coords="744,112,982,136"/>
+<area href="classSVF_1_1InterICFGNode.html" alt="SVF::InterICFGNode" shape="rect" coords="744,168,982,192"/>
+<area href="classSVF_1_1IntraICFGNode.html" alt="SVF::IntraICFGNode" shape="rect" coords="744,224,982,248"/>
+<area href="classSVF_1_1ObjVar.html" alt="SVF::ObjVar" shape="rect" coords="1240,112,1478,136"/>
+<area href="classSVF_1_1ValVar.html" alt="SVF::ValVar" shape="rect" coords="1240,168,1478,192"/>
+<area href="classSVF_1_1ArgumentVFGNode.html" alt="SVF::ArgumentVFGNode" shape="rect" coords="1736,112,1974,136"/>
+<area href="classSVF_1_1BinaryOPVFGNode.html" alt="SVF::BinaryOPVFGNode" shape="rect" coords="1736,168,1974,192"/>
+<area href="classSVF_1_1BranchVFGNode.html" alt="SVF::BranchVFGNode" shape="rect" coords="1736,224,1974,248"/>
+<area href="classSVF_1_1CmpVFGNode.html" alt="SVF::CmpVFGNode" shape="rect" coords="1736,280,1974,304"/>
+<area href="classSVF_1_1DummyVersionPropSVFGNode.html" alt="SVF::DummyVersionPropSVFGNode" shape="rect" coords="1736,336,1974,360"/>
+<area href="classSVF_1_1MRSVFGNode.html" alt="SVF::MRSVFGNode" shape="rect" coords="1736,392,1974,416"/>
+<area href="classSVF_1_1NullPtrVFGNode.html" alt="SVF::NullPtrVFGNode" shape="rect" coords="1736,448,1974,472"/>
+<area href="classSVF_1_1PHIVFGNode.html" alt="SVF::PHIVFGNode" shape="rect" coords="1736,504,1974,528"/>
+<area href="classSVF_1_1StmtVFGNode.html" alt="SVF::StmtVFGNode" shape="rect" coords="1736,560,1974,584"/>
+<area href="classSVF_1_1UnaryOPVFGNode.html" alt="SVF::UnaryOPVFGNode" shape="rect" coords="1736,616,1974,640"/>
 </map>
  </div></div>
 <table class="memberdecls">

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

@@ -0,0 +1,93 @@
+<!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_1GrammarBase.html">GrammarBase</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">SVF::GrammarBase Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">getSymbol</a>(const Production &amp;prod, u32_t pos)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a>(std::string strLit)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">insertTerminalSymbol</a>(std::string strLit)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a></td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a></td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53">startSymbol</a></td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a>(std::string str) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e">sym2Str</a>(Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a></td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a></td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></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>