PKU-ASAL/SeeWasm

Issues

• terminal can't show anything after I run python3 ./test.py

  #101 opened a year ago
  1

• invalid memory in query_cache()

  #100 opened 2 years ago
  0

• z3.z3types.Z3Exception: b'invalid extract application'

  #99 opened 2 years ago
  2

• incompatible with rustc 1.67.1

  #98 opened 8 months ago
  3

• improper simulation of "unreachable" instruction

  #97 opened 2 years ago
  0

• improper simulation of "return" instruction

  #96 opened 2 years ago
  0

• errors in test, please check the screen shot

  #94 opened 2 years ago
  1

• the number of states is incorrect

  #93 opened 2 years ago
  1

• decode error?

  #92 opened 8 months ago
  2

• Entry Not Found in Some Wasm Files

  #90 opened 2 years ago
  1

• link_dummy_blocks() error?

  #89 opened 2 years ago
  1

• I found a memory explosion in the middle of symbolic execution.

  #84 opened 2 years ago
  4

• A bug occurs when a symbolic pointer is encountered.

  #83 opened 2 years ago
  1

• Fail to analyze a counting arguments program in Rust

  #82 opened 2 years ago
  2

• Memory errors in stdin in Rust

  #81 opened 2 years ago
  2

• z3 cache

  #80 opened 2 years ago
  2

• Enable multi proc

  #79 opened 3 years ago
  0

• Reconstruct file system

  #77 opened 3 years ago
  3

• Keep the edge behind `call` within a funciton

  #76 opened 2 years ago
  1

• Trimming the graph before generating ICFG

  #74 opened 3 years ago
  2

• Visualize the ICFG on basic block level

  #72 opened 3 years ago
  1

• Refine CFG

  #70 opened 3 years ago
  2

• `strstr` function does not perform well

  #67 opened 3 years ago
  2

• Concrete input decode CFG error

  #65 opened 3 years ago
  2

• Decouple `func_index2func_name`

  #63 opened 3 years ago
  1

• Add Fabric chaincode samples

  #59 opened 3 years ago
  1

• AssertionError in test.py sample stack_bo_l1.wasm and stack_bo_l2.wasm

  #57 opened 3 years ago
  2

• AssertionError in test.py sample heap_bo_l1.wasm

  #56 opened 3 years ago
  1

• Provide the newest description and tutorial for AES

  #55 opened 3 years ago
  1

• Update README

  #54 opened 3 years ago
  1

• Better support for function index and name

  #49 opened 3 years ago
  1

• Cannot find function main and malloc

  #46 opened 3 years ago
  2

• Support lsp output format

  #45 opened 3 years ago
  1

• Extract functions for debugging

  #40 opened 3 years ago
  1

• DFS-traversal algorithm revision

  #39 opened 3 years ago
  1

• Some refactored statements need recheck

  #38 opened 3 years ago
  2

• Recheck interval generation

  #37 opened 3 years ago
  2

• Code Refactoring -- project code structure

  #36 opened 3 years ago
  1

• Code Refactoring -- data structures

  #35 opened 3 years ago
  2

• call_indirect emulation error

  #34 opened 3 years ago
  0

• br_table instruction emulation error

  #33 opened 3 years ago
  1

• Improve the readability

  #32 opened 3 years ago
  3

• ValueError: invalid literal for int() with base 10: 'None'

  #28 opened 3 years ago
  1

• 运行报错

  #23 opened 3 years ago
  1

• emcc -O3 优化下 simple_rotate_array 图分析报错

  #22 opened 3 years ago
  1

• Limit the depth of recursive call

  #21 opened 3 years ago
  0

• Comment request

  #18 opened 3 years ago
  1

• PC 在遍历时未被正确更新

  #14 opened 3 years ago
  2

• edges 的排序引入了一定的 overhead

  #13 opened 3 years ago
  1

• 修改了 bbs_graph 数据结构，需要 update 某些函数行为

  #10 opened 3 years ago
  1