Shortcuts

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)