#include <SaberAnnotator.h>

Inheritance diagram for SVF::SaberAnnotator:

Public Member Functions
	SaberAnnotator (ProgSlice *slice)
	Constructor. More...

virtual	~SaberAnnotator ()
	Destructor. More...


void	annotateSource ()
	Annotation. More...

void	annotateSinks ()

void	annotateFeasibleBranch (const BranchInst *brInst, u32_t succPos)

void	annotateInfeasibleBranch (const BranchInst *brInst, u32_t succPos)

void	annotateSwitch (SwitchInst *brInst, u32_t succPos)

Public Member Functions inherited from SVF::Annotator
	Annotator ()
	Constructor. More...

virtual	~Annotator ()
	Destructor. More...

bool	hasSBSourceFlag (Instruction *inst) const
	SB Has flag methods. More...

bool	hasSBSinkFlag (Instruction *inst) const

bool	hasDRNotCheckFlag (Instruction *inst) const
	Race Detection Has flag methods. More...

bool	hasDRNotCheckFlag (const Instruction *inst) const

bool	hasDRCheckFlag (Instruction *inst) const

bool	hasDRCheckFlag (const Instruction *inst) const

void	addMDTag (Instruction *inst, std::string str)
	Simple add/remove meta data information. More...

void	removeMDTag (Instruction *inst, std::string str)

void	addMDTag (Instruction inst, Value val, std::string str)
	manipulate llvm meta data on instructions for a specific value More...

void	removeMDTag (Instruction inst, Value val, std::string str)
	remove flag from llvm metadata More...

Private Attributes
const ProgSlice *	_curSlice

Additional Inherited Members
Protected Attributes inherited from SVF::Annotator
const char *	SB_SLICESOURCE
	Saber annotations. More...

const char *	SB_SLICESINK

const char *	SB_FESIBLE

const char *	SB_INFESIBLE

const char *	DR_NOT_CHECK
	Race Detection annotations. More...

const char *	DR_CHECK

Detailed Description

Saber annotation

Definition at line 43 of file SaberAnnotator.h.

Constructor & Destructor Documentation

◆ SaberAnnotator()

SVF::SaberAnnotator::SaberAnnotator ( ProgSlice * slice )

inline

Constructor.

Definition at line 50 of file SaberAnnotator.h.

                                     : _curSlice(slice)
     {
 
     }

◆ ~SaberAnnotator()

virtual SVF::SaberAnnotator::~SaberAnnotator ( )

inlinevirtual

Destructor.

Definition at line 55 of file SaberAnnotator.h.

     {
 
     }

Member Function Documentation

◆ annotateFeasibleBranch()

void SaberAnnotator::annotateFeasibleBranch	(	const BranchInst *	brInst,
		u32_t	succPos
	)

Annotate branch instruction and its corresponding feasible path

Definition at line 78 of file SaberAnnotator.cpp.

 {
 
     assert((succPos == 0 || succPos == 1) && "branch instruction should only have two successors");
 
     std::string str;
     raw_string_ostream rawstr(str);
     rawstr << SB_FESIBLE << _curSlice->getSource()->getId();
     BranchInst* br = const_cast<BranchInst*>(brInst);
     addMDTag(br,br->getCondition(),rawstr.str());
 }

◆ annotateInfeasibleBranch()

void SaberAnnotator::annotateInfeasibleBranch	(	const BranchInst *	brInst,
		u32_t	succPos
	)

Annotate branch instruction and its corresponding infeasible path

Definition at line 93 of file SaberAnnotator.cpp.

 {
 
     assert((succPos == 0 || succPos == 1) && "branch instruction should only have two successors");
 
     std::string str;
     raw_string_ostream rawstr(str);
     rawstr << SB_INFESIBLE << _curSlice->getSource()->getId();
     BranchInst* br = const_cast<BranchInst*>(brInst);
     addMDTag(br,br->getCondition(),rawstr.str());
 }

◆ annotateSinks()

void SaberAnnotator::annotateSinks ( )

Definition at line 55 of file SaberAnnotator.cpp.

 {
     for(ProgSlice::SVFGNodeSet::const_iterator it = _curSlice->getSinks().begin(),
             eit = _curSlice->getSinks().end(); it!=eit; ++it)
     {
         if(const ActualParmSVFGNode* ap = SVFUtil::dyn_cast<ActualParmSVFGNode>(*it))
         {
             const Instruction* sinkinst = ap->getCallSite()->getCallSite();
             assert(SVFUtil::isa<CallInst>(sinkinst) && "not a call instruction?");
             const CallInst* sink = SVFUtil::cast<CallInst>(sinkinst);
             std::string str;
             raw_string_ostream rawstr(str);
             rawstr << SB_SLICESINK << _curSlice->getSource()->getId();
             addMDTag(const_cast<CallInst*>(sink),sink->getArgOperand(0),rawstr.str());
         }
         else
             assert(false && "sink node is not a actual parameter?");
     }
 }

◆ annotateSource()

void SaberAnnotator::annotateSource ( )

Annotation.

Definition at line 38 of file SaberAnnotator.cpp.

 {
     std::string str;
     raw_string_ostream rawstr(str);
     rawstr << SB_SLICESOURCE ; //<< _curSlice->getSource()->getId();
     if(const Instruction* sourceinst = SVFUtil::dyn_cast<Instruction>(_curSlice->getLLVMValue(_curSlice->getSource())))
     {
         addMDTag(const_cast<Instruction*>(sourceinst),rawstr.str());
     }
     else
         assert(false && "instruction of source node not found");
 
 }

◆ annotateSwitch()

void SaberAnnotator::annotateSwitch	(	SwitchInst *	switchInst,
		u32_t	succPos
	)

Annotate switch instruction and its corresponding feasible path

Definition at line 109 of file SaberAnnotator.cpp.

 {
     assert(succPos < switchInst->getNumSuccessors() && "successor position not correct!");
 }

Member Data Documentation

◆ _curSlice

const ProgSlice* SVF::SaberAnnotator::_curSlice

private

Definition at line 47 of file SaberAnnotator.h.

The documentation for this class was generated from the following files:

/home/runner/work/SVF-1/SVF-1/include/SABER/SaberAnnotator.h
/home/runner/work/SVF-1/SVF-1/lib/SABER/SaberAnnotator.cpp

Public Member Functions

Private Attributes

Additional Inherited Members