anvill icon indicating copy to clipboard operation
anvill copied to clipboard

Q0 register support for ARMv7

Open artemdinaburg opened this issue 2 years ago • 3 comments

The anghabench test armv7/python/success/FFmpeg/libavformat/extr_libmodplug.c_modplug_read_packet.elf/output.json is failing due to:

Unable to decode 0th function in 'functions' list of program specification: Could not parse 3th parameter of function at address 0: Unable to locate register 'Q0' used for storing function parameter

We should support this in remill/anvill or work around it, if not needed.

artemdinaburg avatar Jan 06 '22 21:01 artemdinaburg

To follow up with this: Adding Q0 register support is a subtask within the larger task of supporting vector, SIMD, and FP instructions in ARMv7 and Thumb2 (for both remill and anvill)

sschriner avatar Jan 07 '22 16:01 sschriner

So we need to support a few more registers for that than Q0. (I can comprise a complete list a bit later).

sschriner avatar Jan 07 '22 17:01 sschriner

As a workaround for now I'm allowing parsing to continue when a function spec fails to parse #294

2over12 avatar Mar 23 '22 14:03 2over12