svf-tools 1.0.861 → 1.0.862

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 (6) hide show
  1. package/SVF-doxygen/html/ObjTypeInference_8cpp_source.html +228 -226
  2. package/SVF-doxygen/html/ObjTypeInference_8h_source.html +7 -7
  3. package/SVF-doxygen/html/classSVF_1_1ObjTypeInference.html +218 -216
  4. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +2 -2
  5. package/package.json +1 -1
  6. package/svf-llvm/lib/ObjTypeInference.cpp +4 -2
package/SVF-doxygen/html/ObjTypeInference_8h_source.html CHANGED
@@ -188,22 +188,22 @@ $(function() {
188
188
  <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
189
189
  <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_abf0978f7128506f7d19996f184fe8154"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#abf0978f7128506f7d19996f184fe8154">SVF::ObjTypeInference::fwInferObjType</a></div><div class="ttdeci">const Type * fwInferObjType(const Value *startValue)</div><div class="ttdoc">Forward collect all possible infer sites starting from a value.</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00152">ObjTypeInference.cpp:152</a></div></div>
190
190
  <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a873679d5197310cb7d1bf708ef1ade6e"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a873679d5197310cb7d1bf708ef1ade6e">SVF::ObjTypeInference::ptrType</a></div><div class="ttdeci">const Type * ptrType()</div><div class="ttdoc">Pointer type.</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00077">ObjTypeInference.h:77</a></div></div>
191
- <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a99eaaef89f214fc8587349361600b44d"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a99eaaef89f214fc8587349361600b44d">SVF::ObjTypeInference::typeSizeDiffTest</a></div><div class="ttdeci">void typeSizeDiffTest(const PointerType *oPTy, const Type *iTy, const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00532">ObjTypeInference.cpp:532</a></div></div>
191
+ <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a99eaaef89f214fc8587349361600b44d"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a99eaaef89f214fc8587349361600b44d">SVF::ObjTypeInference::typeSizeDiffTest</a></div><div class="ttdeci">void typeSizeDiffTest(const PointerType *oPTy, const Type *iTy, const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00534">ObjTypeInference.cpp:534</a></div></div>
192
192
  <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_ae8b18f3e71cc14c0cc085742a8f79510"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#ae8b18f3e71cc14c0cc085742a8f79510">SVF::ObjTypeInference::ObjTypeInference</a></div><div class="ttdeci">ObjTypeInference()=default</div></div>
193
193
  <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a02b5fdeee42828326afda5efaa997934"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a02b5fdeee42828326afda5efaa997934">SVF::ObjTypeInference::ValueToValueSet</a></div><div class="ttdeci">Map&lt; const Value *, ValueSet &gt; ValueToValueSet</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00045">ObjTypeInference.h:45</a></div></div>
194
194
  <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a17954e8e60a3736083504c7f675f5ba2"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a17954e8e60a3736083504c7f675f5ba2">SVF::ObjTypeInference::ValueToInferSites</a></div><div class="ttdeci">ValueToValueSet ValueToInferSites</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00046">ObjTypeInference.h:46</a></div></div>
195
- <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a5eae038a7bffb0549ca75cd9c850ff1e"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a5eae038a7bffb0549ca75cd9c850ff1e">SVF::ObjTypeInference::objTyToNumFields</a></div><div class="ttdeci">u32_t objTyToNumFields(const Type *objTy)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00571">ObjTypeInference.cpp:571</a></div></div>
195
+ <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a5eae038a7bffb0549ca75cd9c850ff1e"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a5eae038a7bffb0549ca75cd9c850ff1e">SVF::ObjTypeInference::objTyToNumFields</a></div><div class="ttdeci">u32_t objTyToNumFields(const Type *objTy)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00573">ObjTypeInference.cpp:573</a></div></div>
196
196
  <div class="ttc" id="aBasicTypes_8h_html"><div class="ttname"><a href="BasicTypes_8h.html">BasicTypes.h</a></div></div>
197
- <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_af8113e432377917c1a0de9ab100aaafe"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#af8113e432377917c1a0de9ab100aaafe">SVF::ObjTypeInference::isAllocation</a></div><div class="ttdeci">bool isAllocation(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00498">ObjTypeInference.cpp:498</a></div></div>
198
- <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_aff3be73b7348c0e4dece6a9b5b1bd1f1"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#aff3be73b7348c0e4dece6a9b5b1bd1f1">SVF::ObjTypeInference::selectLargestType</a></div><div class="ttdeci">const Type * selectLargestType(Set&lt; const Type * &gt; &amp;objTys)</div><div class="ttdoc">Select the largest (conservative) type from all types.</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00555">ObjTypeInference.cpp:555</a></div></div>
197
+ <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_af8113e432377917c1a0de9ab100aaafe"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#af8113e432377917c1a0de9ab100aaafe">SVF::ObjTypeInference::isAllocation</a></div><div class="ttdeci">bool isAllocation(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00500">ObjTypeInference.cpp:500</a></div></div>
198
+ <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_aff3be73b7348c0e4dece6a9b5b1bd1f1"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#aff3be73b7348c0e4dece6a9b5b1bd1f1">SVF::ObjTypeInference::selectLargestType</a></div><div class="ttdeci">const Type * selectLargestType(Set&lt; const Type * &gt; &amp;objTys)</div><div class="ttdoc">Select the largest (conservative) type from all types.</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00557">ObjTypeInference.cpp:557</a></div></div>
199
199
  <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a18edeb47fb7734eb17ba3a84181cbc16"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a18edeb47fb7734eb17ba3a84181cbc16">SVF::ObjTypeInference::_valueToAllocs</a></div><div class="ttdeci">ValueToSources _valueToAllocs</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00055">ObjTypeInference.h:55</a></div></div>
200
200
  <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_ac97f30431b4e96d9d70dced9960072e9"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#ac97f30431b4e96d9d70dced9960072e9">SVF::ObjTypeInference::ValueToType</a></div><div class="ttdeci">Map&lt; const Value *, const Type * &gt; ValueToType</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00048">ObjTypeInference.h:48</a></div></div>
201
201
  <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_aee4383a13cda421acb034ea147e33a6d"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#aee4383a13cda421acb034ea147e33a6d">SVF::ObjTypeInference::defaultType</a></div><div class="ttdeci">const Type * defaultType(const Value *val)</div><div class="ttdoc">Default type.</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00112">ObjTypeInference.cpp:112</a></div></div>
202
- <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a707f0575f3d70e62a78f08c961ec7dae"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a707f0575f3d70e62a78f08c961ec7dae">SVF::ObjTypeInference::bwfindAllocations</a></div><div class="ttdeci">Set&lt; const Value * &gt; bwfindAllocations(const Value *startValue)</div><div class="ttdoc">Backward collect all possible allocation sites (stack, static, heap) starting from a value.</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00376">ObjTypeInference.cpp:376</a></div></div>
203
- <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_afe926ee3427bb329d189e0c40bb1cd60"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#afe926ee3427bb329d189e0c40bb1cd60">SVF::ObjTypeInference::validateTypeCheck</a></div><div class="ttdeci">void validateTypeCheck(const CallBase *cs)</div><div class="ttdoc">Validate type inference.</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00507">ObjTypeInference.cpp:507</a></div></div>
202
+ <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a707f0575f3d70e62a78f08c961ec7dae"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a707f0575f3d70e62a78f08c961ec7dae">SVF::ObjTypeInference::bwfindAllocations</a></div><div class="ttdeci">Set&lt; const Value * &gt; bwfindAllocations(const Value *startValue)</div><div class="ttdoc">Backward collect all possible allocation sites (stack, static, heap) starting from a value.</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00378">ObjTypeInference.cpp:378</a></div></div>
203
+ <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_afe926ee3427bb329d189e0c40bb1cd60"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#afe926ee3427bb329d189e0c40bb1cd60">SVF::ObjTypeInference::validateTypeCheck</a></div><div class="ttdeci">void validateTypeCheck(const CallBase *cs)</div><div class="ttdoc">Validate type inference.</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00509">ObjTypeInference.cpp:509</a></div></div>
204
204
  <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_afb1c28ce04b61c423bd734db48b0a5b6"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#afb1c28ce04b61c423bd734db48b0a5b6">SVF::ObjTypeInference::ValueBoolPair</a></div><div class="ttdeci">std::pair&lt; const Value *, bool &gt; ValueBoolPair</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00049">ObjTypeInference.h:49</a></div></div>
205
205
  <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a51116a59a9f6c2c692505def03f5bc25"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a51116a59a9f6c2c692505def03f5bc25">SVF::ObjTypeInference::ValueSet</a></div><div class="ttdeci">Set&lt; const Value * &gt; ValueSet</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00044">ObjTypeInference.h:44</a></div></div>
206
- <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a72da2d7f06e8fee67dc5b3c451fa5dee"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a72da2d7f06e8fee67dc5b3c451fa5dee">SVF::ObjTypeInference::getArgPosInCall</a></div><div class="ttdeci">u32_t getArgPosInCall(const CallBase *callBase, const Value *arg)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00546">ObjTypeInference.cpp:546</a></div></div>
206
+ <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html_a72da2d7f06e8fee67dc5b3c451fa5dee"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html#a72da2d7f06e8fee67dc5b3c451fa5dee">SVF::ObjTypeInference::getArgPosInCall</a></div><div class="ttdeci">u32_t getArgPosInCall(const CallBase *callBase, const Value *arg)</div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8cpp_source.html#l00548">ObjTypeInference.cpp:548</a></div></div>
207
207
  <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
208
208
  <div class="ttc" id="aclassSVF_1_1ObjTypeInference_html"><div class="ttname"><a href="classSVF_1_1ObjTypeInference.html">SVF::ObjTypeInference</a></div><div class="ttdef"><b>Definition:</b> <a href="ObjTypeInference_8h_source.html#l00040">ObjTypeInference.h:40</a></div></div>
209
209
  <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>