Curvance Invariants Unleashed

Initially posted on Trail of Bits Blog: Curvance: Invariants Unleashed