Skip to content
Test Detectors

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

Sign in to view logs

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

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

Run time

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