Exemplo n.º 1
0
 def f(index, key):
     return PO.CPOInitializedRange(self, index, p.tags, args)
Exemplo n.º 2
0
 'cr': lambda x: PO.CPOControlledResource(*x),
 'cssl': lambda x: PO.CPOSignedToSignedCastLB(*x),
 'cssu': lambda x: PO.CPOSignedToSignedCastUB(*x),
 'csul': lambda x: PO.CPOSignedToUnsignedCastLB(*x),
 'csuu': lambda x: PO.CPOSignedToUnsignedCastUB(*x),
 'cus': lambda x: PO.CPOUnsignedToSignedCast(*x),
 'cuu': lambda x: PO.CPOUnsignedToUnsignedCast(*x),
 'dr': lambda x: PO.CPODistinctRegion(*x),
 'fc': lambda x: PO.CPOFormatCast(*x),
 'ft': lambda x: PO.CPOFormatString(*x),
 'ga': lambda x: PO.CPOGlobalAddress(*x),
 'ha': lambda x: PO.CPOHeapAddress(*x),
 'i': lambda x: PO.CPOInitialized(*x),
 'ilb': lambda x: PO.CPOIndexLowerBound(*x),
 'io': lambda x: PO.CPOIntOverflow(*x),
 'ir': lambda x: PO.CPOInitializedRange(*x),
 'is': lambda x: PO.CPOInScope(*x),
 'iu': lambda x: PO.CPOIntUnderflow(*x),
 'iub': lambda x: PO.CPOIndexUpperBound(*x),
 'lb': lambda x: PO.CPOLowerBound(*x),
 "nm": lambda x: PO.CPONewMemory(*x),
 'nn': lambda x: PO.CPONotNull(*x),
 'nneg': lambda x: PO.CPONonNegative(*x),
 'no': lambda x: PO.CPONoOverlap(*x),
 'nt': lambda x: PO.CPONullTerminated(*x),
 'null': lambda x: PO.CPONull(*x),
 'pc': lambda x: PO.CPOPointerCast(*x),
 'plb': lambda x: PO.CPOPtrLowerBound(*x),
 'pre': lambda x: PO.CPOPredicate(*x),
 'prm': lambda x: PO.CPOPreservedAllMemory(*x),
 'pub': lambda x: PO.CPOPtrUpperBound(*x),