properties
properties copied to clipboard
crytic
Pre-built security properties for common Ethereum operations
### Describe the issue: CryticERC721ExternalBurnableProperties contains 5 tests while CryticERC721BurnableProperties contains 6 tests. This means that the list of 19 property tests for ERC721 is actually only 18 property tests...
In the [`IERC721Internal`](https://github.com/crytic/properties/blob/main/contracts/ERC721/util/IERC721Internal.sol) interface you define the following function `usedId`: ```solidity function usedId(uint256 tokenId) external view returns (bool); ``` I'm having a hard time to understand what is the reason...
### Describe the desired feature or improvement I would consider it as a big value-add, if you could add the common property assertions for any [EIP-1155](https://eips.ethereum.org/EIPS/eip-1155)-based contracts.
### Describe the issue: The `PropertiesConstants` contracts contain some hardcoded parameters that are related to Echidna's default setup, such as `USER1`, `USER2`, and `USER3`. The issue is that it also...
Ex: maybe making a lib version? See https://twitter.com/agfviggiano/status/1732328333105418326
### Describe the desired feature or improvement add invariants like https://twitter.com/CertoraInc/status/1727791536933323201
### Describe the issue: ### The state There's a set of functions in `contracts/util/PropertiesHelper.sol` named `clamp...` for making numbers fit in a fixed range by performing modulo. For example using...
https://github.com/abdk-consulting/abdk-libraries-solidity/releases/tag/v3.2
Initial draft of UniswapV2 basic properties. **Providing liquidity** - always increases K - always increases LP token supply - always increases user LP token supply - never impacts token prices...
