kdrag.contrib.absint.knownbit

Known Bits Abstract Domain

https://pypy.org/posts/2024/08/toy-knownbits.html https://arxiv.org/pdf/2105.05398 Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

Functions

`Concat`(a, b)
`KB`(W)
`Knowns`(x)
`Zeros`(x)
`test`()

Classes

KnownBits(W)

kdrag.contrib.absint.knownbit.Concat(a, b)

>>> a = KB1.const(1) # 1
>>> b = KB1.const(0) # 0
>>> Concat(a, b)
KnownBits_2(Concat(ones(const(1)), ones(const(0))),
        Concat(unknowns(const(1)), unknowns(const(0))))

kdrag.contrib.absint.knownbit.KB(W)

class kdrag.contrib.absint.knownbit.KnownBits(W): Bases: object

kdrag.contrib.absint.knownbit.Knowns(x)

kdrag.contrib.absint.knownbit.Zeros(x)

kdrag.contrib.absint.knownbit.test()

>>> True
True
>>> KB8 = KnownBits(8)
>>> KB1 = KnownBits(1)