Add detector for msg.value usage unreachable from payable entry points
#3249
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
coverage-data-48e64bf5-d445-4e11-9c05-9c3954dc0941
|
32.5 KB |
sha256:9b407aac421dc91a081865c86692958c455c4bfef6e4f60bf93fa2016dec650c
|
|
|
coverage-data-ac225cda-c1fd-4e19-a9ec-b6b5b8311e99
|
27.6 KB |
sha256:8edc71162e4e49a8caea161fe4f8da4520774f8e88edc6b06adf44438d70a8bb
|
|
|
coverage-data-f3ef22be-53fa-4d69-8898-1f2e11afe461
|
32 KB |
sha256:eb8530f1641b745d0b9dc518aad86d754c41a0a3dec90acf061af3610948ada5
|
|