...合约单约测试属性、代码扁平化(避免无意义的嵌套)、ERC 代币是否规范。
- `slither-check-upgradeability`:[Review `delegatecall`-based upgradeability](https://github.com/crytic/slither/wiki/Upgradeability-Checks)
- `slither-prop`:[Automatic unit test and property gene...
账号A先在ERC721中对合约地址ApproveAll,然后账号A调用函数some(合约地址,某个nftID)
```
contract Town is IERC721Receiver,ERC165{
constructor(){}
function some(address nft,uint256 _tokenId) public {
IERC721(nft).transferFrom(msg.sender,address(this),...