Static Value-Flow Analysis
|
#include "SVF-LLVM/ObjTypeInference.h"
#include "SVF-LLVM/BasicTypes.h"
#include "SVF-LLVM/LLVMModule.h"
#include "SVF-LLVM/LLVMUtil.h"
#include "SVF-LLVM/CppUtil.h"
#include "Util/Casting.h"
Go to the source code of this file.
Macros | |
#define | TYPE_DEBUG 0 /* Turn this on if you're debugging type inference */ |
#define | ERR_MSG(msg) |
#define | ABORT_MSG(msg) |
#define | ABORT_IFNOT(condition, msg) |
#define | WARN_MSG(msg) |
#define | WARN_IFNOT(condition, msg) |
Functions | |
const Type * | infersiteToType (const Value *val) |
Variables | |
const std::string | TYPEMALLOC = "TYPE_MALLOC" |
#define ABORT_IFNOT | ( | condition, | |
msg | |||
) |
Definition at line 50 of file ObjTypeInference.cpp.
#define ABORT_MSG | ( | msg | ) |
Definition at line 44 of file ObjTypeInference.cpp.
#define ERR_MSG | ( | msg | ) |
Definition at line 38 of file ObjTypeInference.cpp.
Definition at line 37 of file ObjTypeInference.cpp.
#define WARN_IFNOT | ( | condition, | |
msg | |||
) |
Definition at line 72 of file ObjTypeInference.cpp.
#define WARN_MSG | ( | msg | ) |
Definition at line 71 of file ObjTypeInference.cpp.
Determine type based on infer site https://llvm.org/docs/OpaquePointers.html#migration-instructions
Definition at line 85 of file ObjTypeInference.cpp.
const std::string TYPEMALLOC = "TYPE_MALLOC" |
Definition at line 81 of file ObjTypeInference.cpp.