issues
search
crytic
/
properties
Pre-built security properties for common Ethereum operations
GNU Affero General Public License v3.0
275
stars
42
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
chore: add SPDX license identifiers for files missing them
#59
0xteddybear
opened
1 month ago
1
[Bug-Candidate]: Difference in ERC721BurnableProperties for external vs. internal
#58
engn33r
opened
4 months ago
1
[Feature-request]: Add Properties for `ERC1155` Contracts
#57
pcaversaccio
opened
4 months ago
0
`usedId` purpose in `ERC721`
#56
pcaversaccio
opened
4 months ago
1
:hammer: fix typo in Hevm.sol
#55
GianfrancoBazzani
closed
5 months ago
0
Fix typo in `deal` Hevm cheatcode
#54
aviggiano
closed
5 months ago
0
Update hevm cheatcodes
#53
smonicas
closed
6 months ago
0
[Bug-Candidate]: `PropertiesConstants.INITIAL_BALANCE` is an arbitrary value unrelated to Echidna default setup
#52
aviggiano
opened
8 months ago
0
PropertiesHelper: Investigation solutions to not collude with forge-st/Test.sol's assertion
#51
montyly
opened
9 months ago
2
[Feature-request]: concentrated liquidity/ tick math properties
#50
0xalpharush
opened
9 months ago
0
[Bug-Candidate]: Rename "clamp" to avoid confusion
#49
CodeSandwich
opened
10 months ago
0
Fix TestERC20Token decimals type (uint256->uint8)
#48
aviggiano
closed
10 months ago
1
Add a writeup on the divuu vuln
#47
montyly
opened
10 months ago
0
Update ABDKMath64x64PropertyTests.sol
#46
aviggiano
closed
3 months ago
0
Fix documentation for pow_test_distributive
#45
aviggiano
closed
11 months ago
1
Create generic User to proxy arbitrary requests
#44
aviggiano
opened
1 year ago
0
[Feature-request]: Refactor contract names to match contract file names
#43
aviggiano
opened
1 year ago
0
[Feature-request]: foundry-compatible assertion helpers
#42
aviggiano
opened
1 year ago
0
ERC-20 transferFrom greater than allowance not allowed
#41
broccolirob
opened
1 year ago
0
Add helper to assert reverting transaction
#40
montyly
opened
1 year ago
1
Standardize the properties
#39
montyly
opened
1 year ago
0
Adding UniswapV2 properties
#38
tuturu-tech
opened
1 year ago
1
Update link to Empire Hacking Slack
#37
oldsj
closed
1 year ago
1
Initial medusa support for the CI
#36
ggrieco-tob
closed
3 months ago
0
Added ERC1155 properties
#35
the-caliber
opened
1 year ago
1
Added ERC1155 properties
#34
the-caliber
closed
1 year ago
2
Check for non-zero redeem on withdraw
#33
MaciejNadolski98
closed
1 year ago
1
[Feature-request]: MultiSig wallet properties
#32
tuturu-tech
opened
1 year ago
0
Replace inv_test_minimum value with the correct one
#31
tuturu-tech
closed
1 year ago
0
PRBMath SD59x18 and UD60x18 properties
#30
tuturu-tech
opened
1 year ago
5
Added a "how to add a property" section
#29
tuturu-tech
closed
1 year ago
0
Update readme and configs to be consistent with the latest echidna version
#28
tuturu-tech
closed
1 year ago
0
Add ERC721 examples to the CI
#27
tuturu-tech
closed
1 year ago
0
Fixed example tests for ERC721 and added minting of multiple tokens
#26
tuturu-tech
closed
1 year ago
0
[Feature-request]: NFT minting properties
#25
aviggiano
opened
1 year ago
2
[Feature-request]: Merkle trie properties
#24
bsamuels453
opened
1 year ago
2
[Feature-request]: Detect a wide variety of non-standard ERC20 tokens
#23
0xPhaze
closed
1 year ago
1
ERC721 properties
#22
tuturu-tech
closed
1 year ago
0
Run formatter and linter
#21
aviggiano
closed
1 year ago
1
Create helpers for non standard and edge case of erc20
#20
montyly
opened
1 year ago
1
Added a trophies page listing security vulnerabilities found using the properties
#19
tuturu-tech
closed
1 year ago
0
Add LogString to clampBetween functions
#18
aviggiano
closed
1 year ago
1
[Feature-request]: Add linter to CI
#17
aviggiano
closed
1 year ago
3
[Feature-request]: Emit `LogString` events on `PropertiesHelper.clampBetween`
#16
aviggiano
closed
1 year ago
0
Fix interface in external testing code example
#15
0xmichalis
closed
1 year ago
0
fix: #13 add_test_range & sub_test_range false negatives
#14
beber89
opened
1 year ago
4
[Bug-Candidate]: ABDKMath64x64PropertyTests.sol: Tests output false negatives
#13
beber89
opened
1 year ago
3
Add a trophies page
#12
montyly
closed
1 year ago
2
Link secure-contracts website
#11
smonicas
closed
1 year ago
0
Remove try/catch from verify_depositProperties
#10
aviggiano
closed
1 year ago
1
Next