def f(index, key):
return XP.XTainted(self, index, tags, args)
def f_validmem(index: int, key: object) -> XP.XValidMem:
return XP.XValidMem(self, index, tags, args)
def f_revbuffer(index: int, key: object) -> XP.XRevBuffer:
return XP.XRevBuffer(self, index, tags, args)
def f_initialized(index: int, key: object) -> XP.XInitialized:
return XP.XInitialized(self, index, tags, args)
def f_allocationbase(index: int,
key: object) -> XP.XAllocationBase:
return XP.XAllocationBase(self, index, tags, args)
def f_notzero(index: int, key: object) -> XP.XNotZero:
return XP.XNotZero(self, index, tags, args)
def f_preservesallmemory(index: int,
key: object) -> XP.XPreservesAllMemory:
return XP.XPreservesAllMemory(self, index, tags, args)
def f(index, key):
return XP.XInitializedRange(self, index, tags, args)
"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: Dict[
str, Callable[[Tuple["InterfaceDictionary", int, List[str], List[int]]],
XPredicate], ] = {
"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),
def f(index, key):
return XP.XNewMemory(self, index, tags, args)
def f(index, key):
return XP.XRevBuffer(self, index, tags, args)
def f(index, key):
return XP.XValidMem(self, index, tags, args)
def f(index, key):
return XP.XBlockWrite(self, index, tags, args)
def f(index, key):
return XP.XAllocationBase(self, index, tags, args)
def f_heapaddress(index: int, key: object) -> XP.XHeapAddress:
return XP.XHeapAddress(self, index, tags, args)
def f_stackaddress(index: int, key: object) -> XP.XStackAddress:
return XP.XStackAddress(self, index, p.tags, args)
def f_notnull(index: int, key: object) -> XP.XNotNull:
return XP.XNotNull(self, index, tags, args)
def f_null(index: int, key: object) -> XP.XNull:
return XP.XNull(self, index, p.tags, args)
def f_nonnegative(index: int, key: object) -> XP.XNonNegative:
return XP.XNonNegative(self, index, tags, args)
def f_nullterminated(index: int,
key: object) -> XP.XNullTerminated:
return XP.XNullTerminated(self, index, p.tags, args)
def f_false(index: int, key: object) -> XP.XFalse:
return XP.XFalse(self, index, tags, args)
def f_buffer(index: int, key: object) -> XP.XBuffer:
return XP.XBuffer(self, index, p.tags, args)
def f_tainted(index: int, key: object) -> XP.XTainted:
return XP.XTainted(self, index, tags, args)
def f_controlledresource(index: int,
key: object) -> XP.XControlledResource:
return XP.XControlledResource(self, index, p.tags, args)
def f_blockwrite(index: int, key: object) -> XP.XBlockWrite:
return XP.XBlockWrite(self, index, tags, args)
def f_relationalexpr(index: int,
key: object) -> XP.XRelationalExpr:
return XP.XRelationalExpr(self, index, tags, args)
def f_newmemory(index: int, key: object) -> XP.XNewMemory:
return XP.XNewMemory(self, index, tags, args)
def f_globaladdress(index: int, key: object) -> XP.XGlobalAddress:
return XP.XGlobalAddress(self, index, tags, args)
def f_initializedrange(index: int,
key: object) -> XP.XInitializedRange:
return XP.XInitializedRange(self, index, tags, args)
def f(index, key):
return XP.XFalse(self, index, tags, args)
