Lines Matching refs:FuchsiaHandleChecker

186 class FuchsiaHandleChecker  class
316 void FuchsiaHandleChecker::checkPreCall(const CallEvent &Call,  in checkPreCall()
360 void FuchsiaHandleChecker::checkPostCall(const CallEvent &Call,  in checkPostCall()
502 void FuchsiaHandleChecker::checkDeadSymbols(SymbolReaper &SymReaper,  in checkDeadSymbols()
538 ProgramStateRef FuchsiaHandleChecker::evalAssume(ProgramStateRef State,  in evalAssume()
568 ProgramStateRef FuchsiaHandleChecker::checkPointerEscape(  in checkPointerEscape()
610 FuchsiaHandleChecker::reportLeaks(ArrayRef<SymbolRef> LeakedHandles,  in reportLeaks()
620 void FuchsiaHandleChecker::reportDoubleRelease(SymbolRef HandleSym,  in reportDoubleRelease()
628 void FuchsiaHandleChecker::reportUnownedRelease(SymbolRef HandleSym,  in reportUnownedRelease()
636 void FuchsiaHandleChecker::reportUseAfterFree(SymbolRef HandleSym,  in reportUseAfterFree()
644 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode,  in reportBug()
674   mgr.registerChecker<FuchsiaHandleChecker>();  in registerFuchsiaHandleChecker()
681 void FuchsiaHandleChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()