Skip to content
Test Detectors

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

Sign in to view logs

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

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

Triggered via pull request July 28, 2024 16:13
@jgcrostajgcrosta
synchronize #277
276-integer-overflow-or-underflow-detector
Status Cancelled
Total duration 2m 34s
Artifacts 2

test-detectors.yml

on: pull_request
Validate
7s
Validate
Matrix: Build
Prepare Detector Matrix
3s
Prepare Detector Matrix
Matrix: Test detector
Comment on PR
5s
Comment on PR
Fit to window
Zoom out
Zoom in

Annotations

74 errors
Test detector (macos-13, divide-before-multiply)
The run was canceled by @jgcrosta.
Test detector (macos-13, incorrect-exponentiation)
The run was canceled by @jgcrosta.
Test detector (macos-13, iterators-over-indexing)
The run was canceled by @jgcrosta.
Test detector (macos-13, soroban-version)
The run was canceled by @jgcrosta.
Test detector (macos-13, dos-unexpected-revert-with-vector)
The run was canceled by @jgcrosta.
Test detector (macos-13, integer-overflow-or-underflow)
The run was canceled by @jgcrosta.
Test detector (macos-13, overflow-check)
The run was canceled by @jgcrosta.
Test detector (macos-13, set-contract-storage)
The run was canceled by @jgcrosta.
Test detector (macos-13, unsafe-expect)
The run was canceled by @jgcrosta.
Test detector (macos-13, unsafe-map-get)
The run was canceled by @jgcrosta.
Test detector (macos-13, insufficiently-random-values)
The run was canceled by @jgcrosta.
Test detector (macos-13, unprotected-update-current-contract-wasm)
The run was canceled by @jgcrosta.
Test detector (macos-13, vec-could-be-mapping)
The run was canceled by @jgcrosta.
Test detector (macos-13, zero-address)
The run was canceled by @jgcrosta.
Test detector (macos-13, unsafe-unwrap)
The run was canceled by @jgcrosta.
Test detector (macos-13, unprotected-mapping-operation)
The run was canceled by @jgcrosta.
Test detector (macos-13, unrestricted-transfer-from)
The run was canceled by @jgcrosta.
Test detector (macos-13, unused-return-enum)
The run was canceled by @jgcrosta.
Test detector (macos-13, assert-violation)
The run was canceled by @jgcrosta.
Test detector (macos-13, assert-violation)
The operation was canceled.
Test detector (macos-13, avoid-unsafe-block)
The run was canceled by @jgcrosta.
Test detector (macos-13, avoid-unsafe-block)
The operation was canceled.
Test detector (ubuntu-latest, set-contract-storage)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, set-contract-storage)
The operation was canceled.
Test detector (ubuntu-latest, dos-unexpected-revert-with-vector)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, dos-unexpected-revert-with-vector)
The operation was canceled.
Test detector (ubuntu-latest, insufficiently-random-values)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, insufficiently-random-values)
The operation was canceled.
Test detector (ubuntu-latest, avoid-panic-error)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, avoid-panic-error)
The operation was canceled.
Test detector (ubuntu-latest, integer-overflow-or-underflow)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, integer-overflow-or-underflow)
The operation was canceled.
Test detector (ubuntu-latest, divide-before-multiply)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, divide-before-multiply)
The operation was canceled.
Test detector (ubuntu-latest, unsafe-expect)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, unsafe-expect)
The operation was canceled.
Test detector (ubuntu-latest, dos-unbounded-operation)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, dos-unbounded-operation)
The operation was canceled.
Test detector (ubuntu-latest, assert-violation)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, assert-violation)
The operation was canceled.
Test detector (ubuntu-latest, unprotected-update-current-contract-wasm)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, unprotected-update-current-contract-wasm)
The operation was canceled.
Test detector (ubuntu-latest, avoid-core-mem-forget)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, avoid-core-mem-forget)
The operation was canceled.
Test detector (ubuntu-latest, unsafe-map-get)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, unsafe-map-get)
The operation was canceled.
Test detector (ubuntu-latest, unprotected-mapping-operation)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, unprotected-mapping-operation)
The operation was canceled.
Test detector (ubuntu-latest, zero-address)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, zero-address)
The operation was canceled.
Test detector (ubuntu-latest, overflow-check)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, overflow-check)
The operation was canceled.
Test detector (ubuntu-latest, unsafe-unwrap)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, unsafe-unwrap)
The operation was canceled.
Test detector (ubuntu-latest, incorrect-exponentiation)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, incorrect-exponentiation)
The operation was canceled.
Test detector (ubuntu-latest, unused-return-enum)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, unused-return-enum)
The operation was canceled.
Test detector (ubuntu-latest, avoid-unsafe-block)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, avoid-unsafe-block)
The operation was canceled.
Test detector (ubuntu-latest, iterators-over-indexing)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, iterators-over-indexing)
The operation was canceled.
Test detector (ubuntu-latest, unrestricted-transfer-from)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, unrestricted-transfer-from)
The operation was canceled.
Test detector (ubuntu-latest, soroban-version)
The run was canceled by @jgcrosta.
Test detector (macos-13, dos-unbounded-operation)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, soroban-version)
The operation was canceled.
Test detector (macos-13, dos-unbounded-operation)
The operation was canceled.
Test detector (macos-13, avoid-core-mem-forget)
The run was canceled by @jgcrosta.
Test detector (macos-13, avoid-core-mem-forget)
The operation was canceled.
Test detector (ubuntu-latest, vec-could-be-mapping)
The run was canceled by @jgcrosta.
Test detector (ubuntu-latest, vec-could-be-mapping)
The operation was canceled.
Test detector (macos-13, avoid-panic-error)
The run was canceled by @jgcrosta.
Test detector (macos-13, avoid-panic-error)
The operation was canceled.

Artifacts

Produced during runtime
Name Size
build-status-macos-13 Expired
162 Bytes
build-status-ubuntu-latest Expired
172 Bytes