decompiler  1.0.0
Public Member Functions | Private Member Functions | Private Attributes | List of all members
LogicalForm Class Reference

Public Member Functions

bool verify (Varnode *h, Varnode *l, PcodeOp *lop)
 
bool applyRule (SplitVarnode &i, PcodeOp *lop, bool workishi, Funcdata &data)
 

Private Member Functions

int4 findHiMatch (void)
 

Private Attributes

SplitVarnode in
 
PcodeOploop
 
PcodeOphiop
 
Varnodehi1
 
Varnodehi2
 
Varnodelo1
 
Varnodelo2
 
PcodeOpexistop
 
SplitVarnode indoub
 
SplitVarnode outdoub
 

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