Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVFStatements.h File Reference

Go to the source code of this file.

Classes

class  SVF::SVFStmt
class  SVF::AssignStmt
class  SVF::AddrStmt
class  SVF::CopyStmt
class  SVF::StoreStmt
class  SVF::LoadStmt
class  SVF::GepStmt
class  SVF::RetPE
class  SVF::MultiOpndStmt
class  SVF::CallPE
class  SVF::PhiStmt
class  SVF::SelectStmt
class  SVF::CmpStmt
class  SVF::BinaryOPStmt
class  SVF::UnaryOPStmt
class  SVF::BranchStmt
class  SVF::TDForkPE
class  SVF::TDJoinPE

Namespaces

namespace  SVF
 for isBitcode

Typedefs

typedef GenericEdge< SVFVar > SVF::GenericPAGEdgeTy