shouc

Race condition can make MaxCreationLimit useless

7

## Description Users could potentially create more repos than specified in MaxCreationLimit as NumRepos field is not updated in a race-condition-safe cavalier (i.e. row is not locked). Such logic error...

^

[远程] FuzzLand诚聘安全工具研发工程师 (40k - 60k RMB)

1

## 公司/团队介绍 FuzzLand 是一家专注于开发区块链安全与监测解决方案的初创公司，获得了一线区块链基金投资，团队由资深安全专家与Stanford/UCB博士生组成。 ## 薪资福利待遇 * 有竞争力的底薪 (40k - 60k/月) + 每周奖金 + 股权 + 币权 * 提供 4K 显示器，Mac Studio 等设备 * 免费的午餐和晚餐 * 远程工作 ## 地点 -...

Compiler crashes when compiling on nightly

1

Crash on nightly-2023-04-23 ``` error: internal compiler error: compiler/rustc_mir_transform/src/inline.rs:208:17: Closure arguments are not passed as a tuple thread 'rustc' panicked at 'Box', /rustc/7f94b314cead7059a71a265a8b64905ef2511796/compiler/rustc_errors/src/lib.rs:1643:9 stack backtrace: 0: 0x7f1e2ba65f33 - std::backtrace_rs::backtrace::libunwind::trace::h527d8d64d53ade2d at...

- [x] Need a forking mechanism like EVM chains - [ ] Support flashloan + liquidation of tokens on Cetus - [ ] Support flashloan + liquidation of tokens on...

```solidity // SPDX-License-Identifier: UNLICENSED pragma solidity ^0.8.13; import {Test, console2} from "forge-std/Test.sol"; import {XXX} from "../src/XXX.sol"; contract Inv1 is Test { XXX usdc; function setUp() public { vm.startPrank(address(0x1)); //

We use an old version of revm and need to upgrade it

https://github.com/SunWeb3Sec/DeFiHackLabs/blob/main/src/test/Nmbplatform_exp.sol As we now directly calculate profit instead of using Uniswap `swap` to liquidate assets, ItyFuzz can no longer find this type of bug since selling of token is no...

Currently, mutators randomly select values from storage slot to replace input values. We shall prioritize using slots recently read/written.