CHG.cpp File Reference

#include "Graphs/CHG.h"
#include "Util/SVFUtil.h"
#include "Graphs/ICFG.h"
#include "SVFIR/SVFIR.h"

Go to the source code of this file.

Classes
struct	SVF::DOTGraphTraits< CHGraph * >

Namespaces
	SVF
	for isBitcode

Functions
static bool	hasEdge (const CHNode *src, const CHNode *dst, CHEdge::CHEDGETYPE et)
static bool	checkArgTypes (const CallICFGNode *cs, const SVFFunction *fn)

Function Documentation

checkArgTypes()

static bool checkArgTypes ( const CallICFGNode *  cs, const SVFFunction *  fn  )

static

Definition at line 53 of file CHG.cpp.

{
 
    // here we skip the first argument (i.e., this pointer)
    u32_t arg_size = (fn->arg_size() > cs->arg_size()) ? cs->arg_size(): fn->arg_size();
    if(arg_size > 1)
    {
        for (unsigned i = 1; i < arg_size; i++)
        {
            auto cs_arg = cs->getArgument(i);
            auto fn_arg = fn->getArg(i);
            if (cs_arg->getType() != fn_arg->getType())
            {
                return false;
            }
        }
    }
 
    return true;
}

hasEdge()

static bool hasEdge ( const CHNode *  src, const CHNode *  dst, CHEdge::CHEDGETYPE  et  )

static

Definition at line 39 of file CHG.cpp.

{
    for (CHEdge::CHEdgeSetTy::const_iterator it = src->getOutEdges().begin(),
            eit = src->getOutEdges().end(); it != eit; ++it)
    {
        CHNode *node = (*it)->getDstNode();
        CHEdge::CHEDGETYPE edgeType = (*it)->getEdgeType();
        if (node == dst && edgeType == et)
            return true;
    }
    return false;
}