crytic / tealer

Static Analyzer for Teal
GNU Affero General Public License v3.0
61 stars 14 forks source link

Fix parsing of itxn_field instruction containing array fields #126

Closed S3v3ru5 closed 1 year ago

S3v3ru5 commented 1 year ago

While parsing itxn_field, Tealer assumed that array transaction fields would contain the array index as the immediate argument: itxn_field Applications 1. However, itxn_field does not take the index for the array type fields: itxn_field Applications is correct. This PR fixes this issue.