FileChecker()
Constructor.
virtual bool runOnModule(SVFIR *pag)
We start from here.
bool isSinkLikeFun(const FunObjVar *fun)
Whether the function is a heap deallocator (free/release memory)
void reportBug(ProgSlice *slice)
Report file/close bugs.
virtual ~FileChecker()
Destructor.
bool isSourceLikeFun(const FunObjVar *fun)
Whether the function is a heap allocator/reallocator (allocate memory)
bool isFOpen(const FunObjVar *fun) const
Return true if this call is a file open.
bool isFClose(const FunObjVar *fun) const
Return true if this call is a file close.
static SaberCheckerAPI * getCheckerAPI()
Return a static reference.
virtual void analyze()
Start analysis here.
llvm::IRBuilder IRBuilder