hase-project/hase

Issues

• How about a closer collaboration?

  #90 opened 6 years ago by ltfish
  5

• SimZeroDivisionException: divide by zero!

  #48 opened 6 years ago by Mic92
  4

• WrTmp object has no attribute 'guard'

  #41 opened 6 years ago by Mic92
  15

• Exception: target of reg_concrete is symbolic!

  #54 opened 6 years ago by Mic92
  2

• w3m-27 trace misses valid sections (maybe library)

  #52 opened 6 years ago by Airtnp
  11

• Evaluation status

  #42 opened 6 years ago by Mic92
  5

• mprotect cannot handle symbolic addresses

  #38 opened 6 years ago by Mic92
  3

• sym_struct has no c_cls attribute

  #39 opened 6 years ago by Mic92
  2

• Unsupported operation: Iop_MAddF64

  #43 opened 6 years ago by Mic92
  4

• strstr passes None to solver.

  #40 opened 6 years ago by Mic92
  9

• coreutils-7.2-sort.tar.gz trace seems not complete

  #27 opened 6 years ago by Airtnp
  1

• Data constraints are not enabled due to rsp and rip mismatch

  #24 opened 6 years ago by Airtnp
  1

• Some traces are not correctly decoded

  #23 opened 6 years ago by Airtnp
  4

• Replay Evaluation

  #30 opened 6 years ago by Airtnp
  0

• Support partial trace

  #29 opened 6 years ago by Airtnp
  0

• Missing the last instruction

  #22 opened 6 years ago by Airtnp
  1

• hase: cannot return from a system call loopy

  #7 opened 6 years ago by Mic92
  1

• What is 'hase'?

  #5 opened 7 years ago by dtzWill
  2

• Re-Implement recording single processes

  #2 opened 7 years ago by Mic92
  0

• Evaluate recording overhead of system calls

  #1 opened 7 years ago by Mic92
  0