Skip to content
formal verification

Reduce memory leakage from returndata in SafeERC20 #4359

Sign in to view logs

Reduce memory leakage from returndata in SafeERC20

Reduce memory leakage from returndata in SafeERC20 #4359

Triggered via pull request June 18, 2024 08:38
@AmxxAmxx
synchronize #5090
Amxx:security/return-bomb-protection
Status Success
Total duration 1m 51s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
6s
apply-diff
verify
0s
verify
halmos
57s
halmos
Fit to window
Zoom out
Zoom in