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