Skip to content

[micropatch-bench] Errors generating lifting for cwebp:ReadJPEG function #186

@waskyo

Description

@waskyo

Trying to generate a lifting for this micropatch benchmark binary: https://github.com/Aarno-Labs/micropatch-bench/tree/main/benchmarks/cwebp-0.3.1-mtpaint results in a warning and a number of errors (see attached full log):

WARNING:LDR address adjustment not scaled due to lack of type information at address 0xc30c [ARMLoadRegister:248]
ERROR:no lifting support available for instruction MUL at address 0xc048 [ARMOpcode:170]
ERROR:Conversion of memory lhs unsuccessful due to unknown memory address at address 0xc384 [XXprUtil:1544]

Attached is also the binary and userdata. The function that we'd like to patch is at address 0xbf08.

Happy to split this up into multiple issues if that makes more sense.

cwebp-0.3.1-mtpaint.zip
chkx_results_ast.log

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions