Ponce
Search…
Ponce
Introduction
USAGE
Symbolic and Taint engines
Enable/Disable Ponce
Symbolize/Taint data
Solve conditions
Blacklisting library functions
Shortcuts
EXAMPLES
Symbolic engine
Taint engine
Negate & Inject
Negate, Inject & Restore
MISC
Ponce limitations
Building
FAQ
Debugging
Port to IDA version
Powered By
GitBook
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