Searched refs:AssumeModelingChecker (Results 1 – 1 of 1) sorted by relevance
27 class AssumeModelingChecker class35 void AssumeModelingChecker::checkPostStmt(const AttributedStmt *A, in checkPostStmt()54 bool AssumeModelingChecker::evalCall(const CallEvent &Call, in evalCall()82 Mgr.registerChecker<AssumeModelingChecker>(); in registerAssumeModeling()