xeos
/
wasmi
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
115 Commits 15 Branches 16 Tags 5.4 MiB
Commit Graph

8 Commits

Author SHA1 Message Date
Sergey Pepyakin 84a16a42f9 Version of libfuzzer pinned 2018-04-18 10:46:47 +03:00
Sergey Pepyakin 6c40a5b0b6 Add fuzzing against spec interpreter. 2018-04-18 10:46:37 +03:00
Sergey Pepyakin d02b0f8527
Add plain load to fuzzer (#58) 2018-02-15 20:34:56 +03:00
Sergey Pepyakin 863f2247a3
Move spec testsuite into tests. (#56) 
Move all spec testsuite into `/tests` directory.

So it means that several changes will happen:

- Compilation will share common dependencies in target directory. This should make CI builds faster. This also should reduce space requirements.
- Common Cargo.lock file
- `cargo test` will include spec tests.
- `cargo check --tests` will also include spec tests.
 2018-02-14 18:03:39 +03:00
Sergey Pepyakin 93423d9393
Update wabt-rs version (#55) 2018-02-13 23:14:38 +03:00
Sergey Pepyakin 31a70aaa8d
Fuzz wasmparser (#47) 2018-02-09 22:41:02 +03:00
Sergey Pepyakin eda488233f Fix fuzz (#35) 
* Add checking for fuzz.

* Use wabt's validation instead of wasm2wat.

Fixes #16
Fixes #34

* Check fuzz with nightly.

* Install nightly toolchain

* Travis Driven Development #1

* Travis Driven Development #2
 2018-02-05 17:36:53 +03:00
Sergey Pepyakin d78677ef00 Fuzz loading/validation against wabt. 2018-01-24 21:32:46 +03:00