C++ (Cpp) BugReporterContext::addVisitor示例

示例#1

文件： BugReporterVisitors.cpp 项目： lgerbarg/clang

void clang::bugreporter::registerFindLastStore(BugReporterContext& BRC,
        const void *data,
        const ExplodedNode* N) {

    const MemRegion *R = static_cast<const MemRegion*>(data);

    if (!R)
        return;

    const GRState *state = N->getState();
    SVal V = state->getSVal(R);

    if (V.isUnknown())
        return;

    BRC.addVisitor(new FindLastStoreBRVisitor(V, R));
}

示例#2

static void registerFindLastStore(BugReporterContext& BRC, const MemRegion *R,
                                  SVal V) {
  BRC.addVisitor(new FindLastStoreBRVisitor(V, R));
}

示例#3

文件： BugReporterVisitors.cpp 项目： lgerbarg/clang

void clang::bugreporter::registerNilReceiverVisitor(BugReporterContext &BRC) {
    BRC.addVisitor(new NilReceiverVisitor());
}

示例#4

文件： BugReporterVisitors.cpp 项目： lgerbarg/clang

static void registerTrackConstraint(BugReporterContext& BRC,
                                    DefinedSVal Constraint,
                                    bool Assumption) {
    BRC.addVisitor(new TrackConstraintBRVisitor(Constraint, Assumption));
}