eurecom-s3/symqemu

Issues

• symqemu aborted when using the qemu plugin function

  #62 opened a month ago by prankster009
  0

• Symqemu raise SIGSEGV

  #56 opened 4 months ago by ntcmp2u
  2

• Can't build arm-linux-user in the lastest symqemu

  #53 opened 4 months ago by manba-bryant
  3

• build failed

  #9 opened 4 months ago by p870613
  2

• can't build xxx-softmmu

  #52 opened 5 months ago by manba-bryant
  5

• Support of TCG variables of type i128

  #49 opened 5 months ago by rmalmain
  3

• Support for target riscv64-linux-user

  #35 opened 5 months ago by natrhythm
  5

• [Feature] MIPS full-system mode

  #47 opened 6 months ago by zhangzheng18
  2

• Support system mode

  #32 opened 10 months ago by Kalvin2077
  5

• [Question] system-mode multiple CPUs support

  #46 opened 6 months ago by now4yreal
  2

• symqemu can not run normally on program which call mmap to read file

  #30 opened a year ago by hackoflpf
  2

• Segmentation fault when commenting a tcgv_i64_expr_num

  #29 opened 6 months ago by carolynsala585
  1

• make error

  #28 opened 7 months ago by pythononedog
  1

• Error on build

  #36 opened 7 months ago by GanbaruTobi
  1

• Setcond handling

  #26 opened a year ago by ercoppa
  3

• PC/eip is not updated within a basic block

  #27 opened a year ago by enlighten5
  0

• Muluh symbolic value is concretized

  #23 opened a year ago by ercoppa
  1

• Symbolization of QEMU helpers with SymCC

  #24 opened a year ago by ercoppa
  1

• sym_load_guest_internal does not distinguish signed and unsigned values

  #14 opened 3 years ago by ret2dir
  1

• Wrong site_id in notify BB

  #21 opened a year ago by ercoppa
  1

• Concretize the result of CLZ and CTZ

  #25 opened a year ago by ercoppa
  0

• Compilation fails

  #19 opened 2 years ago by vanhauser-thc
  2

• the file where you integrate Symbolic execution

  #18 opened 2 years ago by KA2010
  1

• nil pointer of _sym_expr

  #15 opened 2 years ago by Learner0x5a
  1

• recipe for target 'tcg/tcg.o' failed

  #16 opened 3 years ago by zyueinfosec
  2

• The idv/idiv instruction is not handled correctly

  #13 opened 3 years ago by ret2dir
  0

• Missing arithmetic operations in constraints

  #12 opened 3 years ago by ret2dir
  0

• wrong symbolic branch address used in backend

  #11 opened 3 years ago by sgzeng
  0

• wrong basic block address used in backend

  #10 opened 3 years ago by sgzeng
  0

• please provide a Dockerfile

  #1 opened 3 years ago by vanhauser-thc
  4

• atoi() is not solved

  #7 opened 3 years ago by vanhauser-thc
  1

• [INFO] syncConstraints: Incorrect constraints are inserted

  #6 opened 3 years ago by enlighten5
  2

• Using LD_LIBRARY_PATH

  #5 opened 4 years ago by SweetVishnya
  3

• Cannot compile with gcc-10/9

  #3 opened 4 years ago by SweetVishnya
  5

• GPL-v3-or-later license on new files is incompatible with GPL-v2-only license of some existing QEMU files

  #2 opened 4 years ago by pm215
  1