diff options
| author | bloodstalker <thabogre@gmail.com> | 2018-10-05 15:07:02 +0000 |
|---|---|---|
| committer | bloodstalker <thabogre@gmail.com> | 2018-10-05 15:07:02 +0000 |
| commit | d8ce92a439838c1f85698b5e5cce8fb7d25ccb7f (patch) | |
| tree | be9101e16b2fe4f70f35087f35230bf3feba33d2 /resources/wasm.xml | |
| parent | update (diff) | |
| download | faultreiber-d8ce92a439838c1f85698b5e5cce8fb7d25ccb7f.tar.gz faultreiber-d8ce92a439838c1f85698b5e5cce8fb7d25ccb7f.zip | |
now supports size-bound reads
Diffstat (limited to 'resources/wasm.xml')
| -rw-r--r-- | resources/wasm.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/resources/wasm.xml b/resources/wasm.xml index dfae936..8b31481 100644 --- a/resources/wasm.xml +++ b/resources/wasm.xml @@ -105,10 +105,10 @@ <Resizable_Limit name="resizable_limit_t" isaggregate="true"> <Flags name="flags" encoding="leb128u" type="uint8" count="1"></Flags> <Initial name="initial" encoding="leb128u" type="uint32" count="1"></Initial> - <Maximum name="maximum" encoding="leb128u" type="uint32" count="1"></Maximum> + <Maximum name="maximum" encoding="leb128u" type="uint32" count="self::Flags"></Maximum> </Resizable_Limit> <Global_Type name="global_type_t" isaggregate="true"> - <Value_Type name="value_type" type="uint32" count="1"></Value_Type> + <Value_Type name="value_type" type="uint8" count="1"></Value_Type> <Mutability name="mutability" encoding="leb128u" type="uint8" count="1"></Mutability> </Global_Type> <Table_Type name="table_type_t" isaggregate="true"> @@ -156,13 +156,13 @@ </Element_Segment> <Local_Entry name="W_Local_Entry" isaggregate="true"> <Count name="count" encoding="leb128u" type="uint32" count="1"/> - <Type name="type" encoding="leb128u" type="uint16" count="self::Count"/> + <Type name="type" encoding="leb128u" type="uint16" count="1"/> </Local_Entry> <Function_Body name="W_Function_Body" isaggregate="true"> <Body_size name="body_size" encoding="leb128u" type="uint32" count="1"/> - <Local_Count name="local_count" encoding="leb128u" type="uint32" count="1"/> + <Local_Count name="local_count" encoding="leb128u" type="uint32" count="1" sizeconst="begin"/> <Local_Entries name="locals" type="self::Local_Entry" count="self::Local_Count"/> - <Code name="code" type="uchar" count="self::Body_size"/> + <Code name="code" type="uchar" count="self::Body_size" sizeconst="end"/> </Function_Body> <Data_Segment name="W_Data_Segment" isaggregate="true"> <Index name="index" encoding="leb128u" type="uint32" count="1"/> |