diff options
| author | 2019 <r3tr0spect2019@qq.com> | 2022-09-17 11:35:30 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-17 11:35:30 -0700 |
| commit | 4f88c5f08b1239f972d51cdae1ed2f36386c76b3 (patch) | |
| tree | e1264db0c0db5eaf81acffc0cd221f056ad062a2 /src/interp | |
| parent | dd44ca91986d8de2425cfb4d8e31a23c5d9e873f (diff) | |
| download | wabt-4f88c5f08b1239f972d51cdae1ed2f36386c76b3.tar.gz wabt-4f88c5f08b1239f972d51cdae1ed2f36386c76b3.tar.bz2 wabt-4f88c5f08b1239f972d51cdae1ed2f36386c76b3.zip | |
Fix several issues found by fuzzing (#1931)
Fixes #1922, fixes #1924, fixes #1929
Co-authored-by: Keith Winstein <keithw@cs.stanford.edu>
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/binary-reader-interp.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/interp/binary-reader-interp.cc b/src/interp/binary-reader-interp.cc index e1696ce2..05296220 100644 --- a/src/interp/binary-reader-interp.cc +++ b/src/interp/binary-reader-interp.cc @@ -1139,6 +1139,9 @@ Result BinaryReaderInterp::OnCallIndirectExpr(Index sig_index, } Result BinaryReaderInterp::OnReturnCallExpr(Index func_index) { + CHECK_RESULT( + validator_.OnReturnCall(GetLocation(), Var(func_index, GetLocation()))); + FuncType& func_type = func_types_[func_index]; Index drop_count, keep_count, catch_drop_count; @@ -1169,6 +1172,10 @@ Result BinaryReaderInterp::OnReturnCallExpr(Index func_index) { Result BinaryReaderInterp::OnReturnCallIndirectExpr(Index sig_index, Index table_index) { + CHECK_RESULT(validator_.OnReturnCallIndirect( + GetLocation(), Var(sig_index, GetLocation()), + Var(table_index, GetLocation()))); + FuncType& func_type = module_.func_types[sig_index]; Index drop_count, keep_count, catch_drop_count; |