svf-tools 1.0.633 → 1.0.635

package/SVF-doxygen/html/html/menudata.js

@@ -3,70 +3,8 @@ var menudata={children:[
 {text:"Namespaces",url:"namespaces.html",children:[
 {text:"Namespace List",url:"namespaces.html"},
 {text:"Namespace Members",url:"namespacemembers.html",children:[
-{text:"All",url:"namespacemembers.html",children:[
-{text:"a",url:"namespacemembers.html#index_a"},
-{text:"b",url:"namespacemembers_b.html#index_b"},
-{text:"c",url:"namespacemembers_c.html#index_c"},
-{text:"d",url:"namespacemembers_d.html#index_d"},
-{text:"e",url:"namespacemembers_e.html#index_e"},
-{text:"f",url:"namespacemembers_f.html#index_f"},
-{text:"g",url:"namespacemembers_g.html#index_g"},
-{text:"h",url:"namespacemembers_h.html#index_h"},
-{text:"i",url:"namespacemembers_i.html#index_i"},
-{text:"l",url:"namespacemembers_l.html#index_l"},
-{text:"m",url:"namespacemembers_m.html#index_m"},
-{text:"n",url:"namespacemembers_n.html#index_n"},
-{text:"o",url:"namespacemembers_o.html#index_o"},
-{text:"p",url:"namespacemembers_p.html#index_p"},
-{text:"r",url:"namespacemembers_r.html#index_r"},
-{text:"s",url:"namespacemembers_s.html#index_s"},
-{text:"t",url:"namespacemembers_t.html#index_t"},
-{text:"u",url:"namespacemembers_u.html#index_u"},
-{text:"v",url:"namespacemembers_v.html#index_v"},
-{text:"w",url:"namespacemembers_w.html#index_w"},
-{text:"z",url:"namespacemembers_z.html#index_z"}]},
-{text:"Functions",url:"namespacemembers_func.html",children:[
-{text:"a",url:"namespacemembers_func.html#index_a"},
-{text:"b",url:"namespacemembers_func_b.html#index_b"},
-{text:"c",url:"namespacemembers_func_c.html#index_c"},
-{text:"d",url:"namespacemembers_func_d.html#index_d"},
-{text:"e",url:"namespacemembers_func_e.html#index_e"},
-{text:"f",url:"namespacemembers_func_f.html#index_f"},
-{text:"g",url:"namespacemembers_func_g.html#index_g"},
-{text:"h",url:"namespacemembers_func_h.html#index_h"},
-{text:"i",url:"namespacemembers_func_i.html#index_i"},
-{text:"m",url:"namespacemembers_func_m.html#index_m"},
-{text:"n",url:"namespacemembers_func_n.html#index_n"},
-{text:"o",url:"namespacemembers_func_o.html#index_o"},
-{text:"p",url:"namespacemembers_func_p.html#index_p"},
-{text:"r",url:"namespacemembers_func_r.html#index_r"},
-{text:"s",url:"namespacemembers_func_s.html#index_s"},
-{text:"t",url:"namespacemembers_func_t.html#index_t"},
-{text:"v",url:"namespacemembers_func_v.html#index_v"},
-{text:"w",url:"namespacemembers_func_w.html#index_w"}]},
-{text:"Variables",url:"namespacemembers_vars.html"},
-{text:"Typedefs",url:"namespacemembers_type.html",children:[
-{text:"a",url:"namespacemembers_type.html#index_a"},
-{text:"b",url:"namespacemembers_type_b.html#index_b"},
-{text:"c",url:"namespacemembers_type_c.html#index_c"},
-{text:"d",url:"namespacemembers_type_d.html#index_d"},
-{text:"e",url:"namespacemembers_type_e.html#index_e"},
-{text:"f",url:"namespacemembers_type_f.html#index_f"},
-{text:"g",url:"namespacemembers_type_g.html#index_g"},
-{text:"i",url:"namespacemembers_type_i.html#index_i"},
-{text:"l",url:"namespacemembers_type_l.html#index_l"},
-{text:"m",url:"namespacemembers_type_m.html#index_m"},
-{text:"n",url:"namespacemembers_type_n.html#index_n"},
-{text:"o",url:"namespacemembers_type_o.html#index_o"},
-{text:"p",url:"namespacemembers_type_p.html#index_p"},
-{text:"r",url:"namespacemembers_type_r.html#index_r"},
-{text:"s",url:"namespacemembers_type_s.html#index_s"},
-{text:"t",url:"namespacemembers_type_t.html#index_t"},
-{text:"u",url:"namespacemembers_type_u.html#index_u"},
-{text:"v",url:"namespacemembers_type_v.html#index_v"},
-{text:"w",url:"namespacemembers_type_w.html#index_w"}]},
-{text:"Enumerations",url:"namespacemembers_enum.html"},
-{text:"Enumerator",url:"namespacemembers_eval.html"}]}]},
+{text:"All",url:"namespacemembers.html"},
+{text:"Typedefs",url:"namespacemembers_type.html"}]}]},
 {text:"Classes",url:"annotated.html",children:[
 {text:"Class List",url:"annotated.html"},
 {text:"Class Index",url:"classes.html"},
@@ -74,240 +12,52 @@ var menudata={children:[
 {text:"Class Members",url:"functions.html",children:[
 {text:"All",url:"functions.html",children:[
 {text:"_",url:"functions.html#index__"},
-{text:"a",url:"functions_a.html#index_a"},
-{text:"b",url:"functions_b.html#index_b"},
-{text:"c",url:"functions_c.html#index_c"},
-{text:"d",url:"functions_d.html#index_d"},
-{text:"e",url:"functions_e.html#index_e"},
-{text:"f",url:"functions_f.html#index_f"},
-{text:"g",url:"functions_g.html#index_g"},
-{text:"h",url:"functions_h.html#index_h"},
-{text:"i",url:"functions_i.html#index_i"},
-{text:"j",url:"functions_j.html#index_j"},
-{text:"k",url:"functions_k.html#index_k"},
-{text:"l",url:"functions_l.html#index_l"},
-{text:"m",url:"functions_m.html#index_m"},
-{text:"n",url:"functions_n.html#index_n"},
-{text:"o",url:"functions_o.html#index_o"},
-{text:"p",url:"functions_p.html#index_p"},
-{text:"r",url:"functions_r.html#index_r"},
-{text:"s",url:"functions_s.html#index_s"},
-{text:"t",url:"functions_t.html#index_t"},
-{text:"u",url:"functions_u.html#index_u"},
-{text:"v",url:"functions_v.html#index_v"},
-{text:"w",url:"functions_w.html#index_w"},
-{text:"x",url:"functions_x.html#index_x"},
-{text:"y",url:"functions_y.html#index_y"},
-{text:"z",url:"functions_z.html#index_z"},
-{text:"~",url:"functions_0x7e.html#index_0x7e"}]},
+{text:"a",url:"functions.html#index_a"},
+{text:"c",url:"functions.html#index_c"},
+{text:"d",url:"functions.html#index_d"},
+{text:"f",url:"functions.html#index_f"},
+{text:"g",url:"functions.html#index_g"},
+{text:"h",url:"functions.html#index_h"},
+{text:"i",url:"functions.html#index_i"},
+{text:"l",url:"functions.html#index_l"},
+{text:"m",url:"functions.html#index_m"},
+{text:"n",url:"functions.html#index_n"},
+{text:"p",url:"functions.html#index_p"},
+{text:"r",url:"functions.html#index_r"},
+{text:"s",url:"functions.html#index_s"},
+{text:"t",url:"functions.html#index_t"},
+{text:"v",url:"functions.html#index_v"},
+{text:"~",url:"functions.html#index_0x7e"}]},
 {text:"Functions",url:"functions_func.html",children:[
 {text:"a",url:"functions_func.html#index_a"},
-{text:"b",url:"functions_func_b.html#index_b"},
-{text:"c",url:"functions_func_c.html#index_c"},
-{text:"d",url:"functions_func_d.html#index_d"},
-{text:"e",url:"functions_func_e.html#index_e"},
-{text:"f",url:"functions_func_f.html#index_f"},
-{text:"g",url:"functions_func_g.html#index_g"},
-{text:"h",url:"functions_func_h.html#index_h"},
-{text:"i",url:"functions_func_i.html#index_i"},
-{text:"j",url:"functions_func_j.html#index_j"},
-{text:"k",url:"functions_func_k.html#index_k"},
-{text:"l",url:"functions_func_l.html#index_l"},
-{text:"m",url:"functions_func_m.html#index_m"},
-{text:"n",url:"functions_func_n.html#index_n"},
-{text:"o",url:"functions_func_o.html#index_o"},
-{text:"p",url:"functions_func_p.html#index_p"},
-{text:"r",url:"functions_func_r.html#index_r"},
-{text:"s",url:"functions_func_s.html#index_s"},
-{text:"t",url:"functions_func_t.html#index_t"},
-{text:"u",url:"functions_func_u.html#index_u"},
-{text:"v",url:"functions_func_v.html#index_v"},
-{text:"w",url:"functions_func_w.html#index_w"},
-{text:"z",url:"functions_func_z.html#index_z"},
-{text:"~",url:"functions_func_0x7e.html#index_0x7e"}]},
+{text:"c",url:"functions_func.html#index_c"},
+{text:"d",url:"functions_func.html#index_d"},
+{text:"g",url:"functions_func.html#index_g"},
+{text:"h",url:"functions_func.html#index_h"},
+{text:"i",url:"functions_func.html#index_i"},
+{text:"l",url:"functions_func.html#index_l"},
+{text:"m",url:"functions_func.html#index_m"},
+{text:"p",url:"functions_func.html#index_p"},
+{text:"r",url:"functions_func.html#index_r"},
+{text:"s",url:"functions_func.html#index_s"},
+{text:"v",url:"functions_func.html#index_v"},
+{text:"~",url:"functions_func.html#index_0x7e"}]},
 {text:"Variables",url:"functions_vars.html",children:[
 {text:"_",url:"functions_vars.html#index__"},
-{text:"a",url:"functions_vars_a.html#index_a"},
-{text:"b",url:"functions_vars_b.html#index_b"},
-{text:"c",url:"functions_vars_c.html#index_c"},
-{text:"d",url:"functions_vars_d.html#index_d"},
-{text:"e",url:"functions_vars_e.html#index_e"},
-{text:"f",url:"functions_vars_f.html#index_f"},
-{text:"g",url:"functions_vars_g.html#index_g"},
-{text:"h",url:"functions_vars_h.html#index_h"},
-{text:"i",url:"functions_vars_i.html#index_i"},
-{text:"j",url:"functions_vars_j.html#index_j"},
-{text:"k",url:"functions_vars_k.html#index_k"},
-{text:"l",url:"functions_vars_l.html#index_l"},
-{text:"m",url:"functions_vars_m.html#index_m"},
-{text:"n",url:"functions_vars_n.html#index_n"},
-{text:"o",url:"functions_vars_o.html#index_o"},
-{text:"p",url:"functions_vars_p.html#index_p"},
-{text:"r",url:"functions_vars_r.html#index_r"},
-{text:"s",url:"functions_vars_s.html#index_s"},
-{text:"t",url:"functions_vars_t.html#index_t"},
-{text:"u",url:"functions_vars_u.html#index_u"},
-{text:"v",url:"functions_vars_v.html#index_v"},
-{text:"w",url:"functions_vars_w.html#index_w"},
-{text:"y",url:"functions_vars_y.html#index_y"},
-{text:"z",url:"functions_vars_z.html#index_z"}]},
-{text:"Typedefs",url:"functions_type.html",children:[
-{text:"a",url:"functions_type.html#index_a"},
-{text:"b",url:"functions_type_b.html#index_b"},
-{text:"c",url:"functions_type_c.html#index_c"},
-{text:"d",url:"functions_type_d.html#index_d"},
-{text:"e",url:"functions_type_e.html#index_e"},
-{text:"f",url:"functions_type_f.html#index_f"},
-{text:"g",url:"functions_type_g.html#index_g"},
-{text:"i",url:"functions_type_i.html#index_i"},
-{text:"j",url:"functions_type_j.html#index_j"},
-{text:"k",url:"functions_type_k.html#index_k"},
-{text:"l",url:"functions_type_l.html#index_l"},
-{text:"m",url:"functions_type_m.html#index_m"},
-{text:"n",url:"functions_type_n.html#index_n"},
-{text:"o",url:"functions_type_o.html#index_o"},
-{text:"p",url:"functions_type_p.html#index_p"},
-{text:"r",url:"functions_type_r.html#index_r"},
-{text:"s",url:"functions_type_s.html#index_s"},
-{text:"t",url:"functions_type_t.html#index_t"},
-{text:"u",url:"functions_type_u.html#index_u"},
-{text:"v",url:"functions_type_v.html#index_v"},
-{text:"w",url:"functions_type_w.html#index_w"}]},
-{text:"Enumerations",url:"functions_enum.html",children:[
-{text:"a",url:"functions_enum.html#index_a"},
-{text:"c",url:"functions_enum.html#index_c"},
-{text:"d",url:"functions_enum.html#index_d"},
-{text:"e",url:"functions_enum.html#index_e"},
-{text:"i",url:"functions_enum.html#index_i"},
-{text:"l",url:"functions_enum.html#index_l"},
-{text:"m",url:"functions_enum.html#index_m"},
-{text:"o",url:"functions_enum.html#index_o"},
-{text:"p",url:"functions_enum.html#index_p"},
-{text:"r",url:"functions_enum.html#index_r"},
-{text:"s",url:"functions_enum.html#index_s"},
-{text:"t",url:"functions_enum.html#index_t"},
-{text:"v",url:"functions_enum.html#index_v"},
-{text:"w",url:"functions_enum.html#index_w"}]},
-{text:"Enumerator",url:"functions_eval.html",children:[
-{text:"a",url:"functions_eval.html#index_a"},
-{text:"b",url:"functions_eval_b.html#index_b"},
-{text:"c",url:"functions_eval_c.html#index_c"},
-{text:"d",url:"functions_eval_d.html#index_d"},
-{text:"e",url:"functions_eval_e.html#index_e"},
-{text:"f",url:"functions_eval_f.html#index_f"},
-{text:"g",url:"functions_eval_g.html#index_g"},
-{text:"h",url:"functions_eval_h.html#index_h"},
-{text:"i",url:"functions_eval_i.html#index_i"},
-{text:"l",url:"functions_eval_l.html#index_l"},
-{text:"m",url:"functions_eval_m.html#index_m"},
-{text:"n",url:"functions_eval_n.html#index_n"},
-{text:"o",url:"functions_eval_o.html#index_o"},
-{text:"p",url:"functions_eval_p.html#index_p"},
-{text:"r",url:"functions_eval_r.html#index_r"},
-{text:"s",url:"functions_eval_s.html#index_s"},
-{text:"t",url:"functions_eval_t.html#index_t"},
-{text:"u",url:"functions_eval_u.html#index_u"},
-{text:"v",url:"functions_eval_v.html#index_v"},
-{text:"w",url:"functions_eval_w.html#index_w"},
-{text:"x",url:"functions_eval_x.html#index_x"}]},
-{text:"Related Functions",url:"functions_rela.html",children:[
-{text:"a",url:"functions_rela.html#index_a"},
-{text:"b",url:"functions_rela.html#index_b"},
-{text:"c",url:"functions_rela.html#index_c"},
-{text:"d",url:"functions_rela.html#index_d"},
-{text:"e",url:"functions_rela.html#index_e"},
-{text:"f",url:"functions_rela.html#index_f"},
-{text:"i",url:"functions_rela.html#index_i"},
-{text:"l",url:"functions_rela.html#index_l"},
-{text:"m",url:"functions_rela.html#index_m"},
-{text:"o",url:"functions_rela.html#index_o"},
-{text:"p",url:"functions_rela.html#index_p"},
-{text:"r",url:"functions_rela.html#index_r"},
-{text:"s",url:"functions_rela.html#index_s"},
-{text:"t",url:"functions_rela.html#index_t"},
-{text:"v",url:"functions_rela.html#index_v"}]}]}]},
+{text:"a",url:"functions_vars.html#index_a"},
+{text:"c",url:"functions_vars.html#index_c"},
+{text:"f",url:"functions_vars.html#index_f"},
+{text:"i",url:"functions_vars.html#index_i"},
+{text:"l",url:"functions_vars.html#index_l"},
+{text:"m",url:"functions_vars.html#index_m"},
+{text:"n",url:"functions_vars.html#index_n"},
+{text:"r",url:"functions_vars.html#index_r"},
+{text:"s",url:"functions_vars.html#index_s"},
+{text:"t",url:"functions_vars.html#index_t"},
+{text:"v",url:"functions_vars.html#index_v"}]},
+{text:"Typedefs",url:"functions_type.html"}]}]},
 {text:"Files",url:"files.html",children:[
 {text:"File List",url:"files.html"},
 {text:"File Members",url:"globals.html",children:[
-{text:"All",url:"globals.html",children:[
-{text:"_",url:"globals.html#index__"},
-{text:"a",url:"globals_a.html#index_a"},
-{text:"b",url:"globals_b.html#index_b"},
-{text:"c",url:"globals_c.html#index_c"},
-{text:"d",url:"globals_d.html#index_d"},
-{text:"e",url:"globals_e.html#index_e"},
-{text:"f",url:"globals_f.html#index_f"},
-{text:"g",url:"globals_g.html#index_g"},
-{text:"h",url:"globals_h.html#index_h"},
-{text:"i",url:"globals_i.html#index_i"},
-{text:"j",url:"globals_j.html#index_j"},
-{text:"k",url:"globals_k.html#index_k"},
-{text:"l",url:"globals_l.html#index_l"},
-{text:"m",url:"globals_m.html#index_m"},
-{text:"n",url:"globals_n.html#index_n"},
-{text:"o",url:"globals_o.html#index_o"},
-{text:"p",url:"globals_p.html#index_p"},
-{text:"r",url:"globals_r.html#index_r"},
-{text:"s",url:"globals_s.html#index_s"},
-{text:"t",url:"globals_t.html#index_t"},
-{text:"u",url:"globals_u.html#index_u"},
-{text:"v",url:"globals_v.html#index_v"},
-{text:"w",url:"globals_w.html#index_w"},
-{text:"z",url:"globals_z.html#index_z"}]},
-{text:"Functions",url:"globals_func.html",children:[
-{text:"a",url:"globals_func.html#index_a"},
-{text:"b",url:"globals_func.html#index_b"},
-{text:"c",url:"globals_func.html#index_c"},
-{text:"e",url:"globals_func.html#index_e"},
-{text:"f",url:"globals_func.html#index_f"},
-{text:"g",url:"globals_func.html#index_g"},
-{text:"h",url:"globals_func.html#index_h"},
-{text:"i",url:"globals_func.html#index_i"},
-{text:"m",url:"globals_func.html#index_m"},
-{text:"p",url:"globals_func.html#index_p"},
-{text:"r",url:"globals_func.html#index_r"},
-{text:"s",url:"globals_func.html#index_s"},
-{text:"t",url:"globals_func.html#index_t"},
-{text:"u",url:"globals_func.html#index_u"},
-{text:"w",url:"globals_func.html#index_w"}]},
-{text:"Variables",url:"globals_vars.html",children:[
-{text:"_",url:"globals_vars.html#index__"},
-{text:"a",url:"globals_vars.html#index_a"},
-{text:"b",url:"globals_vars.html#index_b"},
-{text:"c",url:"globals_vars.html#index_c"},
-{text:"d",url:"globals_vars.html#index_d"},
-{text:"e",url:"globals_vars.html#index_e"},
-{text:"f",url:"globals_vars.html#index_f"},
-{text:"g",url:"globals_vars.html#index_g"},
-{text:"h",url:"globals_vars.html#index_h"},
-{text:"i",url:"globals_vars.html#index_i"},
-{text:"j",url:"globals_vars.html#index_j"},
-{text:"k",url:"globals_vars.html#index_k"},
-{text:"l",url:"globals_vars.html#index_l"},
-{text:"n",url:"globals_vars.html#index_n"},
-{text:"o",url:"globals_vars.html#index_o"},
-{text:"p",url:"globals_vars.html#index_p"},
-{text:"r",url:"globals_vars.html#index_r"},
-{text:"s",url:"globals_vars.html#index_s"},
-{text:"t",url:"globals_vars.html#index_t"},
-{text:"v",url:"globals_vars.html#index_v"},
-{text:"w",url:"globals_vars.html#index_w"},
-{text:"z",url:"globals_vars.html#index_z"}]},
-{text:"Typedefs",url:"globals_type.html"},
-{text:"Enumerations",url:"globals_enum.html"},
-{text:"Enumerator",url:"globals_eval.html"},
-{text:"Macros",url:"globals_defs.html",children:[
-{text:"a",url:"globals_defs.html#index_a"},
-{text:"b",url:"globals_defs.html#index_b"},
-{text:"c",url:"globals_defs.html#index_c"},
-{text:"d",url:"globals_defs.html#index_d"},
-{text:"e",url:"globals_defs.html#index_e"},
-{text:"f",url:"globals_defs.html#index_f"},
-{text:"h",url:"globals_defs.html#index_h"},
-{text:"i",url:"globals_defs.html#index_i"},
-{text:"j",url:"globals_defs.html#index_j"},
-{text:"k",url:"globals_defs.html#index_k"},
-{text:"l",url:"globals_defs.html#index_l"},
-{text:"n",url:"globals_defs.html#index_n"},
-{text:"s",url:"globals_defs.html#index_s"},
-{text:"t",url:"globals_defs.html#index_t"}]}]}]}]}
+{text:"All",url:"globals.html"},
+{text:"Functions",url:"globals_func.html"}]}]}]}

package/SVF-doxygen/html/html/mta_8cpp.html

@@ -68,12 +68,12 @@ $(function() {
 <div class="title">mta.cpp File Reference</div>  </div>
 </div><!--header-->
 <div class="contents">
-<div class="textblock"><code>#include &quot;<a class="el" href="LLVMUtil_8h_source.html">SVF-LLVM/LLVMUtil.h</a>&quot;</code><br />
-<code>#include &quot;<a class="el" href="SVFIRBuilder_8h_source.html">SVF-LLVM/SVFIRBuilder.h</a>&quot;</code><br />
-<code>#include &quot;<a class="el" href="MTA_8h_source.html">MTA/MTA.h</a>&quot;</code><br />
-<code>#include &quot;<a class="el" href="CommandLine_8h_source.html">Util/CommandLine.h</a>&quot;</code><br />
-<code>#include &quot;<a class="el" href="Options_8h_source.html">Util/Options.h</a>&quot;</code><br />
-<code>#include &quot;<a class="el" href="tools_2MTA_2MTAResultValidator_8h_source.html">MTAResultValidator.h</a>&quot;</code><br />
+<div class="textblock"><code>#include &quot;SVF-LLVM/LLVMUtil.h&quot;</code><br />
+<code>#include &quot;SVF-LLVM/SVFIRBuilder.h&quot;</code><br />
+<code>#include &quot;MTA/MTA.h&quot;</code><br />
+<code>#include &quot;Util/CommandLine.h&quot;</code><br />
+<code>#include &quot;Util/Options.h&quot;</code><br />
+<code>#include &quot;<a class="el" href="MTAResultValidator_8h_source.html">MTAResultValidator.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="LockResultValidator_8h_source.html">LockResultValidator.h</a>&quot;</code><br />
 </div>
 <p><a href="mta_8cpp_source.html">Go to the source code of this file.</a></p>
@@ -111,18 +111,10 @@ Functions</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="mta_8cpp_source.html#l00012">12</a> of file <a class="el" href="mta_8cpp_source.html">mta.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;{</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;    moduleNameVec = <a class="code" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a>(</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;                        argc, argv, <span class="stringliteral">&quot;MTA Analysis&quot;</span>, <span class="stringliteral">&quot;[options] &lt;input-bitcode...&gt;&quot;</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;                    );</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder() == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;    {</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;    }</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;    <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder(svfModule);</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.build();</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;    <a class="code" href="classSVF_1_1MTA.html">MTA</a> mta;</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;    mta.<a class="code" href="classSVF_1_1MTA.html#ad9172b17fa738bff616771df6f9e9c37">runOnModule</a>(pag);</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    <a class="code" href="classSVF_1_1MTAResultValidator.html">MTAResultValidator</a> MTAValidator(mta.<a class="code" href="classSVF_1_1MTA.html#a8cfcfb26e22cc40260f6df6d50701bdb">getMHP</a>());</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;    MTAValidator.<a class="code" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">analyze</a>();</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    <span class="comment">// Initialize the validator and perform validation.</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <a class="code" href="classSVF_1_1LockResultValidator.html">LockResultValidator</a> lockvalidator(mta.<a class="code" href="classSVF_1_1MTA.html#a76ea96c430365132011f1a4edf0d5570">getLockAnalysis</a>());</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    lockvalidator.<a class="code" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">analyze</a>();</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <span class="keyword">delete</span>[] arg_value;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;}</div><div class="ttc" id="classSVF_1_1LockResultValidator_html"><div class="ttname"><a href="classSVF_1_1LockResultValidator.html">SVF::LockResultValidator</a></div><div class="ttdef"><b>Definition:</b> <a href="LockResultValidator_8h_source.html#l00019">LockResultValidator.h:19</a></div></div>
-<div class="ttc" id="classSVF_1_1MTAResultValidator_html"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html">SVF::MTAResultValidator</a></div><div class="ttdef"><b>Definition:</b> <a href="include_2MTA_2MTAResultValidator_8h_source.html#l00021">MTAResultValidator.h:21</a></div></div>
-<div class="ttc" id="classSVF_1_1MTA_html_a8cfcfb26e22cc40260f6df6d50701bdb"><div class="ttname"><a href="classSVF_1_1MTA.html#a8cfcfb26e22cc40260f6df6d50701bdb">SVF::MTA::getMHP</a></div><div class="ttdeci">MHP * getMHP()</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00082">MTA.h:82</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
-<div class="ttc" id="classSVF_1_1MTA_html_ad9172b17fa738bff616771df6f9e9c37"><div class="ttname"><a href="classSVF_1_1MTA.html#ad9172b17fa738bff616771df6f9e9c37">SVF::MTA::runOnModule</a></div><div class="ttdeci">virtual bool runOnModule(SVFIR *module)</div><div class="ttdoc">We start the pass here. </div><div class="ttdef"><b>Definition:</b> <a href="MTA_8cpp_source.html#l00062">MTA.cpp:62</a></div></div>
+<div class="fragment"><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;{</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;    moduleNameVec = OptionBase::parseOptions(</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;                        argc, argv, <span class="stringliteral">&quot;MTA Analysis&quot;</span>, <span class="stringliteral">&quot;[options] &lt;input-bitcode...&gt;&quot;</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;                    );</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder() == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;    {</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;    }</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;    SVFModule* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;    SVFIRBuilder builder(svfModule);</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;    SVFIR* pag = builder.build();</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;    MTA mta;</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;    mta.runOnModule(pag);</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    <a class="code" href="classSVF_1_1MTAResultValidator.html">MTAResultValidator</a> MTAValidator(mta.getMHP());</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;    MTAValidator.<a class="code" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">analyze</a>();</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    <span class="comment">// Initialize the validator and perform validation.</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <a class="code" href="classSVF_1_1LockResultValidator.html">LockResultValidator</a> lockvalidator(mta.getLockAnalysis());</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    lockvalidator.<a class="code" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">analyze</a>();</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <span class="keyword">delete</span>[] arg_value;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;}</div><div class="ttc" id="classSVF_1_1LockResultValidator_html"><div class="ttname"><a href="classSVF_1_1LockResultValidator.html">SVF::LockResultValidator</a></div><div class="ttdef"><b>Definition:</b> <a href="LockResultValidator_8h_source.html#l00019">LockResultValidator.h:19</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAResultValidator_html"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html">SVF::MTAResultValidator</a></div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00022">MTAResultValidator.h:22</a></div></div>
 <div class="ttc" id="classSVF_1_1MTAResultValidator_html_a462f1554e058b656861abfb0aa2e47ff"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">SVF::MTAResultValidator::analyze</a></div><div class="ttdeci">void analyze()</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00039">MTAResultValidator.cpp:39</a></div></div>
 <div class="ttc" id="classSVF_1_1LockResultValidator_html_a88ff3ed1398a0b847d71a4c0352ed66d"><div class="ttname"><a href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator::analyze</a></div><div class="ttdeci">void analyze()</div><div class="ttdef"><b>Definition:</b> <a href="LockResultValidator_8cpp_source.html#l00201">LockResultValidator.cpp:201</a></div></div>
-<div class="ttc" id="classOptionBase_html_a4fb6c6e4a1754d702c6c1730f54457e5"><div class="ttname"><a href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a></div><div class="ttdeci">static std::vector&lt; std::string &gt; parseOptions(int argc, char *argv[], std::string description, std::string callFormat)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00075">CommandLine.h:75</a></div></div>
-<div class="ttc" id="classSVF_1_1MTA_html"><div class="ttname"><a href="classSVF_1_1MTA.html">SVF::MTA</a></div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00056">MTA.h:56</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
-<div class="ttc" id="classSVF_1_1MTA_html_a76ea96c430365132011f1a4edf0d5570"><div class="ttname"><a href="classSVF_1_1MTA.html#a76ea96c430365132011f1a4edf0d5570">SVF::MTA::getLockAnalysis</a></div><div class="ttdeci">LockAnalysis * getLockAnalysis()</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00087">MTA.h:87</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/mta_8cpp_source.html

@@ -66,30 +66,16 @@ $(function() {
 <div class="title">mta.cpp</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="mta_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LLVMUtil_8h.html">SVF-LLVM/LLVMUtil.h</a>&quot;</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="SVFIRBuilder_8h.html">SVF-LLVM/SVFIRBuilder.h</a>&quot;</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="MTA_8h.html">MTA/MTA.h</a>&quot;</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CommandLine_8h.html">Util/CommandLine.h</a>&quot;</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="Options_8h.html">Util/Options.h</a>&quot;</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="tools_2MTA_2MTAResultValidator_8h.html">MTAResultValidator.h</a>&quot;</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LockResultValidator_8h.html">LockResultValidator.h</a>&quot;</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacellvm.html">llvm</a>;</div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacestd.html">std</a>;</div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;</div><div class="line"><a name="l00012"></a><span class="lineno"><a class="line" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">   12</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;{</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;    moduleNameVec = <a class="code" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a>(</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;                        argc, argv, <span class="stringliteral">&quot;MTA Analysis&quot;</span>, <span class="stringliteral">&quot;[options] &lt;input-bitcode...&gt;&quot;</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;                    );</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder() == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;    {</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;    }</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;    <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder(svfModule);</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.<a class="code" href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">build</a>();</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;    <a class="code" href="classSVF_1_1MTA.html">MTA</a> mta;</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;    mta.<a class="code" href="classSVF_1_1MTA.html#ad9172b17fa738bff616771df6f9e9c37">runOnModule</a>(pag);</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    <a class="code" href="classSVF_1_1MTAResultValidator.html">MTAResultValidator</a> MTAValidator(mta.<a class="code" href="classSVF_1_1MTA.html#a8cfcfb26e22cc40260f6df6d50701bdb">getMHP</a>());</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;    MTAValidator.<a class="code" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">analyze</a>();</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    <span class="comment">// Initialize the validator and perform validation.</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <a class="code" href="classSVF_1_1LockResultValidator.html">LockResultValidator</a> lockvalidator(mta.<a class="code" href="classSVF_1_1MTA.html#a76ea96c430365132011f1a4edf0d5570">getLockAnalysis</a>());</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    lockvalidator.<a class="code" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">analyze</a>();</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <span class="keyword">delete</span>[] arg_value;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;}</div><div class="ttc" id="tools_2MTA_2MTAResultValidator_8h_html"><div class="ttname"><a href="tools_2MTA_2MTAResultValidator_8h.html">MTAResultValidator.h</a></div></div>
-<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00013">GEPTypeBridgeIterator.h:13</a></div></div>
+<a href="mta_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="preprocessor">#include &quot;SVF-LLVM/LLVMUtil.h&quot;</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="preprocessor">#include &quot;SVF-LLVM/SVFIRBuilder.h&quot;</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="preprocessor">#include &quot;MTA/MTA.h&quot;</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="preprocessor">#include &quot;Util/CommandLine.h&quot;</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="preprocessor">#include &quot;Util/Options.h&quot;</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="MTAResultValidator_8h.html">MTAResultValidator.h</a>&quot;</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="LockResultValidator_8h.html">LockResultValidator.h</a>&quot;</span></div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacellvm.html">llvm</a>;</div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespacestd.html">std</a>;</div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;</div><div class="line"><a name="l00012"></a><span class="lineno"><a class="line" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">   12</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a>(<span class="keywordtype">int</span> argc, <span class="keywordtype">char</span> ** argv)</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;{</div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;</div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;    moduleNameVec = OptionBase::parseOptions(</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;                        argc, argv, <span class="stringliteral">&quot;MTA Analysis&quot;</span>, <span class="stringliteral">&quot;[options] &lt;input-bitcode...&gt;&quot;</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;                    );</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder() == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;    {</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;    }</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;    SVFModule* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;    SVFIRBuilder builder(svfModule);</div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;    SVFIR* pag = builder.build();</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;    MTA mta;</div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;    mta.runOnModule(pag);</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;    <a class="code" href="classSVF_1_1MTAResultValidator.html">MTAResultValidator</a> MTAValidator(mta.getMHP());</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;    MTAValidator.<a class="code" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">analyze</a>();</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    <span class="comment">// Initialize the validator and perform validation.</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <a class="code" href="classSVF_1_1LockResultValidator.html">LockResultValidator</a> lockvalidator(mta.getLockAnalysis());</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    lockvalidator.<a class="code" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">analyze</a>();</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <span class="keyword">delete</span>[] arg_value;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;}</div><div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div></div>
 <div class="ttc" id="classSVF_1_1LockResultValidator_html"><div class="ttname"><a href="classSVF_1_1LockResultValidator.html">SVF::LockResultValidator</a></div><div class="ttdef"><b>Definition:</b> <a href="LockResultValidator_8h_source.html#l00019">LockResultValidator.h:19</a></div></div>
 <div class="ttc" id="mta_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="mta_8cpp_source.html#l00012">mta.cpp:12</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIRBuilder_html_a5ecf1deb5646ccb46b0b3101417f4689"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a5ecf1deb5646ccb46b0b3101417f4689">SVF::SVFIRBuilder::build</a></div><div class="ttdeci">virtual SVFIR * build()</div><div class="ttdoc">Start building SVFIR here. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00051">SVFIRBuilder.cpp:51</a></div></div>
-<div class="ttc" id="classSVF_1_1MTAResultValidator_html"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html">SVF::MTAResultValidator</a></div><div class="ttdef"><b>Definition:</b> <a href="include_2MTA_2MTAResultValidator_8h_source.html#l00021">MTAResultValidator.h:21</a></div></div>
-<div class="ttc" id="classSVF_1_1MTA_html_a8cfcfb26e22cc40260f6df6d50701bdb"><div class="ttname"><a href="classSVF_1_1MTA.html#a8cfcfb26e22cc40260f6df6d50701bdb">SVF::MTA::getMHP</a></div><div class="ttdeci">MHP * getMHP()</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00082">MTA.h:82</a></div></div>
+<div class="ttc" id="classSVF_1_1MTAResultValidator_html"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html">SVF::MTAResultValidator</a></div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00022">MTAResultValidator.h:22</a></div></div>
 <div class="ttc" id="namespacestd_html"><div class="ttname"><a href="namespacestd.html">std</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
-<div class="ttc" id="CommandLine_8h_html"><div class="ttname"><a href="CommandLine_8h.html">CommandLine.h</a></div></div>
+<div class="ttc" id="MTAResultValidator_8h_html"><div class="ttname"><a href="MTAResultValidator_8h.html">MTAResultValidator.h</a></div></div>
 <div class="ttc" id="LockResultValidator_8h_html"><div class="ttname"><a href="LockResultValidator_8h.html">LockResultValidator.h</a></div></div>
-<div class="ttc" id="Options_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
-<div class="ttc" id="classSVF_1_1MTA_html_ad9172b17fa738bff616771df6f9e9c37"><div class="ttname"><a href="classSVF_1_1MTA.html#ad9172b17fa738bff616771df6f9e9c37">SVF::MTA::runOnModule</a></div><div class="ttdeci">virtual bool runOnModule(SVFIR *module)</div><div class="ttdoc">We start the pass here. </div><div class="ttdef"><b>Definition:</b> <a href="MTA_8cpp_source.html#l00062">MTA.cpp:62</a></div></div>
 <div class="ttc" id="classSVF_1_1MTAResultValidator_html_a462f1554e058b656861abfb0aa2e47ff"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">SVF::MTAResultValidator::analyze</a></div><div class="ttdeci">void analyze()</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00039">MTAResultValidator.cpp:39</a></div></div>
-<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="AbstractValue_8h_source.html#l00037">AbstractValue.h:37</a></div></div>
-<div class="ttc" id="MTA_8h_html"><div class="ttname"><a href="MTA_8h.html">MTA.h</a></div></div>
-<div class="ttc" id="SVFIRBuilder_8h_html"><div class="ttname"><a href="SVFIRBuilder_8h.html">SVFIRBuilder.h</a></div></div>
+<div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdef"><b>Definition:</b> <a href="LockResultValidator_8cpp_source.html#l00016">LockResultValidator.cpp:16</a></div></div>
 <div class="ttc" id="classSVF_1_1LockResultValidator_html_a88ff3ed1398a0b847d71a4c0352ed66d"><div class="ttname"><a href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator::analyze</a></div><div class="ttdeci">void analyze()</div><div class="ttdef"><b>Definition:</b> <a href="LockResultValidator_8cpp_source.html#l00201">LockResultValidator.cpp:201</a></div></div>
-<div class="ttc" id="classOptionBase_html_a4fb6c6e4a1754d702c6c1730f54457e5"><div class="ttname"><a href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase::parseOptions</a></div><div class="ttdeci">static std::vector&lt; std::string &gt; parseOptions(int argc, char *argv[], std::string description, std::string callFormat)</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00075">CommandLine.h:75</a></div></div>
-<div class="ttc" id="classSVF_1_1MTA_html"><div class="ttname"><a href="classSVF_1_1MTA.html">SVF::MTA</a></div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00056">MTA.h:56</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
-<div class="ttc" id="LLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</a></div></div>
-<div class="ttc" id="classSVF_1_1MTA_html_a76ea96c430365132011f1a4edf0d5570"><div class="ttname"><a href="classSVF_1_1MTA.html#a76ea96c430365132011f1a4edf0d5570">SVF::MTA::getLockAnalysis</a></div><div class="ttdeci">LockAnalysis * getLockAnalysis()</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00087">MTA.h:87</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>