Lines Matching refs:FuchsiaHandleChecker

187 class FuchsiaHandleChecker  class
317 void FuchsiaHandleChecker::checkPreCall(const CallEvent &Call,  in checkPreCall()
361 void FuchsiaHandleChecker::checkPostCall(const CallEvent &Call,  in checkPostCall()
503 void FuchsiaHandleChecker::checkDeadSymbols(SymbolReaper &SymReaper,  in checkDeadSymbols()
539 ProgramStateRef FuchsiaHandleChecker::evalAssume(ProgramStateRef State,  in evalAssume()
569 ProgramStateRef FuchsiaHandleChecker::checkPointerEscape(  in checkPointerEscape()
611 FuchsiaHandleChecker::reportLeaks(ArrayRef<SymbolRef> LeakedHandles,  in reportLeaks()
621 void FuchsiaHandleChecker::reportDoubleRelease(SymbolRef HandleSym,  in reportDoubleRelease()
629 void FuchsiaHandleChecker::reportUnownedRelease(SymbolRef HandleSym,  in reportUnownedRelease()
637 void FuchsiaHandleChecker::reportUseAfterFree(SymbolRef HandleSym,  in reportUseAfterFree()
645 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode,  in reportBug()
676   mgr.registerChecker<FuchsiaHandleChecker>();  in registerFuchsiaHandleChecker()
683 void FuchsiaHandleChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()