Support for newer opcodes

radareorg / radeco

radare2-based decompiler and symbol executor

366 stars 54 forks source link

Support for newer opcodes #267

Open sushant94 opened 6 years ago

sushant94 commented 6 years ago

ESIL has evolved to include the following new opcodes. We need to support them:

[ ] ">>>>" -- Arithmetic right shift
[ ] ">>>>=" -- Arithmetic right shift eq
[ ] "REPEAT" -- RTFS
[ ] "NUM" -- Replace symbolic reference with actual values (in register, label etc.)
[ ] "PICK" -- Pick nth element from top of stack
[ ] "RPICK"-- Pick nth element from bottom of stack
[ ] "SWAP" -- Swap top two elements of the stack
[ ] "BITS" -- RTFS

sushant94 commented 6 years ago

Related to #6

sushant94 commented 6 years ago

Update: Seems like these are currently not being used in any translation (rather, just through the r2 console to inspect and modify state). We could leave this as a TODO for later.