vex

vex copied to clipboard

TODO: - [ ] Fully understand what I just changed. - [ ] Add a test case.

ltfish

Per the docs, PC used in ADR should have a +4 added

1

See http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dui0473c/Cacdbfji.html I am a bit concerned there are other places missing this.

subwire

API Calls representation in VEX

9

### Question Hi, I need some guidance regarding VEX IR for API calls of ELF files for MIPS/ARM binaries. I have seen VEX IR for different assembly instructions however unable...

nav60

s390 EXLR will probably segfault if target is outside the current segment

1

see #20 and #19 The correct solution is to do an IR-based implementation of s390_irgen_EXRL.

rhelmot

Spechelper for FP compares

1

I am trying to get a symbolic expression from an ARM64 code performing floating point compares. The function takes single `float` argument in reg `s0` which I have initialized as...

udiboy1209

shaymargolis