nmosier/symex

Issues

• Capture gs along with core dump

  #6 opened 3 years ago by nmosier
  0

• Fix DIV bug

  #7 opened 3 years ago by nmosier
  0

• use x87 control flags in fpu instructions

  #5 opened 3 years ago by nmosier
  0

• Add stack of 'violation assertions' that check whether violation occurs -- to Context

  #4 opened 3 years ago by nmosier
  0

• Use heuristics in choosing path: opt for repeating loops as much as possible

  #3 opened 3 years ago by nmosier
  0

• ByteMap& write_mask should be subsumed within MemState

  #2 opened 3 years ago by nmosier
  0

• Properly initialize FPUState when loading from core

  #1 opened 3 years ago by nmosier
  0