SVF::ExtAPI Class Reference

#include <ExtAPI.h>

Public Member Functions
std::string	getExtBcPath ()
std::string	getExtFuncAnnotation (const SVFFunction *fun, const std::string &funcAnnotation)
const std::vector< std::string > &	getExtFuncAnnotations (const SVFFunction *fun)
bool	hasExtFuncAnnotation (const SVFFunction *fun, const std::string &funcAnnotation)
bool	has_static (const SVFFunction *F)
bool	is_memcpy (const SVFFunction *F)
bool	is_memset (const SVFFunction *F)
bool	is_alloc (const SVFFunction *F)
bool	is_arg_alloc (const SVFFunction *F)
s32_t	get_alloc_arg_pos (const SVFFunction *F)
bool	is_realloc (const SVFFunction *F)
bool	is_ext (const SVFFunction *F)

Static Public Member Functions
static ExtAPI *	getExtAPI ()
static void	destory ()
static bool	setExtBcPath (const std::string &path)

Private Member Functions
	ExtAPI ()=default
void	setExtFuncAnnotations (const SVFFunction *fun, const std::vector< std::string > &funcAnnotations)

Private Attributes
Map< const SVFFunction *, std::vector< std::string > >	func2Annotations

Static Private Attributes
static ExtAPI *	extOp = nullptr
static std::string	extBcPath = ""

Friends
class	LLVMModuleSet

Detailed Description

Definition at line 44 of file ExtAPI.h.

Constructor & Destructor Documentation

ExtAPI()

SVF::ExtAPI::ExtAPI ( )

privatedefault

Member Function Documentation

destory()

void ExtAPI::destory ( )

static

Definition at line 51 of file ExtAPI.cpp.

{
    if (extOp != nullptr)
    {
        delete extOp;
        extOp = nullptr;
    }
}

get_alloc_arg_pos()

s32_t ExtAPI::get_alloc_arg_pos

(

const SVFFunction *

F

)

Definition at line 229 of file ExtAPI.cpp.

{
    std::string allocArg = getExtFuncAnnotation(F, "ALLOC_ARG");
    assert(!allocArg.empty() && "Not an alloc call via argument or incorrect extern function annotation!");
 
    std::string number;
    for (char c : allocArg)
    {
        if (isdigit(c))
            number.push_back(c);
    }
    assert(!number.empty() && "Incorrect naming convention for svf external functions(ALLOC_ARG + number)?");
    return std::stoi(number);
}

getExtAPI()

ExtAPI * ExtAPI::getExtAPI ( )

static

Definition at line 42 of file ExtAPI.cpp.

{
    if (extOp == nullptr)
    {
        extOp = new ExtAPI;
    }
    return extOp;
}

getExtBcPath()

std::string ExtAPI::getExtBcPath

(

)

Definition at line 119 of file ExtAPI.cpp.

{
    // Default ways of retrieving extapi.bc (in order of precedence):
    //  1.  Set `path/to/extapi.bc` through `setExtBcPath()`
    //  2.  Set `path/to/extapi.bc` through the command line argument `-extapi=path/to/extapi.bc`
    //  3.  Get location generated by CMakeLists.txt from `config.h` header file (if SVF was installed)
    //  4.  Get location in build tree based from `config.h` header file (if SVF was only built)
    //  5.  Get location based on environment variable $ENV{SVF_DIR}
    //  6.  Search for `extapi.bc` from root directory for npm installation (iff SVF installed through npm)
 
    //  1.  Set `path/to/extapi.bc` through `setExtBcPath()`
    if (!extBcPath.empty())
        return extBcPath;
 
    //  2.  Set `path/to/extapi.bc` through the command line argument `-extapi=path/to/extapi.bc`
    if (setExtBcPath(Options::ExtAPIPath()))
        return extBcPath;
 
    //  3.  Get location generated by CMakeLists.txt from `config.h` header file (if SVF was installed)
    if (setExtBcPath(SVF_EXTAPI_BC))                // Full path is available (for custom file names)
        return extBcPath;
    if (setExtBcPath(SVF_EXTAPI_DIR "/extapi.bc"))  // Based on directory & default filename
        return extBcPath;
 
    //  4.  Get location in build tree based from `config.h` header file (if SVF was only built)
    if (setExtBcPath(SVF_BUILD_DIR "/lib/extapi.bc"))
        return extBcPath;
 
    //  5.  Get location based on environment variable $ENV{SVF_DIR}
    if (setExtBcPath(getFilePath("SVF_DIR")))
        return extBcPath;
 
    //  6.  Search for `extapi.bc` from root directory for npm installation (iff SVF installed through npm)
    if (setExtBcPath(getFilePath("npm root")))
        return extBcPath;
 
    SVFUtil::errs() << "ERROR: Failed to find \"extapi.bc\" LLVM bitcode file in " << extBcPath << std::endl
                    << "To override the default locations for \"extapi.bc\", you can:" << std::endl
                    << "\t1. Use the command line argument \"-extapi=path/to/extapi.bc\"" << std::endl
                    << "\t2. Use the \"setExtBcPath()\" function *BEFORE* calling \"buildSVFModule()\"" << std::endl
                    << "\t3. Override the paths in \"svf/Util/config.h\" (WARNING: will be overwritten when "
                    << "rebuilding SVF (generated by CMakeLists.txt))" << std::endl;
    abort();
}

getExtFuncAnnotation()

std::string ExtAPI::getExtFuncAnnotation	(	const SVFFunction *	fun,
		const std::string &	funcAnnotation
	)

Definition at line 183 of file ExtAPI.cpp.

{
    assert(fun && "Null SVFFunction* pointer");
    auto it = func2Annotations.find(fun);
    if (it != func2Annotations.end())
    {
        for (const std::string& annotation : it->second)
            if (annotation.find(funcAnnotation) != std::string::npos)
                return annotation;
    }
    return "";
}

getExtFuncAnnotations()

const std::vector< std::string > & ExtAPI::getExtFuncAnnotations

(

const SVFFunction *

fun

)

Definition at line 196 of file ExtAPI.cpp.

{
    assert(fun && "Null SVFFunction* pointer");
    auto it = func2Annotations.find(fun);
    if (it != func2Annotations.end())
        return it->second;
    return func2Annotations[fun];
}

has_static()

bool SVF::ExtAPI::has_static

(

const SVFFunction *

F

)

hasExtFuncAnnotation()

bool ExtAPI::hasExtFuncAnnotation	(	const SVFFunction *	fun,
		const std::string &	funcAnnotation
	)

Definition at line 170 of file ExtAPI.cpp.

{
    assert(fun && "Null SVFFunction* pointer");
    auto it = func2Annotations.find(fun);
    if (it != func2Annotations.end())
    {
        for (const std::string& annotation : it->second)
            if (annotation.find(funcAnnotation) != std::string::npos)
                return true;
    }
    return false;
}

is_alloc()

bool ExtAPI::is_alloc

(

const SVFFunction *

F

)

Definition at line 217 of file ExtAPI.cpp.

{
    return F && hasExtFuncAnnotation(F, "ALLOC_RET");
}

is_arg_alloc()

bool ExtAPI::is_arg_alloc

(

const SVFFunction *

F

)

Definition at line 223 of file ExtAPI.cpp.

{
    return F && hasExtFuncAnnotation(F, "ALLOC_ARG");
}

is_ext()

bool ExtAPI::is_ext

(

const SVFFunction *

F

)

Definition at line 253 of file ExtAPI.cpp.

{
    assert(F && "Null SVFFunction* pointer");
    if (F->isDeclaration() || F->isIntrinsic())
        return true;
    else if (hasExtFuncAnnotation(F, "OVERWRITE") && getExtFuncAnnotations(F).size() == 1)
        return false;
    else
        return !getExtFuncAnnotations(F).empty();
}

is_memcpy()

bool ExtAPI::is_memcpy

(

const SVFFunction *

F

)

Definition at line 205 of file ExtAPI.cpp.

{
    return F &&
           (hasExtFuncAnnotation(F, "MEMCPY") ||  hasExtFuncAnnotation(F, "STRCPY")
            || hasExtFuncAnnotation(F, "STRCAT"));
}

is_memset()

bool ExtAPI::is_memset

(

const SVFFunction *

F

)

Definition at line 212 of file ExtAPI.cpp.

{
    return F && hasExtFuncAnnotation(F, "MEMSET");
}

is_realloc()

bool ExtAPI::is_realloc

(

const SVFFunction *

F

)

Definition at line 245 of file ExtAPI.cpp.

{
    return F && hasExtFuncAnnotation(F, "REALLOC_RET");
}

setExtBcPath()

bool ExtAPI::setExtBcPath ( const std::string &  path )

static

Definition at line 61 of file ExtAPI.cpp.

{
    struct stat statbuf;
    if (!path.empty() && !stat(path.c_str(), &statbuf))
    {
        extBcPath = path;
        return true;
    }
    return false;
}

setExtFuncAnnotations()

void ExtAPI::setExtFuncAnnotations ( const SVFFunction *  fun, const std::vector< std::string > &  funcAnnotations  )

private

Definition at line 164 of file ExtAPI.cpp.

{
    assert(fun && "Null SVFFunction* pointer");
    func2Annotations[fun] = funcAnnotations;
}

Friends And Related Function Documentation

LLVMModuleSet

friend class LLVMModuleSet

friend

Definition at line 46 of file ExtAPI.h.

Member Data Documentation

extBcPath

std::string ExtAPI::extBcPath = ""

staticprivate

Definition at line 55 of file ExtAPI.h.

extOp

ExtAPI * ExtAPI::extOp = nullptr

staticprivate

Definition at line 49 of file ExtAPI.h.

func2Annotations

Map<const SVFFunction*, std::vector<std::string> > SVF::ExtAPI::func2Annotations

private

Definition at line 52 of file ExtAPI.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Util/ExtAPI.h
• /home/runner/work/SVF/SVF/svf/lib/Util/ExtAPI.cpp