Searched refs:TaintedDivChecker (Results 1 – 2 of 2) sorted by relevance
38 CheckerFrontendWithBugType TaintedDivChecker{"Division by zero", member in __anon2c18a2660111::DivZeroChecker70 if (!TaintedDivChecker.isEnabled()) in reportTaintBug()74 std::make_unique<PathSensitiveBugReport>(TaintedDivChecker, Msg, N); in reportTaintBug()134 Mgr.getChecker<DivZeroChecker>()->TaintedDivChecker.enable(Mgr); in registerTaintedDivChecker()
1695 def TaintedDivChecker: Checker<"TaintedDiv">,