issues
search
PKU-ASAL
/
SeeWasm
A native symbolic execution engine for WebAssembly
40
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
concolic execution
#104
1874834431
closed
2 months ago
0
Update README.md
#103
harveyghq
closed
4 months ago
1
Fix 'return' and 'unreachable' testcase failure
#102
harveyghq
closed
4 months ago
0
terminal can't show anything after I run python3 ./test.py
#101
xubenji
closed
10 months ago
1
invalid memory in query_cache()
#100
harveyghq
opened
1 year ago
0
z3.z3types.Z3Exception: b'invalid extract application'
#99
harveyghq
opened
1 year ago
2
incompatible with rustc 1.67.1
#98
harveyghq
closed
4 months ago
3
improper simulation of "unreachable" instruction
#97
harveyghq
closed
1 year ago
0
improper simulation of "return" instruction
#96
harveyghq
closed
1 year ago
0
Fix 93 incorrect state num
#95
HNYuuu
closed
1 year ago
0
errors in test, please check the screen shot
#94
marapapman
closed
1 year ago
1
the number of states is incorrect
#93
xxwlyl
closed
1 year ago
1
decode error?
#92
xxwlyl
closed
4 months ago
2
Fix 90 no explicit entry
#91
HNYuuu
closed
1 year ago
0
Entry Not Found in Some Wasm Files
#90
HKJL10201
closed
1 year ago
1
link_dummy_blocks() error?
#89
xxwlyl
closed
1 year ago
1
Support parsing DWARF for scanf in C (emcc/clang)
#88
harveyghq
closed
1 year ago
0
Rust support
#87
HNYuuu
closed
1 year ago
0
Add script to compile and demangle wasm for Rust
#86
harveyghq
closed
1 year ago
2
Fix 84 call indirect
#85
HNYuuu
closed
1 year ago
0
I found a memory explosion in the middle of symbolic execution.
#84
abc767234318
closed
1 year ago
4
A bug occurs when a symbolic pointer is encountered.
#83
abc767234318
closed
2 years ago
1
Fail to analyze a counting arguments program in Rust
#82
harveyghq
closed
2 years ago
2
Memory errors in stdin in Rust
#81
harveyghq
closed
2 years ago
2
z3 cache
#80
HNYuuu
closed
2 years ago
2
Enable multi proc
#79
HNYuuu
opened
2 years ago
0
Feat 77 file sys
#78
HNYuuu
closed
2 years ago
0
Reconstruct file system
#77
HNYuuu
closed
2 years ago
3
Keep the edge behind `call` within a funciton
#76
HNYuuu
closed
2 years ago
1
remove unrelated functions
#75
HNYuuu
closed
2 years ago
0
Trimming the graph before generating ICFG
#74
HNYuuu
closed
2 years ago
2
Feat 72 visualize
#73
HNYuuu
closed
2 years ago
0
Visualize the ICFG on basic block level
#72
HNYuuu
closed
2 years ago
1
Feat 70 refine cfg
#71
HNYuuu
closed
2 years ago
0
Refine CFG
#70
HNYuuu
closed
2 years ago
2
Feat 45 lsp output
#69
HNYuuu
closed
2 years ago
0
Routine PR
#68
HNYuuu
closed
2 years ago
0
`strstr` function does not perform well
#67
HNYuuu
opened
2 years ago
2
Fix 65 decode concrete
#66
HNYuuu
closed
2 years ago
0
Concrete input decode CFG error
#65
HNYuuu
closed
2 years ago
2
Feat 63 decouple some variables
#64
HNYuuu
closed
2 years ago
0
Decouple `func_index2func_name`
#63
HNYuuu
closed
2 years ago
1
Emulate some WASI functions
#62
HNYuuu
closed
2 years ago
0
Enable symbolic input for stdin and args
#61
HNYuuu
closed
2 years ago
0
Emulate `fd_read` and `fd_write` WASI functions
#60
HNYuuu
closed
2 years ago
0
Add Fabric chaincode samples
#59
ChenhuaYang
opened
2 years ago
1
Remove string related funcs emul
#58
HNYuuu
closed
2 years ago
0
AssertionError in test.py sample stack_bo_l1.wasm and stack_bo_l2.wasm
#57
99hansling
closed
2 years ago
2
AssertionError in test.py sample heap_bo_l1.wasm
#56
99hansling
closed
2 years ago
1
Provide the newest description and tutorial for AES
#55
ChenhuaYang
closed
2 years ago
1
Next