ROSE  0.9.9.168
Public Types | Public Member Functions | List of all members
Rose::BinaryAnalysis::FeasiblePath::PathProcessor Class Referenceabstract

Description

Path searching functor.

This is the base class for user-defined functors called when searching for feasible paths.

Definition at line 71 of file BinaryFeasiblePath.h.

#include <BinaryFeasiblePath.h>

Public Types

enum  Action {
  BREAK,
  CONTINUE
}
 

Public Member Functions

virtual Action found (const FeasiblePath &analyzer, const Partitioner2::CfgPath &path, const std::vector< SymbolicExpr::Ptr > &pathConditions, const InstructionSemantics2::BaseSemantics::DispatcherPtr &, SmtSolver &solver)=0
 

Member Enumeration Documentation

Enumerator
BREAK 

Do not look for more paths.

CONTINUE 

Look for more paths.

Definition at line 73 of file BinaryFeasiblePath.h.


The documentation for this class was generated from the following file: