Static Value-Flow Analysis
|
#include <ExtAPI.h>
Public Member Functions | |
std::string | getExtBcPath () |
std::string | getExtFuncAnnotation (const FunObjVar *fun, const std::string &funcAnnotation) |
const std::vector< std::string > & | getExtFuncAnnotations (const FunObjVar *fun) |
bool | hasExtFuncAnnotation (const FunObjVar *fun, const std::string &funcAnnotation) |
bool | has_static (const FunObjVar *F) |
bool | is_memcpy (const FunObjVar *F) |
bool | is_memset (const FunObjVar *F) |
bool | is_alloc (const FunObjVar *F) |
bool | is_arg_alloc (const FunObjVar *F) |
bool | is_alloc_stack_ret (const FunObjVar *F) |
s32_t | get_alloc_arg_pos (const FunObjVar *F) |
bool | is_realloc (const FunObjVar *F) |
bool | is_ext (const FunObjVar *funObjVar) |
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 FunObjVar *fun, const std::vector< std::string > &funcAnnotations) |
Private Attributes | |
Map< const FunObjVar *, std::vector< std::string > > | funObjVar2Annotations |
Static Private Attributes | |
static ExtAPI * | extOp = nullptr |
static std::string | extBcPath = "" |
Friends | |
class | LLVMModuleSet |
class | SVFIRBuilder |
|
privatedefault |
|
static |
Definition at line 53 of file ExtAPI.cpp.
Definition at line 294 of file ExtAPI.cpp.
|
static |
Definition at line 44 of file ExtAPI.cpp.
std::string ExtAPI::getExtBcPath | ( | ) |
Definition at line 136 of file ExtAPI.cpp.
std::string ExtAPI::getExtFuncAnnotation | ( | const FunObjVar * | fun, |
const std::string & | funcAnnotation | ||
) |
Definition at line 243 of file ExtAPI.cpp.
Definition at line 256 of file ExtAPI.cpp.
Definition at line 229 of file ExtAPI.cpp.
Definition at line 277 of file ExtAPI.cpp.
Definition at line 288 of file ExtAPI.cpp.
Definition at line 283 of file ExtAPI.cpp.
Definition at line 314 of file ExtAPI.cpp.
Definition at line 265 of file ExtAPI.cpp.
Definition at line 272 of file ExtAPI.cpp.
Definition at line 310 of file ExtAPI.cpp.
|
private |
Definition at line 223 of file ExtAPI.cpp.
|
friend |
|
friend |