ASSERT-KTH/slumps

Issues

• Add MEWE here

  #80 opened 2 years ago by Jacarte
  0

• tools for WebAssembly

  #10 opened 5 years ago by monperrus
  62

• suggestions of benchmark programs for experimentation

  #26 opened 5 years ago by monperrus
  6

• papers related to WebAssembly / WASM

  #9 opened 5 years ago by monperrus
  38

• Fuzzing tool for WASM

  #48 opened 4 years ago by Jacarte
  20

• CI broken

  #75 opened 4 years ago by Jacarte
  2

• WAKOKO: coverage tool for WASM

  #54 opened 4 years ago by monperrus
  5

• companies using WebAssembly

  #33 opened 4 years ago by monperrus
  2

• systematic measurement of performance of the two SWAM interpreters

  #6 opened 4 years ago by monperrus
  0

• add `benchmark_programs/README.md` containing the list of fully integrated programs

  #23 opened 4 years ago by monperrus
  0

• integrate the RUST programs into the pipeline

  #24 opened 4 years ago by monperrus
  0

• Reddit WASM topics

  #38 opened 4 years ago by monperrus
  24

• Souper-CROW improvements

  #68 opened 4 years ago by Jacarte
  2

• add white box crypto into benchmark

  #27 opened 4 years ago by monperrus
  3

• SLUMPs superoptimization & randomization on muladd

  #46 opened 4 years ago by orestisfl
  3

• compare traces of generated wasm variants

  #31 opened 4 years ago by bbaudry
  6

• WASI Integration

  #45 opened 4 years ago by Jacarte
  1

• create readme file

  #8 opened 4 years ago by Jacarte
  1

• webassembly and cryptomining

  #17 opened 5 years ago by monperrus
  2

• Create SWAM middle ground documentation

  #49 opened 4 years ago by Jacarte
  0

• lua.c: Missing lprefix.h

  #37 opened 5 years ago by orestisfl
  0

• vulnerabilities experimentation

  #42 opened 5 years ago by Jacarte
  12

• find 3 reproducible attacks on WASM programs

  #7 opened 5 years ago by monperrus
  21

• implement the way back from Souper IR to WASM

  #5 opened 5 years ago by monperrus
  4

• CVEs in Webassembly

  #41 opened 5 years ago by bbaudry
  2

• run Souper of slumps-benchmarks

  #3 opened 5 years ago by monperrus
  1

• add_library cannot create target "souperCodegen" because another target with the same name already exists

  #40 opened 5 years ago by orestisfl
  2

• initial support for traces in Swam

  #2 opened 5 years ago by monperrus
  5

• run benchmarks in C for short paper

  #35 opened 5 years ago by jianguda
  0

• swam to souper IR

  #30 opened 5 years ago by bbaudry
  13

• Sync souper2llvm from latest souper

  #36 opened 5 years ago by jianguda
  3

• awesome webassembly

  #18 opened 5 years ago by monperrus
  4

• prepare benchmark programs for the llvm pipeline

  #32 opened 5 years ago by jianguda
  1

• Implement full pipeline

  #16 opened 5 years ago by Jacarte
  25

• Create gh page

  #11 opened 5 years ago by Jacarte
  0

• add WAST versions of the benchmark programs

  #25 opened 5 years ago by monperrus
  1

• Enable trace support for wasm-shell (binaryen)

  #28 opened 5 years ago by Jacarte
  1

• create an initial benchmark of 10 WASM programs

  #1 opened 5 years ago by monperrus
  12

• Compilation failing during conversion to .opt candidates using "wasm-opt" for SOUPER-BINARYEN Integration

  #22 opened 5 years ago by shrin18
  1

• identify in Souper how to keep intermediate non-optimal versions

  #4 opened 5 years ago by monperrus
  11

• Create Travis pipeline to verify and compile all WAST files to WASM

  #12 opened 5 years ago by shrin18
  3