This is similar to the call-frame-context use case, but it solves the limitation that recursive function calls are not supported.

​
Status

  • Supported
  • Partially Supported
  • Not Supported Yet

​
Implementation Details

​
Required Cheatcodes

​
Example Implementation

​
Implementation Notes

TBD

​
Example Use Cases

  • Some protocols allow for callbacks which could result in recursive function calls
  • This would prevent false positives

​
Known Limitations