MeanDiff icon indicating copy to clipboard operation
MeanDiff copied to clipboard

Testing Intermediate Representations for Binary Analysis (ASE '17)

Results 29 MeanDiff issues
Sort by recently updated
recently updated
newest added

I'm trying to build this project so I can get insight about when multiple IRs translated into one common IR (UIR). But all the trials to build MeanDiff failed including;...

## Description When executing `xadd` instruction the add operation is forgotten. **Reference:** `xadd`: Ref. Intel 64 and IA-32 Architecture Software Developer's Manual Vol. 2C 5-580 **Affected instructions:** ``` 0x0fc1c0 0x640fc1c0...

PyVEX
semantic-bug

Hi, I would like to test ARM lifting for BAP and pyVEX, but I am puzzled by the CLI interface. How does one go about generating instructions to test and...

- [x] The README.md should be updated in the master branch. - [x] There should be a build script that builds all the code.

## Description [Remill](https://github.com/trailofbits/remill) is a library that lifts x86, amd64 (x87, mmx, sse, avx), and aarch64 instructions to LLVM IR. I can provide some assistance if you're interested.

enhancement
Translator

## Description When executing instructions `rol` and `ror`, the count is sometimes calculated without taking the correct mod size, where size is the operand size. According to manual, the correct...

BAP
semantic-bug

## Description Invalid calculation of the carry flag, `CF`, when executing `xadd` instruction with the `0xc0` as operand and prefixed as below. **Reference:** Ref. Intel 64 and IA-32 Architecture Software...

BAP
semantic-bug

## Description When attempting to move a segment register, for instance `ES` into a 64-bit register using a REX prefix, the segment register is ignored. **Reference:** Ref. Intel 64 and...

PyVEX
semantic-bug

## Description Destination address, specified in the first operand, is changed before being written to. **Reference:** Ref. Intel 64 and IA-32 Architecture Software Developer's Manual Vol. 2B 4-652 **Affected instructions:**...

BAP
semantic-bug

## Description Incorrectly calculates overflow flag `OF`. **Reference:** Ref. Intel 64 and IA-32 Architecture Software Developer's Manual Vol. 2B 4-652 **Affected instructions:** ``` 0x28c0 0x29c0 0x2ac0 0x2bc0 ``` _NOTE:_ All...

BAP
semantic-bug