vusec/inspectre-gadget

Issues

• Handle branches as soft path constriants

  #24 opened 4 months ago by SanWieb
  0

• Improve range analysis for 64-bit secrets

  #3 opened a year ago by AlviseDeFaveri
  0

• Handle secret addresses that requires memory leak

  #4 opened a year ago by AlviseDeFaveri
  0

• Add controlled part of the base together with independent part

  #5 opened a year ago by AlviseDeFaveri
  0

• Add reasoner support for dispatch gadgets (TFPs)

  #10 opened 10 months ago by SanWieb
  0

• Assertion failure on if-then-else aliases

  #19 opened 8 months ago by AlviseDeFaveri
  0

• Assertion failure in add_nodes

  #12 opened 8 months ago by andyhhp
  3

• Store substitution passes incorrect expression at call

  #16 opened 8 months ago by SanWieb
  2

• IR decoding error for WRMSR instructions

  #7 opened 10 months ago by andyhhp
  4

• Angr "Cannot execute following jumpkind Ijk_SigSEGV"

  #15 opened 10 months ago by andyhhp
  0

• Infinite loop while scanning a gadget

  #13 opened 8 months ago by andyhhp
  4

• CMOVE regression

  #2 opened 8 months ago by AlviseDeFaveri
  0

• Unsupported dirty helper amd64g_dirtyhelper_IRETQ

  #9 opened 10 months ago by andyhhp
  3

• Minor logging improvement

  #11 opened 10 months ago by andyhhp
  1

• Failure: Concretized 2 values (must be exactly 1) in eval_exact

  #8 opened 10 months ago by andyhhp
  1

• operation Iop_And8 received too large an argument

  #6 opened 10 months ago by andyhhp
  1