search

seahorn / crab

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

feat(fixed_tvpi): implement partially binary operation with variable operands #49

Closed LinerSu closed 2 years ago

LinerSu commented 2 years ago

A rewrite rule for binary operation x = y * z if y or z's value is constant.