Slither Analysis

feat(MSFDG): add getStepData2 and findAncestorWithTraceIndex2 for preimages required in contact #207

Sign in to view logs

Triggered via pull request November 9, 2024 07:55

dajuguan

opened #88

po/oracle_proof

Status Success

Total duration 2m 23s

Artifacts –

slither.yml

on: pull_request

slither-analyze