def f(index, key): return PO.CPOUnsignedToUnsignedCast(self, index, p.tags, args)
def f(index, key): return PO.CPONotZero(self, index, p.tags, args)
def f(index, key): return PO.CPOCommonBase(self, index, p.tags, args)
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE # SOFTWARE. # ------------------------------------------------------------------------------ import xml.etree.ElementTree as ET import chc.util.fileutil as UF import chc.util.IndexedTable as IT import chc.proof.CPOPredicate as PO po_predicate_constructors = { 'ab': lambda x: PO.CPOAllocationBase(*x), 'b': lambda x: PO.CPOBuffer(*x), 'c': lambda x: PO.CPOCast(*x), 'cb': lambda x: PO.CPOCommonBase(*x), 'cbt': lambda x: PO.CPOCommonBaseType(*x), 'cls': lambda x: PO.CPOCanLeaveScope(*x), '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),
def f(index, key): return PO.CPOWidthOverflow(self, index, p.tags, args)
def f(index, key): return PO.CPOPtrUpperBoundDeref(self, index, p.tags, args)
def f(index, key): return PO.CPOAllocationBase(self, index, p.tags, args)
def f(index, key): return PO.CPONullTerminated(self, index, p.tags, args)
def f(index, key): return PO.CPOCanLeaveScope(self, index, p.tags, args)
def f(index, key): return PO.CPOStackAddressEscape(self, index, p.tags, args)
def f(index, key): return PO.CPOInScope(self, index, p.tags, args)
def f(index, key): return PO.CPOValidMem(self, index, p.tags, args)
def f(index, key): return PO.CPONull(self, index, p.tags, args)
def f(index, key): return PO.CPONonNegative(self, index, p.tags, args)
def f(index, key): return PO.CPOTypeAtOffset(self, index, p.tags, args)
def f(index, key): return PO.CPONoOverlap(self, index, p.tags, args)
def f(index, key): return PO.CPOIndexUpperBound(self, index, p.tags, args)
def f(index, key): return PO.CPOIntUnderflow(self, index, p.tags, args)
def f(index, key): return PO.CPOInitializedRange(self, index, p.tags, args)
def f(index, key): return PO.CPOPtrLowerBound(self, index, p.tags, args)
def f(index, key): return PO.CPOPointerCast(self, index, p.tags, args)
def f(index, key): return PO.CPOValueConstraint(self, index, p.tags, args)
def f(index, key): return PO.CPOSignedToSignedCastUB(self, index, p.tags, args)
def f(index, key): return PO.CPORevBuffer(self, index, p.tags, args)
# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE # SOFTWARE. # ------------------------------------------------------------------------------ import xml.etree.ElementTree as ET import chc.util.fileutil as UF import chc.util.IndexedTable as IT import chc.proof.CPOPredicate as PO po_predicate_constructors = { "ab": lambda x: PO.CPOAllocationBase(*x), "b": lambda x: PO.CPOBuffer(*x), "c": lambda x: PO.CPOCast(*x), "cb": lambda x: PO.CPOCommonBase(*x), "cbt": lambda x: PO.CPOCommonBaseType(*x), "cls": lambda x: PO.CPOCanLeaveScope(*x), "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),