SparseAbstractInterpretation.cpp File Reference

#include "AE/Svfexe/SparseAbstractInterpretation.h"
#include "AE/Svfexe/AEWTO.h"
#include "SVFIR/SVFIR.h"
#include "Graphs/SVFG.h"
#include "MSSA/SVFGBuilder.h"
#include "WPA/Andersen.h"

Go to the source code of this file.

Functions
static bool	hasRedefineToSameObj (const ICFGNode *node, const IndirectSVFGEdge *edge)

Function Documentation

hasRedefineToSameObj()

static bool hasRedefineToSameObj ( const ICFGNode *  node, const IndirectSVFGEdge *  edge  )

static

Definition at line 240 of file SparseAbstractInterpretation.cpp.

{
    for (const VFGNode* vfgNode : node->getVFGNodes())
    {
        if (SVFUtil::isa<StoreVFGNode>(vfgNode) &&
                vfgNode->getDefSVFVars().intersects(edge->getPointsTo()))
            return true;
    }
 
    return false;
}