SQLab/CRAXplusplus

Issues

• Assertion `guestDataSize == m_commandSize' failed in state 0: Invalid command size 60 != 84 from pagedir=0xf3c2000 pc=0xffffffffa00020eb

  #20 opened 2 years ago by BlackHat-S
  2

• CRAX++ exits immediately after executing aslr-nx sample binary without generating an exploit

  #19 opened 3 years ago by keis94
  3

• pybind11-dev was not found

  #16 opened 3 years ago by qijiale
  5

• crax

  #17 opened 3 years ago by siruiTT
  0

• ./launch-crax.sh

  #18 opened 3 years ago by siruiTT
  1

• How to obtain Thesis

  #15 opened 3 years ago by qijiale
  1

• 5 [State 0] HostFiles: could not open /home/fuzz/s2e/projects/sym_stdin/guest-tools64/s2eget(errno 2)

  #14 opened 3 years ago by blu3sh0rk
  8

• Missing debian-9.2.1-x86 image.

  #13 opened 3 years ago by blu3sh0rk
  10

• Can not build CRAXplusplus in ubuntu20.04

  #11 opened 3 years ago by LJP-TW
  3

• 繼續跑 good !!!

  #10 opened 4 years ago by p870613
  1

• 偷跑 bad

  #9 opened 4 years ago by tl455047
  0

• s2e-linux-kernel: mm/util.c:vm_mmap_pgoff(): pass image pathname to s2e

  #7 opened 4 years ago by aesophor
  0

• CRAX: properly handle plugin dependency

  #4 opened 4 years ago by aesophor
  0

• Decouple pwnlib and pybind11 from CRAX

  #8 opened 4 years ago by aesophor
  1

• CRAX/API: make Memory/Register API stateful

  #5 opened 4 years ago by aesophor
  0

• CRAX: Add support for symbolic pointer and symbolic array index

  #6 opened 4 years ago by aesophor
  0

• libs2eplugins: MemoryMap: stack mapping not tracked

  #3 opened 4 years ago by aesophor
  1

• each technique should contain an assessment method to check whether it is viable

  #2 opened 4 years ago by aesophor
  0

• ret2csu: handle different variants of __libc_csu_init() by parsing the binary

  #1 opened 4 years ago by aesophor
  0