Sabaun Taraki

Optimize performance of the runtime-fuzzer

2

̶-̶ ̶[̶ ̶]̶ ̶W̶h̶e̶n̶ ̶f̶u̶z̶z̶e̶r̶ ̶r̶e̶c̶e̶i̶v̶e̶s̶ ̶p̶r̶o̶g̶r̶a̶m̶s̶,̶ ̶w̶h̶i̶c̶h̶ ̶h̶a̶v̶e̶ ̶r̶e̶c̶u̶r̶s̶i̶v̶e̶ ̶c̶a̶l̶l̶s̶ ̶o̶r̶ ̶b̶u̶s̶y̶ ̶l̶o̶o̶p̶s̶ ̶(̶w̶h̶i̶c̶h̶ ̶c̶o̶n̶s̶u̶m̶e̶ ̶a̶l̶l̶ ̶t̶h̶e̶ ̶g̶a̶s̶)̶ ̶i̶t̶ ̶w̶o̶r̶k̶s̶ ̶r̶e̶a̶l̶l̶y̶ ̶s̶l̶o̶w̶ ̶a̶l̶t̶h̶o̶u̶g̶h̶ ̶w̶h̶i̶l̶e̶ ̶b̶u̶i̶l̶d̶i̶n̶g̶ ̶t̶h̶e̶ ̶f̶u̶z̶z̶ ̶t̶a̶r̶g̶e̶t̶ ̶t̶h̶e̶...

### Problem to Solve Cover more runtime code areas that are related to message sending (in gas tree, in `Externalities` impl, in `pallet_gear::internal`) ### Possible Solution That task requires some...

### Problem to Solve `RuntimeStateView` and `RuntimeStateViewProducer` stores all mailbox messages by getting them after each block from events, but do not filter them before executing the next call whether...

### Problem to Solve Corpora can include only one failing program, but ten are generated. If we run `cargo fuzz tmin` to minimize test input, it will minimize not program,...

This #3391 uses `gr_gas_available` syscall to get info about current gas consumption to decide whether we should return from that recursion/loop block or not. However, `gr_gas_available` costs more than reading...

### Problem to Solve That's mostly about precise `wait-wake` calls after calls to some other sys-calls that trigger runtime changes (like message sends).

Apply real reservation ids to `unreserve_gas` calls from `runtime-fuzzer`

1

### Problem to Solve Pretty same as #3294 ### Possible Solution #3293

Apply real message ids to `reply_deposit` calls in `runtime-fuzzer`

1

### Problem to Solve None of `reply_deposit` calls was successful in accordance to the coverage report of the fuzzer. That's because the function always receive invalid message id. ### Possible...

Create pre-allocated resources in programs from `wasm-gen`

2

### Problem to Solve The idea originally belongs to @StackOverflowExcept1on. The suggestion is to create a bunch of handles (from `send_init`), reservation ids and define somehow message ids in `init`...