v850-ida-scripts

decompv850.py - скрипт, запускается по alt+F7 (выполнить скрипт), анализирует код и некоторые распознанные структуры снабжает комментариями в виде С-подобного кода
rh850_f1l.hpp - определения структур соответсвующих устройствам на кристалле RH850/F1L rh850_f1l.py - используя данные rh850_f1l.hpp а так же определенные внутри скрипта таблицы чтобы задать уcтройства микроконтролллера RH850/F1L
ida_structs.py - набор функций позволяющий импортировать C структуры

decompv850.py

Примеры результатов работ скрипта.

анализ присвоений

По адресам 849A-849E, 84A2-84A6 b 84B0-84B4 производится присвоение в две комманды. сначала в старшее полуслово, коммандой movhi, затем в младшее коммандой movea
По адресам 84A2-84AA подготавливаются аргументы (r6) функции sub_84e8 и затем ее вызов

Еще один пример распознавания присвоений и подготовки аргументов функций. В следствие не достаточной сложности алгоритма, скрипт не распознает что в r7, через r1 попадает значение *(uint16_t*)(r29+0x14) и он останавливается на r1, что мы и видим в вызове функции

При вызове функций и присвоениях, если в качестве значения будет использовано имя (будь то адрес или константа) соответсвующее имя будет подставлено в комментарий, сгенерированный скриптом, в то же время если в дизассемблере имя не распознано (см. адрес 3A6) то будет использовано числовое значение

Так же распознает вызовы функций по указателю. На данный момент использует шаблон jarl [xxx], y

В качестве аргументов функции, пока, распознает только передачу параметров через регистры. До четырех аргуметнов r6-r9

Из циклов на данный момент распознает только один шаблон:

do{
...
}while( a ? b );

распознает условия формируемые следующими условными переходами:

bgt: a > b
bge: a >= b
blt: a < b
ble: a <= b
bh : (unsigned)a > (unsigned)b
bnh: (unsigned)a <= (unsigned)b
be : a == b
bnl: (unsigned)a >= (unsigned)b
bl : (unsigned)a < (unsigned)b
bne: a != b
bn : a < 0
bp : a >= b,
br : true
bc : (unsigned)a < (unsigned)b
bnc: (unsigned)a >= (unsigned)b
bz : a == b
bnz: a != b

оставшиеся условные переходы не распознаются и их условия отображаются знаком вопроса

eugenosm/v850-ida-scripts

v850-ida-scripts

decompv850.py

анализ присвоений