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)
2016-09-15 11_39_08-configuracion
Enable/Disable Ponce tracing (Ctl+Shift+E)
2016-09-15 11_31_34-
Symbolize/taint a register (Ctl+Shift+R)
2016-09-15 11_32_32-
Symbolize/taint memory. Can be done from the IDA View or the Hex View (Ctl+Shift+M)
​
​
​
2016-09-15 12_09_11-inicio
Solve formula (Ctl+Shift+S)
2016-09-15 11_35_11-
Negate & Inject (Ctl+Shift+N)
2016-09-15 11_34_44-
Negate, Inject & Restore Snaphot (Ctl+Shift+I)
2016-09-15 11_47_19-
Create Execution Snapshot (Ctl+Shift+C)
2016-09-15 11_37_40-
Restore Execution Snapshot (Ctl+Shift+S)
2016-09-15 11_38_10-
Delete Execution Snapshot (Ctl+Shift+D)
2016-09-15 11_38_23-
Execute Native (Ctl+Shift+F9)
2016-09-15 12_07_10-

USAGE - Previous

Blacklisting library functions

Next - EXAMPLES

Symbolic engine

Last modified 1yr ago

Copy link