SVFIRExtAPI.cpp

Go to the documentation of this file.

//===- SVFIRExtAPI.cpp -- External function IR of SVF ---------------------------------------------//
//
//                     SVF: Static Value-Flow Analysis
//
// Copyright (C) <2013->  <Yulei Sui>
//
 
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
 
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Affero General Public License for more details.
 
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.
//
//===----------------------------------------------------------------------===//
 
/*
 * SVFIRExtAPI.cpp
 *
 *  Created on: 18, 5, 2023
 *      Author: Shuangxiang Kan
 */
 
#include "SVF-LLVM/SVFIRBuilder.h"
#include "Util/SVFUtil.h"
#include "SVF-LLVM/SymbolTableBuilder.h"
#include "SVF-LLVM/ObjTypeInference.h"
#include "Graphs/CallGraph.h"
#include "Util/ExtAPI.h"
#include "Util/Options.h"
 
using namespace std;
using namespace SVF;
using namespace SVFUtil;
using namespace LLVMUtil;
 
namespace
{
 
struct MemcpyField
{
    APOffset byteOffset;
    AccessPath accessPath;
    const SVFType* elementType;
};
 
bool parseAnnotationArgIndex(const std::string& annotation, const std::string& prefix,
                             u32_t& argIdx, size_t& end)
{
    const size_t start = annotation.find(prefix);
    if (start == std::string::npos)
        return false;
 
    end = start + prefix.size();
    if (end >= annotation.size() || annotation[end] < '0' || annotation[end] > '9')
        return false;
 
    argIdx = 0;
    do
    {
        argIdx = argIdx * 10 + static_cast<u32_t>(annotation[end] - '0');
        ++end;
    }
    while (end < annotation.size() && annotation[end] >= '0' && annotation[end] <= '9');
    return true;
}
 
bool parseNondetArgStoreAtExtCall(const std::string& annotation, u32_t& firstArg)
{
    size_t end = 0;
    return parseAnnotationArgIndex(annotation, "STORE_TOP:Arg", firstArg, end) &&
           end < annotation.size() && annotation[end] == '+';
}
 
bool parseScanfFormatArg(const std::string& annotation, u32_t& formatArg)
{
    size_t end = 0;
    return parseAnnotationArgIndex(annotation, "SCANF:FormatArg", formatArg, end);
}
 
bool scanfMayStorePointer(const CallBase* cs, u32_t formatArg)
{
    // Unknown or writable formats may contain pointer conversions.
    const GlobalVariable* glob = SVFUtil::dyn_cast<GlobalVariable>(cs->getArgOperand(formatArg));
    if (!glob || !glob->isConstant() || !glob->hasDefinitiveInitializer())
        return true;
    const ConstantDataArray* data = SVFUtil::dyn_cast<ConstantDataArray>(glob->getInitializer());
    if (!data || !data->isCString())
        return true;
 
    auto format = data->getAsCString();
    auto in = [](const std::string& set, char c)
    {
        return set.find(c) != std::string::npos;
    };
    // Consume one conversion at a time. For "%*5d %lf %p", %*5d suppresses
    // assignment, %lf writes a double, and %p makes us return true.
    // With just "%*5d %lf", no conversion writes a pointer, so we return false.
    while (!format.empty())
    {
        const size_t percent = format.find('%');
        if (percent == format.npos)
            break;
        format = format.drop_front(percent + 1);
        if (format.consume_front("%")) // %% is a literal percent sign.
            continue;
 
        // Split %*5ld into suppression (*), width (5), modifier (l), and type (d).
        const bool suppressed = format.consume_front("*");
        format = format.ltrim("0123456789");
        const auto modifiers = format.take_front(format.find_first_not_of("hljztLqm"));
        format = format.drop_front(modifiers.size());
        if (format.empty())
            return true;
        const char conversion = format.front();
        format = format.drop_front();
        // Keep the pointer model when a conversion is not recognized.
        if (!in("diouxXaAeEfFgGsScCnp[", conversion))
            return true;
 
        // %m and the old GNU %as/%a[ forms allocate a string and store its address.
        const bool allocatesString = modifiers.contains('m') ||
                                     (conversion == 'a' && !format.empty() && in("sS[", format.front()));
        if (!suppressed && (conversion == 'p' || allocatesString))
            return true;
 
        if (conversion == '[')
        {
            // Skip the whole character set: %[%p] matches '%' or 'p', not a pointer.
            // In %[^]p], the first ']' is part of the character set.
            format.consume_front("^");
            format.consume_front("]");
            const size_t end = format.find(']');
            if (end == format.npos)
                return true;
            format = format.drop_front(end + 1);
        }
    }
    return false;
}
 
bool hasNondetArgStoreAtExtCall(const CallICFGNode* callICFGNode)
{
    const FunObjVar* extFun = callICFGNode->getCalledFunction();
    if (extFun == nullptr)
        return false;
 
    for (const std::string& annotation :
            ExtAPI::getExtAPI()->getExtFuncAnnotations(extFun))
    {
        u32_t firstArg = 0;
        if (parseNondetArgStoreAtExtCall(annotation, firstArg))
            return true;
    }
    return false;
}
 
void collectMemcpyFields(
    const Type* llvmType,
    const SVFType* svfType,
    const DataLayout& dl,
    IRGraph* pag,
    std::vector<MemcpyField>& fields,
    APOffset baseByteOffset = 0,
    APOffset baseFldIdx = 0)
{
    if (llvmType == nullptr || svfType == nullptr)
        return;
    const u32_t maxFields = std::max(Options::MaxFieldLimit(), u32_t{1});
    if (fields.size() >= maxFields)
        return;
 
    if (svfType->isPointerTy())
    {
        fields.push_back({baseByteOffset, AccessPath(baseFldIdx), svfType});
        return;
    }
 
    // The LLVM and SVF types are walked one level at a time, so each element's SVF type is
    // taken from its parent SVF type directly. getOriginalElemType() cannot be used here: it
    // is keyed by flattened field index, and for nested arrays it returns the innermost
    // element type, which pairs e.g. [8192 x i8] with i8 one level down.
    if (const auto* structType = SVFUtil::dyn_cast<StructType>(llvmType))
    {
        const auto* svfStructType = SVFUtil::dyn_cast<SVFStructType>(svfType);
        assert(svfStructType && "an LLVM struct type maps to an SVFStructType");
        const StructLayout* layout = dl.getStructLayout(const_cast<StructType*>(structType));
        for (u32_t i = 0;
                i < structType->getNumElements() && fields.size() < maxFields; ++i)
        {
            const Type* elemLLVMType = structType->getElementType(i);
            const SVFType* elemSVFType = svfStructType->getFieldTypes()[i];
            if (elemSVFType == nullptr)
                return;
            APOffset elemByteOffset = baseByteOffset + static_cast<APOffset>(layout->getElementOffset(i));
            APOffset elemFldIdx = baseFldIdx + pag->getFlattenedElemIdx(svfType, i);
            collectMemcpyFields(elemLLVMType, elemSVFType, dl, pag, fields, elemByteOffset, elemFldIdx);
        }
        return;
    }
 
    if (const auto* arrayType = SVFUtil::dyn_cast<ArrayType>(llvmType))
    {
        const auto* svfArrayType = SVFUtil::dyn_cast<SVFArrayType>(svfType);
        assert(svfArrayType && "an LLVM array type maps to an SVFArrayType");
        const Type* elemLLVMType = arrayType->getElementType();
        const SVFType* elemSVFType = svfArrayType->getTypeOfElement();
        if (elemSVFType == nullptr)
            return;
        const APOffset elemByteSize = static_cast<APOffset>(dl.getTypeAllocSize(const_cast<Type*>(elemLLVMType)));
        for (u32_t i = 0;
                i < arrayType->getNumElements() && fields.size() < maxFields; ++i)
        {
            APOffset elemByteOffset = baseByteOffset + i * elemByteSize;
            APOffset elemFldIdx = baseFldIdx + pag->getFlattenedElemIdx(svfType, i);
            collectMemcpyFields(elemLLVMType, elemSVFType, dl, pag, fields, elemByteOffset, elemFldIdx);
        }
    }
}
 
std::vector<MemcpyField> getMemcpyFields(const Value* value, const Type* llvmType, const SVFType* svfType)
{
    std::vector<MemcpyField> fields;
    auto* mset = LLVMModuleSet::getLLVMModuleSet();
    auto* pag = PAG::getPAG();
    const DataLayout& dl = mset->getMainLLVMModule()->getDataLayout();
    collectMemcpyFields(llvmType, svfType, dl, pag, fields);
    return fields;
}
 
const Type* getMemcpyLayoutType(const Value* baseValue, const Type* fallbackType)
{
    if (const auto* allocaInst = llvm::dyn_cast_or_null<AllocaInst>(baseValue))
        return allocaInst->getAllocatedType();
 
    if (const auto* global = llvm::dyn_cast_or_null<GlobalVariable>(baseValue))
        return global->getValueType();
 
    return fallbackType;
}
 
}
 
const Type* SVFIRBuilder::getBaseTypeAndFlattenedFields(const Value* V, std::vector<AccessPath> &fields, const Value* szValue)
{
    assert(V);
    const Value* value = getBaseValueForExtArg(V);
    const Type *objType = LLVMModuleSet::getLLVMModuleSet()->getTypeInference()->inferObjType(value);
    u32_t numOfElems = pag->getNumOfFlattenElements(LLVMModuleSet::getLLVMModuleSet()->getSVFType(objType));
    if(szValue && SVFUtil::isa<ConstantInt>(szValue))
    {
        auto szIntVal = LLVMUtil::getIntegerValue(SVFUtil::cast<ConstantInt>(szValue));
        numOfElems = (numOfElems > szIntVal.first) ? szIntVal.first : numOfElems;
    }
    numOfElems = std::min(numOfElems, std::max(Options::MaxFieldLimit(), u32_t{1}));
 
    LLVMContext& context = LLVMModuleSet::getLLVMModuleSet()->getContext();
    for(u32_t ei = 0; ei < numOfElems; ei++)
    {
        AccessPath ls(ei);
        // make a ConstantInt and create char for the content type due to byte-wise copy
        const ConstantInt* offset = ConstantInt::get(context, llvm::APInt(32, ei));
        if (!llvmModuleSet()->hasValueNode(offset))
        {
            SymbolTableBuilder builder(pag);
            builder.collectSym(offset);
            NodeID id = llvmModuleSet()->getValueNode(offset);
            pag->addConstantIntValNode(id, LLVMUtil::getIntegerValue(offset), nullptr, llvmModuleSet()->getSVFType(offset->getType()));
            llvmModuleSet()->addToSVFVar2LLVMValueMap(offset,
                    pag->getGNode(id));
        }
        ls.addOffsetVarAndGepTypePair(getPAG()->getValVar(llvmModuleSet()->getValueNode(offset)), nullptr);
        fields.push_back(ls);
    }
    return objType;
}
 
void SVFIRBuilder::addComplexConsForExt(Value *D, Value *S, const Value* szValue)
{
    assert(D && S);
    NodeID vnD= getValueNode(D), vnS= getValueNode(S);
    if(!vnD || !vnS)
        return;
 
    std::vector<AccessPath> fields;
 
    //Get the max possible size of the copy, unless it was provided.
    std::vector<AccessPath> srcFields;
    std::vector<AccessPath> dstFields;
    const Type* stype = getBaseTypeAndFlattenedFields(S, srcFields, szValue);
    const Type* dtype = getBaseTypeAndFlattenedFields(D, dstFields, szValue);
    if(srcFields.size() > dstFields.size())
        fields = dstFields;
    else
        fields = srcFields;
 
    u32_t sz = fields.size();
 
    if (fields.size() == 1 && (LLVMUtil::isConstDataOrAggData(D) || LLVMUtil::isConstDataOrAggData(S)))
    {
        NodeID dummy = pag->addDummyValNode();
        addLoadEdge(vnD,dummy);
        addStoreEdge(dummy,vnS);
        return;
    }
 
    const Value* dstBase = getBaseValueForExtArg(D);
    const Value* srcBase = getBaseValueForExtArg(S);
    Value* dstFieldBase = LLVMUtil::isObject(dstBase) ? const_cast<Value*>(dstBase) : D;
    Value* srcFieldBase = LLVMUtil::isObject(srcBase) ? const_cast<Value*>(srcBase) : S;
    const Type* dstLayoutType = getMemcpyLayoutType(dstBase, dtype);
    const Type* srcLayoutType = getMemcpyLayoutType(srcBase, stype);
    const bool hasRemappedGlobalBase =
        (dstFieldBase != D && SVFUtil::isa<GlobalVariable>(dstFieldBase)) ||
        (srcFieldBase != S && SVFUtil::isa<GlobalVariable>(srcFieldBase));
    const bool useByteLayoutMemcpy =
        hasRemappedGlobalBase || (dstLayoutType != dtype) || (srcLayoutType != stype);
    if (useByteLayoutMemcpy)
    {
        const SVFType* dstSVFType = llvmModuleSet()->getSVFType(dstLayoutType);
        const SVFType* srcSVFType = llvmModuleSet()->getSVFType(srcLayoutType);
        std::vector<MemcpyField> dstMemcpyFields = getMemcpyFields(D, dstLayoutType, dstSVFType);
        std::vector<MemcpyField> srcMemcpyFields = getMemcpyFields(S, srcLayoutType, srcSVFType);
        if (!dstMemcpyFields.empty() && !srcMemcpyFields.empty())
        {
            std::unordered_map<APOffset, MemcpyField> srcFieldsByByteOffset;
            for (const auto& field : srcMemcpyFields)
                srcFieldsByByteOffset.emplace(field.byteOffset, field);
 
            const DataLayout& dl = llvmModuleSet()->getMainLLVMModule()->getDataLayout();
            APOffset copyBytes = std::min<APOffset>(
                                     static_cast<APOffset>(dl.getTypeAllocSize(const_cast<Type*>(dstLayoutType))),
                                     static_cast<APOffset>(dl.getTypeAllocSize(const_cast<Type*>(srcLayoutType))));
            if (szValue && SVFUtil::isa<ConstantInt>(szValue))
            {
                auto szIntVal = LLVMUtil::getIntegerValue(SVFUtil::cast<ConstantInt>(szValue));
                copyBytes = std::min(copyBytes, static_cast<APOffset>(szIntVal.first));
            }
 
            for (const auto& dstField : dstMemcpyFields)
            {
                if (dstField.byteOffset >= copyBytes)
                    continue;
                auto it = srcFieldsByByteOffset.find(dstField.byteOffset);
                if (it == srcFieldsByByteOffset.end())
                    continue;
 
                NodeID dField = getGepValVar(dstFieldBase, dstField.accessPath, dstField.elementType);
                NodeID sField = getGepValVar(srcFieldBase, it->second.accessPath, it->second.elementType);
                NodeID dummy = pag->addDummyValNode();
                addLoadEdge(sField, dummy);
                addStoreEdge(dummy, dField);
            }
            return;
        }
    }
 
    //For each field (i), add (Ti = *S + i) and (*D + i = Ti).
    for (u32_t index = 0; index < sz; index++)
    {
        LLVMModuleSet* llvmmodule = LLVMModuleSet::getLLVMModuleSet();
        const SVFType* dElementType = pag->getFlatternedElemType(llvmmodule->getSVFType(dtype),
                                      fields[index].getConstantStructFldIdx());
        const SVFType* sElementType = pag->getFlatternedElemType(llvmmodule->getSVFType(stype),
                                      fields[index].getConstantStructFldIdx());
        NodeID dField = getGepValVar(D,fields[index],dElementType);
        NodeID sField = getGepValVar(S,fields[index],sElementType);
        NodeID dummy = pag->addDummyValNode();
        addLoadEdge(sField,dummy);
        addStoreEdge(dummy,dField);
    }
}
 
void SVFIRBuilder::handleNondetArgStoreAtExtCall(const CallBase* cs, const CallICFGNode* callICFGNode)
{
    Set<u32_t> storeTopArgs;
    NodeID src = pag->getBlkPtr();
    const FunObjVar* extFun = callICFGNode->getCalledFunction();
    if (extFun)
    {
        for (const std::string& annotation :
                ExtAPI::getExtAPI()->getExtFuncAnnotations(extFun))
        {
            u32_t annotatedFormatArg = 0;
            if (parseScanfFormatArg(annotation, annotatedFormatArg))
            {
                if (annotatedFormatArg < cs->arg_size())
                {
                    src = pag->getBlkPtr();
                    if (!scanfMayStorePointer(cs, annotatedFormatArg))
                    {
                        // scanf("%d", &n) writes a number, not a pointer. Copy BlkPtr
                        // into a non-pointer variable so AE still sees an unknown value.
                        src = pag->addValNode(NodeIDAllocator::get()->allocateValueId(), SVFType::getSVFInt8Type(), callICFGNode);
                        // Keep the call's LLVM value available when printing this variable.
                        llvmModuleSet()->addToSVFVar2LLVMValueMap(cs, pag->getGNode(src));
                        addCopyEdge(pag->getBlkPtr(), src, CopyStmt::COPYVAL);
                    }
                }
                continue;
            }
 
            u32_t firstArg = 0;
            if (!parseNondetArgStoreAtExtCall(annotation, firstArg))
                continue;
            if (firstArg >= cs->arg_size())
                continue;
 
            for (u32_t argIdx = firstArg; argIdx < cs->arg_size(); ++argIdx)
                storeTopArgs.insert(argIdx);
        }
    }
 
    for (u32_t argIdx : storeTopArgs)
    {
        const Value* arg = cs->getArgOperand(argIdx);
        if (!arg->getType()->isPointerTy())
            continue;
 
        const Type* storedType =
            LLVMModuleSet::getLLVMModuleSet()->getTypeInference()->inferObjType(arg);
        NodeID dst = getValueNode(arg);
        if (NodeID fieldZero = getDirectAccessFieldZeroValVar(arg, storedType))
            dst = fieldZero;
        if (src && dst)
            addStoreEdge(src, dst);
    }
}
 
void SVFIRBuilder::handleExtCall(const CallBase* cs, const Function* callee)
{
    const CallICFGNode *callICFGNode = llvmModuleSet()->getCallICFGNode(cs);
 
    if (hasNondetArgStoreAtExtCall(callICFGNode))
    {
        handleNondetArgStoreAtExtCall(cs, callICFGNode);
    }
    else if (isHeapAllocExtCallViaRet(callICFGNode))
    {
        NodeID val = llvmModuleSet()->getValueNode(cs);
        NodeID obj = llvmModuleSet()->getObjectNode(cs);
        addAddrWithHeapSz(obj, val, cs);
    }
    else if (isHeapAllocExtCallViaArg(callICFGNode))
    {
        u32_t arg_pos = LLVMUtil::getHeapAllocHoldingArgPosition(callee);
        Value* arg = cs->getArgOperand(arg_pos);
        if (cs->getArgOperand(arg_pos)->getType()->isPointerTy())
        {
            NodeID vnArg = llvmModuleSet()->getValueNode(arg);
            NodeID dummy = pag->addDummyValNode();
            NodeID obj = pag->addDummyObjNode(llvmModuleSet()->getSVFType(cs->getArgOperand(arg_pos)->getType()));
            if (vnArg && dummy && obj)
            {
                addAddrWithHeapSz(obj, dummy, cs);
                addStoreEdge(dummy, vnArg);
            }
        }
        else
        {
            writeWrnMsg("Arg receiving new object must be pointer type");
        }
    }
    else if (LLVMUtil::isMemcpyExtFun(callee))
    {
        // Side-effects similar to void *memcpy(void *dest, const void * src, size_t n)
        // which  copies n characters from memory area 'src' to memory area 'dest'.
        if(callee->getName().find("iconv") != std::string::npos)
            addComplexConsForExt(cs->getArgOperand(3), cs->getArgOperand(1), nullptr);
        else if(callee->getName().find("bcopy") != std::string::npos)
            addComplexConsForExt(cs->getArgOperand(1), cs->getArgOperand(0), cs->getArgOperand(2));
        if(cs->arg_size() == 3)
            addComplexConsForExt(cs->getArgOperand(0), cs->getArgOperand(1), cs->getArgOperand(2));
        else
            addComplexConsForExt(cs->getArgOperand(0), cs->getArgOperand(1), nullptr);
        if(SVFUtil::isa<PointerType>(cs->getType()))
            addCopyEdge(getValueNode(cs->getArgOperand(0)), getValueNode(cs), CopyStmt::COPYVAL);
    }
    else if(LLVMUtil::isMemsetExtFun(callee))
    {
        // Side-effects similar to memset(void *str, int c, size_t n)
        // which copies the character c (an unsigned char) to the first n characters of the string pointed to, by the argument str
        std::vector<AccessPath> dstFields;
        const Type *dtype = getBaseTypeAndFlattenedFields(cs->getArgOperand(0), dstFields, cs->getArgOperand(2));
        u32_t sz = dstFields.size();
        //For each field (i), add store edge *(arg0 + i) = arg1
        for (u32_t index = 0; index < sz; index++)
        {
            LLVMModuleSet* llvmmodule = LLVMModuleSet::getLLVMModuleSet();
            const SVFType* dElementType = pag->getFlatternedElemType(llvmmodule->getSVFType(dtype),
                                          dstFields[index].getConstantStructFldIdx());
            NodeID dField = getGepValVar(cs->getArgOperand(0), dstFields[index], dElementType);
            addStoreEdge(getValueNode(cs->getArgOperand(1)),dField);
        }
        if(SVFUtil::isa<PointerType>(cs->getType()))
            addCopyEdge(getValueNode(cs->getArgOperand(0)), getValueNode(cs), CopyStmt::COPYVAL);
    }
    else if(callee->getName().compare("dlsym") == 0)
    {
        /*
        Side-effects of void* dlsym( void* handle, const char* funName),
        Locate the function with the name "funName," then add a "copy" edge between the callsite and that function.
        dlsym() example:
            int main() {
                // Open the shared library
                void* handle = dlopen("./my_shared_library.so", RTLD_LAZY);
                // Find the function address
                void (*myFunctionPtr)() = (void (*)())dlsym(handle, "myFunction");
                // Call the function
                myFunctionPtr();
            }
        */
        const Value* src = cs->getArgOperand(1);
        if(const GetElementPtrInst* gep = SVFUtil::dyn_cast<GetElementPtrInst>(src))
            src = stripConstantCasts(gep->getPointerOperand());
 
        auto getHookFn = [](const Value* src)->const Function*
        {
            if (!SVFUtil::isa<GlobalVariable>(src))
                return nullptr;
 
            auto *glob = SVFUtil::cast<GlobalVariable>(src);
            if (!glob->hasInitializer() || !SVFUtil::isa<ConstantDataArray>(glob->getInitializer()))
                return nullptr;
 
            auto *constarray = SVFUtil::cast<ConstantDataArray>(glob->getInitializer());
            return LLVMUtil::getProgFunction(constarray->getAsCString().str());
        };
 
        if (const Function *fn = getHookFn(src))
        {
            NodeID srcNode = getValueNode(fn);
            addCopyEdge(srcNode,  getValueNode(cs), CopyStmt::COPYVAL);
        }
    }
    else if(callee->getName().find("_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_") != std::string::npos)
    {
        // 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.
        assert(cs->arg_size() == 4 && "_Rb_tree_insert_and_rebalance should have 4 arguments.\n");
 
        // We have vArg3 points to the entry of _Rb_tree_node_base { color; parent; left; right; }.
        // Now we calculate the offset from base to vArg3
        NodeID vnArg3 = llvmModuleSet()->getValueNode(cs->getArgOperand(3));
        APOffset offset =
            getAccessPathFromBaseNode(vnArg3).getConstantStructFldIdx();
 
        // We get all flattened fields of base
        vector<AccessPath> fields =  pag->getTypeLocSetsMap(vnArg3).second;
 
        // We summarize the side effects: arg3->parent = arg1, arg3->left = arg1, arg3->right = arg1
        // Note that arg0 is aligned with "offset".
        for (APOffset i = offset + 1; i <= offset + 3; ++i)
        {
            if((u32_t)i >= fields.size())
                break;
            const SVFType* elementType = pag->getFlatternedElemType(pag->getTypeLocSetsMap(vnArg3).first,
                                         fields[i].getConstantStructFldIdx());
            NodeID vnD = getGepValVar(cs->getArgOperand(3), fields[i], elementType);
            NodeID vnS = llvmModuleSet()->getValueNode(cs->getArgOperand(1));
            if(vnD && vnS)
                addStoreEdge(vnS,vnD);
        }
    }
 
    if (isThreadForkCall(callICFGNode))
    {
        const ValVar* valVar = getForkedFun(callICFGNode);
        if (const FunValVar* funcValVar = SVFUtil::dyn_cast<FunValVar>(valVar))
        {
            const FunObjVar* forkedFun = funcValVar->getFunction()->getDefFunForMultipleModule();
            const SVFVar* actualParm = getActualParmAtForkSite(callICFGNode);
            assert((forkedFun->arg_size() <= 2) && "Size of formal parameter of start routine should be one");
            if (forkedFun->arg_size() <= 2 && forkedFun->arg_size() >= 1)
            {
                const ArgValVar* formalParm = forkedFun->getArg(0);
                if (actualParm->isPointer() && formalParm->getType()->isPointerTy())
                {
                    FunEntryICFGNode *entry = pag->getICFG()->getFunEntryICFGNode(forkedFun);
                    addThreadForkEdge(actualParm->getId(), formalParm->getId(), callICFGNode, entry);
                }
            }
        }
        else
        {
        }
    }
 
}