ExternalPAG.cpp File Reference

#include <iostream>
#include <fstream>
#include <sstream>
#include "Graphs/PAG.h"
#include "Graphs/ExternalPAG.h"
#include "Util/BasicTypes.h"
#include "Graphs/ICFG.h"

Go to the source code of this file.

Functions
llvm::cl::list< std::string >	ExternalPAGArgs ("extpags", llvm::cl::desc("ExternalPAGs to use during PAG construction (format: func1@/path/to/graph,func2@/foo,..."), llvm::cl::CommaSeparated)
llvm::cl::list< std::string >	DumpPAGFunctions ("dump-function-pags", llvm::cl::desc("Dump PAG for functions"), llvm::cl::CommaSeparated)
int	getArgNo (const SVFFunction *function, const Value *arg)
static void	outputPAGNodeNoNewLine (raw_ostream &o, PAGNode *pagNode)
static void	outputPAGNode (raw_ostream &o, PAGNode *pagNode)
static void	outputPAGNode (raw_ostream &o, PAGNode *pagNode, int argno)
static void	outputPAGNode (raw_ostream &o, PAGNode *pagNode, std::string trail)
static void	outputPAGEdge (raw_ostream &o, PAGEdge *pagEdge)

Function Documentation

DumpPAGFunctions()

llvm::cl::list<std::string> DumpPAGFunctions	(	"dump-function-pags"	,
		llvm::cl::desc("Dump PAG for functions")	,
		llvm::cl::CommaSeparated
	)

ExternalPAGArgs()

llvm::cl::list<std::string> ExternalPAGArgs

(

"extpags"

)

getArgNo()

int getArgNo	(	const SVFFunction *	function,
		const Value *	arg
	)

Definition at line 155 of file ExternalPAG.cpp.

{
    int argNo = 0;
    for (auto it = function->getLLVMFun()->arg_begin(); it != function->getLLVMFun()->arg_end();
            ++it, ++argNo)
    {
        if (arg->getName() == it->getName()) return argNo;
    }

    return -1;
}

outputPAGEdge()

static void outputPAGEdge ( raw_ostream &  o, PAGEdge *  pagEdge  )

static

Definition at line 196 of file ExternalPAG.cpp.

{
    NodeID srcId = pagEdge->getSrcID();
    NodeID dstId = pagEdge->getDstID();
    u32_t offset = 0;
    std::string edgeKind = "-";

    switch (pagEdge->getEdgeKind())
    {
    case PAGEdge::Addr:
        edgeKind = "addr";
        break;
    case PAGEdge::Copy:
        edgeKind = "copy";
        break;
    case PAGEdge::Store:
        edgeKind = "store";
        break;
    case PAGEdge::Load:
        edgeKind = "load";
        break;
    case PAGEdge::Call:
        edgeKind = "call";
        break;
    case PAGEdge::Ret:
        edgeKind = "ret";
        break;
    case PAGEdge::NormalGep:
        edgeKind = "gep";
        break;
    case PAGEdge::VariantGep:
        edgeKind = "variant-gep";
        break;
    case PAGEdge::Cmp:
        edgeKind = "cmp";
        break;
    case PAGEdge::BinaryOp:
        edgeKind = "binary-op";
        break;
    case PAGEdge::UnaryOp:
        edgeKind = "unary-op";
        break;
    case PAGEdge::ThreadFork:
        outs() << "dump-function-pags: found ThreadFork edge.\n";
        break;
    case PAGEdge::ThreadJoin:
        outs() << "dump-function-pags: found ThreadJoin edge.\n";
        break;
    }

    if (NormalGepPE::classof(pagEdge)) offset =
            static_cast<NormalGepPE *>(pagEdge)->getOffset();

    o << srcId << " " << edgeKind << " " << dstId << " " << offset << "\n";
}

outputPAGNode() [1/3]

static void outputPAGNode ( raw_ostream &  o, PAGNode *  pagNode  )

static

Definition at line 175 of file ExternalPAG.cpp.

{
    outputPAGNodeNoNewLine(o, pagNode);
    o << "\n";
}

outputPAGNode() [2/3]

static void outputPAGNode ( raw_ostream &  o, PAGNode *  pagNode, int  argno  )

static

Definition at line 181 of file ExternalPAG.cpp.

{
    outputPAGNodeNoNewLine(o, pagNode);
    o << " " << argno;
    o << "\n";
}

outputPAGNode() [3/3]

static void outputPAGNode ( raw_ostream &  o, PAGNode *  pagNode, std::string  trail  )

static

Definition at line 188 of file ExternalPAG.cpp.

{
    outputPAGNodeNoNewLine(o, pagNode);
    o << " " << trail;
    o << "\n";
}

outputPAGNodeNoNewLine()

static void outputPAGNodeNoNewLine ( raw_ostream &  o, PAGNode *  pagNode  )

static

Definition at line 167 of file ExternalPAG.cpp.

{
    o << pagNode->getId() << " ";
    // TODO: is this check enough?
    if (!ObjPN::classof(pagNode)) o << "v";
    else o << "o";
}