The main change of this PR is the introduction of the ArrayCopy relation to the memory modeling API:
/**
Statement or loop `loc` copies the value of array `from` to array `to`.
*/
.decl ArrayCopy(loc: StatementOrLoop, from: ArrayVariable, to: ArrayVariable)
In addition it includes improved support for calldata arrays, a few tests, and other small changes.
The main change of this PR is the introduction of the
ArrayCopy
relation to the memory modeling API:In addition it includes improved support for calldata arrays, a few tests, and other small changes.