cbat-vsa

Value set analysis made in bap ecosystem
Description

A BAP plugin that implements VSA and uses circular linear progressions to abstract over sets of possible values.