CEI pattern analysis doesn't consider mint and burn #6153
Labels
audit-report
Related to the audit report
bug
Something isn't working
compiler: frontend
Everything to do with type checking, control flow analysis, and everything between parsing and IRgen
compiler: static-analysis
P: critical
Should be looked at before anything else
The cei-pattern-analysis doesn't consider mint / burn as "effects" even though they are part of the contract state.
The text was updated successfully, but these errors were encountered: