SVF::SaberCheckerAPI Class Reference

#include <SaberCheckerAPI.h>

Public Types
enum	CHECKER_TYPE {   CK_DUMMY = 0 , CK_ALLOC , CK_FREE , CK_FOPEN ,   CK_FCLOSE }
typedef Map< std::string, CHECKER_TYPE >	TDAPIMap

Public Member Functions
bool	isMemAlloc (const SVFFunction *fun) const
	Return true if this call is a memory allocation.
bool	isMemAlloc (const CallICFGNode *cs) const
bool	isMemDealloc (const SVFFunction *fun) const
	Return true if this call is a memory deallocation.
bool	isMemDealloc (const CallICFGNode *cs) const
bool	isFOpen (const SVFFunction *fun) const
	Return true if this call is a file open.
bool	isFOpen (const CallICFGNode *cs) const
bool	isFClose (const SVFFunction *fun) const
	Return true if this call is a file close.
bool	isFClose (const CallICFGNode *cs) const

Static Public Member Functions
static SaberCheckerAPI *	getCheckerAPI ()
	Return a static reference.

Private Member Functions
	SaberCheckerAPI ()
	Constructor.
void	init ()
	Initialize the map.
CHECKER_TYPE	getType (const SVFFunction *F) const
	Get the function type of a function.

Private Attributes
TDAPIMap	tdAPIMap
	API map, from a string to threadAPI type.

Static Private Attributes
static SaberCheckerAPI *	ckAPI = nullptr
	Static reference.

Detailed Description

Definition at line 44 of file SaberCheckerAPI.h.

Member Typedef Documentation

TDAPIMap

typedef Map<std::string, CHECKER_TYPE> SVF::SaberCheckerAPI::TDAPIMap

Definition at line 57 of file SaberCheckerAPI.h.

Member Enumeration Documentation

CHECKER_TYPE

enum SVF::SaberCheckerAPI::CHECKER_TYPE

Enumerator
CK_DUMMY
CK_ALLOC	dummy type
CK_FREE	memory allocation
CK_FOPEN	memory deallocation
CK_FCLOSE	File open. File close

Definition at line 48 of file SaberCheckerAPI.h.

    {
        CK_DUMMY = 0,       
        CK_ALLOC,       
        CK_FREE,      
        CK_FOPEN,       
        CK_FCLOSE       
    };

Constructor & Destructor Documentation

SaberCheckerAPI()

SVF::SaberCheckerAPI::SaberCheckerAPI ( )

inlineprivate

Constructor.

Definition at line 64 of file SaberCheckerAPI.h.

    {
        init();
    }

Member Function Documentation

getCheckerAPI()

static SaberCheckerAPI * SVF::SaberCheckerAPI::getCheckerAPI ( )

inlinestatic

Return a static reference.

Definition at line 89 of file SaberCheckerAPI.h.

    {
        if(ckAPI == nullptr)
        {
            ckAPI = new SaberCheckerAPI();
        }
        return ckAPI;
    }

getType()

CHECKER_TYPE SVF::SaberCheckerAPI::getType ( const SVFFunction *  F ) const

inlineprivate

Get the function type of a function.

Definition at line 76 of file SaberCheckerAPI.h.

    {
        if(F)
        {
            TDAPIMap::const_iterator it= tdAPIMap.find(F->getName());
            if(it != tdAPIMap.end())
                return it->second;
        }
        return CK_DUMMY;
    }

init()

void SaberCheckerAPI::init ( )

private

Initialize the map.

initialize the map

Definition at line 144 of file SaberCheckerAPI.cpp.

{
    set<CHECKER_TYPE> t_seen;
    CHECKER_TYPE prev_t= CK_DUMMY;
    t_seen.insert(CK_DUMMY);
    for(const ei_pair *p= ei_pairs; p->n; ++p)
    {
        if(p->t != prev_t)
        {
            //This will detect if you move an entry to another block
            //  but forget to change the type.
            if(t_seen.count(p->t))
            {
                fputs(p->n, stderr);
                putc('\n', stderr);
                assert(!"ei_pairs not grouped by type");
            }
            t_seen.insert(p->t);
            prev_t= p->t;
        }
        if(tdAPIMap.count(p->n))
        {
            fputs(p->n, stderr);
            putc('\n', stderr);
            assert(!"duplicate name in ei_pairs");
        }
        tdAPIMap[p->n]= p->t;
    }
}

isFClose() [1/2]

bool SVF::SaberCheckerAPI::isFClose ( const CallICFGNode *  cs ) const

inline

Definition at line 140 of file SaberCheckerAPI.h.

    {
        return isFClose(cs->getCalledFunction());
    }

isFClose() [2/2]

bool SVF::SaberCheckerAPI::isFClose ( const SVFFunction *  fun ) const

inline

Return true if this call is a file close.

Definition at line 136 of file SaberCheckerAPI.h.

    {
        return getType(fun) == CK_FCLOSE;
    }

isFOpen() [1/2]

bool SVF::SaberCheckerAPI::isFOpen ( const CallICFGNode *  cs ) const

inline

Definition at line 128 of file SaberCheckerAPI.h.

    {
        return isFOpen(cs->getCalledFunction());
    }

isFOpen() [2/2]

bool SVF::SaberCheckerAPI::isFOpen ( const SVFFunction *  fun ) const

inline

Return true if this call is a file open.

Definition at line 124 of file SaberCheckerAPI.h.

    {
        return getType(fun) == CK_FOPEN;
    }

isMemAlloc() [1/2]

bool SVF::SaberCheckerAPI::isMemAlloc ( const CallICFGNode *  cs ) const

inline

Definition at line 104 of file SaberCheckerAPI.h.

    {
        return isMemAlloc(cs->getCalledFunction());
    }

isMemAlloc() [2/2]

bool SVF::SaberCheckerAPI::isMemAlloc ( const SVFFunction *  fun ) const

inline

Return true if this call is a memory allocation.

Definition at line 100 of file SaberCheckerAPI.h.

    {
        return getType(fun) == CK_ALLOC;
    }

isMemDealloc() [1/2]

bool SVF::SaberCheckerAPI::isMemDealloc ( const CallICFGNode *  cs ) const

inline

Definition at line 116 of file SaberCheckerAPI.h.

    {
        return isMemDealloc(cs->getCalledFunction());
    }

isMemDealloc() [2/2]

bool SVF::SaberCheckerAPI::isMemDealloc ( const SVFFunction *  fun ) const

inline

Return true if this call is a memory deallocation.

Definition at line 112 of file SaberCheckerAPI.h.

    {
        return getType(fun) == CK_FREE;
    }

Member Data Documentation

ckAPI

SaberCheckerAPI * SaberCheckerAPI::ckAPI = nullptr

staticprivate

Static reference.

Definition at line 73 of file SaberCheckerAPI.h.

tdAPIMap

TDAPIMap SVF::SaberCheckerAPI::tdAPIMap

private

API map, from a string to threadAPI type.

Definition at line 61 of file SaberCheckerAPI.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/SABER/SaberCheckerAPI.h
• /home/runner/work/SVF/SVF/svf/lib/SABER/SaberCheckerAPI.cpp