Skip to content

Commit 24c4892

Browse files
committed
test: add compiled artifact and snapshot for merkle detector
Adds the required test files: - Compiled zip artifact for merkle_singly_hashed_leaf.sol - Snapshot file with expected detector output (5 findings)
1 parent a408f54 commit 24c4892

File tree

2 files changed

+15
-0
lines changed

2 files changed

+15
-0
lines changed
Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
MerkleProof.verifyCalldata() is called with only single hashing on the leaf in MerkleNFTAllowlist.mintAllowlist(bytes32[],uint256) (tests/e2e/detectors/test_data/merkle-singly-hashed-leaf/0.8.20/merkle_singly_hashed_leaf.sol#136-142)
2+
- require(bool,string)(MerkleProof.verifyCalldata(proof,merkleRoot,leaf),Not in allowlist) (tests/e2e/detectors/test_data/merkle-singly-hashed-leaf/0.8.20/merkle_singly_hashed_leaf.sol#141)
3+
4+
MerkleProof.processProof() is called with only single hashing on the leaf in MerkleAirdrop.claimSingleHashProcess(bytes32[],address,uint256) (tests/e2e/detectors/test_data/merkle-singly-hashed-leaf/0.8.20/merkle_singly_hashed_leaf.sol#85-93)
5+
- computedRoot = MerkleProof.processProof(proof,leaf) (tests/e2e/detectors/test_data/merkle-singly-hashed-leaf/0.8.20/merkle_singly_hashed_leaf.sol#91)
6+
7+
MerkleProof.verifyCalldata() is called with only single hashing on the leaf in MerkleAirdrop.claimSingleHashCalldata(bytes32[],address,uint256) (tests/e2e/detectors/test_data/merkle-singly-hashed-leaf/0.8.20/merkle_singly_hashed_leaf.sol#75-82)
8+
- require(bool,string)(MerkleProof.verifyCalldata(proof,merkleRoot,leaf),Invalid proof) (tests/e2e/detectors/test_data/merkle-singly-hashed-leaf/0.8.20/merkle_singly_hashed_leaf.sol#81)
9+
10+
MerkleProof.verify() is called without any hashing on the leaf in MerkleAirdrop.claimNoHash(bytes32[],bytes32) (tests/e2e/detectors/test_data/merkle-singly-hashed-leaf/0.8.20/merkle_singly_hashed_leaf.sol#57-62)
11+
- require(bool,string)(MerkleProof.verify(proof,merkleRoot,leaf),Invalid proof) (tests/e2e/detectors/test_data/merkle-singly-hashed-leaf/0.8.20/merkle_singly_hashed_leaf.sol#61)
12+
13+
MerkleProof.verify() is called with only single hashing on the leaf in MerkleAirdrop.claimSingleHash(bytes32[],address,uint256) (tests/e2e/detectors/test_data/merkle-singly-hashed-leaf/0.8.20/merkle_singly_hashed_leaf.sol#65-72)
14+
- require(bool,string)(MerkleProof.verify(proof,merkleRoot,leaf),Invalid proof) (tests/e2e/detectors/test_data/merkle-singly-hashed-leaf/0.8.20/merkle_singly_hashed_leaf.sol#71)
15+

0 commit comments

Comments
 (0)