Skip to content
Test Detectors

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Validate
6s
Build (ubuntu-latest)
12s
Build (macos-13)
35s
Prepare Detector Matrix
3s
Test detector (ubuntu-latest, avoid-panic-error)
3m 25s
Test detector (ubuntu-latest, iterators-over-indexing)
3m 20s
Test detector (ubuntu-latest, assert-violation)
3m 8s
Test detector (ubuntu-latest, unsafe-expect)
3m 39s
Test detector (ubuntu-latest, unused-return-enum)
3m 16s
Test detector (ubuntu-latest, dos-unbounded-operation)
3m 33s
Test detector (ubuntu-latest, incorrect-exponentiation)
3m 14s
Test detector (ubuntu-latest, unsafe-unwrap)
3m 40s
Test detector (ubuntu-latest, avoid-unsafe-block)
3m 23s
Test detector (ubuntu-latest, zero-address)
5m 16s
Test detector (ubuntu-latest, divide-before-multiply)
3m 21s
Test detector (ubuntu-latest, unrestricted-transfer-from)
3m 15s
Test detector (ubuntu-latest, avoid-core-mem-forget)
3m 10s
Test detector (ubuntu-latest, integer-overflow-or-underflow)
3m 50s
Test detector (ubuntu-latest, overflow-check)
4m 35s
Test detector (ubuntu-latest, unsafe-map-get)
3m 21s
Test detector (ubuntu-latest, dos-unexpected-revert-with-vector)
3m 17s
Test detector (ubuntu-latest, soroban-version)
3m 6s
Test detector (ubuntu-latest, set-contract-storage)
3m 33s
Test detector (ubuntu-latest, unprotected-update-current-contract-wasm)
3m 14s
Test detector (ubuntu-latest, insufficiently-random-values)
3m 14s
Test detector (ubuntu-latest, vec-could-be-mapping)
5m 9s
Test detector (ubuntu-latest, unprotected-mapping-operation)
3m 15s
Test detector (macos-13, avoid-panic-error)
5m 47s
Test detector (macos-13, iterators-over-indexing)
5m 9s
Test detector (macos-13, assert-violation)
6m 41s
Test detector (macos-13, unsafe-expect)
5m 41s
Test detector (macos-13, unused-return-enum)
5m 27s
Test detector (macos-13, dos-unbounded-operation)
6m 59s
Test detector (macos-13, incorrect-exponentiation)
5m 4s
Test detector (macos-13, unsafe-unwrap)
6m 2s
Test detector (macos-13, avoid-unsafe-block)
5m 2s
Test detector (macos-13, zero-address)
8m 12s
Test detector (macos-13, divide-before-multiply)
5m 14s
Test detector (macos-13, unrestricted-transfer-from)
4m 49s
Test detector (macos-13, avoid-core-mem-forget)
5m 35s
Test detector (macos-13, integer-overflow-or-underflow)
6m 40s
Test detector (macos-13, overflow-check)
7m 23s
Test detector (macos-13, unsafe-map-get)
4m 57s
Test detector (macos-13, dos-unexpected-revert-with-vector)
6m 34s
Test detector (macos-13, soroban-version)
4m 59s
Test detector (macos-13, set-contract-storage)
5m 48s
Test detector (macos-13, unprotected-update-current-contract-wasm)
5m 1s
Test detector (macos-13, insufficiently-random-values)
5m 22s
Test detector (macos-13, vec-could-be-mapping)
12m 59s
Test detector (macos-13, unprotected-mapping-operation)
7m 0s
Comment on PR
3s
3h 45m 38s