svf-tools 1.0.767 → 1.0.768

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (4) hide show
  1. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +139 -123
  2. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +139 -123
  3. package/package.json +1 -1
  4. package/svf-llvm/lib/SVFIRExtAPI.cpp +17 -1
package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html CHANGED
@@ -218,130 +218,146 @@ $(function() {
218
218
  <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; }</div>
219
219
  <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4">isMemcpyExtFun</a>(svfCallee))</div>
220
220
  <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div>
221
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;iconv&quot;</span>) != std::string::npos)</div>
222
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; addComplexConsForExt(cs-&gt;getArgOperand(3), cs-&gt;getArgOperand(1), <span class="keyword">nullptr</span>);</div>
223
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;bcopy&quot;</span>) != std::string::npos)</div>
224
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; addComplexConsForExt(cs-&gt;getArgOperand(1), cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(2));</div>
225
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">if</span>(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() == 3)</div>
226
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; addComplexConsForExt(cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(1), cs-&gt;getArgOperand(2));</div>
227
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">else</span></div>
228
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; addComplexConsForExt(cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(1), <span class="keyword">nullptr</span>);</div>
229
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">if</span>(SVFUtil::isa&lt;PointerType&gt;(cs-&gt;getType()))</div>
230
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; addCopyEdge(getValueNode(cs-&gt;getArgOperand(0)), getValueNode(cs));</div>
231
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; }</div>
232
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb">isMemsetExtFun</a>(svfCallee))</div>
233
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div>
234
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="comment">// this is for memset(void *str, int c, size_t n)</span></div>
235
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="comment">// which copies the character c (an unsigned char) to the first n characters of the string pointed to, by the argument str</span></div>
236
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; std::vector&lt;AccessPath&gt; dstFields;</div>
237
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *dtype = getBaseTypeAndFlattenedFields(cs-&gt;getArgOperand(0), dstFields, cs-&gt;getArgOperand(2));</div>
238
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> sz = dstFields.size();</div>
239
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="comment">//For each field (i), add store edge *(arg0 + i) = arg1</span></div>
240
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = 0; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> &lt; sz; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>++)</div>
241
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; {</div>
242
- <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <a class="code" href="classSVF_1_1LLVMModuleSet.html">LLVMModuleSet</a>* llvmmodule = LLVMModuleSet::getLLVMModuleSet();</div>
243
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dElementType = pag-&gt;getSymbolInfo()-&gt;getFlatternedElemType(llvmmodule-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">getSVFType</a>(dtype), dstFields[<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>].getConstantFieldIdx());</div>
244
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dField = getGepValVar(cs-&gt;getArgOperand(0), dstFields[<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>], dElementType);</div>
245
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; addStoreEdge(getValueNode(cs-&gt;getArgOperand(1)),dField);</div>
246
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; }</div>
247
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">if</span>(SVFUtil::isa&lt;PointerType&gt;(cs-&gt;getType()))</div>
248
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; addCopyEdge(getValueNode(cs-&gt;getArgOperand(0)), getValueNode(cs));</div>
249
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; }</div>
250
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().compare(<span class="stringliteral">&quot;dlsym&quot;</span>) == 0)</div>
251
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; {</div>
252
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* src = cs-&gt;getArgOperand(1);</div>
253
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">GetElementPtrInst</a>* gep = SVFUtil::dyn_cast&lt;GetElementPtrInst&gt;(src))</div>
254
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; src = <a class="code" href="namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f">stripConstantCasts</a>(gep-&gt;getPointerOperand());</div>
255
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; </div>
256
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="keyword">auto</span> getHookFn = [](<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* src)-&gt;<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>*</div>
257
- <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; {</div>
258
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">if</span> (!SVFUtil::isa&lt;GlobalVariable&gt;(src))</div>
259
- <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
260
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; </div>
261
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keyword">auto</span> *glob = SVFUtil::cast&lt;GlobalVariable&gt;(src);</div>
262
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keywordflow">if</span> (!glob-&gt;hasInitializer() || !SVFUtil::isa&lt;ConstantDataArray&gt;(glob-&gt;getInitializer()))</div>
263
- <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
264
- <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; </div>
265
- <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <span class="keyword">auto</span> *constarray = SVFUtil::cast&lt;ConstantDataArray&gt;(glob-&gt;getInitializer());</div>
266
- <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1LLVMUtil.html#a76b0d0ac69c170838cfc8ee26f4518a0">LLVMUtil::getProgFunction</a>(constarray-&gt;getAsCString().str());</div>
267
- <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; };</div>
268
- <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; </div>
269
- <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fn = getHookFn(src))</div>
270
- <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; {</div>
271
- <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> srcNode = getValueNode(fn);</div>
272
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; addCopyEdge(srcNode, getValueNode(cs));</div>
273
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; }</div>
274
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; }</div>
275
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_&quot;</span>) != std::string::npos)</div>
276
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; {</div>
277
- <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; assert(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() == 4 &amp;&amp; <span class="stringliteral">&quot;_Rb_tree_insert_and_rebalance should have 4 arguments.\n&quot;</span>);</div>
278
- <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; </div>
279
- <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; <span class="comment">// We have vArg3 points to the entry of _Rb_tree_node_base { color; parent; left; right; }.</span></div>
280
- <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="comment">// Now we calculate the offset from base to vArg3</span></div>
281
- <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnArg3 = pag-&gt;getValueNode(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(3));</div>
282
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = getAccessPathFromBaseNode(vnArg3).getConstantFieldIdx();</div>
221
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="comment">// Side-effects similar to void *memcpy(void *dest, const void * src, size_t n)</span></div>
222
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <span class="comment">// which copies n characters from memory area &#39;src&#39; to memory area &#39;dest&#39;.</span></div>
223
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;iconv&quot;</span>) != std::string::npos)</div>
224
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; addComplexConsForExt(cs-&gt;getArgOperand(3), cs-&gt;getArgOperand(1), <span class="keyword">nullptr</span>);</div>
225
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;bcopy&quot;</span>) != std::string::npos)</div>
226
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; addComplexConsForExt(cs-&gt;getArgOperand(1), cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(2));</div>
227
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">if</span>(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() == 3)</div>
228
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; addComplexConsForExt(cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(1), cs-&gt;getArgOperand(2));</div>
229
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">else</span></div>
230
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; addComplexConsForExt(cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(1), <span class="keyword">nullptr</span>);</div>
231
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keywordflow">if</span>(SVFUtil::isa&lt;PointerType&gt;(cs-&gt;getType()))</div>
232
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; addCopyEdge(getValueNode(cs-&gt;getArgOperand(0)), getValueNode(cs));</div>
233
+ <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; }</div>
234
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb">isMemsetExtFun</a>(svfCallee))</div>
235
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; {</div>
236
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="comment">// Side-effects similar to memset(void *str, int c, size_t n)</span></div>
237
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="comment">// which copies the character c (an unsigned char) to the first n characters of the string pointed to, by the argument str</span></div>
238
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; std::vector&lt;AccessPath&gt; dstFields;</div>
239
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *dtype = getBaseTypeAndFlattenedFields(cs-&gt;getArgOperand(0), dstFields, cs-&gt;getArgOperand(2));</div>
240
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> sz = dstFields.size();</div>
241
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="comment">//For each field (i), add store edge *(arg0 + i) = arg1</span></div>
242
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = 0; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> &lt; sz; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>++)</div>
243
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; {</div>
244
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <a class="code" href="classSVF_1_1LLVMModuleSet.html">LLVMModuleSet</a>* llvmmodule = LLVMModuleSet::getLLVMModuleSet();</div>
245
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dElementType = pag-&gt;getSymbolInfo()-&gt;getFlatternedElemType(llvmmodule-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">getSVFType</a>(dtype), dstFields[<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>].getConstantFieldIdx());</div>
246
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dField = getGepValVar(cs-&gt;getArgOperand(0), dstFields[<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>], dElementType);</div>
247
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; addStoreEdge(getValueNode(cs-&gt;getArgOperand(1)),dField);</div>
248
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; }</div>
249
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">if</span>(SVFUtil::isa&lt;PointerType&gt;(cs-&gt;getType()))</div>
250
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; addCopyEdge(getValueNode(cs-&gt;getArgOperand(0)), getValueNode(cs));</div>
251
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div>
252
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().compare(<span class="stringliteral">&quot;dlsym&quot;</span>) == 0)</div>
253
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; {</div>
254
+ <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="comment">/*</span></div>
255
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160;<span class="comment"> Side-effects of void* dlsym( void* handle, const char* funName),</span></div>
256
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160;<span class="comment"> Locate the function with the name &quot;funName,&quot; then add a &quot;copy&quot; edge between the callsite and that function.</span></div>
257
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160;<span class="comment"> dlsym() example:</span></div>
258
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160;<span class="comment"> int main() {</span></div>
259
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160;<span class="comment"> // Open the shared library</span></div>
260
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160;<span class="comment"> void* handle = dlopen(&quot;./my_shared_library.so&quot;, RTLD_LAZY);</span></div>
261
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160;<span class="comment"> // Find the function address</span></div>
262
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160;<span class="comment"> void (*myFunctionPtr)() = (void (*)())dlsym(handle, &quot;myFunction&quot;);</span></div>
263
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160;<span class="comment"> // Call the function</span></div>
264
+ <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160;<span class="comment"> myFunctionPtr();</span></div>
265
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160;<span class="comment"> }</span></div>
266
+ <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160;<span class="comment"> */</span></div>
267
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* src = cs-&gt;getArgOperand(1);</div>
268
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">GetElementPtrInst</a>* gep = SVFUtil::dyn_cast&lt;GetElementPtrInst&gt;(src))</div>
269
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; src = <a class="code" href="namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f">stripConstantCasts</a>(gep-&gt;getPointerOperand());</div>
270
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; </div>
271
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keyword">auto</span> getHookFn = [](<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* src)-&gt;<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>*</div>
272
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; {</div>
273
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <span class="keywordflow">if</span> (!SVFUtil::isa&lt;GlobalVariable&gt;(src))</div>
274
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
275
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; </div>
276
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keyword">auto</span> *glob = SVFUtil::cast&lt;GlobalVariable&gt;(src);</div>
277
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; <span class="keywordflow">if</span> (!glob-&gt;hasInitializer() || !SVFUtil::isa&lt;ConstantDataArray&gt;(glob-&gt;getInitializer()))</div>
278
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
279
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; </div>
280
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="keyword">auto</span> *constarray = SVFUtil::cast&lt;ConstantDataArray&gt;(glob-&gt;getInitializer());</div>
281
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1LLVMUtil.html#a76b0d0ac69c170838cfc8ee26f4518a0">LLVMUtil::getProgFunction</a>(constarray-&gt;getAsCString().str());</div>
282
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; };</div>
283
283
  <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; </div>
284
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="comment">// We get all flattened fields of base</span></div>
285
- <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; vector&lt;AccessPath&gt; fields = pag-&gt;getTypeLocSetsMap(vnArg3).second;</div>
286
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; </div>
287
- <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; <span class="comment">// We summarize the side effects: arg3-&gt;parent = arg1, arg3-&gt;left = arg1, arg3-&gt;right = arg1</span></div>
288
- <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="comment">// Note that arg0 is aligned with &quot;offset&quot;.</span></div>
289
- <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> i = <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> + 1; i &lt;= <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> + 3; ++i)</div>
290
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; {</div>
291
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="keywordflow">if</span>((<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>)i &gt;= fields.size())</div>
292
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">break</span>;</div>
293
- <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* elementType = pag-&gt;getSymbolInfo()-&gt;getFlatternedElemType(pag-&gt;getTypeLocSetsMap(vnArg3).first,</div>
294
- <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; fields[i].getConstantFieldIdx());</div>
295
- <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnD = getGepValVar(cs-&gt;getArgOperand(3), fields[i], elementType);</div>
296
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnS = pag-&gt;getValueNode(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(1));</div>
297
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordflow">if</span>(vnD &amp;&amp; vnS)</div>
298
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; addStoreEdge(vnS,vnD);</div>
299
- <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; }</div>
300
- <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; }</div>
301
- <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; </div>
302
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">isThreadForkCall</a>(svfInst))</div>
303
- <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; {</div>
304
- <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* forkedFun = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a2790c5289dad1d6e80f7597a2ea458ab">getForkedFun</a>(svfInst)))</div>
305
- <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; {</div>
306
- <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; forkedFun = forkedFun-&gt;getDefFunForMultipleModule();</div>
307
- <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* actualParm = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8c64663b564eb7c399013389920ab500">getActualParmAtForkSite</a>(svfInst);</div>
308
- <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; assert((forkedFun-&gt;arg_size() &lt;= 2) &amp;&amp; <span class="stringliteral">&quot;Size of formal parameter of start routine should be one&quot;</span>);</div>
309
- <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <span class="keywordflow">if</span> (forkedFun-&gt;arg_size() &lt;= 2 &amp;&amp; forkedFun-&gt;arg_size() &gt;= 1)</div>
310
- <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; {</div>
311
- <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* formalParm = forkedFun-&gt;getArg(0);</div>
312
- <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; <span class="keywordflow">if</span> (actualParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() &amp;&amp; formalParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>())</div>
313
- <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; {</div>
314
- <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *icfgNode = pag-&gt;getICFG()-&gt;getCallICFGNode(svfInst);</div>
315
- <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; <a class="code" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *entry = pag-&gt;getICFG()-&gt;getFunEntryICFGNode(forkedFun);</div>
316
- <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; addThreadForkEdge(pag-&gt;getValueNode(actualParm), pag-&gt;getValueNode(formalParm), icfgNode, entry);</div>
317
- <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; }</div>
318
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; }</div>
319
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; }</div>
320
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <span class="keywordflow">else</span></div>
321
- <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; {</div>
322
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; }</div>
323
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; }</div>
324
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; </div>
325
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb">isHareParForCall</a>(svfInst))</div>
326
- <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; {</div>
327
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* taskFunc = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a5cee46f58bdab3f9b1c698e97290152f">getTaskFuncAtHareParForSite</a>(svfInst)))</div>
328
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; {</div>
329
- <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; assert((taskFunc-&gt;arg_size() == 3) &amp;&amp; <span class="stringliteral">&quot;Size of formal parameter of hare_parallel_for&#39;s task routine should be 3&quot;</span>);</div>
330
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* actualParm = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a2f74db48793a0db76c000ffecf9e1bd2">getTaskDataAtHareParForSite</a>(svfInst);</div>
331
- <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* formalParm = taskFunc-&gt;getArg(0);</div>
332
- <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; <span class="keywordflow">if</span> (actualParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() &amp;&amp; formalParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>())</div>
333
- <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; {</div>
334
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *icfgNode = pag-&gt;getICFG()-&gt;getCallICFGNode(svfInst);</div>
335
- <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; <a class="code" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *entry = pag-&gt;getICFG()-&gt;getFunEntryICFGNode(taskFunc);</div>
336
- <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; addThreadForkEdge(pag-&gt;getValueNode(actualParm), pag-&gt;getValueNode(formalParm), icfgNode, entry);</div>
337
- <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; }</div>
338
- <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; }</div>
339
- <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">else</span></div>
340
- <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; {</div>
341
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; }</div>
342
- <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div>
343
- <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; </div>
344
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160;}</div>
284
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fn = getHookFn(src))</div>
285
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; {</div>
286
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> srcNode = getValueNode(fn);</div>
287
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; addCopyEdge(srcNode, getValueNode(cs));</div>
288
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; }</div>
289
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div>
290
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_&quot;</span>) != std::string::npos)</div>
291
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; {</div>
292
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="comment">// The purpose of this function is to insert a new node into the red-black tree and then rebalance the tree to ensure that the red-black tree properties are maintained.</span></div>
293
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; assert(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() == 4 &amp;&amp; <span class="stringliteral">&quot;_Rb_tree_insert_and_rebalance should have 4 arguments.\n&quot;</span>);</div>
294
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; </div>
295
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="comment">// We have vArg3 points to the entry of _Rb_tree_node_base { color; parent; left; right; }.</span></div>
296
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="comment">// Now we calculate the offset from base to vArg3</span></div>
297
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnArg3 = pag-&gt;getValueNode(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(3));</div>
298
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = getAccessPathFromBaseNode(vnArg3).getConstantFieldIdx();</div>
299
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; </div>
300
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <span class="comment">// We get all flattened fields of base</span></div>
301
+ <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; vector&lt;AccessPath&gt; fields = pag-&gt;getTypeLocSetsMap(vnArg3).second;</div>
302
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; </div>
303
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <span class="comment">// We summarize the side effects: arg3-&gt;parent = arg1, arg3-&gt;left = arg1, arg3-&gt;right = arg1</span></div>
304
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; <span class="comment">// Note that arg0 is aligned with &quot;offset&quot;.</span></div>
305
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> i = <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> + 1; i &lt;= <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> + 3; ++i)</div>
306
+ <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; {</div>
307
+ <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keywordflow">if</span>((<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>)i &gt;= fields.size())</div>
308
+ <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; <span class="keywordflow">break</span>;</div>
309
+ <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* elementType = pag-&gt;getSymbolInfo()-&gt;getFlatternedElemType(pag-&gt;getTypeLocSetsMap(vnArg3).first,</div>
310
+ <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; fields[i].getConstantFieldIdx());</div>
311
+ <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnD = getGepValVar(cs-&gt;getArgOperand(3), fields[i], elementType);</div>
312
+ <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnS = pag-&gt;getValueNode(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(1));</div>
313
+ <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <span class="keywordflow">if</span>(vnD &amp;&amp; vnS)</div>
314
+ <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; addStoreEdge(vnS,vnD);</div>
315
+ <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; }</div>
316
+ <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; }</div>
317
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; </div>
318
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">isThreadForkCall</a>(svfInst))</div>
319
+ <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; {</div>
320
+ <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* forkedFun = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a2790c5289dad1d6e80f7597a2ea458ab">getForkedFun</a>(svfInst)))</div>
321
+ <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; {</div>
322
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; forkedFun = forkedFun-&gt;getDefFunForMultipleModule();</div>
323
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* actualParm = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8c64663b564eb7c399013389920ab500">getActualParmAtForkSite</a>(svfInst);</div>
324
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; assert((forkedFun-&gt;arg_size() &lt;= 2) &amp;&amp; <span class="stringliteral">&quot;Size of formal parameter of start routine should be one&quot;</span>);</div>
325
+ <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <span class="keywordflow">if</span> (forkedFun-&gt;arg_size() &lt;= 2 &amp;&amp; forkedFun-&gt;arg_size() &gt;= 1)</div>
326
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; {</div>
327
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* formalParm = forkedFun-&gt;getArg(0);</div>
328
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; <span class="keywordflow">if</span> (actualParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() &amp;&amp; formalParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>())</div>
329
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; {</div>
330
+ <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *icfgNode = pag-&gt;getICFG()-&gt;getCallICFGNode(svfInst);</div>
331
+ <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <a class="code" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *entry = pag-&gt;getICFG()-&gt;getFunEntryICFGNode(forkedFun);</div>
332
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; addThreadForkEdge(pag-&gt;getValueNode(actualParm), pag-&gt;getValueNode(formalParm), icfgNode, entry);</div>
333
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; }</div>
334
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; }</div>
335
+ <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; }</div>
336
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <span class="keywordflow">else</span></div>
337
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; {</div>
338
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; }</div>
339
+ <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; }</div>
340
+ <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; </div>
341
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb">isHareParForCall</a>(svfInst))</div>
342
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; {</div>
343
+ <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* taskFunc = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a5cee46f58bdab3f9b1c698e97290152f">getTaskFuncAtHareParForSite</a>(svfInst)))</div>
344
+ <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; {</div>
345
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; assert((taskFunc-&gt;arg_size() == 3) &amp;&amp; <span class="stringliteral">&quot;Size of formal parameter of hare_parallel_for&#39;s task routine should be 3&quot;</span>);</div>
346
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* actualParm = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a2f74db48793a0db76c000ffecf9e1bd2">getTaskDataAtHareParForSite</a>(svfInst);</div>
347
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* formalParm = taskFunc-&gt;getArg(0);</div>
348
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordflow">if</span> (actualParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() &amp;&amp; formalParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>())</div>
349
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; {</div>
350
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *icfgNode = pag-&gt;getICFG()-&gt;getCallICFGNode(svfInst);</div>
351
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <a class="code" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *entry = pag-&gt;getICFG()-&gt;getFunEntryICFGNode(taskFunc);</div>
352
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; addThreadForkEdge(pag-&gt;getValueNode(actualParm), pag-&gt;getValueNode(formalParm), icfgNode, entry);</div>
353
+ <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; }</div>
354
+ <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; }</div>
355
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; <span class="keywordflow">else</span></div>
356
+ <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; {</div>
357
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; }</div>
358
+ <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; }</div>
359
+ <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; </div>
360
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160;}</div>
345
361
  </div><!-- fragment --></div><!-- contents -->
346
362
  <div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00061">SVFType.h:61</a></div></div>
347
363
  <div class="ttc" id="aclassSVF_1_1SVFCallInst_html_a3cbb4b4089c8b27d01da15f2d2f22e14"><div class="ttname"><a href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">SVF::SVFCallInst::getArgOperand</a></div><div class="ttdeci">const SVFValue * getArgOperand(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00708">SVFValue.h:708</a></div></div>
package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html CHANGED
@@ -2519,130 +2519,146 @@ Private Attributes</h2></td></tr>
2519
2519
  <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; }</div>
2520
2520
  <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4">isMemcpyExtFun</a>(svfCallee))</div>
2521
2521
  <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div>
2522
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;iconv&quot;</span>) != std::string::npos)</div>
2523
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">addComplexConsForExt</a>(cs-&gt;getArgOperand(3), cs-&gt;getArgOperand(1), <span class="keyword">nullptr</span>);</div>
2524
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;bcopy&quot;</span>) != std::string::npos)</div>
2525
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">addComplexConsForExt</a>(cs-&gt;getArgOperand(1), cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(2));</div>
2526
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">if</span>(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() == 3)</div>
2527
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">addComplexConsForExt</a>(cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(1), cs-&gt;getArgOperand(2));</div>
2528
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">else</span></div>
2529
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">addComplexConsForExt</a>(cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(1), <span class="keyword">nullptr</span>);</div>
2530
- <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">if</span>(SVFUtil::isa&lt;PointerType&gt;(cs-&gt;getType()))</div>
2531
- <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">addCopyEdge</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs-&gt;getArgOperand(0)), <a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs));</div>
2532
- <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; }</div>
2533
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb">isMemsetExtFun</a>(svfCallee))</div>
2534
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div>
2535
- <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="comment">// this is for memset(void *str, int c, size_t n)</span></div>
2536
- <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; <span class="comment">// which copies the character c (an unsigned char) to the first n characters of the string pointed to, by the argument str</span></div>
2537
- <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; std::vector&lt;AccessPath&gt; dstFields;</div>
2538
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *dtype = <a class="code" href="classSVF_1_1SVFIRBuilder.html#aa7e7b3dba00201972783f93c35cadad9">getBaseTypeAndFlattenedFields</a>(cs-&gt;getArgOperand(0), dstFields, cs-&gt;getArgOperand(2));</div>
2539
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> sz = dstFields.size();</div>
2540
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="comment">//For each field (i), add store edge *(arg0 + i) = arg1</span></div>
2541
- <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = 0; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> &lt; sz; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>++)</div>
2542
- <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; {</div>
2543
- <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <a class="code" href="classSVF_1_1LLVMModuleSet.html">LLVMModuleSet</a>* llvmmodule = <a class="code" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">LLVMModuleSet::getLLVMModuleSet</a>();</div>
2544
- <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dElementType = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e">getSymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a806ae865d29c4b05b69c499284758c6f">getFlatternedElemType</a>(llvmmodule-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">getSVFType</a>(dtype), dstFields[<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>].getConstantFieldIdx());</div>
2545
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dField = <a class="code" href="classSVF_1_1SVFIRBuilder.html#ae4516ec05eabece1bc8e0cad1ec8cf1c">getGepValVar</a>(cs-&gt;getArgOperand(0), dstFields[<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>], dElementType);</div>
2546
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">addStoreEdge</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs-&gt;getArgOperand(1)),dField);</div>
2547
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; }</div>
2548
- <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <span class="keywordflow">if</span>(SVFUtil::isa&lt;PointerType&gt;(cs-&gt;getType()))</div>
2549
- <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">addCopyEdge</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs-&gt;getArgOperand(0)), <a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs));</div>
2550
- <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; }</div>
2551
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().compare(<span class="stringliteral">&quot;dlsym&quot;</span>) == 0)</div>
2552
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; {</div>
2553
- <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* src = cs-&gt;getArgOperand(1);</div>
2554
- <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">GetElementPtrInst</a>* gep = SVFUtil::dyn_cast&lt;GetElementPtrInst&gt;(src))</div>
2555
- <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; src = <a class="code" href="namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f">stripConstantCasts</a>(gep-&gt;getPointerOperand());</div>
2556
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; </div>
2557
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <span class="keyword">auto</span> getHookFn = [](<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* src)-&gt;<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>*</div>
2558
- <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; {</div>
2559
- <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <span class="keywordflow">if</span> (!SVFUtil::isa&lt;GlobalVariable&gt;(src))</div>
2560
- <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
2561
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; </div>
2562
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keyword">auto</span> *glob = SVFUtil::cast&lt;GlobalVariable&gt;(src);</div>
2563
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keywordflow">if</span> (!glob-&gt;hasInitializer() || !SVFUtil::isa&lt;ConstantDataArray&gt;(glob-&gt;getInitializer()))</div>
2564
- <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
2565
- <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; </div>
2566
- <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; <span class="keyword">auto</span> *constarray = SVFUtil::cast&lt;ConstantDataArray&gt;(glob-&gt;getInitializer());</div>
2567
- <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1LLVMUtil.html#a76b0d0ac69c170838cfc8ee26f4518a0">LLVMUtil::getProgFunction</a>(constarray-&gt;getAsCString().str());</div>
2568
- <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; };</div>
2569
- <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; </div>
2570
- <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fn = getHookFn(src))</div>
2571
- <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; {</div>
2572
- <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> srcNode = <a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(fn);</div>
2573
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">addCopyEdge</a>(srcNode, <a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs));</div>
2574
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; }</div>
2575
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; }</div>
2576
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_&quot;</span>) != std::string::npos)</div>
2577
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; {</div>
2578
- <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; assert(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() == 4 &amp;&amp; <span class="stringliteral">&quot;_Rb_tree_insert_and_rebalance should have 4 arguments.\n&quot;</span>);</div>
2579
- <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; </div>
2580
- <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; <span class="comment">// We have vArg3 points to the entry of _Rb_tree_node_base { color; parent; left; right; }.</span></div>
2581
- <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="comment">// Now we calculate the offset from base to vArg3</span></div>
2582
- <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnArg3 = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(3));</div>
2583
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a7c401d6929e583be734c0c4e9957d0d7">getAccessPathFromBaseNode</a>(vnArg3).<a class="code" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>();</div>
2522
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; <span class="comment">// Side-effects similar to void *memcpy(void *dest, const void * src, size_t n)</span></div>
2523
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <span class="comment">// which copies n characters from memory area &#39;src&#39; to memory area &#39;dest&#39;.</span></div>
2524
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;iconv&quot;</span>) != std::string::npos)</div>
2525
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">addComplexConsForExt</a>(cs-&gt;getArgOperand(3), cs-&gt;getArgOperand(1), <span class="keyword">nullptr</span>);</div>
2526
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;bcopy&quot;</span>) != std::string::npos)</div>
2527
+ <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">addComplexConsForExt</a>(cs-&gt;getArgOperand(1), cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(2));</div>
2528
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">if</span>(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() == 3)</div>
2529
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">addComplexConsForExt</a>(cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(1), cs-&gt;getArgOperand(2));</div>
2530
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">else</span></div>
2531
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">addComplexConsForExt</a>(cs-&gt;getArgOperand(0), cs-&gt;getArgOperand(1), <span class="keyword">nullptr</span>);</div>
2532
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; <span class="keywordflow">if</span>(SVFUtil::isa&lt;PointerType&gt;(cs-&gt;getType()))</div>
2533
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">addCopyEdge</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs-&gt;getArgOperand(0)), <a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs));</div>
2534
+ <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; }</div>
2535
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a54098ea73555caa682287f8e3c9e8fcb">isMemsetExtFun</a>(svfCallee))</div>
2536
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; {</div>
2537
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; <span class="comment">// Side-effects similar to memset(void *str, int c, size_t n)</span></div>
2538
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="comment">// which copies the character c (an unsigned char) to the first n characters of the string pointed to, by the argument str</span></div>
2539
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; std::vector&lt;AccessPath&gt; dstFields;</div>
2540
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *dtype = <a class="code" href="classSVF_1_1SVFIRBuilder.html#aa7e7b3dba00201972783f93c35cadad9">getBaseTypeAndFlattenedFields</a>(cs-&gt;getArgOperand(0), dstFields, cs-&gt;getArgOperand(2));</div>
2541
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> sz = dstFields.size();</div>
2542
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; <span class="comment">//For each field (i), add store edge *(arg0 + i) = arg1</span></div>
2543
+ <div class="line"><a name="l00180"></a><span class="lineno"> 180</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> = 0; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> &lt; sz; <a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>++)</div>
2544
+ <div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; {</div>
2545
+ <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <a class="code" href="classSVF_1_1LLVMModuleSet.html">LLVMModuleSet</a>* llvmmodule = <a class="code" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">LLVMModuleSet::getLLVMModuleSet</a>();</div>
2546
+ <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* dElementType = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e">getSymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a806ae865d29c4b05b69c499284758c6f">getFlatternedElemType</a>(llvmmodule-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#a5f0bd932f3129a9c565f3a09711f7b99">getSVFType</a>(dtype), dstFields[<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>].getConstantFieldIdx());</div>
2547
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dField = <a class="code" href="classSVF_1_1SVFIRBuilder.html#ae4516ec05eabece1bc8e0cad1ec8cf1c">getGepValVar</a>(cs-&gt;getArgOperand(0), dstFields[<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>], dElementType);</div>
2548
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">addStoreEdge</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs-&gt;getArgOperand(1)),dField);</div>
2549
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; }</div>
2550
+ <div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; <span class="keywordflow">if</span>(SVFUtil::isa&lt;PointerType&gt;(cs-&gt;getType()))</div>
2551
+ <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">addCopyEdge</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs-&gt;getArgOperand(0)), <a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs));</div>
2552
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div>
2553
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().compare(<span class="stringliteral">&quot;dlsym&quot;</span>) == 0)</div>
2554
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; {</div>
2555
+ <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <span class="comment">/*</span></div>
2556
+ <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160;<span class="comment"> Side-effects of void* dlsym( void* handle, const char* funName),</span></div>
2557
+ <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160;<span class="comment"> Locate the function with the name &quot;funName,&quot; then add a &quot;copy&quot; edge between the callsite and that function.</span></div>
2558
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160;<span class="comment"> dlsym() example:</span></div>
2559
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160;<span class="comment"> int main() {</span></div>
2560
+ <div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160;<span class="comment"> // Open the shared library</span></div>
2561
+ <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160;<span class="comment"> void* handle = dlopen(&quot;./my_shared_library.so&quot;, RTLD_LAZY);</span></div>
2562
+ <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160;<span class="comment"> // Find the function address</span></div>
2563
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160;<span class="comment"> void (*myFunctionPtr)() = (void (*)())dlsym(handle, &quot;myFunction&quot;);</span></div>
2564
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160;<span class="comment"> // Call the function</span></div>
2565
+ <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160;<span class="comment"> myFunctionPtr();</span></div>
2566
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160;<span class="comment"> }</span></div>
2567
+ <div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160;<span class="comment"> */</span></div>
2568
+ <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* src = cs-&gt;getArgOperand(1);</div>
2569
+ <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">GetElementPtrInst</a>* gep = SVFUtil::dyn_cast&lt;GetElementPtrInst&gt;(src))</div>
2570
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; src = <a class="code" href="namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f">stripConstantCasts</a>(gep-&gt;getPointerOperand());</div>
2571
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; </div>
2572
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keyword">auto</span> getHookFn = [](<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* src)-&gt;<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>*</div>
2573
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; {</div>
2574
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; <span class="keywordflow">if</span> (!SVFUtil::isa&lt;GlobalVariable&gt;(src))</div>
2575
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
2576
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; </div>
2577
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keyword">auto</span> *glob = SVFUtil::cast&lt;GlobalVariable&gt;(src);</div>
2578
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; <span class="keywordflow">if</span> (!glob-&gt;hasInitializer() || !SVFUtil::isa&lt;ConstantDataArray&gt;(glob-&gt;getInitializer()))</div>
2579
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div>
2580
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; </div>
2581
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; <span class="keyword">auto</span> *constarray = SVFUtil::cast&lt;ConstantDataArray&gt;(glob-&gt;getInitializer());</div>
2582
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1LLVMUtil.html#a76b0d0ac69c170838cfc8ee26f4518a0">LLVMUtil::getProgFunction</a>(constarray-&gt;getAsCString().str());</div>
2583
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; };</div>
2584
2584
  <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; </div>
2585
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="comment">// We get all flattened fields of base</span></div>
2586
- <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; vector&lt;AccessPath&gt; fields = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#adb6db6407bdc9a39e5bf8cd941f0ad15">getTypeLocSetsMap</a>(vnArg3).second;</div>
2587
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; </div>
2588
- <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; <span class="comment">// We summarize the side effects: arg3-&gt;parent = arg1, arg3-&gt;left = arg1, arg3-&gt;right = arg1</span></div>
2589
- <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; <span class="comment">// Note that arg0 is aligned with &quot;offset&quot;.</span></div>
2590
- <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> i = <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> + 1; i &lt;= <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> + 3; ++i)</div>
2591
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; {</div>
2592
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="keywordflow">if</span>((<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>)i &gt;= fields.size())</div>
2593
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">break</span>;</div>
2594
- <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* elementType = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e">getSymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a806ae865d29c4b05b69c499284758c6f">getFlatternedElemType</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#adb6db6407bdc9a39e5bf8cd941f0ad15">getTypeLocSetsMap</a>(vnArg3).first,</div>
2595
- <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; fields[i].getConstantFieldIdx());</div>
2596
- <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnD = <a class="code" href="classSVF_1_1SVFIRBuilder.html#ae4516ec05eabece1bc8e0cad1ec8cf1c">getGepValVar</a>(cs-&gt;getArgOperand(3), fields[i], elementType);</div>
2597
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnS = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(1));</div>
2598
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordflow">if</span>(vnD &amp;&amp; vnS)</div>
2599
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">addStoreEdge</a>(vnS,vnD);</div>
2600
- <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; }</div>
2601
- <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; }</div>
2602
- <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; </div>
2603
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">isThreadForkCall</a>(svfInst))</div>
2604
- <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; {</div>
2605
- <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* forkedFun = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a2790c5289dad1d6e80f7597a2ea458ab">getForkedFun</a>(svfInst)))</div>
2606
- <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; {</div>
2607
- <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; forkedFun = forkedFun-&gt;getDefFunForMultipleModule();</div>
2608
- <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* actualParm = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8c64663b564eb7c399013389920ab500">getActualParmAtForkSite</a>(svfInst);</div>
2609
- <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; assert((forkedFun-&gt;arg_size() &lt;= 2) &amp;&amp; <span class="stringliteral">&quot;Size of formal parameter of start routine should be one&quot;</span>);</div>
2610
- <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <span class="keywordflow">if</span> (forkedFun-&gt;arg_size() &lt;= 2 &amp;&amp; forkedFun-&gt;arg_size() &gt;= 1)</div>
2611
- <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; {</div>
2612
- <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* formalParm = forkedFun-&gt;getArg(0);</div>
2613
- <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; <span class="keywordflow">if</span> (actualParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() &amp;&amp; formalParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>())</div>
2614
- <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; {</div>
2615
- <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *icfgNode = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">getCallICFGNode</a>(svfInst);</div>
2616
- <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; <a class="code" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *entry = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">getFunEntryICFGNode</a>(forkedFun);</div>
2617
- <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4">addThreadForkEdge</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(actualParm), <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(formalParm), icfgNode, entry);</div>
2618
- <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; }</div>
2619
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; }</div>
2620
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; }</div>
2621
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <span class="keywordflow">else</span></div>
2622
- <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; {</div>
2623
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; }</div>
2624
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; }</div>
2625
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; </div>
2626
- <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb">isHareParForCall</a>(svfInst))</div>
2627
- <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; {</div>
2628
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* taskFunc = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a5cee46f58bdab3f9b1c698e97290152f">getTaskFuncAtHareParForSite</a>(svfInst)))</div>
2629
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; {</div>
2630
- <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; assert((taskFunc-&gt;arg_size() == 3) &amp;&amp; <span class="stringliteral">&quot;Size of formal parameter of hare_parallel_for&#39;s task routine should be 3&quot;</span>);</div>
2631
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* actualParm = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a2f74db48793a0db76c000ffecf9e1bd2">getTaskDataAtHareParForSite</a>(svfInst);</div>
2632
- <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* formalParm = taskFunc-&gt;getArg(0);</div>
2633
- <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; <span class="keywordflow">if</span> (actualParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() &amp;&amp; formalParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>())</div>
2634
- <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; {</div>
2635
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *icfgNode = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">getCallICFGNode</a>(svfInst);</div>
2636
- <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; <a class="code" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *entry = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">getFunEntryICFGNode</a>(taskFunc);</div>
2637
- <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4">addThreadForkEdge</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(actualParm), <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(formalParm), icfgNode, entry);</div>
2638
- <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; }</div>
2639
- <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; }</div>
2640
- <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">else</span></div>
2641
- <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; {</div>
2642
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; }</div>
2643
- <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div>
2644
- <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; </div>
2645
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160;}</div>
2585
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fn = getHookFn(src))</div>
2586
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; {</div>
2587
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> srcNode = <a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(fn);</div>
2588
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16">addCopyEdge</a>(srcNode, <a class="code" href="classSVF_1_1SVFIRBuilder.html#acc69fc638380f34164db649d9bf2a7d6">getValueNode</a>(cs));</div>
2589
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; }</div>
2590
+ <div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; }</div>
2591
+ <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span>(svfCallee-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>().find(<span class="stringliteral">&quot;_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_&quot;</span>) != std::string::npos)</div>
2592
+ <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; {</div>
2593
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="comment">// The purpose of this function is to insert a new node into the red-black tree and then rebalance the tree to ensure that the red-black tree properties are maintained.</span></div>
2594
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; assert(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0">arg_size</a>() == 4 &amp;&amp; <span class="stringliteral">&quot;_Rb_tree_insert_and_rebalance should have 4 arguments.\n&quot;</span>);</div>
2595
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; </div>
2596
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="comment">// We have vArg3 points to the entry of _Rb_tree_node_base { color; parent; left; right; }.</span></div>
2597
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="comment">// Now we calculate the offset from base to vArg3</span></div>
2598
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnArg3 = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(3));</div>
2599
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a7c401d6929e583be734c0c4e9957d0d7">getAccessPathFromBaseNode</a>(vnArg3).<a class="code" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>();</div>
2600
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; </div>
2601
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <span class="comment">// We get all flattened fields of base</span></div>
2602
+ <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; vector&lt;AccessPath&gt; fields = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#adb6db6407bdc9a39e5bf8cd941f0ad15">getTypeLocSetsMap</a>(vnArg3).second;</div>
2603
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; </div>
2604
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; <span class="comment">// We summarize the side effects: arg3-&gt;parent = arg1, arg3-&gt;left = arg1, arg3-&gt;right = arg1</span></div>
2605
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; <span class="comment">// Note that arg0 is aligned with &quot;offset&quot;.</span></div>
2606
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a> i = <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> + 1; i &lt;= <a class="code" href="cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de">offset</a> + 3; ++i)</div>
2607
+ <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; {</div>
2608
+ <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keywordflow">if</span>((<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>)i &gt;= fields.size())</div>
2609
+ <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; <span class="keywordflow">break</span>;</div>
2610
+ <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFType.html">SVFType</a>* elementType = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e">getSymbolInfo</a>()-&gt;<a class="code" href="classSVF_1_1SymbolTableInfo.html#a806ae865d29c4b05b69c499284758c6f">getFlatternedElemType</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#adb6db6407bdc9a39e5bf8cd941f0ad15">getTypeLocSetsMap</a>(vnArg3).first,</div>
2611
+ <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; fields[i].getConstantFieldIdx());</div>
2612
+ <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnD = <a class="code" href="classSVF_1_1SVFIRBuilder.html#ae4516ec05eabece1bc8e0cad1ec8cf1c">getGepValVar</a>(cs-&gt;getArgOperand(3), fields[i], elementType);</div>
2613
+ <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> vnS = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(svfCall-&gt;<a class="code" href="classSVF_1_1SVFCallInst.html#a3cbb4b4089c8b27d01da15f2d2f22e14">getArgOperand</a>(1));</div>
2614
+ <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <span class="keywordflow">if</span>(vnD &amp;&amp; vnS)</div>
2615
+ <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">addStoreEdge</a>(vnS,vnD);</div>
2616
+ <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; }</div>
2617
+ <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; }</div>
2618
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; </div>
2619
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">isThreadForkCall</a>(svfInst))</div>
2620
+ <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; {</div>
2621
+ <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* forkedFun = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a2790c5289dad1d6e80f7597a2ea458ab">getForkedFun</a>(svfInst)))</div>
2622
+ <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; {</div>
2623
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; forkedFun = forkedFun-&gt;getDefFunForMultipleModule();</div>
2624
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* actualParm = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8c64663b564eb7c399013389920ab500">getActualParmAtForkSite</a>(svfInst);</div>
2625
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; assert((forkedFun-&gt;arg_size() &lt;= 2) &amp;&amp; <span class="stringliteral">&quot;Size of formal parameter of start routine should be one&quot;</span>);</div>
2626
+ <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <span class="keywordflow">if</span> (forkedFun-&gt;arg_size() &lt;= 2 &amp;&amp; forkedFun-&gt;arg_size() &gt;= 1)</div>
2627
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; {</div>
2628
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* formalParm = forkedFun-&gt;getArg(0);</div>
2629
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; <span class="keywordflow">if</span> (actualParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() &amp;&amp; formalParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>())</div>
2630
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; {</div>
2631
+ <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *icfgNode = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">getCallICFGNode</a>(svfInst);</div>
2632
+ <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <a class="code" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *entry = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">getFunEntryICFGNode</a>(forkedFun);</div>
2633
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4">addThreadForkEdge</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(actualParm), <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(formalParm), icfgNode, entry);</div>
2634
+ <div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; }</div>
2635
+ <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; }</div>
2636
+ <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; }</div>
2637
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <span class="keywordflow">else</span></div>
2638
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; {</div>
2639
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; }</div>
2640
+ <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; }</div>
2641
+ <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; </div>
2642
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb">isHareParForCall</a>(svfInst))</div>
2643
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; {</div>
2644
+ <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* taskFunc = SVFUtil::dyn_cast&lt;SVFFunction&gt;(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a5cee46f58bdab3f9b1c698e97290152f">getTaskFuncAtHareParForSite</a>(svfInst)))</div>
2645
+ <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; {</div>
2646
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; assert((taskFunc-&gt;arg_size() == 3) &amp;&amp; <span class="stringliteral">&quot;Size of formal parameter of hare_parallel_for&#39;s task routine should be 3&quot;</span>);</div>
2647
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFValue.html">SVFValue</a>* actualParm = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a2f74db48793a0db76c000ffecf9e1bd2">getTaskDataAtHareParForSite</a>(svfInst);</div>
2648
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFArgument.html">SVFArgument</a>* formalParm = taskFunc-&gt;getArg(0);</div>
2649
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; <span class="keywordflow">if</span> (actualParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() &amp;&amp; formalParm-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a11f2d9b6e969ede6fca2c204cc15b821">getType</a>()-&gt;<a class="code" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>())</div>
2650
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; {</div>
2651
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *icfgNode = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">getCallICFGNode</a>(svfInst);</div>
2652
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <a class="code" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> *entry = <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">getFunEntryICFGNode</a>(taskFunc);</div>
2653
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <a class="code" href="classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4">addThreadForkEdge</a>(<a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(actualParm), <a class="code" href="classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(formalParm), icfgNode, entry);</div>
2654
+ <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; }</div>
2655
+ <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; }</div>
2656
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; <span class="keywordflow">else</span></div>
2657
+ <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; {</div>
2658
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; }</div>
2659
+ <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; }</div>
2660
+ <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; </div>
2661
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160;}</div>
2646
2662
  </div><!-- fragment -->
2647
2663
  </div>
2648
2664
  </div>
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-tools",
3
- "version": "1.0.767",
3
+ "version": "1.0.768",
4
4
  "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
5
5
  "main": "index.js",
6
6
  "scripts": {
package/svf-llvm/lib/SVFIRExtAPI.cpp CHANGED
@@ -156,6 +156,8 @@ void SVFIRBuilder::handleExtCall(const CallBase* cs, const SVFFunction* svfCalle
156
156
  }
157
157
  else if (isMemcpyExtFun(svfCallee))
158
158
  {
159
+ // Side-effects similar to void *memcpy(void *dest, const void * src, size_t n)
160
+ // which copies n characters from memory area 'src' to memory area 'dest'.
159
161
  if(svfCallee->getName().find("iconv") != std::string::npos)
160
162
  addComplexConsForExt(cs->getArgOperand(3), cs->getArgOperand(1), nullptr);
161
163
  else if(svfCallee->getName().find("bcopy") != std::string::npos)
@@ -169,7 +171,7 @@ void SVFIRBuilder::handleExtCall(const CallBase* cs, const SVFFunction* svfCalle
169
171
  }
170
172
  else if(isMemsetExtFun(svfCallee))
171
173
  {
172
- // this is for memset(void *str, int c, size_t n)
174
+ // Side-effects similar to memset(void *str, int c, size_t n)
173
175
  // which copies the character c (an unsigned char) to the first n characters of the string pointed to, by the argument str
174
176
  std::vector<AccessPath> dstFields;
175
177
  const Type *dtype = getBaseTypeAndFlattenedFields(cs->getArgOperand(0), dstFields, cs->getArgOperand(2));
@@ -187,6 +189,19 @@ void SVFIRBuilder::handleExtCall(const CallBase* cs, const SVFFunction* svfCalle
187
189
  }
188
190
  else if(svfCallee->getName().compare("dlsym") == 0)
189
191
  {
192
+ /*
193
+ Side-effects of void* dlsym( void* handle, const char* funName),
194
+ Locate the function with the name "funName," then add a "copy" edge between the callsite and that function.
195
+ dlsym() example:
196
+ int main() {
197
+ // Open the shared library
198
+ void* handle = dlopen("./my_shared_library.so", RTLD_LAZY);
199
+ // Find the function address
200
+ void (*myFunctionPtr)() = (void (*)())dlsym(handle, "myFunction");
201
+ // Call the function
202
+ myFunctionPtr();
203
+ }
204
+ */
190
205
  const Value* src = cs->getArgOperand(1);
191
206
  if(const GetElementPtrInst* gep = SVFUtil::dyn_cast<GetElementPtrInst>(src))
192
207
  src = stripConstantCasts(gep->getPointerOperand());
@@ -212,6 +227,7 @@ void SVFIRBuilder::handleExtCall(const CallBase* cs, const SVFFunction* svfCalle
212
227
  }
213
228
  else if(svfCallee->getName().find("_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_") != std::string::npos)
214
229
  {
230
+ // The purpose of this function is to insert a new node into the red-black tree and then rebalance the tree to ensure that the red-black tree properties are maintained.
215
231
  assert(svfCall->arg_size() == 4 && "_Rb_tree_insert_and_rebalance should have 4 arguments.\n");
216
232
 
217
233
  // We have vArg3 points to the entry of _Rb_tree_node_base { color; parent; left; right; }.