angr/vex issues and pull requests

#68 - d400 should NoDecode on x86-64

Issue - State: open - Opened by mborgerson 10 days ago
Labels: bug, needs-triage

#66 - amd64: Support lods rep prefixes

Pull Request - State: closed - Opened by mborgerson 2 months ago

#66 - amd64: Support lods rep prefixes

Pull Request - State: closed - Opened by mborgerson 2 months ago

#65 - amd64: Support cmps repnz prefix and non-repeating cases

Pull Request - State: closed - Opened by mborgerson 2 months ago

#65 - amd64: Support cmps repnz prefix and non-repeating cases

Pull Request - State: closed - Opened by mborgerson 2 months ago

#64 - amd64: Use Intel behavior for 16b sh[lr]d when count>16

Pull Request - State: closed - Opened by mborgerson 2 months ago

#64 - amd64: Use Intel behavior for 16b sh[lr]d when count>16

Pull Request - State: closed - Opened by mborgerson 2 months ago

#63 - amd64: Fix 32b cmpxchg unmodified register writeback

Pull Request - State: closed - Opened by mborgerson 2 months ago

#63 - amd64: Fix 32b cmpxchg unmodified register writeback

Pull Request - State: closed - Opened by mborgerson 2 months ago

#62 - codegen_xchg_rAX_Reg: Preserve RAX[63:16] in `xchg AX, r16`

Pull Request - State: closed - Opened by mborgerson 2 months ago

#62 - codegen_xchg_rAX_Reg: Preserve RAX[63:16] in `xchg AX, r16`

Pull Request - State: closed - Opened by mborgerson 2 months ago

#61 - Add tilegx over v9.2.111

Pull Request - State: open - Opened by shaymargolis 4 months ago

#60 - Add auxprogs/genoffsets.dSYM to .gitignore

Pull Request - State: closed - Opened by twizmwazin about 1 year ago

#60 - Add auxprogs/genoffsets.dSYM to .gitignore

Pull Request - State: closed - Opened by twizmwazin about 1 year ago

#59 - guest_amd64_spechelper: Fix size inconsistency for ADDL CondZ.

Pull Request - State: closed - Opened by ltfish about 1 year ago - 2 comments
Labels: bug

#59 - guest_amd64_spechelper: Fix size inconsistency for ADDL CondZ.

Pull Request - State: closed - Opened by ltfish about 1 year ago - 2 comments
Labels: bug

#58 - support RISC-V 64 in `libvex_basictype.h`

Pull Request - State: closed - Opened by moui0 about 1 year ago - 1 comment

#58 - support RISC-V 64 in `libvex_basictype.h`

Pull Request - State: closed - Opened by moui0 about 1 year ago - 1 comment

#57 - Pr/draper riscv patch2

Pull Request - State: closed - Opened by EvelynVusky over 1 year ago

#57 - Pr/draper riscv patch2

Pull Request - State: closed - Opened by EvelynVusky over 1 year ago

#56 - VEX IR generator added for RISCV WFI instruction

Pull Request - State: closed - Opened by EvelynVusky over 1 year ago - 7 comments

#56 - VEX IR generator added for RISCV WFI instruction

Pull Request - State: closed - Opened by EvelynVusky over 1 year ago - 7 comments

#55 - Add Build workflow

Pull Request - State: closed - Opened by twizmwazin over 1 year ago

#55 - Add Build workflow

Pull Request - State: closed - Opened by twizmwazin over 1 year ago

#54 - Add RISCV64 support

Pull Request - State: closed - Opened by alikates over 1 year ago - 8 comments

#54 - Add RISCV64 support

Pull Request - State: closed - Opened by alikates over 1 year ago - 8 comments

#53 - Feat/amd64 retf

Pull Request - State: closed - Opened by dannyp303 almost 2 years ago - 2 comments

#53 - Feat/amd64 retf

Pull Request - State: closed - Opened by dannyp303 almost 2 years ago - 2 comments

#52 - API Calls representation in VEX

Issue - State: open - Opened by nav60 almost 2 years ago - 9 comments
Labels: question

#52 - API Calls representation in VEX

Issue - State: open - Opened by nav60 almost 2 years ago - 9 comments
Labels: question

#51 - amd64: segment register read/write

Pull Request - State: closed - Opened by rhelmot about 2 years ago

#51 - amd64: segment register read/write

Pull Request - State: closed - Opened by rhelmot about 2 years ago

#50 - Spechelper for FP compares

Issue - State: open - Opened by udiboy1209 about 2 years ago - 1 comment

#50 - Spechelper for FP compares

Issue - State: open - Opened by udiboy1209 about 2 years ago - 1 comment

#49 - AMD64: Support rdsspd/rdsspq.

Pull Request - State: closed - Opened by ltfish over 2 years ago
Labels: feature

#49 - AMD64: Support rdsspd/rdsspq.

Pull Request - State: closed - Opened by ltfish over 2 years ago
Labels: feature

#48 - Getting the exact registers in ARM 32-bit

Issue - State: closed - Opened by spencerwuwu over 2 years ago - 2 comments

#48 - Getting the exact registers in ARM 32-bit

Issue - State: closed - Opened by spencerwuwu over 2 years ago - 2 comments

#47 - AMD64: Add a spechelper for ADDL and CondZ.

Pull Request - State: closed - Opened by ltfish almost 3 years ago
Labels: enhancement

#47 - AMD64: Add a spechelper for ADDL and CondZ.

Pull Request - State: closed - Opened by ltfish almost 3 years ago
Labels: enhancement

#46 - ARM: Support sub.w reg, reg, reg, lsl #0-4.

Pull Request - State: closed - Opened by ltfish almost 3 years ago
Labels: feature

#46 - ARM: Support sub.w reg, reg, reg, lsl #0-4.

Pull Request - State: closed - Opened by ltfish almost 3 years ago
Labels: feature

#45 - ARM: Add spechelpers for ADD-EQ/NE.

Pull Request - State: closed - Opened by ltfish almost 3 years ago
Labels: feature

#45 - ARM: Add spechelpers for ADD-EQ/NE.

Pull Request - State: closed - Opened by ltfish almost 3 years ago
Labels: feature

#44 - Opt: Do not disable optimizations of VEX-specific registers.

Pull Request - State: closed - Opened by ltfish about 3 years ago
Labels: enhancement

#43 - Support lifting ARM syscalls under OABI.

Pull Request - State: closed - Opened by degrigis about 3 years ago

#43 - Support lifting ARM syscalls under OABI.

Pull Request - State: closed - Opened by degrigis about 3 years ago

#42 - Don't truncate 64-bit segment base in 32-bit addressing mode.

Pull Request - State: closed - Opened by edmcman over 3 years ago - 5 comments

#42 - Don't truncate 64-bit segment base in 32-bit addressing mode.

Pull Request - State: closed - Opened by edmcman over 3 years ago - 5 comments

#41 - possible vex bug in handling segment offsets

Issue - State: closed - Opened by hammerpig over 3 years ago - 4 comments

#41 - possible vex bug in handling segment offsets

Issue - State: closed - Opened by hammerpig over 3 years ago - 4 comments

#40 - Provide explicit amount of lookback information to vex

Pull Request - State: closed - Opened by rhelmot over 3 years ago

#40 - Provide explicit amount of lookback information to vex

Pull Request - State: closed - Opened by rhelmot over 3 years ago

#39 - Windows make build patch

Issue - State: closed - Opened by TACIXAT almost 4 years ago - 3 comments
Labels: enhancement

#39 - Windows make build patch

Issue - State: closed - Opened by TACIXAT almost 4 years ago - 3 comments
Labels: enhancement

#38 - [WIP] amd64_toIR: Decode endbr.

Pull Request - State: closed - Opened by ltfish over 4 years ago
Labels: feature

#38 - [WIP] amd64_toIR: Decode endbr.

Pull Request - State: closed - Opened by ltfish over 4 years ago
Labels: feature

#37 - Add support for GCC 10

Pull Request - State: closed - Opened by h313 over 4 years ago - 1 comment

#37 - Add support for GCC 10

Pull Request - State: closed - Opened by h313 over 4 years ago - 1 comment

#36 - `libvex_guest_offsets.h` not found when pip install -e .\pyvex

Issue - State: closed - Opened by yifanwww over 4 years ago

#36 - `libvex_guest_offsets.h` not found when pip install -e .\pyvex

Issue - State: closed - Opened by yifanwww over 4 years ago

#35 - Opt: Support disabling cross-instruction optimizations.

Pull Request - State: closed - Opened by ltfish over 4 years ago
Labels: feature

#35 - Opt: Support disabling cross-instruction optimizations.

Pull Request - State: closed - Opened by ltfish over 4 years ago
Labels: feature

#34 - MSVC Compatibility

Pull Request - State: closed - Opened by ltfish almost 5 years ago
Labels: enhancement

#34 - MSVC Compatibility

Pull Request - State: closed - Opened by ltfish almost 5 years ago
Labels: enhancement

#33 - Add ijk_privileged jumpkind, use it for cli/sti

Pull Request - State: closed - Opened by rhelmot almost 5 years ago

#33 - Add ijk_privileged jumpkind, use it for cli/sti

Pull Request - State: closed - Opened by rhelmot almost 5 years ago

#32 - [WIP] AMD64: Support lifting cmpsb.

Pull Request - State: open - Opened by ltfish almost 5 years ago
Labels: enhancement

#32 - [WIP] AMD64: Support lifting cmpsb.

Pull Request - State: open - Opened by ltfish almost 5 years ago
Labels: enhancement

#31 - Add support for ADCX/ADOX instructions

Pull Request - State: closed - Opened by zx2c4 almost 5 years ago - 1 comment

#31 - Add support for ADCX/ADOX instructions

Pull Request - State: closed - Opened by zx2c4 almost 5 years ago - 1 comment

#30 - ARM: Support decoding semihosting (svc 0x123456).

Pull Request - State: closed - Opened by ltfish almost 5 years ago
Labels: enhancement

#30 - ARM: Support decoding semihosting (svc 0x123456).

Pull Request - State: closed - Opened by ltfish almost 5 years ago
Labels: enhancement

#29 - Implement strict_block_end for loop, jrcxz, jecxz on AMD64.

Pull Request - State: closed - Opened by ltfish almost 5 years ago
Labels: enhancement

#29 - Implement strict_block_end for loop, jrcxz, jecxz on AMD64.

Pull Request - State: closed - Opened by ltfish almost 5 years ago
Labels: enhancement

#28 - Manually select `ar` on macOS so pyvex builds

Pull Request - State: closed - Opened by mxms0 about 5 years ago - 1 comment

#28 - Manually select `ar` on macOS so pyvex builds

Pull Request - State: closed - Opened by mxms0 about 5 years ago - 1 comment

#27 - adding support for mov instructions having control registers

Pull Request - State: closed - Opened by r00tus3r over 5 years ago
Labels: enhancement

#27 - adding support for mov instructions having control registers

Pull Request - State: closed - Opened by r00tus3r over 5 years ago
Labels: enhancement

#26 - s390x: allow lifting of vector instructions

Pull Request - State: closed - Opened by mephi42 over 5 years ago - 7 comments
Labels: enhancement

#26 - s390x: allow lifting of vector instructions

Pull Request - State: closed - Opened by mephi42 over 5 years ago - 7 comments
Labels: enhancement

#25 - s390x: update to upstream revision 7e9113cb7

Pull Request - State: closed - Opened by mephi42 over 5 years ago - 10 comments

#25 - s390x: update to upstream revision 7e9113cb7

Pull Request - State: closed - Opened by mephi42 over 5 years ago - 10 comments

#24 - ARM: Mark LDMFD SP, {xxx, SP, PC} as a return instruction.

Pull Request - State: closed - Opened by ltfish over 5 years ago
Labels: bug

#24 - ARM: Mark LDMFD SP, {xxx, SP, PC} as a return instruction.

Pull Request - State: closed - Opened by ltfish over 5 years ago
Labels: bug

#23 - `ld x86_64 error` under mac os mojave (10.14+) with darwin kernel 18+

Issue - State: closed - Opened by FFengIll almost 6 years ago - 4 comments

#23 - `ld x86_64 error` under mac os mojave (10.14+) with darwin kernel 18+

Issue - State: closed - Opened by FFengIll almost 6 years ago - 4 comments

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

Pull Request - State: open - Opened by subwire almost 6 years ago - 1 comment

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

Pull Request - State: open - Opened by subwire almost 6 years ago - 1 comment

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

Issue - State: open - Opened by rhelmot about 6 years ago - 1 comment

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

Issue - State: open - Opened by rhelmot about 6 years ago - 1 comment

#20 - s390x: handle EXRL when its target is in the same buffer

Pull Request - State: closed - Opened by mephi42 about 6 years ago

#20 - s390x: handle EXRL when its target is in the same buffer

Pull Request - State: closed - Opened by mephi42 about 6 years ago

#19 - Allow analyzing s390x on little-endian hosts

Pull Request - State: closed - Opened by mephi42 about 6 years ago - 5 comments

#19 - Allow analyzing s390x on little-endian hosts

Pull Request - State: closed - Opened by mephi42 about 6 years ago - 5 comments

#18 - Allow analyzing s390x on little-endian hosts

Pull Request - State: closed - Opened by mephi42 about 6 years ago - 1 comment

#18 - Allow analyzing s390x on little-endian hosts

Pull Request - State: closed - Opened by mephi42 about 6 years ago - 1 comment

#17 - fix early initialization of s390_host_hwcaps in LibVEX_FrontEnd

Pull Request - State: closed - Opened by mephi42 about 6 years ago - 2 comments

#17 - fix early initialization of s390_host_hwcaps in LibVEX_FrontEnd

Pull Request - State: closed - Opened by mephi42 about 6 years ago - 2 comments

#16 - ARM: Mark LDMDB R11, {xxx, pc} as a return instruction.

Pull Request - State: closed - Opened by ltfish over 6 years ago
Labels: enhancement

GitHub / angr/vex issues and pull requests