npm - svf-tools - Versions diffs - 1.0.442 → 1.0.445 - Mend

svf-tools 1.0.442 → 1.0.445

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (518) hide show

package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver.png ADDED Viewed

Binary file

package/SVF-doxygen/html/html/classSVF_1_1LeakChecker-members.html CHANGED Viewed

@@ -79,14 +79,14 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79">addToSources</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc">analyze</a>(SVFModule *module)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd">annotateSlice</a>(ProgSlice *slice)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc">backwardTraverse</a>(DPIm &amp;it)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819">backwardTraverse</a>(DPIm &amp;it)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286">backwardVisited</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#adc2ac209e2d5e561bcb594db4c77051b">BWProcessCurNode</a>(const DPIm &amp;item)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a447db2796a7024dfa0fbe9ac95c671c0">SVF::SrcSnkSolver::BWProcessCurNode</a>(const DPIm &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f">SVF::GraphReachSolver::BWProcessCurNode</a>(const DPIm &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a1ea0d4c4e53ff6986dd50d624ba2bff5">BWProcessIncomingEdge</a>(const DPIm &amp;item, SVFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848">SVF::SrcSnkSolver::BWProcessIncomingEdge</a>(const DPIm &amp;item, GEDGE *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#aac7caf50b94caa7bd6960461c0c16014">SVF::GraphReachSolver::BWProcessIncomingEdge</a>(const DPIm &amp;item, GEDGE *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165">CallSiteSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e">child_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04">child_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#af048c70d7e68da22835570a3381eb14d">clearVisitedMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</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_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">CONTEXT_LEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642">CSWorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"></td></tr>
@@ -94,17 +94,17 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ab3cc8f13ea8de2db4ba874280802667a">DPImSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba">dumpSlices</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06">finalize</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d">forwardTraverse</a>(DPIm &amp;it)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#ad1ad147241183e1077a4691ebe7861b5">forwardTraverse</a>(DPIm &amp;it)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae">forwardVisited</a>(const SVFGNode *node, const DPIm &amp;item)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</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_1SrcSnkDDA.html#abf20d02932b7ca983b9bd790812b1f40">FWProcessCurNode</a>(const DPIm &amp;item)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ab35190da65a3157a654a90afc7d793b5">SVF::SrcSnkSolver::FWProcessCurNode</a>(const DPIm &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a6ea48755ca28468b426380e838494087">SVF::GraphReachSolver::FWProcessCurNode</a>(const DPIm &amp;)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad2203ca5bd08c6fbebd31a8a010edebb">FWProcessOutgoingEdge</a>(const DPIm &amp;item, SVFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aa43dbc79bfde3199a73ce0257613f484">SVF::SrcSnkSolver::FWProcessOutgoingEdge</a>(const DPIm &amp;item, GEDGE *edge)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f">GEDGE</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a3f205f7bc0f0ae1a14184bb8cae4bf92">SVF::GraphReachSolver::FWProcessOutgoingEdge</a>(const DPIm &amp;item, GEDGE *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2">GEDGE</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad445032e9b2027b3c990ce2a250257f8">getCallgraph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad50e479db8f0733326974709d6ffe653">getCurSlice</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff">getNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</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_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e">getNodeIDFromItem</a>(const DPIm &amp;item) const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98">getNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</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_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf">getNodeIDFromItem</a>(const DPIm &amp;item) const</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a4f37c66db2588cd691353a9ad1a4d5b1">getPAG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a1a6ae6b1f6864057067d0e5533ea801e">getPathAllocator</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a1145c601df2e3dec1e32e43613447b96">getSinks</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -112,48 +112,48 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a8cc561fddf3435b3b40ff4aace23b846">getSrcCSID</a>(const SVFGNode *src)</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</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_1SrcSnkDDA.html#a529b40c870c74309440f025e490bb161">getSVFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da20b4563d5fc09a0a076800cd02f238f1">GLOBAL_LEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">GNODE</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c">graph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</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_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238">GTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd">initialize</a>(SVFModule *module)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c">initSnks</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a273a7bfc3e81505ec971ca1d419bb565">initSrcs</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78">inv_child_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae">InvGTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0">isAllPathReachable</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">isGlobalSVFGNode</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c">isInAWrapper</a>(const SVFGNode *src, CallSiteSet &amp;csIdSet)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a4cb2c14431fc432e84d382f8eeb24fe2">isInCurBackwardSlice</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94">isInCurForwardSlice</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed">isInWorklist</a>(DPIm &amp;item)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</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_1SrcSnkDDA.html#a703bfc5c825d66fdb0d74eb89d181581">isSink</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#aa45d35a0dc5162e8cef8b27b92ff243d">isSinkLikeFun</a>(const SVFFunction *fun) override</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a19ab6f6df2a67b294268cfe7f4287fd7">isSomePathReachable</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a815e39e7c65ed9a250cafe40f74a4ba1">isSource</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#afeee30f5f0c08d9aed59be3064bcc134">isSourceLikeFun</a>(const SVFFunction *fun) override</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383">isWorklistEmpty</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</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_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d">LEAK_TYPE</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#af1140475e97947d193784d2b90809036">LeakChecker</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700">memSSA</a></td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d">NEVER_FREE_LEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3">node_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda">PATH_LEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#aa9e62efa4443fc8a9dfb79d002c5e1ef">popFromWorklist</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ae3d665ff1e796348131e797eb0283bfb">printBDDStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a">ptaCallGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a4451d97a06bb74223e2dad0ea04265d7">pushIntoWorklist</a>(DPIm &amp;item)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</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_1LeakChecker.html#aa8bd31ae91ed1e9890203f865982a065">reportBug</a>(ProgSlice *slice) override</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a7b6710c3b56141a249bfc29fb6181583">reportNeverFree</a>(const SVFGNode *src)</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a93486083c0f186b91e655cbef2382634">reportPartialLeak</a>(const SVFGNode *src)</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">runOnModule</a>(SVFModule *module)</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ab35c0d1f02c83a2c10717905f1abf5cd">setCurSlice</a>(const SVFGNode *src)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b">setGraph</a>(GraphType g)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</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_1SrcSnkDDA.html#a79833c0cf1916d63e1dd32c2220056dd">sinksBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#aaabc8d3aed17c8a35ef37d878f141412">sinksEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a0515c9079f28f8c5d4f0f9a2fc39a137">sourcesBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e">sourcesEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SrcSnkDDA</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a952450652e55f3325f24b8d237d2c37d">SrcSnkSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</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_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a88775eedbbc3039caac1e350b48aa838">graph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</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_1GraphReachSolver.html#a766dc60e7ce7b24b829ba591d069c174">GraphReachSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a2ede2e8b4c0f44d7f1d5ab7684915556">GTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd">initialize</a>(SVFModule *module)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c">initSnks</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a273a7bfc3e81505ec971ca1d419bb565">initSrcs</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91">inv_child_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e">InvGTraits</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a6ae0d47bac09163e90b8b2e773ad69f0">isAllPathReachable</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">isGlobalSVFGNode</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c">isInAWrapper</a>(const SVFGNode *src, CallSiteSet &amp;csIdSet)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a4cb2c14431fc432e84d382f8eeb24fe2">isInCurBackwardSlice</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a4bde70a5d9dbf5a9234a93aaeaaacb94">isInCurForwardSlice</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a448dd77a75555479e9c8769c0638af2c">isInWorklist</a>(DPIm &amp;item)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a703bfc5c825d66fdb0d74eb89d181581">isSink</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#aa45d35a0dc5162e8cef8b27b92ff243d">isSinkLikeFun</a>(const SVFFunction *fun) override</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a19ab6f6df2a67b294268cfe7f4287fd7">isSomePathReachable</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a815e39e7c65ed9a250cafe40f74a4ba1">isSource</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#afeee30f5f0c08d9aed59be3064bcc134">isSourceLikeFun</a>(const SVFFunction *fun) override</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a7bfeccdf602cf901699e806e6c481f26">isWorklistEmpty</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842d">LEAK_TYPE</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#af1140475e97947d193784d2b90809036">LeakChecker</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ab6803f0a2b3507213ad2979b9b12f700">memSSA</a></td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da3ec849f333df9530fb0a6a285c26b86d">NEVER_FREE_LEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084">node_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda">PATH_LEAK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a1638d1ccdcef472f2c54a2e18fc4130b">popFromWorklist</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</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_1SrcSnkDDA.html#ae3d665ff1e796348131e797eb0283bfb">printBDDStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a">ptaCallGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">pushIntoWorklist</a>(DPIm &amp;item)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#aa8bd31ae91ed1e9890203f865982a065">reportBug</a>(ProgSlice *slice) override</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a7b6710c3b56141a249bfc29fb6181583">reportNeverFree</a>(const SVFGNode *src)</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a93486083c0f186b91e655cbef2382634">reportPartialLeak</a>(const SVFGNode *src)</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">runOnModule</a>(SVFModule *module)</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ab35c0d1f02c83a2c10717905f1abf5cd">setCurSlice</a>(const SVFGNode *src)</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a0298a692295a8a4eae32ab151aa6ccc3">setGraph</a>(GraphType g)</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a79833c0cf1916d63e1dd32c2220056dd">sinksBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#aaabc8d3aed17c8a35ef37d878f141412">sinksEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a0515c9079f28f8c5d4f0f9a2fc39a137">sourcesBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ad0cb9de24cbc99d148f63b694dc3908e">sourcesEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SrcSnkDDA</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a46b4447bf1bf34d3b8e56cce93e04852">srcToCSIDMap</a></td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4">svfg</a></td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a65b05e30410e40fe64d41f71516cd367">SVFGNodeBS</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"></td></tr>
@@ -166,9 +166,9 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#af098d01a353a217bd54a90f92f62a45f">validateExpectedFailureTests</a>(const SVFGNode *source, const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a0aa051a956b61cad9ec5419f33829e6a">validateSuccessTests</a>(const SVFGNode *source, const SVFFunction *fun)</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b">WorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a1c47ce036a7ffcd7cbe5d5e372a30208">~LeakChecker</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a0181630a05f915eb35a88540af6919df">~SrcSnkDDA</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html#a2e5019545fc7175402eb6bd6d898afa9">~SrcSnkSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkSolver.html">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html#a31e78a14271a152f5b7c0d751a39312a">~GraphReachSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html#a1c47ce036a7ffcd7cbe5d5e372a30208">~LeakChecker</a>()</td><td class="entry"><a class="el" href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html#a0181630a05f915eb35a88540af6919df">~SrcSnkDDA</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SrcSnkDDA.html">SVF::SrcSnkDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>