tarantool / luajit / 15491957606

93%

Build Type

push

github

Committed by Buristan

Commit Message

Fix JIT slot overflow during up-recursion.

Reported by Sergey Kaplun.

(cherry picked from commit 048972dbf)

In the case when LuaJIT is recording the side trace after the
up-recursion call, there is no check that the updated `maxslot` value
doesn't overflow the `LJ_MAX_JSLOTS` limit. If it records several huge
returns in a row, the overflow of the aforementioned limit may occur.
This triggers an assertion failure in `rec_check_slots()`.

This patch fixes it by adding the corresponding check in the
`lj_record_ret()`.

Sergey Kaplun:
* added the description and the test for the problem

Resolves tarantool/security#145
Part of tarantool/tarantool#11278

Reviewed-by: Sergey Bronnikov <sergeyb@tarantool.org>
Signed-off-by: Sergey Kaplun <skaplun@tarantool.org>

Run Details

5703 of 6042 branches covered (94.39%)

Branch coverage included in aggregate %.

2 of 2 new or added lines in 1 file covered. (100.0%)

19 existing lines in 5 files now uncovered.

21750 of 23491 relevant lines covered (92.59%)

3831943.23 hits per line