svf-tools 1.0.341 → 1.0.342
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.
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/BasicTypes_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +38 -36
- package/SVF-doxygen/html/html/ICFG_8h_source.html +18 -18
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Options_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/Options_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SVFG_8h_source.html +4 -4
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +20 -20
- package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +8 -8
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +5 -5
- package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/VFG_8h_source.html +4 -4
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AddrStmt.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +6 -5
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +15 -12
- package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +5 -3
- package/SVF-doxygen/html/html/classSVF_1_1CallCFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +6 -5
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CopyStmt.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode.html +4 -2
- package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode.html +4 -2
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1GlobalBlockNode.html +3 -1
- package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +46 -46
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1ICFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ICFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +7 -3
- package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1PCG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +5 -3
- package/SVF-doxygen/html/html/classSVF_1_1RetCFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1SVFStmt.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TCT.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +10 -9
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +8 -11
- package/SVF-doxygen/html/html/functions_s.html +18 -15
- package/SVF-doxygen/html/html/functions_t.html +4 -4
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_p.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_s.html +3 -0
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +11 -11
- package/SVF-doxygen/html/html/search/all_10.js +0 -1
- package/SVF-doxygen/html/html/search/all_13.js +2 -1
- package/SVF-doxygen/html/html/search/all_14.js +5 -5
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/variables_10.js +0 -1
- package/SVF-doxygen/html/html/search/variables_13.js +1 -0
- package/SVF-doxygen/html/html/search/variables_14.js +3 -3
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +17 -17
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
- package/include/Util/Options.h +1 -1
- package/lib/Graphs/ICFG.cpp +39 -27
- package/lib/MemoryModel/SVFStatements.cpp +53 -49
- package/lib/MemoryModel/SVFVariables.cpp +10 -10
- package/lib/Util/Options.cpp +3 -3
- package/lib/Util/SVFUtil.cpp +2 -0
- package/package.json +1 -1
|
@@ -66,7 +66,7 @@ $(function() {
|
|
|
66
66
|
<div class="title">Options.h</div> </div>
|
|
67
67
|
</div><!--header-->
|
|
68
68
|
<div class="contents">
|
|
69
|
-
<a href="Options_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="comment">//===- Options.h -- Command line options ------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span> </div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="preprocessor">#ifndef OPTIONS_H_</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="preprocessor">#define OPTIONS_H_</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span> </div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="preprocessor">#include <sstream></span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span> <span class="preprocessor">#include "<a class="code" href="fastcluster_8h.html">FastCluster/fastcluster.h</a>"</span></div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="preprocessor">#include "<a class="code" href="PTAStat_8h.html">MemoryModel/PTAStat.h</a>"</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="preprocessor">#include "<a class="code" href="PointerAnalysisImpl_8h.html">MemoryModel/PointerAnalysisImpl.h</a>"</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="preprocessor">#include "<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>"</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="preprocessor">#include "<a class="code" href="MemSSA_8h.html">MSSA/MemSSA.h</a>"</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span> <span class="preprocessor">#include "<a class="code" href="WPAPass_8h.html">WPA/WPAPass.h</a>"</span></div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> </div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span> {</div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span> </div><div class="line"><a name="l00018"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html"> 18</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1Options.html">Options</a></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span> {</div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span>  <a class="code" href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">Options</a>(<span class="keywordtype">void</span>) = <span class="keyword">delete</span>;</div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span> </div><div class="line"><a name="l00023"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df"> 23</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<enum PTAStat::ClockType> <a class="code" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">ClockType</a>;</div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span> </div><div class="line"><a name="l00030"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03"> 30</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03">MarkedClocksOnly</a>;</div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span> </div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065"> 34</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<SVF::NodeIDAllocator::Strategy> <a class="code" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">NodeAllocStrat</a>;</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span> </div><div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc"> 37</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">MaxFieldLimit</a>;</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span> </div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e"> 40</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e">ClusterAnder</a>;</div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span> </div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a"> 43</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a">ClusterFs</a>;</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span> </div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b"> 46</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b">PlainMappingFs</a>;</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span> </div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304"> 49</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<PointsTo::Type> <a class="code" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304">PtType</a>;</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span> </div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819"> 55</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<enum hclust_fast_methods> <a class="code" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819">ClusterMethod</a>;</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span> </div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f"> 58</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">RegionedClustering</a>;</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span> </div><div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b"> 61</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">RegionAlign</a>;</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span> </div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f"> 65</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">PredictPtOcc</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span> </div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2"> 68</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<BVDataPTAImpl::PTBackingType> <a class="code" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">ptDataBacking</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span> </div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b"> 71</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b">FsTimeLimit</a>;</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span> </div><div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67"> 74</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67">AnderTimeLimit</a>;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span> </div><div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9"> 77</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">VersioningThreads</a>;</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span> </div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  <span class="comment">// ContextDDA.cpp</span></div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874"> 80</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned long long> <a class="code" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">CxtBudget</a>;</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span> </div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="comment">// DDAClient.cpp</span></div><div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3"> 83</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SingleLoad</a>;</div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90"> 84</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90">DumpFree</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5"> 85</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5">DumpUninitVar</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73"> 86</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73">DumpUninitPtr</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095"> 87</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">DumpSUPts</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412"> 88</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412">DumpSUStore</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c"> 89</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">MallocOnly</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e"> 90</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">TaintUninitHeap</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc"> 91</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">TaintUninitStack</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span> </div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <span class="comment">// DDAPass.cpp</span></div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c"> 94</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">MaxPathLen</a>;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8"> 95</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">MaxContextLen</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84"> 96</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">MaxStepInWrapper</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce"> 97</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce">UserInputQuery</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd"> 98</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd">InsenRecur</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667"> 99</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667">InsenCycle</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24"> 100</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">PrintCPts</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10"> 101</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">PrintQueryPts</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a"> 102</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a">WPANum</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b"> 103</a></span>  <span class="keyword">static</span> llvm::cl::bits<PointerAnalysis::PTATY> <a class="code" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b">DDASelected</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span> </div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="comment">// FlowDDA.cpp</span></div><div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7"> 106</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned long long> <a class="code" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7">FlowBudget</a>;</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span> </div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="comment">// Offline constraint graph (OfflineConsG.cpp)</span></div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf"> 109</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf">OCGDotGraph</a>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span> </div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="comment">// Program Assignment Graph for pointer analysis (SVFIR.cpp)</span></div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40"> 112</a></span>  <span class="keyword">static</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">HandBlackHole</a>;</div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224"> 113</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">FirstFieldEqBase</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span> </div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <span class="comment">// SVFG optimizer (SVFGOPT.cpp)</span></div><div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2"> 116</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2">ContextInsensitive</a>;</div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef"> 117</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef">KeepAOFI</a>;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053"> 118</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053">SelfCycle</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span> </div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <span class="comment">// Sparse value-flow graph (VFG.cpp)</span></div><div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070"> 121</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070">DumpVFG</a>;</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span> </div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  <span class="comment">// Location set for modeling abstract memory object (LocationSet.cpp)</span></div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015"> 124</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SingleStride</a>;</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span> </div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="comment">// Base class of pointer analyses (PointerAnalysis.cpp)</span></div><div class="line"><a name="l00127"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5"> 127</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">TypePrint</a>;</div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955"> 128</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955">FuncPointerPrint</a>;</div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24"> 129</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">PTSPrint</a>;</div><div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c"> 130</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c">PTSAllPrint</a>;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb"> 131</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">PStat</a>;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4"> 132</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">StatBudget</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0"> 133</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">PAGDotGraph</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c"> 134</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">PAGDotGraphShorter</a>;</div><div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e"> 135</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e">DumpICFG</a>;</div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93"> 136</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93">CallGraphDotGraph</a>;</div><div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80"> 137</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">PAGPrint</a>;</div><div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8"> 138</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">IndirectCallLimit</a>;</div><div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc"> 139</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc">UsePreCompFieldSensitive</a>;</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c"> 140</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c">EnableAliasCheck</a>;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5"> 141</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5">EnableThreadCallGraph</a>;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1"> 142</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1">ConnectVCallOnCHA</a>;</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span> </div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  <span class="comment">// PointerAnalysisImpl.cpp</span></div><div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845"> 145</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">INCDFPTData</a>;</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span> </div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="comment">// Memory region (MemRegion.cpp)</span></div><div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040"> 148</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040">IgnoreDeadFun</a>;</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span> </div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  <span class="comment">// Base class of pointer analyses (MemSSA.cpp)</span></div><div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5"> 151</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5">DumpMSSA</a>;</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d"> 152</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d">MSSAFun</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <span class="comment">// static const llvm::cl::opt<string> MSSAFun;</span></div><div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3"> 154</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<MemSSA::MemPartition> <a class="code" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3">MemPar</a>;</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span> </div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  <span class="comment">// SVFG builder (SVFGBuilder.cpp)</span></div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2"> 157</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVFGWithIndirectCall</a>;</div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403"> 158</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403">SingleVFG</a>;</div><div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a"> 159</a></span>  <span class="keyword">static</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">OPTSVFG</a>;</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span> </div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  <span class="comment">// FSMPTA.cpp</span></div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762"> 162</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762">UsePCG</a>;</div><div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464"> 163</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464">IntraLock</a>;</div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b"> 164</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b">ReadPrecisionTDEdge</a>;</div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371"> 165</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<u32_t> <a class="code" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">AddModelFlag</a>;</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span> </div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <span class="comment">// LockAnalysis.cpp</span></div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58"> 168</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">PrintLockSpan</a>;</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span> </div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="comment">// MHP.cpp</span></div><div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a"> 171</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a">PrintInterLev</a>;</div><div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6"> 172</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6">DoLockAnalysis</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span> </div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  <span class="comment">// MTA.cpp</span></div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be"> 175</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be">AndersenAnno</a>;</div><div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a"> 176</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a">FSAnno</a>;</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span> </div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  <span class="comment">// MTAAnnotator.cpp</span></div><div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd"> 179</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<u32_t> <a class="code" href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd">AnnoFlag</a>;</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span> </div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <span class="comment">// MTAResultValidator.cpp</span></div><div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e"> 182</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">PrintValidRes</a>;</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  </div><div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66"> 184</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66">LockValid</a>;</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  <span class="comment">//MTAStat.cpp</span></div><div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993"> 186</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993">AllPairMHP</a>;</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span> </div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <span class="comment">// PCG.cpp</span></div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  <span class="comment">//const llvm::cl::opt<bool> TDPrint</span></div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span> </div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  <span class="comment">// TCT.cpp</span></div><div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8"> 192</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8">TCTDotGraph</a>;</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span> </div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <span class="comment">// LeakChecker.cpp</span></div><div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c"> 195</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">ValidateTests</a>;</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span> </div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  <span class="comment">// Source-sink analyzer (SrcSnkDDA.cpp)</span></div><div class="line"><a name="l00198"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab"> 198</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab">DumpSlice</a>;</div><div class="line"><a name="l00199"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4"> 199</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4">CxtLimit</a>;</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span> </div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  <span class="comment">// CHG.cpp</span></div><div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456"> 202</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">DumpCHA</a>;</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span> </div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  <span class="comment">// DCHG.cpp</span></div><div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316"> 205</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">PrintDCHG</a>;</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span> </div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  <span class="comment">// LLVMModule.cpp</span></div><div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38"> 208</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38">Graphtxt</a>;</div><div class="line"><a name="l00209"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385"> 209</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVFMain</a>;</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span> </div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  <span class="comment">// SymbolTableInfo.cpp</span></div><div class="line"><a name="l00212"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940"> 212</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940">LocMemModel</a>;</div><div class="line"><a name="l00213"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877"> 213</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877">ModelConsts</a>;</div><div class="line"><a name="l00214"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85"> 214</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SymTabPrint</a>;</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span> </div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  <span class="comment">// Conditions.cpp</span></div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a344ca0e4b8d9159836e558aed44be1b4"> 217</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a344ca0e4b8d9159836e558aed44be1b4">MaxBddSize</a>;</div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span> </div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  <span class="comment">// PathCondAllocator.cpp</span></div><div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496"> 220</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">PrintPathCond</a>;</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span> </div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  <span class="comment">// SVFUtil.cpp</span></div><div class="line"><a name="l00223"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb"> 223</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb">DisableWarn</a>;</div><div class="line"><a name="l00224"></a><span class="lineno"> 224</span> </div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  <span class="comment">// Andersen.cpp</span></div><div class="line"><a name="l00226"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a"> 226</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a">ConsCGDotGraph</a>;</div><div class="line"><a name="l00227"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177"> 227</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">BriefConsCGDotGraph</a>;</div><div class="line"><a name="l00228"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268"> 228</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268">PrintCGGraph</a>;</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="comment">// static const llvm::cl::opt<string> WriteAnder;</span></div><div class="line"><a name="l00230"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a"> 230</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">WriteAnder</a>;</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  <span class="comment">// static const llvm::cl::opt<string> ReadAnder;</span></div><div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116"> 232</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116">ReadAnder</a>;</div><div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206"> 233</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206">PtsDiff</a>;</div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed"> 234</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed">MergePWC</a>;</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span> </div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  <span class="comment">// FlowSensitive.cpp</span></div><div class="line"><a name="l00237"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77"> 237</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77">CTirAliasEval</a>;</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span> </div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  <span class="comment">//FlowSensitiveTBHC.cpp</span></div><div class="line"><a name="l00240"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e"> 240</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e">TBHCStoreReuse</a>;</div><div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f"> 241</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f">TBHCAllReuse</a>;</div><div class="line"><a name="l00242"></a><span class="lineno"> 242</span> </div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  <span class="comment">// TypeAnalysis.cpp</span></div><div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5d839932d78bedf6f5eb75358699732f"> 244</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5d839932d78bedf6f5eb75358699732f">GenICFG</a>;</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span> </div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  <span class="comment">// WPAPass.cpp</span></div><div class="line"><a name="l00247"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3"> 247</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">AnderSVFG</a>;</div><div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590"> 248</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SABERFULLSVFG</a>;</div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe"> 249</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">PrintAliases</a>;</div><div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038"> 250</a></span>  <span class="keyword">static</span> llvm::cl::bits<PointerAnalysis::PTATY> <a class="code" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">PASelected</a>;</div><div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7"> 251</a></span>  <span class="keyword">static</span> llvm::cl::bits<WPAPass::AliasCheckRule> <a class="code" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">AliasRule</a>;</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</span> </div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  <span class="comment">// DOTGraphTraits</span></div><div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b"> 254</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">ShowHiddenNode</a>;</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span> };</div><div class="line"><a name="l00256"></a><span class="lineno"> 256</span> } <span class="comment">// namespace SVF</span></div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span> </div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span> <span class="preprocessor">#endif // ifdef OPTIONS_H_</span></div><div class="ttc" id="classSVF_1_1Options_html_ab9db3ae038f26a350afc964952907bd7"><div class="ttname"><a href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">SVF::Options::AliasRule</a></div><div class="ttdeci">static llvm::cl::bits< WPAPass::AliasCheckRule > AliasRule</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00251">Options.h:251</a></div></div>
|
|
69
|
+
<a href="Options_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="comment">//===- Options.h -- Command line options ------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span> </div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="preprocessor">#ifndef OPTIONS_H_</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="preprocessor">#define OPTIONS_H_</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span> </div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="preprocessor">#include <sstream></span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span> <span class="preprocessor">#include "<a class="code" href="fastcluster_8h.html">FastCluster/fastcluster.h</a>"</span></div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="preprocessor">#include "<a class="code" href="PTAStat_8h.html">MemoryModel/PTAStat.h</a>"</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="preprocessor">#include "<a class="code" href="PointerAnalysisImpl_8h.html">MemoryModel/PointerAnalysisImpl.h</a>"</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="preprocessor">#include "<a class="code" href="NodeIDAllocator_8h.html">Util/NodeIDAllocator.h</a>"</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="preprocessor">#include "<a class="code" href="MemSSA_8h.html">MSSA/MemSSA.h</a>"</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span> <span class="preprocessor">#include "<a class="code" href="WPAPass_8h.html">WPA/WPAPass.h</a>"</span></div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> </div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span> {</div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span> </div><div class="line"><a name="l00018"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html"> 18</a></span> <span class="keyword">class </span><a class="code" href="classSVF_1_1Options.html">Options</a></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span> {</div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="keyword">public</span>:</div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span>  <a class="code" href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">Options</a>(<span class="keywordtype">void</span>) = <span class="keyword">delete</span>;</div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span> </div><div class="line"><a name="l00023"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df"> 23</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<enum PTAStat::ClockType> <a class="code" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">ClockType</a>;</div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span> </div><div class="line"><a name="l00030"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03"> 30</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03">MarkedClocksOnly</a>;</div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span> </div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065"> 34</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<SVF::NodeIDAllocator::Strategy> <a class="code" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">NodeAllocStrat</a>;</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span> </div><div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc"> 37</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">MaxFieldLimit</a>;</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span> </div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e"> 40</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e">ClusterAnder</a>;</div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span> </div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a"> 43</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a">ClusterFs</a>;</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span> </div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b"> 46</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b">PlainMappingFs</a>;</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span> </div><div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304"> 49</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<PointsTo::Type> <a class="code" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304">PtType</a>;</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span> </div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819"> 55</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<enum hclust_fast_methods> <a class="code" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819">ClusterMethod</a>;</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span> </div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f"> 58</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">RegionedClustering</a>;</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span> </div><div class="line"><a name="l00061"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b"> 61</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">RegionAlign</a>;</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span> </div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f"> 65</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">PredictPtOcc</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span> </div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2"> 68</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<BVDataPTAImpl::PTBackingType> <a class="code" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">ptDataBacking</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span> </div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b"> 71</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b">FsTimeLimit</a>;</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span> </div><div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67"> 74</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67">AnderTimeLimit</a>;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span> </div><div class="line"><a name="l00077"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9"> 77</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">VersioningThreads</a>;</div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span> </div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  <span class="comment">// ContextDDA.cpp</span></div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874"> 80</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned long long> <a class="code" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">CxtBudget</a>;</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span> </div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  <span class="comment">// DDAClient.cpp</span></div><div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3"> 83</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SingleLoad</a>;</div><div class="line"><a name="l00084"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90"> 84</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90">DumpFree</a>;</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5"> 85</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5">DumpUninitVar</a>;</div><div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73"> 86</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73">DumpUninitPtr</a>;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095"> 87</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">DumpSUPts</a>;</div><div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412"> 88</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412">DumpSUStore</a>;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c"> 89</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">MallocOnly</a>;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e"> 90</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">TaintUninitHeap</a>;</div><div class="line"><a name="l00091"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc"> 91</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">TaintUninitStack</a>;</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span> </div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  <span class="comment">// DDAPass.cpp</span></div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c"> 94</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">MaxPathLen</a>;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8"> 95</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">MaxContextLen</a>;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84"> 96</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">MaxStepInWrapper</a>;</div><div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce"> 97</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce">UserInputQuery</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd"> 98</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd">InsenRecur</a>;</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667"> 99</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667">InsenCycle</a>;</div><div class="line"><a name="l00100"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24"> 100</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">PrintCPts</a>;</div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10"> 101</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">PrintQueryPts</a>;</div><div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a"> 102</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a">WPANum</a>;</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b"> 103</a></span>  <span class="keyword">static</span> llvm::cl::bits<PointerAnalysis::PTATY> <a class="code" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b">DDASelected</a>;</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span> </div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  <span class="comment">// FlowDDA.cpp</span></div><div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7"> 106</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned long long> <a class="code" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7">FlowBudget</a>;</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span> </div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <span class="comment">// Offline constraint graph (OfflineConsG.cpp)</span></div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf"> 109</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf">OCGDotGraph</a>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span> </div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="comment">// Program Assignment Graph for pointer analysis (SVFIR.cpp)</span></div><div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40"> 112</a></span>  <span class="keyword">static</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">HandBlackHole</a>;</div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224"> 113</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">FirstFieldEqBase</a>;</div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span> </div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <span class="comment">// SVFG optimizer (SVFGOPT.cpp)</span></div><div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2"> 116</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2">ContextInsensitive</a>;</div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef"> 117</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef">KeepAOFI</a>;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053"> 118</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053">SelfCycle</a>;</div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span> </div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <span class="comment">// Sparse value-flow graph (VFG.cpp)</span></div><div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070"> 121</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070">DumpVFG</a>;</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span> </div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  <span class="comment">// Location set for modeling abstract memory object (LocationSet.cpp)</span></div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015"> 124</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SingleStride</a>;</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span> </div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>  <span class="comment">// Base class of pointer analyses (PointerAnalysis.cpp)</span></div><div class="line"><a name="l00127"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5"> 127</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">TypePrint</a>;</div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955"> 128</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955">FuncPointerPrint</a>;</div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24"> 129</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">PTSPrint</a>;</div><div class="line"><a name="l00130"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c"> 130</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c">PTSAllPrint</a>;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb"> 131</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">PStat</a>;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4"> 132</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">StatBudget</a>;</div><div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0"> 133</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">PAGDotGraph</a>;</div><div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558"> 134</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">ShowSVFIRValue</a>;</div><div class="line"><a name="l00135"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e"> 135</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e">DumpICFG</a>;</div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93"> 136</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93">CallGraphDotGraph</a>;</div><div class="line"><a name="l00137"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80"> 137</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">PAGPrint</a>;</div><div class="line"><a name="l00138"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8"> 138</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">IndirectCallLimit</a>;</div><div class="line"><a name="l00139"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc"> 139</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc">UsePreCompFieldSensitive</a>;</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c"> 140</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c">EnableAliasCheck</a>;</div><div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5"> 141</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5">EnableThreadCallGraph</a>;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1"> 142</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1">ConnectVCallOnCHA</a>;</div><div class="line"><a name="l00143"></a><span class="lineno"> 143</span> </div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  <span class="comment">// PointerAnalysisImpl.cpp</span></div><div class="line"><a name="l00145"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845"> 145</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">INCDFPTData</a>;</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span> </div><div class="line"><a name="l00147"></a><span class="lineno"> 147</span>  <span class="comment">// Memory region (MemRegion.cpp)</span></div><div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040"> 148</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040">IgnoreDeadFun</a>;</div><div class="line"><a name="l00149"></a><span class="lineno"> 149</span> </div><div class="line"><a name="l00150"></a><span class="lineno"> 150</span>  <span class="comment">// Base class of pointer analyses (MemSSA.cpp)</span></div><div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5"> 151</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5">DumpMSSA</a>;</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d"> 152</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d">MSSAFun</a>;</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span>  <span class="comment">// static const llvm::cl::opt<string> MSSAFun;</span></div><div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3"> 154</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<MemSSA::MemPartition> <a class="code" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3">MemPar</a>;</div><div class="line"><a name="l00155"></a><span class="lineno"> 155</span> </div><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>  <span class="comment">// SVFG builder (SVFGBuilder.cpp)</span></div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2"> 157</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVFGWithIndirectCall</a>;</div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403"> 158</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403">SingleVFG</a>;</div><div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a"> 159</a></span>  <span class="keyword">static</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">OPTSVFG</a>;</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span> </div><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  <span class="comment">// FSMPTA.cpp</span></div><div class="line"><a name="l00162"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762"> 162</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762">UsePCG</a>;</div><div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464"> 163</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464">IntraLock</a>;</div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b"> 164</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b">ReadPrecisionTDEdge</a>;</div><div class="line"><a name="l00165"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371"> 165</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<u32_t> <a class="code" href="classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371">AddModelFlag</a>;</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span> </div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  <span class="comment">// LockAnalysis.cpp</span></div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58"> 168</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">PrintLockSpan</a>;</div><div class="line"><a name="l00169"></a><span class="lineno"> 169</span> </div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="comment">// MHP.cpp</span></div><div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a"> 171</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a">PrintInterLev</a>;</div><div class="line"><a name="l00172"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6"> 172</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6">DoLockAnalysis</a>;</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span> </div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>  <span class="comment">// MTA.cpp</span></div><div class="line"><a name="l00175"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be"> 175</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa4849115111e0ec81670c725027da6be">AndersenAnno</a>;</div><div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a"> 176</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a">FSAnno</a>;</div><div class="line"><a name="l00177"></a><span class="lineno"> 177</span> </div><div class="line"><a name="l00178"></a><span class="lineno"> 178</span>  <span class="comment">// MTAAnnotator.cpp</span></div><div class="line"><a name="l00179"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd"> 179</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<u32_t> <a class="code" href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd">AnnoFlag</a>;</div><div class="line"><a name="l00180"></a><span class="lineno"> 180</span> </div><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>  <span class="comment">// MTAResultValidator.cpp</span></div><div class="line"><a name="l00182"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e"> 182</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">PrintValidRes</a>;</div><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>  </div><div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66"> 184</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66">LockValid</a>;</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  <span class="comment">//MTAStat.cpp</span></div><div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993"> 186</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993">AllPairMHP</a>;</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span> </div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <span class="comment">// PCG.cpp</span></div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  <span class="comment">//const llvm::cl::opt<bool> TDPrint</span></div><div class="line"><a name="l00190"></a><span class="lineno"> 190</span> </div><div class="line"><a name="l00191"></a><span class="lineno"> 191</span>  <span class="comment">// TCT.cpp</span></div><div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8"> 192</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8">TCTDotGraph</a>;</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span> </div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  <span class="comment">// LeakChecker.cpp</span></div><div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c"> 195</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">ValidateTests</a>;</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span> </div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>  <span class="comment">// Source-sink analyzer (SrcSnkDDA.cpp)</span></div><div class="line"><a name="l00198"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab"> 198</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab">DumpSlice</a>;</div><div class="line"><a name="l00199"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4"> 199</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4">CxtLimit</a>;</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span> </div><div class="line"><a name="l00201"></a><span class="lineno"> 201</span>  <span class="comment">// CHG.cpp</span></div><div class="line"><a name="l00202"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456"> 202</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">DumpCHA</a>;</div><div class="line"><a name="l00203"></a><span class="lineno"> 203</span> </div><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>  <span class="comment">// DCHG.cpp</span></div><div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316"> 205</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">PrintDCHG</a>;</div><div class="line"><a name="l00206"></a><span class="lineno"> 206</span> </div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  <span class="comment">// LLVMModule.cpp</span></div><div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38"> 208</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std::string> <a class="code" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38">Graphtxt</a>;</div><div class="line"><a name="l00209"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385"> 209</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVFMain</a>;</div><div class="line"><a name="l00210"></a><span class="lineno"> 210</span> </div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  <span class="comment">// SymbolTableInfo.cpp</span></div><div class="line"><a name="l00212"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940"> 212</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940">LocMemModel</a>;</div><div class="line"><a name="l00213"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877"> 213</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877">ModelConsts</a>;</div><div class="line"><a name="l00214"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85"> 214</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SymTabPrint</a>;</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span> </div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  <span class="comment">// Conditions.cpp</span></div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a344ca0e4b8d9159836e558aed44be1b4"> 217</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<unsigned> <a class="code" href="classSVF_1_1Options.html#a344ca0e4b8d9159836e558aed44be1b4">MaxBddSize</a>;</div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span> </div><div class="line"><a name="l00219"></a><span class="lineno"> 219</span>  <span class="comment">// PathCondAllocator.cpp</span></div><div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496"> 220</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">PrintPathCond</a>;</div><div class="line"><a name="l00221"></a><span class="lineno"> 221</span> </div><div class="line"><a name="l00222"></a><span class="lineno"> 222</span>  <span class="comment">// SVFUtil.cpp</span></div><div class="line"><a name="l00223"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb"> 223</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb">DisableWarn</a>;</div><div class="line"><a name="l00224"></a><span class="lineno"> 224</span> </div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  <span class="comment">// Andersen.cpp</span></div><div class="line"><a name="l00226"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a"> 226</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a">ConsCGDotGraph</a>;</div><div class="line"><a name="l00227"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177"> 227</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">BriefConsCGDotGraph</a>;</div><div class="line"><a name="l00228"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268"> 228</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268">PrintCGGraph</a>;</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="comment">// static const llvm::cl::opt<string> WriteAnder;</span></div><div class="line"><a name="l00230"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a"> 230</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">WriteAnder</a>;</div><div class="line"><a name="l00231"></a><span class="lineno"> 231</span>  <span class="comment">// static const llvm::cl::opt<string> ReadAnder;</span></div><div class="line"><a name="l00232"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116"> 232</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<std :: string> <a class="code" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116">ReadAnder</a>;</div><div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206"> 233</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206">PtsDiff</a>;</div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed"> 234</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a69579e2f37962afdbb292a36782511ed">MergePWC</a>;</div><div class="line"><a name="l00235"></a><span class="lineno"> 235</span> </div><div class="line"><a name="l00236"></a><span class="lineno"> 236</span>  <span class="comment">// FlowSensitive.cpp</span></div><div class="line"><a name="l00237"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77"> 237</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#ad148549070b042aeddafca39ee949c77">CTirAliasEval</a>;</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span> </div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  <span class="comment">//FlowSensitiveTBHC.cpp</span></div><div class="line"><a name="l00240"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e"> 240</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e">TBHCStoreReuse</a>;</div><div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f"> 241</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f">TBHCAllReuse</a>;</div><div class="line"><a name="l00242"></a><span class="lineno"> 242</span> </div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  <span class="comment">// TypeAnalysis.cpp</span></div><div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5d839932d78bedf6f5eb75358699732f"> 244</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5d839932d78bedf6f5eb75358699732f">GenICFG</a>;</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span> </div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  <span class="comment">// WPAPass.cpp</span></div><div class="line"><a name="l00247"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3"> 247</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">AnderSVFG</a>;</div><div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590"> 248</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SABERFULLSVFG</a>;</div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe"> 249</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">PrintAliases</a>;</div><div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038"> 250</a></span>  <span class="keyword">static</span> llvm::cl::bits<PointerAnalysis::PTATY> <a class="code" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">PASelected</a>;</div><div class="line"><a name="l00251"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7"> 251</a></span>  <span class="keyword">static</span> llvm::cl::bits<WPAPass::AliasCheckRule> <a class="code" href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">AliasRule</a>;</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</span> </div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  <span class="comment">// DOTGraphTraits</span></div><div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b"> 254</a></span>  <span class="keyword">static</span> <span class="keyword">const</span> llvm::cl::opt<bool> <a class="code" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">ShowHiddenNode</a>;</div><div class="line"><a name="l00255"></a><span class="lineno"> 255</span> };</div><div class="line"><a name="l00256"></a><span class="lineno"> 256</span> } <span class="comment">// namespace SVF</span></div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span> </div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span> <span class="preprocessor">#endif // ifdef OPTIONS_H_</span></div><div class="ttc" id="classSVF_1_1Options_html_ab9db3ae038f26a350afc964952907bd7"><div class="ttname"><a href="classSVF_1_1Options.html#ab9db3ae038f26a350afc964952907bd7">SVF::Options::AliasRule</a></div><div class="ttdeci">static llvm::cl::bits< WPAPass::AliasCheckRule > AliasRule</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00251">Options.h:251</a></div></div>
|
|
70
70
|
<div class="ttc" id="classSVF_1_1Options_html_abae23cb06d932f93900f627813b9f4a4"><div class="ttname"><a href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">SVF::Options::StatBudget</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > StatBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00132">Options.h:132</a></div></div>
|
|
71
71
|
<div class="ttc" id="classSVF_1_1Options_html_affd0cb6e0cb91e096537a3d3198bf4e5"><div class="ttname"><a href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">SVF::Options::TypePrint</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TypePrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00127">Options.h:127</a></div></div>
|
|
72
72
|
<div class="ttc" id="classSVF_1_1Options_html_a2f671b5844b2c167a2c44b90061bfd73"><div class="ttname"><a href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73">SVF::Options::DumpUninitPtr</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpUninitPtr</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00086">Options.h:86</a></div></div>
|
|
@@ -122,7 +122,6 @@ $(function() {
|
|
|
122
122
|
<div class="ttc" id="classSVF_1_1Options_html_a82370c2b8c9cd62b5767ceeaeeaa7177"><div class="ttname"><a href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">SVF::Options::BriefConsCGDotGraph</a></div><div class="ttdeci">static const llvm::cl::opt< bool > BriefConsCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00227">Options.h:227</a></div></div>
|
|
123
123
|
<div class="ttc" id="classSVF_1_1Options_html_a930ed87e35ba7502f9d00be6f17f902f"><div class="ttname"><a href="classSVF_1_1Options.html#a930ed87e35ba7502f9d00be6f17f902f">SVF::Options::TBHCAllReuse</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TBHCAllReuse</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00241">Options.h:241</a></div></div>
|
|
124
124
|
<div class="ttc" id="MemSSA_8h_html"><div class="ttname"><a href="MemSSA_8h.html">MemSSA.h</a></div></div>
|
|
125
|
-
<div class="ttc" id="classSVF_1_1Options_html_a8eba08052f7af57b762155a58844480c"><div class="ttname"><a href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options::PAGDotGraphShorter</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PAGDotGraphShorter</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
|
|
126
125
|
<div class="ttc" id="classSVF_1_1Options_html_aabfcfcd67df527cdf587aff5ecc26a10"><div class="ttname"><a href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">SVF::Options::PrintQueryPts</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintQueryPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00101">Options.h:101</a></div></div>
|
|
127
126
|
<div class="ttc" id="classSVF_1_1Options_html_a40080aa0a7c926c6f2797e3d7856c03e"><div class="ttname"><a href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">SVF::Options::TaintUninitHeap</a></div><div class="ttdeci">static const llvm::cl::opt< bool > TaintUninitHeap</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00090">Options.h:90</a></div></div>
|
|
128
127
|
<div class="ttc" id="classSVF_1_1Options_html_a982b4cd71ccafd07d94f10a0a2e953c2"><div class="ttname"><a href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVF::Options::SVFGWithIndirectCall</a></div><div class="ttdeci">static const llvm::cl::opt< bool > SVFGWithIndirectCall</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00157">Options.h:157</a></div></div>
|
|
@@ -175,6 +174,7 @@ $(function() {
|
|
|
175
174
|
<div class="ttc" id="classSVF_1_1Options_html_aaf05b444fd7f087e5d7fda3883f29dc5"><div class="ttname"><a href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5">SVF::Options::DumpUninitVar</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpUninitVar</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00085">Options.h:85</a></div></div>
|
|
176
175
|
<div class="ttc" id="classSVF_1_1Options_html_ab8a9641b660197b4421fbd6141858c58"><div class="ttname"><a href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">SVF::Options::PrintLockSpan</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintLockSpan</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00168">Options.h:168</a></div></div>
|
|
177
176
|
<div class="ttc" id="classSVF_1_1Options_html_a5cfcf1ddc44ff175c4766f88bf204c03"><div class="ttname"><a href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03">SVF::Options::MarkedClocksOnly</a></div><div class="ttdeci">static const llvm::cl::opt< bool > MarkedClocksOnly</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00030">Options.h:30</a></div></div>
|
|
177
|
+
<div class="ttc" id="classSVF_1_1Options_html_a63c2ff1420867ea4ef0a94d28b3f0558"><div class="ttname"><a href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const llvm::cl::opt< bool > ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
|
|
178
178
|
<div class="ttc" id="classSVF_1_1Options_html_aa24f52782c835452daf82138d0d69412"><div class="ttname"><a href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412">SVF::Options::DumpSUStore</a></div><div class="ttdeci">static const llvm::cl::opt< bool > DumpSUStore</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00088">Options.h:88</a></div></div>
|
|
179
179
|
<div class="ttc" id="classSVF_1_1Options_html_a620fe156ba70f997eace0ccb0d2c9f67"><div class="ttname"><a href="classSVF_1_1Options.html#a620fe156ba70f997eace0ccb0d2c9f67">SVF::Options::AnderTimeLimit</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > AnderTimeLimit</div><div class="ttdoc">Time limit for the Andersen&#39;s analyses. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00074">Options.h:74</a></div></div>
|
|
180
180
|
<div class="ttc" id="classSVF_1_1Options_html_acf7262c0b0bd91e6dab56a631be51206"><div class="ttname"><a href="classSVF_1_1Options.html#acf7262c0b0bd91e6dab56a631be51206">SVF::Options::PtsDiff</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PtsDiff</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00233">Options.h:233</a></div></div>
|
|
@@ -77,7 +77,7 @@ $(function() {
|
|
|
77
77
|
<div class="ttc" id="classSVF_1_1PCG_html_adff1702e1b0a902de7ded742846fe137"><div class="ttname"><a href="classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137">SVF::PCG::inferFromCallGraph</a></div><div class="ttdeci">void inferFromCallGraph()</div><div class="ttdoc">Infer spawner spawnee and followers sets by traversing on callGraph. </div><div class="ttdef"><b>Definition:</b> <a href="PCG_8cpp_source.html#l00104">PCG.cpp:104</a></div></div>
|
|
78
78
|
<div class="ttc" id="classSVF_1_1PCG_html_a3106e03b7df8b34f50c769e1417f341c"><div class="ttname"><a href="classSVF_1_1PCG.html#a3106e03b7df8b34f50c769e1417f341c">SVF::PCG::getMHPFunctions</a></div><div class="ttdeci">const FunSet & getMHPFunctions() const</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00136">PCG.h:136</a></div></div>
|
|
79
79
|
<div class="ttc" id="PTACallGraph_8h_html"><div class="ttname"><a href="PTACallGraph_8h.html">PTACallGraph.h</a></div></div>
|
|
80
|
-
<div class="ttc" id="classSVF_1_1ICFG_html_a7d10e8a815c836a070d35850f817a18c"><div class="ttname"><a href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallBlockNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#
|
|
80
|
+
<div class="ttc" id="classSVF_1_1ICFG_html_a7d10e8a815c836a070d35850f817a18c"><div class="ttname"><a href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallBlockNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00209">ICFG.cpp:209</a></div></div>
|
|
81
81
|
<div class="ttc" id="classSVF_1_1PCG_html"><div class="ttname"><a href="classSVF_1_1PCG.html">SVF::PCG</a></div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00028">PCG.h:28</a></div></div>
|
|
82
82
|
<div class="ttc" id="classSVF_1_1PCG_html_ae5ee8cf8cfe42854407190f30f3b6c1b"><div class="ttname"><a href="classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b">SVF::PCG::identifyFollowers</a></div><div class="ttdeci">void identifyFollowers()</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8cpp_source.html#l00190">PCG.cpp:190</a></div></div>
|
|
83
83
|
<div class="ttc" id="classSVF_1_1PCG_html_a11c45407138211987e5143d81ccceb95"><div class="ttname"><a href="classSVF_1_1PCG.html#a11c45407138211987e5143d81ccceb95">SVF::PCG::addSpawnerFun</a></div><div class="ttdeci">bool addSpawnerFun(const Function *fun)</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00065">PCG.h:65</a></div></div>
|
|
@@ -91,7 +91,7 @@ $(function() {
|
|
|
91
91
|
<div class="ttc" id="namespaceSVF_html_a1d008c0666c145622b81d427be64c52d"><div class="ttname"><a href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF::Type</a></div><div class="ttdeci">llvm::Type Type</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00075">BasicTypes.h:75</a></div></div>
|
|
92
92
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_ab83b827ea42d3a61aad20b1a1485d866"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866">SVF::PointerAnalysis::dumpStat</a></div><div class="ttdeci">void dumpStat()</div><div class="ttdoc">Dump the statistics. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00187">PointerAnalysis.cpp:187</a></div></div>
|
|
93
93
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a142e650415cb81011eb59dadd3cb0637"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a142e650415cb81011eb59dadd3cb0637">SVF::SVFUtil::getDefFunForMultipleModule</a></div><div class="ttdeci">const SVFFunction * getDefFunForMultipleModule(const Function *fun)</div><div class="ttdoc">Get the definition of a function across multiple modules. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00256">SVFUtil.h:256</a></div></div>
|
|
94
|
-
<div class="ttc" id="classSVF_1_1ICFG_html_a7d10e8a815c836a070d35850f817a18c"><div class="ttname"><a href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallBlockNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#
|
|
94
|
+
<div class="ttc" id="classSVF_1_1ICFG_html_a7d10e8a815c836a070d35850f817a18c"><div class="ttname"><a href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallBlockNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00209">ICFG.cpp:209</a></div></div>
|
|
95
95
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_ac353221cc7aced590dcf3550a24b1570"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac353221cc7aced590dcf3550a24b1570">SVF::PointerAnalysis::aliasTestNoAlias</a></div><div class="ttdeci">static const std::string aliasTestNoAlias</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00119">PointerAnalysis.h:119</a></div></div>
|
|
96
96
|
<div class="ttc" id="classSVF_1_1IRGraph_html_a1cb32461439c4dc8d044c2bfadb11307"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307">SVF::IRGraph::dump</a></div><div class="ttdeci">void dump(std::string name)</div><div class="ttdoc">Dump SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8cpp_source.html#l00101">IRGraph.cpp:101</a></div></div>
|
|
97
97
|
<div class="ttc" id="classSVF_1_1IRGraph_html_a41423da58a07b344bc7ca8dd96d48f98"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98">SVF::IRGraph::isBuiltFromFile</a></div><div class="ttdeci">bool isBuiltFromFile()</div><div class="ttdoc">Whether this SVFIR built from a txt file. </div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00103">IRGraph.h:103</a></div></div>
|
|
@@ -183,9 +183,9 @@ $(function() {
|
|
|
183
183
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a83b0a51d88fa7aadff6e9267765d07a5"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a83b0a51d88fa7aadff6e9267765d07a5">SVF::PointerAnalysis::aliasTestPartialAlias</a></div><div class="ttdeci">static const std::string aliasTestPartialAlias</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00121">PointerAnalysis.h:121</a></div></div>
|
|
184
184
|
<div class="ttc" id="Options_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
|
|
185
185
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_aac1a133d478bd14c74309d9c4eaf0c8e"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#aac1a133d478bd14c74309d9c4eaf0c8e">SVF::PointerAnalysis::alias_validation</a></div><div class="ttdeci">bool alias_validation</div><div class="ttdoc">Flag for validating points-to/alias results. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00141">PointerAnalysis.h:141</a></div></div>
|
|
186
|
-
<div class="ttc" id="classSVF_1_1ICFG_html_a5a00682b75726cacc1b4d88bbf40c824"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824">SVF::ICFG::updateCallGraph</a></div><div class="ttdeci">void updateCallGraph(PTACallGraph *callgraph)</div><div class="ttdoc">update ICFG for indirect calls </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#
|
|
186
|
+
<div class="ttc" id="classSVF_1_1ICFG_html_a5a00682b75726cacc1b4d88bbf40c824"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5a00682b75726cacc1b4d88bbf40c824">SVF::ICFG::updateCallGraph</a></div><div class="ttdeci">void updateCallGraph(PTACallGraph *callgraph)</div><div class="ttdoc">update ICFG for indirect calls </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00426">ICFG.cpp:426</a></div></div>
|
|
187
187
|
<div class="ttc" id="classSVF_1_1DCHGraph_html_a710c6b87fd475552eddb425e38de8889"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889">SVF::DCHGraph::buildCHG</a></div><div class="ttdeci">virtual void buildCHG(bool extend)</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00457">DCHG.cpp:457</a></div></div>
|
|
188
|
-
<div class="ttc" id="classSVF_1_1ICFG_html_a999956500bbd605326531480546db9ba"><div class="ttname"><a href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG::dump</a></div><div class="ttdeci">void dump(const std::string &file, bool simple=false)</div><div class="ttdoc">Dump graph into dot file. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#
|
|
188
|
+
<div class="ttc" id="classSVF_1_1ICFG_html_a999956500bbd605326531480546db9ba"><div class="ttname"><a href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG::dump</a></div><div class="ttdeci">void dump(const std::string &file, bool simple=false)</div><div class="ttdoc">Dump graph into dot file. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00410">ICFG.cpp:410</a></div></div>
|
|
189
189
|
<div class="ttc" id="DCHG_8h_html"><div class="ttname"><a href="DCHG_8h.html">DCHG.h</a></div></div>
|
|
190
190
|
<div class="ttc" id="namespacecppUtil_html"><div class="ttname"><a href="namespacecppUtil.html">cppUtil</a></div></div>
|
|
191
191
|
<div class="ttc" id="classSVF_1_1ThreadCallGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1ThreadCallGraphBuilder.html">SVF::ThreadCallGraphBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="CallGraphBuilder_8h_source.html#l00058">CallGraphBuilder.h:58</a></div></div>
|
|
@@ -159,9 +159,9 @@ $(function() {
|
|
|
159
159
|
<div class="ttc" id="classSVF_1_1CallBlockNode_html_ad3d50024efcfa94b1246c982b43aff2f"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">SVF::CallBlockNode::getCallSite</a></div><div class="ttdeci">const Instruction * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00381">ICFGNode.h:381</a></div></div>
|
|
160
160
|
<div class="ttc" id="classSVF_1_1VFG_html_aa01f63b17acdd52122a7f1ade329ccea"><div class="ttname"><a href="classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea">SVF::VFG::addCallEdge</a></div><div class="ttdeci">VFGEdge * addCallEdge(NodeID srcId, NodeID dstId, CallSiteID csId)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00564">VFG.cpp:564</a></div></div>
|
|
161
161
|
<div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
|
|
162
|
-
<div class="ttc" id="classSVF_1_1ICFG_html_a6d66c83cb1656d0f8ec8b8b65a9e9c41"><div class="ttname"><a href="classSVF_1_1ICFG.html#a6d66c83cb1656d0f8ec8b8b65a9e9c41">SVF::ICFG::getRetBlockNode</a></div><div class="ttdeci">RetBlockNode * getRetBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#
|
|
162
|
+
<div class="ttc" id="classSVF_1_1ICFG_html_a6d66c83cb1656d0f8ec8b8b65a9e9c41"><div class="ttname"><a href="classSVF_1_1ICFG.html#a6d66c83cb1656d0f8ec8b8b65a9e9c41">SVF::ICFG::getRetBlockNode</a></div><div class="ttdeci">RetBlockNode * getRetBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00222">ICFG.cpp:222</a></div></div>
|
|
163
163
|
<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
|
|
164
|
-
<div class="ttc" id="classSVF_1_1ICFG_html_ae1ef14cdda27a2062c4c454750444108"><div class="ttname"><a href="classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108">SVF::ICFG::getFunEntryBlockNode</a></div><div class="ttdeci">FunEntryBlockNode * getFunEntryBlockNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function entry node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#
|
|
164
|
+
<div class="ttc" id="classSVF_1_1ICFG_html_ae1ef14cdda27a2062c4c454750444108"><div class="ttname"><a href="classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108">SVF::ICFG::getFunEntryBlockNode</a></div><div class="ttdeci">FunEntryBlockNode * getFunEntryBlockNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function entry node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00242">ICFG.cpp:242</a></div></div>
|
|
165
165
|
<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
|
|
166
166
|
<div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_af3039ab67875b177f7ba0bf246cec2f8"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#af3039ab67875b177f7ba0bf246cec2f8">SVF::FormalParmVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const override</div><div class="ttdoc">Return function. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00901">VFGNode.h:901</a></div></div>
|
|
167
167
|
<div class="ttc" id="classSVF_1_1SVFGOPT_html_afa99da68ef756d968d39a85f0fac3649"><div class="ttname"><a href="classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649">SVF::SVFGOPT::addRetIndirectSVFGEdge</a></div><div class="ttdeci">SVFGEdge * addRetIndirectSVFGEdge(NodeID srcId, NodeID dstId, CallSiteID csid, const NodeBS &cpts)</div><div class="ttdoc">Add indirect ret edge from src to dst with one call site ID. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGOPT_8cpp_source.html#l00079">SVFGOPT.cpp:79</a></div></div>
|