Searched refs:SValExplainer (Results 1 – 2 of 2) sorted by relevance
28 class SValExplainer : public FullSValVisitor<SValExplainer, std::string> {67 SValExplainer(ASTContext &Ctx, ProgramStateRef State) in SValExplainer() function
260 SValExplainer Ex(C.getASTContext(), C.getState()); in analyzerExplain()