system/serenity
system/serenity
1
0
Fork 0
mirror of https://github.com/SerenityOS/serenity synced 2024-07-03 10:53:37 +00:00
Code Issues Projects Releases Wiki Activity

LibWasm: Validate that function and code sections match

Browse Source 
(cherry picked from commit cda0d6d27746672058b26b0e61d0900dc73b1fb3)
This commit is contained in:
Diego 2024-06-10 16:10:28 -07:00 committed by Ali Mohammad Pur
parent 985c4c590d
commit 15effbaf2a
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
Userland/Libraries/LibWasm/Parser/Parser.cpp
View File

@ -1483,12 +1483,17 @@ bool Module::populate_sections()
{
auto is_ok = true;
FunctionSection const* function_section { nullptr };
bool seen_code_section = false;
for_each_section_of_type<FunctionSection>([&](FunctionSection const& section) { function_section = &section; });
for_each_section_of_type<CodeSection>([&](CodeSection const& section) {
if (!function_section) {
if (!function_section && section.functions().is_empty()) {
return;
}
if (!function_section || function_section->types().size() != section.functions().size()) {
is_ok = false;
return;
}
seen_code_section = true;
size_t index = 0;
for (auto& entry : section.functions()) {
if (function_section->types().size() <= index) {
@ -1505,6 +1510,8 @@ bool Module::populate_sections()
++index;
}
});
if (!seen_code_section && function_section && !function_section->types().is_empty())
return false;
return is_ok;
}