Search results

Detect alterations/mutations of storage values during iteration which is undefined behaviour

Status: Open.

#6 In davidsemakula/pallet-verifier;

· davidsemakula opened on Feb 5, 2025

GitHub action for running <code>pallet-verifier</code> as part of CI/CD pipeline

Status: Open.

#5 In davidsemakula/pallet-verifier;

· davidsemakula opened on Jan 20, 2025

Provide counter examples for unsatisfied preconditions and invariants

Status: Open.

#4 In davidsemakula/pallet-verifier;

· davidsemakula opened on Jan 20, 2025

Detect unbounded iteration

Status: Open.

#3 In davidsemakula/pallet-verifier;

· davidsemakula opened on Jan 20, 2025

Detect lack of basic unsigned transaction validation

Status: Open.

#2 In davidsemakula/pallet-verifier;

· davidsemakula opened on Jan 20, 2025

Detect insufficient or missing origin checks before sensitive operations

Status: Open.

#1 In davidsemakula/pallet-verifier;

· davidsemakula opened on Jan 20, 2025