crytic / tealer

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

Add support for TEALv6 opcodes #78

Open geo2a opened 2 years ago

geo2a commented 2 years ago

Is there a plan to work on adding support for the new TEALv6 opcodes?

I'm primarily interested to be able to generate control-flow graphs of TEALv6 programs with Tealer, hence I suggest adding:

I'm eager to work on this, but I wouldn't want to scoop other's effort, if somebody already planning to work on it.

dguido commented 2 years ago

Yes! Please, we'll even gladly compensate you for it. Email me dan@trailofbits.com when you want to start working on it (or after you're done). Keeping up with new language features is always a challenge and we appreciate the help.