search

seahorn / crab

A library for building abstract interpretation-based analyses
Apache License 2.0
233 stars 32 forks source link

feat(fixed-tvpi): improve binary op with var const #50

Closed LinerSu closed 2 years ago

LinerSu commented 2 years ago

Rewrite rule for binary operation x = y * n or x = y / n if n is a constant 1.