[Snyk] Upgrade solidity-coverage from 0.7.22 to 0.8.3 #1

BitcoinOutput · 2023-07-15T04:15:34Z

This PR was automatically created by Snyk using the credentials of a real user.

Snyk has created this PR to upgrade solidity-coverage from 0.7.22 to 0.8.3.

ℹ️ Keep your dependencies up-to-date. This makes it easier to fix existing vulnerabilities and to more quickly identify and fix newly disclosed vulnerabilities when they affect your project.

The recommended version is 8 versions ahead of your current version.
The recommended version was released 22 days ago, on 2023-06-22.

The recommended version fixes:

Issue	PriorityScore (*)	Exploit Maturity
Open Redirect SNYK-JS-GOT-2932019	484/1000 Why? Has a fix available, CVSS 5.4	No Known Exploit
Regular Expression Denial of Service (ReDoS) SNYK-JS-WS-1296835	484/1000 Why? Has a fix available, CVSS 5.4	Proof of Concept
Insecure Credential Storage SNYK-JS-WEB3-174533	484/1000 Why? Has a fix available, CVSS 5.4	No Known Exploit
Insecure Credential Storage SNYK-JS-WEB3-174533	484/1000 Why? Has a fix available, CVSS 5.4	No Known Exploit

(*) Note that the real score may have changed since the PR was raised.

Release notes

Package name: solidity-coverage

0.8.3 - 2023-06-22
0.8.2 - 2022-09-08
What's Changed
- Set web3-utils dep to ^1.3.6 by @ MarkuSchick in #744
New Contributors
- @ MarkuSchick made their first contribution in #744
Full Changelog: v0.8.1...v0.8.2
0.8.1 - 2022-09-06
What's Changed
- Bug fix: restore missing web3-utils dependency by @ cgewecke in #743
Full Changelog: v0.8.0...v0.8.1
0.8.0 - 2022-09-05
Hi!

⚠️ This version requires Hardhat >= 2.11.0 (Ethereum Merge)

New Features

A central focus of the 0.8.0 release is improving the coverage tool's branch detection.

Beginning with this version the following syntax is measured as a branch:

OR conditions

When a logical expression is composed with the || operator, both sides can be considered branches. To test the entire expression
```
if (a == 1 || a == 2)
```
... a must equal 1, 2 and neither of those values. (Thanks to Gnosis engineer @ rmeissner for proposing this in #175)

Ternary Conditionals

Long ago, when Solidity was 0.4, solidity-coverage treated ternary conditionals like regular if/else statements. Some language improvements v0.5 subsequently made this impossible. Now it's back...

Modifier Invocations

Solidity-coverage already covers the code within modifier definitions. However, each modifier invocation at the function level should really be considered its own branch. Some of the most critical logic in Solidity contracts is handled this way (ex: onlyOwner). Testing the pass/fail cases for each occurrence of these gates protects you from accidentally removing them during a refactor.

Because it's possible to write a modifier which performs a preparatory task and never reverts, there's a new option (modifierWhitelist) which allows you to exclude specific modifiers from branch measurement.

And if you don't like modifier invocation coverage you can turn it off by setting the option measureModifierCoverage to false.

(Many thanks to OpenZeppelin engineer @ nventuro for proposing this improvement in #286 and helping to design it.)

Test Matrix

The hardhat and truffle plugins support a new cli flag: --matrix. (Short for "test matrix".)

This flag generates a JSON object that maps which tests in your suite hit which lines of code. (An example can be seen at docs/matrix.md. More info can be found in the advanced docs, here.)

This data is useful for many advanced testing applications - Security researcher @ JoranHonig has written two that are worth checking out.
- vertigo: a mutation testing framework
- tarantula: a fault localization tool
Coverage is often a core component of fuzzing and generative test strategies because it helps narrow the range of inputs required to traverse every path in the code. If you're working on applications like this and have ideas for how solidity-coverage might serve your ends, please feel free to open an issue.

Note to Truffle users

solidity-coverage for Truffle is moving to its own repository and published under a different name (details soon...).
0.8.0-rc.test.0 - 2022-04-26
0.8.0-rc.1 - 2022-03-29
0.8.0-beta.1 - 2022-03-29
0.8.0-beta.0 - 2021-01-13
Hi!

This beta contains several new features. A central focus of the next major release is improving the coverage tool's branch detection.

Beginning with this version the following syntax is measured as a branch:

OR conditions

When a logical expression is composed with the || operator, both sides can be considered branches. To test the entire expression
```
if (a == 1 || a == 2)
```
... a must equal 1, 2 and neither of those values. (Thanks to Gnosis engineer @ rmeissner for proposing this in #175)

Ternary Conditionals

Long ago, when Solidity was 0.4, solidity-coverage treated ternary conditionals like regular if/else statements. Some language improvements v0.5 subsequently made this impossible. Now it's back...

Modifier Invocations

Solidity-coverage already covers the code within modifier definitions. However, each modifier invocation at the function level should really be considered its own branch. Some of the most critical logic in Solidity contracts is handled this way (ex: onlyOwner and nonReentrant). Testing the pass/fail cases for each occurrence of these gates protects you from accidentally removing them during a refactor or emergency patch.

Because it's possible to write a modifier which performs a preparatory task and never reverts, there's a new option (modifierWhitelist) which allows you to exclude specific modifiers from branch measurement.

And if you don't like modifier invocation coverage you can turn it off by setting the option measureModifierCoverage to false.

(Many thanks to OpenZeppelin engineer @ nventuro for proposing this improvement in #286 and helping to design it.)

Test Matrix

The hardhat and truffle plugins support a new cli flag: --matrix. (Short for "test matrix".)

This flag generates a JSON object that maps which tests in your suite hit which lines of code. (An example can be seen at docs/matrix.md. More info can be found in the advanced docs, here.)

This data is useful for many advanced testing applications - Consensys security researcher @ JoranHonig has written two that are worth checking out.
- vertigo: a mutation testing framework
- tarantula: a fault localization tool
Coverage is often a core component of fuzzing and generative test strategies because it helps narrow the range of inputs required to traverse every path in the code. If you're working on applications like this and have ideas for how solidity-coverage might serve your ends, please feel free to open an issue.

What's Coming!

We're hoping to get a major release out by the beginning of February (2021). It will include two additional features you can run in CI to get better feedback about what's changing in your code from PR to PR.
- A unified diff of the public API changes in your contracts
- Natspec documentation coverage
0.7.22 - 2022-09-05