Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.Attack.OutputsReordering

Contents

Outputs reordering params
Outputs reordering label
Outputs reordering attack

Description

This module exposes an attack consisting in reordering the outputs of a transaction, in an attempt to uncover vulnerabilities in smart contracts relying on the outputs order.

Synopsis

data OutputsReorderingParams
- = Swap Int Int
- | Move Int Int
- | Shuffle
- | ManualReordering (forall a. [a] -> [[a]])
data OutputsReorderingLabel = OutputsReorderingLabel
outputsReorderingAttack :: Members '[Tweak, NonDet] effs => OutputsReorderingParams -> Sem effs ()

Outputs reordering params

data OutputsReorderingParams Source #

Parameters of the outputs reordering attack

Constructors

Swap Int Int	Swaps two elements in the list
Move Int Int	Moves one element from a given index to a given index in the list
Shuffle	Shuffle the list (generate all permutations, except the identity)
ManualReordering (forall a. [a] -> [[a]])	Do whatever you want with the outputs, manually, including removing some of them, or fully changing the list.

Outputs reordering label

data OutputsReorderingLabel Source #

A label added to a TxSkel on which a tweak reordering some outputs has been applied.

Constructors

OutputsReorderingLabel

Instances

Instances details

Show OutputsReorderingLabel Source #
Instance details Defined in Cooked.Attack.OutputsReordering Methods showsPrec :: Int -> OutputsReorderingLabel -> ShowS # show :: OutputsReorderingLabel -> String # showList :: [OutputsReorderingLabel] -> ShowS #
PrettyCooked OutputsReorderingLabel Source #
Instance details Defined in Cooked.Attack.OutputsReordering Methods prettyCookedOpt :: PrettyCookedOpts -> OutputsReorderingLabel -> DocCooked Source # prettyCooked :: OutputsReorderingLabel -> DocCooked Source #
Eq OutputsReorderingLabel Source #
Instance details Defined in Cooked.Attack.OutputsReordering Methods (==) :: OutputsReorderingLabel -> OutputsReorderingLabel -> Bool # (/=) :: OutputsReorderingLabel -> OutputsReorderingLabel -> Bool #
Ord OutputsReorderingLabel Source #
Instance details Defined in Cooked.Attack.OutputsReordering Methods compare :: OutputsReorderingLabel -> OutputsReorderingLabel -> Ordering # (<) :: OutputsReorderingLabel -> OutputsReorderingLabel -> Bool # (<=) :: OutputsReorderingLabel -> OutputsReorderingLabel -> Bool # (>) :: OutputsReorderingLabel -> OutputsReorderingLabel -> Bool # (>=) :: OutputsReorderingLabel -> OutputsReorderingLabel -> Bool # max :: OutputsReorderingLabel -> OutputsReorderingLabel -> OutputsReorderingLabel # min :: OutputsReorderingLabel -> OutputsReorderingLabel -> OutputsReorderingLabel #

Outputs reordering attack

outputsReorderingAttack :: Members '[Tweak, NonDet] effs => OutputsReorderingParams -> Sem effs () Source #

Reorders the outputs following a given policy (parameters) to try and uncover vulnerabilities for smart contracts depending on the outputs order. This can also be used to uncover some cases of double satisfaction. This removes the permutations that turn out to be identical to the initial outputs list.