illera88/Ponce

Issues

• How to set up Ponce Symbolic Variables Constrains???For example, limit Sym0 to only range from 32-127

  #142 opened 14 days ago by 0xsyj
  0

• Maybe it's a bug? I symbolized 15 SymVars, but in the end it could only solve 13 ones.

  #140 opened 7 months ago by Pisces032
  2

• Unhandled C++ exception: x8664Cpu::setConcreteRegisterValue()

  #138 opened a year ago by TERESH1
  1

• Ponce standard instructions not supported windbg

  #137 opened a year ago by JJK96
  4

• Unsupported error for every instruction

  #134 opened 2 years ago by MrMati
  1

• Ponce v0.3.4 causing crash in IDA 7.7.220118

  #133 opened 2 years ago by extf33
  1

• IDA Pro crash due to invalid pointer dereference

  #132 opened 2 years ago by jhftss
  2

• Crashed

  #129 opened 2 years ago by cr3m
  1

• SOFTWARE_NX_FAULT_c0000005_Ponce64.dll!Unknown

  #128 opened 2 years ago by Holit
  1

• Update documentation for v0.3

  #108 opened 3 years ago by illera88
  1

• Unable to configure solver timeout from configuration

  #122 opened 3 years ago by mrT4ntr4
  3

• Access violation exception causing crash in IDA Pro 7.5

  #120 opened 3 years ago by nikhilh-20
  7

• IDA 7.5 plugin for Windows doesn't work

  #123 opened 3 years ago by hdthky
  1

• IDA 7.5 using Ponce v0.31 will warn "Duplicate field id 3"

  #125 opened 3 years ago by zhifengle
  1

• Triton "addCallback" API has changed

  #124 opened 4 years ago by LJP-TW
  3

• Is there a python version

  #121 opened 4 years ago by 0xjacklove
  1

• Ponce crashes IDA 7.0 at create execution snapshot.

  #89 opened 4 years ago by mxmssh
  1

• Support for IDA Pro 7.0 mac version

  #91 opened 4 years ago by skysider
  2

• IDA 7.0 (32bit) crashed

  #94 opened 4 years ago by BitTheByte
  1

• can not find Ponce plugin In ida 7.0 32bit

  #95 opened 4 years ago by cbwang505
  1

• Symbolize Memory Not Working??

  #97 opened 4 years ago by perfectswpuboy1
  1

• solver output wrong

  #98 opened 4 years ago by cbwang505
  1

• ida 7.0.17 dont work

  #99 opened 4 years ago by Sirqwit
  2

• Could not Build Success,what's wrong?

  #100 opened 4 years ago by perfectswpuboy1
  2

• IDA 7.0 plugins Crashed with x64_fread_SAGE.exe

  #101 opened 4 years ago by perfectswpuboy1
  1

• x86_crackme_hash.exe, Dissasembling error at 0x401041, No solution found

  #102 opened 4 years ago by trietptm
  3

• Build link doesn't work

  #118 opened 4 years ago by LusKrew
  4

• IDA 7.5 plugin for MAC doesn't work

  #119 opened 4 years ago by singleghost2
  2

• Use vcpkg to build z3 on linux github action

  #114 opened 4 years ago by illera88
  2

• Provide solution for large number of solve actions

  #116 opened 4 years ago by illera88
  0

• Make sure we do not restart engines after disable Ponce

  #115 opened 4 years ago by illera88
  1

• Make Ponce work with ARM

  #106 opened 4 years ago by illera88
  3

• When using Taint Engine tainted operands are not shown

  #113 opened 4 years ago by 0ca
  3

• Reduce size of Ponce configuration popup

  #110 opened 4 years ago by illera88
  0

• Deal with repeated comments in a loop

  #112 opened 4 years ago by illera88
  0

• Integrate Ponce in all possible IDA views

  #111 opened 5 years ago by illera88
  0

• Configuration window overflows screen

  #93 opened 5 years ago by BitTheByte
  2

• Remove auto taint argv and argc feature

  #109 opened 5 years ago by illera88
  1

• Create CI environment to auto build Ponce

  #107 opened 5 years ago by illera88
  0

• Does Ponce support multi-threaded applications?

  #92 opened 5 years ago by andyvan92117
  1

• Test Ponce with IDA 7.1

  #85 opened 5 years ago by illera88
  0

• Support for IDA Free 7

  #103 opened 5 years ago by Trolldemorted
  2

• Cannot open capstone error in CI built binary

  #105 opened 5 years ago by jampe
  4

• i cant do successed Solving formula

  #96 opened 5 years ago by cbwang505
  5

• Following the demo crackme_hash but ponce's context menu is disabled

  #90 opened 7 years ago by matt-elson
  0

• IDA 7.0 ponce

  #88 opened 7 years ago by anic
  8

• C1001 INTERNAL COMPILER ERROR in common_type.hpp when building Triton

  #87 opened 7 years ago by qldxsun
  1

• [!] Config file Ponce.cfg not found

  #86 opened 7 years ago by anic
  0

• How do you handle PCB status in snapshots?

  #84 opened 7 years ago by andreafioraldi
  2

• Support 32bit applications within 64bit IDA 7.0

  #83 opened 7 years ago by mxmssh
  3