def f(index, key):
return XP.XNonNegative(self, index, tags, args)
def f(index, key):
return XP.XPreservesAllMemory(self, index, tags, args)
def f(index, key):
return XP.XStackAddress(self, index, p.tags, args)
def f(index, key):
return XP.XNotZero(self, index, tags, args)
def f(index, key):
return XP.XValidMem(self, index, tags, args)
def f(index, key):
return XP.XRevBuffer(self, index, tags, args)
def f(index, key):
return XP.ControlledResource(self, index, p.tags, args)
def f(index, key):
return XP.XAllocationBase(self, index, tags, args)
def f(index, key):
return XP.XFalse(self, index, p.tags, p.args)
def f(index, key):
return XP.XBuffer(self, index, p.tags, args)
def f(index, key):
return XP.XNullTerminated(self, index, p.tags, args)
def f(index, key):
return XP.XInitialized(self, index, p.tags, args)
def f(index, key):
return XP.XNull(self, index, p.tags, args)
def f(index, key):
return XP.XFalse(self, index, tags, args)
def f(index, key):
return XP.XRelationalExpr(self, index, tags, args)
def f(index, key):
return XP.XTainted(self, index, tags, args)
def f(index, key):
return XP.XGlobalAddress(self, index, tags, args)
def f(index, key):
return XP.XBlockWrite(self, index, tags, args)
def f(index, key):
return XP.XHeapAddress(self, index, tags, args)
def f(index, key):
return XP.XNewMemory(self, index, tags, args)
def f(index, key):
return XP.XNotNull(self, index, tags, args)
def f(index, key):
return XP.XInitializedRange(self, index, tags, args)
'rv': lambda x: ST.STReturnValue(*x),
'nc': lambda x: ST.STNamedConstant(*x),
'ic': lambda x: ST.STNumConstant(*x),
'is': lambda x: ST.STIndexSize(*x),
'bs': lambda x: ST.STByteSize(*x),
'fo': lambda x: ST.STFieldOffset(*x),
'aa': lambda x: ST.STArgAddressedValue(*x),
'at': lambda x: ST.STArgNullTerminatorPos(*x),
'st': lambda x: ST.STArgSizeOfType(*x),
'ax': lambda x: ST.STArithmeticExpr(*x),
'fs': lambda x: ST.STFormattedOutputSize(*x),
'rt': lambda x: ST.STRuntimeValue(*x)
}
xpredicate_constructors = {
'ab': lambda x: XP.XAllocationBase(*x),
'bw': lambda x: XP.XBlockWrite(*x),
'b': lambda x: XP.XBuffer(*x),
'c': lambda x: XP.XConstTerm(*x),
'cr': lambda x: XP.XControlledResource(*x),
'f': lambda x: XP.XFalse(*x),
'fi': lambda x: XP.XFormattedInput(*x),
'fr': lambda x: XP.XFreed(*x),
'fn': lambda x: XP.XFunctional(*x),
'ga': lambda x: XP.XGlobalAddress(*x),
'ha': lambda x: XP.XHeapAddress(*x),
'i': lambda x: XP.XInitialized(*x),
'ir': lambda x: XP.XInitializedRange(*x),
'iv': lambda x: XP.XInvalidated(*x),
'ifs': lambda x: XP.XInputFormatString(*x),
'nm': lambda x: XP.XNewMemory(*x),
