svf-tools 1.0.1069 → 1.0.1070

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-tools",
-  "version": "1.0.1069",
+  "version": "1.0.1070",
   "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 />",
   "main": "index.js",
   "scripts": {

package/svf-llvm/lib/SVFIRBuilder.cpp

@@ -1521,6 +1521,16 @@ void SVFIRBuilder::handleDirectCall(CallBase* cs, const Function *F)
     call void @llvm.memcpy(ptr %inner, ptr %0, i64 24, i1 false)
 
     The base value for %0 is @i1
+
+  * Example 3:
+  *
+    @conststruct = internal global <{ [40 x i8], [4 x i8], [4 x i8], [2512 x i8] }>
+        <{ [40 x i8] undef, [4 x i8] zeroinitializer, [4 x i8] undef, [2512 x i8] zeroinitializer }>, align 8
+
+    %0 = load ptr, ptr getelementptr inbounds (<{ [40 x i8], [4 x i8], [4 x i8], [2512 x i8] }>,
+         ptr @conststruct, i64 0, i32 0, i64 16)
+
+    The base value for %0 is still %0
  */
 const Value* SVFIRBuilder::getBaseValueForExtArg(const Value* V)
 {
@@ -1556,9 +1566,17 @@ const Value* SVFIRBuilder::getBaseValueForExtArg(const Value* V)
                     if (auto *initializer = SVFUtil::dyn_cast<
                                             ConstantStruct>(glob->getInitializer()))
                     {
+                        /*
+                            *@conststruct = internal global <{ [40 x i8], [4 x i8], [4 x i8], [2512 x i8] }>
+                                <{ [40 x i8] undef, [4 x i8] zeroinitializer, [4 x i8] undef, [2512 x i8] zeroinitializer }>, align 8
+
+                            %0 = load ptr, ptr getelementptr inbounds (<{ [40 x i8], [4 x i8], [4 x i8], [2512 x i8] }>,
+                                    ptr @conststruct, i64 0, i32 0, i64 16)
+                            in this case, totalidx is 16 while initializer->getNumOperands() is 4, so we return value as the base
+                         */
+                        if (totalidx >= initializer->getNumOperands()) return value;
                         auto *ptrField = initializer->getOperand(totalidx);
-                        if (auto *ptrValue = SVFUtil::dyn_cast<llvm::GlobalVariable>(ptrField))
-                        {
+                        if (auto *ptrValue = SVFUtil::dyn_cast<llvm::GlobalVariable>(ptrField)) {
                             return ptrValue;
                         }
                     }

package/svf-llvm/lib/SymbolTableBuilder.cpp

@@ -206,6 +206,15 @@ void SymbolTableBuilder::buildMemModel()
                 {
                     collectSym(sw->getCondition());
                 }
+                else if (const FreezeInst* fz = SVFUtil::dyn_cast<FreezeInst>(&inst))
+                {
+
+                    for (u32_t i = 0; i < fz->getNumOperands(); i++)
+                    {
+                        Value* opnd = inst.getOperand(i);
+                        collectSym(opnd);
+                    }
+                }
                 else if (isNonInstricCallSite(&inst))
                 {