Unsupported
Recursive Function Calls
Track the expected behavior of function calls, even if they are recursive.
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
TBDExample Use Cases
- Some protocols allow for callbacks which could result in recursive function calls
- This would prevent false positives