The Shift of Theseus — Toy Bit Provenance Abstract Domain
4 points by asb
4 points by asb
This is nice! Looks like it would be fairly straightforward to recognise constant rotations with this infrastructure. (Tho it’s better if the language has builtin support for that kind of operation so the programmer doesn’t have to rely on shaky idiom recognition.)
Yep, rotations is easy. Basically anything where bits are transported somewhere (including masking them/setting them to 1) fits this approach nicely.