Python XPredicate.XNewMemory Examples

Example #1

File: InterfaceDictionary.py Project: static-analysis-engineering/CodeHawk-C

 def f_newmemory(index: int, key: object) -> XP.XNewMemory:
     return XP.XNewMemory(self, index, tags, args)

Example #2

 def f(index, key):
     return XP.XNewMemory(self, index, tags, args)

Example #3

File: InterfaceDictionary.py Project: static-analysis-engineering/CodeHawk-C

 "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),
 "no": lambda x: XP.XNoOverlap(*x),
 "nn": lambda x: XP.XNotNull(*x),
 "nng": lambda x: XP.XNonNegative(*x),
 "nz": lambda x: XP.XNotZero(*x),
 "null": lambda x: XP.XNull(*x),
 "nt": lambda x: XP.XNullTerminated(*x),
 "ofs": lambda x: XP.XOutputFormatString(*x),
 "pr": lambda x: XP.XPreservesMemory(*x),
 "pv": lambda x: XP.XPreservesValue(*x),
 "prm": lambda x: XP.XPreservesAllMemory(*x),
 "prmx": lambda x: XP.XPreservesAllMemoryX(*x),
 "prn": lambda x: XP.XPreservesNullTermination(*x),
 "prv": lambda x: XP.XPreservesValidity(*x),
 "rb": lambda x: XP.XRevBuffer(*x),
 "rep": lambda x: XP.XRepositioned(*x),

Example #4

 '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),
 'no': lambda x: XP.XNoOverlap(*x),
 'nn': lambda x: XP.XNotNull(*x),
 'nng': lambda x: XP.XNonNegative(*x),
 'nz': lambda x: XP.XNotZero(*x),
 'null': lambda x: XP.XNull(*x),
 'nt': lambda x: XP.XNullTerminated(*x),
 'ofs': lambda x: XP.XOutputFormatString(*x),
 'pr': lambda x: XP.XPreservesMemory(*x),
 'pv': lambda x: XP.XPreservesValue(*x),
 'prm': lambda x: XP.XPreservesAllMemory(*x),
 'prmx': lambda x: XP.XPreservesAllMemoryX(*x),
 'prn': lambda x: XP.XPreservesNullTermination(*x),
 'prv': lambda x: XP.XPreservesValidity(*x),
 'rb': lambda x: XP.XRevBuffer(*x),
 'rep': lambda x: XP.XRepositioned(*x),