haskell-wasm

haskell-wasm copied to clipboard

Supporting more recent wasm spec versions

7

Hi! I am enjoying experimenting with `haskell-wasm`, so thanks for your hard work! 👍 Going by things such as the lexemes used, e.g. `get_global` vs. `global.get` and the commit history,...

TD5

Eval doesn't check number of input arguments

1

Hi! I found a issue in the implementation of `eval/invoke` in `Language.Wasm.Interpreter`. Right now, invocation arguments are only type-matched pairwise using [`zipWith checkValType`](https://github.com/SPY/haskell-wasm/blob/d36342d626c22e38189bb3bf966ea52274bd622e/src/Language/Wasm/Interpreter.hs#L555). This silently drops any non-matched argument when...

agustinmista

False positive validation with invalid memory access

1

Hi @SPY, I found a randomly generated a module that passes validation despite having an invalid memory alignment: ``` ghci> m = Module {types = [FuncType {params = [], results...

agustinmista

Allowed out-of-bounds memory access

1

Hi @SPY! I think I found another bug where it is possible to store values on out-of-bounds memory addresses: ``` ghci> m Module {types = [FuncType {params = [I32,F32], results...

agustinmista

In the binary format the debug information (API names) is present in custom section. Currently that data is not being parsed, but it would be nice to have that data...

dfordivam

Unable to parse `elem` segment

1

When parsing valid `wast` files, the parser currently is unable to parse wast files containing this variant of the elem segment string: ``` (elem (;0;) (i32.const 1) func 0) ```...

Abhiroop

chrbauer