HNYuuu/SeeWasm issues and pull requests

#101 - terminal can't show anything after I run python3 ./test.py

Issue - State: closed - Opened by xubenji 9 months ago - 1 comment

#100 - invalid memory in query_cache()

Issue - State: open - Opened by harveyghq over 1 year ago

#99 - z3.z3types.Z3Exception: b'invalid extract application'

Issue - State: open - Opened by harveyghq over 1 year ago - 2 comments

#98 - incompatible with rustc 1.67.1

Issue - State: open - Opened by harveyghq over 1 year ago - 2 comments

#97 - improper simulation of "unreachable" instruction

Issue - State: closed - Opened by harveyghq over 1 year ago
Labels: bug

#96 - improper simulation of "return" instruction

Issue - State: closed - Opened by harveyghq over 1 year ago
Labels: bug

#95 - Fix 93 incorrect state num

Pull Request - State: closed - Opened by HNYuuu over 1 year ago

#94 - errors in test, please check the screen shot

Issue - State: closed - Opened by marapapman over 1 year ago - 1 comment
Labels: may reopen

#93 - the number of states is incorrect

Issue - State: closed - Opened by xxwlyl over 1 year ago - 1 comment
Labels: bug, URGENT

#92 - decode error?

Issue - State: open - Opened by xxwlyl over 1 year ago - 1 comment
Labels: enhancement, Hold

#91 - Fix 90 no explicit entry

Pull Request - State: closed - Opened by HNYuuu over 1 year ago

#90 - Entry Not Found in Some Wasm Files

Issue - State: closed - Opened by HKJL10201 over 1 year ago - 1 comment

#89 - link_dummy_blocks() error?

Issue - State: closed - Opened by xxwlyl over 1 year ago - 1 comment

#88 - Support parsing DWARF for scanf in C (emcc/clang)

Pull Request - State: closed - Opened by harveyghq almost 2 years ago

#87 - Rust support

Pull Request - State: closed - Opened by HNYuuu almost 2 years ago

#86 - Add script to compile and demangle wasm for Rust

Pull Request - State: closed - Opened by harveyghq almost 2 years ago - 2 comments

#85 - Fix 84 call indirect

Pull Request - State: closed - Opened by HNYuuu almost 2 years ago

#84 - I found a memory explosion in the middle of symbolic execution.

Issue - State: closed - Opened by abc767234318 almost 2 years ago - 4 comments
Labels: bug

#83 - A bug occurs when a symbolic pointer is encountered.

Issue - State: closed - Opened by abc767234318 almost 2 years ago - 1 comment
Labels: bug

#82 - Fail to analyze a counting arguments program in Rust

Issue - State: closed - Opened by harveyghq almost 2 years ago - 2 comments
Labels: bug

#81 - Memory errors in stdin in Rust

Issue - State: closed - Opened by harveyghq almost 2 years ago - 2 comments

#80 - z3 cache

Issue - State: closed - Opened by HNYuuu about 2 years ago - 2 comments
Labels: enhancement

#79 - Enable multi proc

Issue - State: open - Opened by HNYuuu about 2 years ago
Labels: enhancement

#78 - Feat 77 file sys

Pull Request - State: closed - Opened by HNYuuu about 2 years ago

#77 - Reconstruct file system

Issue - State: closed - Opened by HNYuuu about 2 years ago - 3 comments
Labels: enhancement

#76 - Keep the edge behind `call` within a funciton

Issue - State: closed - Opened by HNYuuu about 2 years ago - 1 comment
Labels: enhancement, wontfix

#75 - remove unrelated functions

Pull Request - State: closed - Opened by HNYuuu about 2 years ago

#74 - Trimming the graph before generating ICFG

Issue - State: closed - Opened by HNYuuu about 2 years ago - 2 comments
Labels: enhancement

#73 - Feat 72 visualize

Pull Request - State: closed - Opened by HNYuuu about 2 years ago

#72 - Visualize the ICFG on basic block level

Issue - State: closed - Opened by HNYuuu about 2 years ago - 1 comment
Labels: enhancement

#71 - Feat 70 refine cfg

Pull Request - State: closed - Opened by HNYuuu over 2 years ago
Labels: enhancement

#70 - Refine CFG

Issue - State: closed - Opened by HNYuuu over 2 years ago - 2 comments
Labels: enhancement, URGENT

#69 - Feat 45 lsp output

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#68 - Routine PR

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#67 - `strstr` function does not perform well

Issue - State: open - Opened by HNYuuu over 2 years ago - 2 comments
Labels: bug, help wanted, Hold

#66 - Fix 65 decode concrete

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#65 - Concrete input decode CFG error

Issue - State: closed - Opened by HNYuuu over 2 years ago - 2 comments
Labels: bug, URGENT

#64 - Feat 63 decouple some variables

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#63 - Decouple `func_index2func_name`

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: enhancement

#62 - Emulate some WASI functions

Pull Request - State: closed - Opened by HNYuuu over 2 years ago
Labels: bug

#61 - Enable symbolic input for stdin and args

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#60 - Emulate `fd_read` and `fd_write` WASI functions

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#59 - Add Fabric chaincode samples

Issue - State: open - Opened by ChenhuaYang over 2 years ago - 1 comment
Labels: enhancement, help wanted

#58 - Remove string related funcs emul

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#57 - AssertionError in test.py sample stack_bo_l1.wasm and stack_bo_l2.wasm

Issue - State: closed - Opened by 99hansling over 2 years ago - 2 comments
Labels: bug, enhancement, may reopen

#57 - AssertionError in test.py sample stack_bo_l1.wasm and stack_bo_l2.wasm

Issue - State: closed - Opened by 99hansling over 2 years ago - 2 comments
Labels: bug, enhancement, may reopen

#56 - AssertionError in test.py sample heap_bo_l1.wasm

Issue - State: closed - Opened by 99hansling over 2 years ago - 1 comment
Labels: bug, enhancement, may reopen

#56 - AssertionError in test.py sample heap_bo_l1.wasm

Issue - State: closed - Opened by 99hansling over 2 years ago - 1 comment
Labels: bug, enhancement, may reopen

#56 - AssertionError in test.py sample heap_bo_l1.wasm

Issue - State: closed - Opened by 99hansling over 2 years ago - 1 comment
Labels: bug, enhancement, may reopen

#55 - Provide the newest description and tutorial for AES

Issue - State: closed - Opened by ChenhuaYang over 2 years ago - 1 comment

#55 - Provide the newest description and tutorial for AES

Issue - State: closed - Opened by ChenhuaYang over 2 years ago - 1 comment

#55 - Provide the newest description and tutorial for AES

Issue - State: closed - Opened by ChenhuaYang over 2 years ago - 1 comment

#54 - Update README

Issue - State: closed - Opened by ChenhuaYang over 2 years ago - 1 comment

#53 - Improve the performance

Pull Request - State: closed - Opened by HNYuuu over 2 years ago - 1 comment

#52 - Resolve issue 46 and 49

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#51 - Fix the bug in issue 46 more elegantly

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#50 - Resolve issue 46 and 49

Pull Request - State: closed - Opened by HNYuuu over 2 years ago
Labels: bug, enhancement

#49 - Better support for function index and name

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: enhancement

#49 - Better support for function index and name

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: enhancement

#49 - Better support for function index and name

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: enhancement

#48 - Fix issue 46

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#48 - Fix issue 46

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#47 - update wasm-samples ref

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#46 - Cannot find function main and malloc

Issue - State: closed - Opened by PisonJay over 2 years ago - 2 comments
Labels: bug

#46 - Cannot find function main and malloc

Issue - State: closed - Opened by PisonJay over 2 years ago - 2 comments
Labels: bug

#45 - Support lsp output format

Issue - State: closed - Opened by ChenhuaYang over 2 years ago - 1 comment
Labels: enhancement, may reopen

#45 - Support lsp output format

Issue - State: closed - Opened by ChenhuaYang over 2 years ago - 1 comment
Labels: enhancement, may reopen

#45 - Support lsp output format

Issue - State: closed - Opened by ChenhuaYang over 2 years ago - 1 comment
Labels: enhancement, may reopen

#41 - Refine graph

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#41 - Refine graph

Pull Request - State: closed - Opened by HNYuuu over 2 years ago

#40 - Extract functions for debugging

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: enhancement, help wanted

#40 - Extract functions for debugging

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: enhancement, help wanted

#40 - Extract functions for debugging

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: enhancement, help wanted

#39 - DFS-traversal algorithm revision

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: bug, help wanted

#39 - DFS-traversal algorithm revision

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: bug, help wanted

#39 - DFS-traversal algorithm revision

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: bug, help wanted

#38 - Some refactored statements need recheck

Issue - State: closed - Opened by HNYuuu over 2 years ago - 2 comments
Labels: enhancement, help wanted, may reopen

#38 - Some refactored statements need recheck

Issue - State: closed - Opened by HNYuuu over 2 years ago - 2 comments
Labels: enhancement, help wanted, may reopen

#38 - Some refactored statements need recheck

Issue - State: closed - Opened by HNYuuu over 2 years ago - 2 comments
Labels: enhancement, help wanted, may reopen

#37 - Recheck interval generation

Issue - State: closed - Opened by HNYuuu over 2 years ago - 2 comments
Labels: help wanted

#36 - Code Refactoring -- project code structure

Issue - State: closed - Opened by AlfredThiel over 2 years ago - 1 comment
Labels: enhancement

#36 - Code Refactoring -- project code structure

Issue - State: closed - Opened by AlfredThiel over 2 years ago - 1 comment
Labels: enhancement

#35 - Code Refactoring -- data structures

Issue - State: closed - Opened by AlfredThiel over 2 years ago - 2 comments
Labels: enhancement, may reopen

#35 - Code Refactoring -- data structures

Issue - State: closed - Opened by AlfredThiel over 2 years ago - 2 comments
Labels: enhancement, may reopen

#35 - Code Refactoring -- data structures

Issue - State: closed - Opened by AlfredThiel over 2 years ago - 2 comments
Labels: enhancement, may reopen

#34 - call_indirect emulation error

Issue - State: closed - Opened by HNYuuu over 2 years ago
Labels: bug, URGENT

#34 - call_indirect emulation error

Issue - State: closed - Opened by HNYuuu over 2 years ago
Labels: bug, URGENT

#34 - call_indirect emulation error

Issue - State: closed - Opened by HNYuuu over 2 years ago
Labels: bug, URGENT

#33 - br_table instruction emulation error

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: bug, URGENT

#33 - br_table instruction emulation error

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: bug, URGENT

#33 - br_table instruction emulation error

Issue - State: closed - Opened by HNYuuu over 2 years ago - 1 comment
Labels: bug, URGENT

#32 - Improve the readability

Issue - State: closed - Opened by ChenhuaYang over 2 years ago - 3 comments

#32 - Improve the readability

Issue - State: closed - Opened by ChenhuaYang over 2 years ago - 3 comments

#32 - Improve the readability

Issue - State: closed - Opened by ChenhuaYang over 2 years ago - 3 comments

#31 - Model panic functions from tinygo. Merge WASI related functions and more commits

Pull Request - State: closed - Opened by am009 over 2 years ago

#30 - Model panic functions from tinygo. Merge WASI related functions and more commits

Pull Request - State: closed - Opened by am009 over 2 years ago

#29 - Support detection of golang divzero and integer overflow.

Pull Request - State: closed - Opened by am009 over 2 years ago

#29 - Support detection of golang divzero and integer overflow.

Pull Request - State: closed - Opened by am009 over 2 years ago

#29 - Support detection of golang divzero and integer overflow.

Pull Request - State: closed - Opened by am009 over 2 years ago

#28 - ValueError: invalid literal for int() with base 10: 'None'

Issue - State: closed - Opened by ChenhuaYang over 2 years ago - 1 comment

GitHub / HNYuuu/SeeWasm issues and pull requests