FSMPTA.cpp File Reference

#include "MTA/FSMPTA.h"
#include "Graphs/SlicedGraphs.h"
#include "WPA/Andersen.h"
#include "WPA/WPAStat.h"
#include "Util/Options.h"
#include "Graphs/SVFGNode.h"
#include "Graphs/ThreadCallGraph.h"

Go to the source code of this file.

Namespaces
namespace	SVF
	for isBitcode

Functions
static const SlicedICFGView *	mtaICFGSliceOf (SVFG *)
static const SlicedICFGView *	mtaICFGSliceOf (const SlicedSVFGView *v)

Function Documentation

mtaICFGSliceOf() [1/2]

static const SlicedICFGView * mtaICFGSliceOf ( const SlicedSVFGView *  v )

static

Definition at line 65 of file FSMPTA.cpp.

{
    return v != nullptr ? v->getICFGView() : nullptr;
}

mtaICFGSliceOf() [2/2]

static const SlicedICFGView * mtaICFGSliceOf ( SVFG *  )

static

Definition at line 61 of file FSMPTA.cpp.

{
    return nullptr;
}