Searched refs:FuchsiaHandleChecker (Results 1 – 3 of 3) sorted by relevance
186 class FuchsiaHandleChecker class320 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()[all …]
571 SRCS_FUL+= StaticAnalyzer/Checkers/FuchsiaHandleChecker.cpp
1630 def FuchsiaHandleChecker : Checker<"HandleChecker">,