issues
search
ASSERT-KTH
/
slumps
Cool code analysis research for WebAssembly
https://kth.github.io/slumps/
65
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
swam to souper IR
#30
bbaudry
opened
4 years ago
13
Feature/gh page
#29
Jacarte
closed
4 years ago
0
Enable trace support for wasm-shell (binaryen)
#28
Jacarte
opened
4 years ago
1
add white box crypto into benchmark
#27
monperrus
closed
4 years ago
3
suggestions of benchmark programs for experimentation
#26
monperrus
opened
4 years ago
6
add WAST versions of the benchmark programs
#25
monperrus
closed
4 years ago
1
integrate the RUST programs into the pipeline
#24
monperrus
closed
4 years ago
0
add `benchmark_programs/README.md` containing the list of fully integrated programs
#23
monperrus
closed
4 years ago
0
Compilation failing during conversion to .opt candidates using "wasm-opt" for SOUPER-BINARYEN Integration
#22
shrin18
closed
4 years ago
1
improve souper2llvm
#21
jianguda
closed
4 years ago
0
Sync
#20
jianguda
closed
5 years ago
0
prepare pipeline
#19
jianguda
closed
5 years ago
0
awesome webassembly
#18
monperrus
closed
4 years ago
4
webassembly and cryptomining
#17
monperrus
opened
5 years ago
2
Implement full pipeline
#16
Jacarte
closed
4 years ago
25
keep Souper's intermediate non-optimal versions
#15
jianguda
closed
5 years ago
0
Compare and verify
#14
Jacarte
closed
5 years ago
2
from Souper IR to WASM
#13
jianguda
closed
5 years ago
0
Create Travis pipeline to verify and compile all WAST files to WASM
#12
shrin18
closed
5 years ago
3
Create gh page
#11
Jacarte
closed
4 years ago
0
tools for WebAssembly
#10
monperrus
opened
5 years ago
62
papers related to WebAssembly / WASM
#9
monperrus
opened
5 years ago
38
create readme file
#8
Jacarte
closed
4 years ago
1
find 3 reproducible attacks on WASM programs
#7
monperrus
closed
4 years ago
21
systematic measurement of performance of the two SWAM interpreters
#6
monperrus
closed
4 years ago
0
implement the way back from Souper IR to WASM
#5
monperrus
closed
5 years ago
4
identify in Souper how to keep intermediate non-optimal versions
#4
monperrus
closed
5 years ago
11
run Souper of slumps-benchmarks
#3
monperrus
closed
4 years ago
1
initial support for traces in Swam
#2
monperrus
closed
4 years ago
5
create an initial benchmark of 10 WASM programs
#1
monperrus
closed
4 years ago
12
Previous