angr/angr-platforms

Issues

• angr misses paths on RISC-V binary found by other symbolic execution engines

  #62 opened 9 months ago by nmeum
  3

• 'Mismatch between format bit 0 and instruction bit 1'

  #53 opened 2 years ago by AlexCasual
  2

• Atmel AVR support

  #7 opened 2 years ago by subwire
  4

• MULSU instruction lifting not well typed operation error

  #50 opened 3 years ago by MrAle98
  3

• BPF testcases fail due to a bug in PyVEX

  #13 opened 3 years ago by zardus
  7

• Do you have any plans to support riscv 64bit?

  #41 opened 4 years ago by endarque
  2

• Can not create new branch for pull request

  #34 opened 5 years ago by stefanberg96
  2

• ModuleNotFoundError for MSP430

  #30 opened 5 years ago by Whatang
  0

• BF lifter is untested and bitrotted

  #20 opened 5 years ago by chq-matteo
  12

• No module named procedures

  #5 opened 7 years ago by ikhwan12
  2