Add support for transaction context of addr fields

crytic / tealer

Static Analyzer for Teal

GNU Affero General Public License v3.0

62 stars 14 forks source link

Add support for transaction context of addr fields #100

Closed S3v3ru5 closed 1 year ago

S3v3ru5 commented 2 years ago

AddrField class is a general class for finding constraints on address type fields. Currently collects and stores information for RekeyTo, CloseRemainderTo, AssetCloseTo fields