#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Checkers/Taint.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include <optional>
usingnamespaceclang;
usingnamespaceento;
namespace {
class BoolAssignmentChecker : public Checker<check::Bind> { … };
}
void BoolAssignmentChecker::emitReport(ProgramStateRef State, CheckerContext &C,
bool IsTainted) const { … }
static bool isBooleanType(QualType Ty) { … }
void BoolAssignmentChecker::checkBind(SVal Loc, SVal Val, const Stmt *S,
CheckerContext &C) const { … }
void ento::registerBoolAssignmentChecker(CheckerManager &Mgr) { … }
bool ento::shouldRegisterBoolAssignmentChecker(const CheckerManager &Mgr) { … }