Lines Matching refs:FuchsiaHandleChecker

186 class FuchsiaHandleChecker  class
320 void FuchsiaHandleChecker::checkPreCall(const CallEvent &Call,  in checkPreCall()
364 void FuchsiaHandleChecker::checkPostCall(const CallEvent &Call,  in checkPostCall()
506 void FuchsiaHandleChecker::checkDeadSymbols(SymbolReaper &SymReaper,  in checkDeadSymbols()
542 ProgramStateRef FuchsiaHandleChecker::evalAssume(ProgramStateRef State,  in evalAssume()
572 ProgramStateRef FuchsiaHandleChecker::checkPointerEscape(  in checkPointerEscape()
614 FuchsiaHandleChecker::reportLeaks(ArrayRef<SymbolRef> LeakedHandles,  in reportLeaks()
624 void FuchsiaHandleChecker::reportDoubleRelease(SymbolRef HandleSym,  in reportDoubleRelease()
632 void FuchsiaHandleChecker::reportUnownedRelease(SymbolRef HandleSym,  in reportUnownedRelease()
640 void FuchsiaHandleChecker::reportUseAfterFree(SymbolRef HandleSym,  in reportUseAfterFree()
648 void FuchsiaHandleChecker::reportBug(SymbolRef Sym, ExplodedNode *ErrorNode,  in reportBug()
678   mgr.registerChecker<FuchsiaHandleChecker>();  in registerFuchsiaHandleChecker()
685 void FuchsiaHandleChecker::printState(raw_ostream &Out, ProgramStateRef State,  in printState()