Safe Haskell | Safe-Infered |
---|

Arithmetic taint tracking.

Extension of Word32, that allows Unknown values to be used. Operations on known values are calculated as usual, while operations on unknowns are recorded in unsimplified form.

`>>>`

`let e = 1+5 `xor` U `lshift` 2`

`>>>`

X Xor (N 6) (X LShift U (N 2))`e`

`>>>`

"(6^(?<<2))"`pprint e`

`>>>`

N 195514`1+5 `xor` 0xBEEF `lshift` 2`

Intended for analysis of XSHA-1, so only supports the necessary primitives.