def __init__(self, relocationtable: "ELFRelocationTable",
xnode: ET.Element):
self.relocationtable = relocationtable
self.xnode = xnode
rep = IT.get_rep(xnode, indextag='id')
self._id = rep[0]
self.tags = rep[1]
self.args = rep[2]
def __init__(self, fsdata, xnode):
self.functionsdata = fsdata # FunctionsData
self.xnode = xnode
rep = IT.get_rep(xnode, indextag='id')
self.id = rep[0]
self.tags = rep[1]
self.args = rep[2]
self.faddr = str(hex(int(self.id)))
def __init__(self, relocationtable, xnode):
self.relocationtable = relocationtable
self.xnode = xnode
self.dictionary = self.relocationtable.elfheader.dictionary
rep = IT.get_rep(xnode, indextag='id')
self.id = rep[0]
self.tags = rep[1]
self.args = rep[2]
def __init__(self, dynamictable, xnode):
self.dynamictable = dynamictable
self.xnode = xnode
rep = IT.get_rep(xnode, indextag='id')
self.id = rep[0]
self.tags = rep[1]
self.d_tag = self.tags[0]
self.d_un = self.tags[1]
def __init__(self, symboltable, xnode):
self.symboltable = symboltable
self.stringtable = self.symboltable.stringtable
self.xnode = xnode
self.dictionary = self.symboltable.elfheader.dictionary
rep = IT.get_rep(xnode, indextag='id')
self.id = rep[0]
self.tags = rep[1]
self.args = rep[2]
def __init__(self, dynamictable: "ELFDynamicTable",
xnode: ET.Element) -> None:
self.dynamictable = dynamictable
self.xnode = xnode
self.rep = IT.get_rep(xnode, indextag='id')
self._id = self.rep[0]
self.tags = self.rep[1]
self._d_tag = self.tags[0]
self._d_un = self.tags[1]
def __init__(self, symboltable: "ELFSymbolTable",
xnode: ET.Element) -> None:
self.symboltable = symboltable
self.stringtable = self.symboltable.stringtable
self.xnode = xnode
self.dictionary = self.symboltable.elfheader.dictionary
rep = IT.get_rep(xnode, indextag="id")
self.id = rep[0]
self.tags = rep[1]
self.args = rep[2]
def get_value(node):
rep = IT.get_rep(node)
args = (self,) + rep
return A.AsmInstrXData(*args)
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self, ) + rep
return constant_value_variable_constructors[tag](args)
def get_value(node):
rep = IT.get_rep(node)
args = (self,) + rep
return BX.BXprListList(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self,) + rep
return BX.BXVariable(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self,) + rep
return BX.BXNumerical(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return BI.LinearEquality(*args)
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self, ) + rep
return non_relational_value_constructors[tag](args)
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self, ) + rep
return invariant_fact_constructors[tag](args)
def get_value(node):
rep = IT.get_rep(node)
args = rep
return AsmAddress(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self, ) + rep
return MOP.MIPSOperand(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self,) + rep
return OP.AsmOperand(*args)
def get_value(node):
rep = IT.get_rep(node)
args = (self,) + rep
return BX.BXSymbol(*args)
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self,) + rep
return OPC.get_opcode(tag,args)
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self,) + rep
return xpr_constructors[tag](args)
def get_value(node):
rep = IT.get_rep(node)
args = (self,) + rep
return A.EspOffset(*args)
def rep(self) -> Tuple[int, Sequence[str], Sequence[int]]:
return IT.get_rep(self.xnode, indextag="id")
def get_value(node):
rep = IT.get_rep(node)
tag = rep[1][0]
args = (self, ) + rep
return assembly_variable_denotation_constructors[tag](args)
