In this section we will list the different keyboard shortcuts:

  • Access the configuration and taint/symbolic windows: Edit > Ponce > Show Config (Ctl+Shift+P and Ctl+Alt+T)

  • Enable/Disable Ponce tracing (Ctl+Shift+E)

  • Symbolize/taint a register (Ctl+Shift+R)

  • Symbolize/taint memory. Can be done from the IDA View or the Hex View (Ctl+Shift+M)

  • Solve formula (Ctl+Shift+S)

  • Negate & Inject (Ctl+Shift+N)

  • Negate, Inject & Restore Snaphot (Ctl+Shift+I)

  • Create Execution Snapshot (Ctl+Shift+C)

  • Restore Execution Snapshot (Ctl+Shift+S)

  • Delete Execution Snapshot (Ctl+Shift+D)

  • Execute Native (Ctl+Shift+F9)

Last updated