Skip to content
Test Detectors

Add integer-underflow-or-underflow detector and test-cases #346

Sign in to view logs

Add integer-underflow-or-underflow detector and test-cases

Add integer-underflow-or-underflow detector and test-cases #346

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Validate
6s
Build (ubuntu-latest)
37s
Build (macos-13)
1m 13s
Prepare Detector Matrix
3s
Test detector (ubuntu-latest, avoid-panic-error)
3m 9s
Test detector (ubuntu-latest, iterators-over-indexing)
3m 23s
Test detector (ubuntu-latest, assert-violation)
3m 9s
Test detector (ubuntu-latest, unsafe-expect)
3m 47s
Test detector (ubuntu-latest, unused-return-enum)
3m 36s
Test detector (ubuntu-latest, dos-unbounded-operation)
3m 24s
Test detector (ubuntu-latest, incorrect-exponentiation)
3m 12s
Test detector (ubuntu-latest, unsafe-unwrap)
3m 39s
Test detector (ubuntu-latest, avoid-unsafe-block)
3m 13s
Test detector (ubuntu-latest, zero-address)
5m 36s
Test detector (ubuntu-latest, divide-before-multiply)
3m 26s
Test detector (ubuntu-latest, unrestricted-transfer-from)
3m 22s
Test detector (ubuntu-latest, avoid-core-mem-forget)
3m 9s
Test detector (ubuntu-latest, integer-overflow-or-underflow)
3m 59s
Test detector (ubuntu-latest, overflow-check)
4m 39s
Test detector (ubuntu-latest, unsafe-map-get)
3m 11s
Test detector (ubuntu-latest, dos-unexpected-revert-with-vector)
3m 25s
Test detector (ubuntu-latest, soroban-version)
3m 6s
Test detector (ubuntu-latest, set-contract-storage)
3m 44s
Test detector (ubuntu-latest, unprotected-update-current-contract-wasm)
3m 31s
Test detector (ubuntu-latest, insufficiently-random-values)
3m 28s
Test detector (ubuntu-latest, vec-could-be-mapping)
5m 18s
Test detector (ubuntu-latest, unprotected-mapping-operation)
3m 29s
Test detector (macos-13, avoid-panic-error)
5m 7s
Test detector (macos-13, iterators-over-indexing)
5m 24s
Test detector (macos-13, assert-violation)
5m 21s
Test detector (macos-13, unsafe-expect)
8m 21s
Test detector (macos-13, unused-return-enum)
4m 50s
Test detector (macos-13, dos-unbounded-operation)
5m 41s
Test detector (macos-13, incorrect-exponentiation)
4m 48s
Test detector (macos-13, unsafe-unwrap)
5m 43s
Test detector (macos-13, avoid-unsafe-block)
5m 8s
Test detector (macos-13, zero-address)
8m 13s
Test detector (macos-13, divide-before-multiply)
5m 33s
Test detector (macos-13, unrestricted-transfer-from)
4m 51s
Test detector (macos-13, avoid-core-mem-forget)
5m 4s
Test detector (macos-13, integer-overflow-or-underflow)
6m 32s
Test detector (macos-13, overflow-check)
8m 5s
Test detector (macos-13, unsafe-map-get)
4m 51s
Test detector (macos-13, dos-unexpected-revert-with-vector)
5m 9s
Test detector (macos-13, soroban-version)
5m 11s
Test detector (macos-13, set-contract-storage)
5m 21s
Test detector (macos-13, unprotected-update-current-contract-wasm)
6m 24s
Test detector (macos-13, insufficiently-random-values)
4m 51s
Test detector (macos-13, vec-could-be-mapping)
7m 47s
Test detector (macos-13, unprotected-mapping-operation)
4m 53s
Comment on PR
7s
3h 39m 9s