scribble

This patch release includes a fix for:

• #272 Scribble should emit try/require annotations before all other when instrumenting

Note: The jump in patch version numbers is due to me messing up the release process briefly :(. Just one of those days.

This release brings a fix for:

• #269

This patch fixes:

• #267 Instrumenting a library with fixed bytes keys causes an error

This patch release brings:

• a small ERC1155 macro
• bug fix for #257

This release brings:

• support for Solidity 0.8.22
• fixes broken support for unicode characters. As a result, source maps are now correct for files with multi-byte unicode characters
• bumps NodeJS support to version 20 (LTS)

This release includes a single fix:

• Remove callsite invariant annotations in view functions, since they change the mutability of the function and sometimes cause test failures. Those checks are a little overkill, since in a view context any external calls will be side-effect tree, and can thus be thought of similarly to an internal call (with a bit of extra external info)

This patch release brings a single fix for an edge case of call-site interposing where we introduce a function argument in a call-site wrapper that may refer to a contract that is not in scope. For those cases we need to add some extra imports in the instrumented code.

This release brings a fix for:

#244

This release brings fixes for:

• https://github.com/Consensys/scribble/issues/241
• crash in type-checking when interposing on state variables with using-for declarations

This release introduces hardhat user assertion mode (#235) and fixes bug, causing invalid code when processing edge-case sources with immutable state variables (#237).

This release brings:

• support for multiple expressions in #try annotations
• support for Solidity 0.8.20
• A new eq_bytes operator that allows checking structural equality between complex Solidity data types
• multiple bug fixes

This patch relase contains a single fix for:

• #219 Scribble instrumentation check is too late

This release brings a single fix for:

• #216 https://github.com/ConsenSys/scribble/issues/216

This release brings just one fix for:

• #214 Scribble breaks on contracts with functions returning pointers

This release brings:

• Support for Solidity version 0.6.19
• A fix for a bug affecting macro instantiation

This release brings fixes for:

• https://github.com/ConsenSys/scribble/issues/202
• https://github.com/ConsenSys/scribble/issues/168
• https://github.com/ConsenSys/scribble/issues/207

With this release we remove the need for a separate scribble_utils.sol file, which removes the need to add imports (thus addressing #207 on windows). We also remove the need to change the inheritance hierarchy, and add a bit of assembly to keep track of the in-contract flag, thus removing the issues caused by our instrumentation breaking the proxy pattern enforced by OZ (#202 ). Finally we now include the instrumented location of each issue in the event message that is emitted (#168)

This release bumps solc-typed-ast to version 12.0.0 and contains minor cleanup.

This release bumps solc-typed-ast to version 11.0.2 to avoid a breakage in one of our dependencies (axios)

This release brings:

• Bump solc-typed-ast to 10.3.0
• Fix for #195 Crash: SyntaxError during parsing of scribble file

The release brings fixes for the following bugs:

#171 __scribble__ReentrancyUtils.sol compiler error.
#191 Instrumented try...catch fails compilation step with Mythril
#188 Scribble doesnt work for instrumenting libraries
#181 Properly support UserDefinedTypes to Scribble functions
#176 Annotation is skipped in specific case