Search results

Maintenance Issue

Status: Open.

#30 In SoftSec-KAIST/MeanDiff;

· PngWnA opened on Nov 16, 2021

Example code for testing ARM lifting

Status: Open.

#29 In SoftSec-KAIST/MeanDiff;

· ebtaleb opened on Nov 19, 2018

TODOs before the final release

Status: Open.

#28 In SoftSec-KAIST/MeanDiff;

· sangkilc opened on Sep 22, 2017

Test Remill semantics

enhancement

Translator

Status: Open.

#27 In SoftSec-KAIST/MeanDiff;

· pgoodman opened on Sep 19, 2017

Not storing segment register - <code>mov</code> [x64]

PyVEX

semantic-bug

Status: Open.

#25 In SoftSec-KAIST/MeanDiff;

· mfaerevaag opened on Sep 9, 2017

Missing arithmetic operation - <code>xadd</code>

PyVEX

semantic-bug

Status: Open.

#24 In SoftSec-KAIST/MeanDiff;

· mfaerevaag opened on Aug 23, 2017

Invalid pushad behaviour - <code>pushad</code>

BINSEC

semantic-bug

Status: Open.

#23 In SoftSec-KAIST/MeanDiff;

· mfaerevaag opened on Aug 23, 2017

Unable to recognize prefix - <code>mov</code>, <code>lea</code>

BINSEC

semantic-bug

Status: Open.

#22 In SoftSec-KAIST/MeanDiff;

· mfaerevaag opened on Aug 23, 2017

Confusion of source and destination operands - <code>palingr</code>, <code>cmpxchg</code>

BINSEC

semantic-bug

Status: Open.

#21 In SoftSec-KAIST/MeanDiff;

· mfaerevaag opened on Aug 23, 2017

Invalid AF calculation - <code>scasb</code>, <code>scasd</code>, <code>add</code>, <code>adc</code>, <code>sbb</code>, <code>sub</code>, <code>cmp</code>, <code>inc</code>, <code>dec</code>

BINSEC

semantic-bug

Status: Open.

#20 In SoftSec-KAIST/MeanDiff;

· mfaerevaag opened on Aug 23, 2017

Not taking part of value - <code>bt</code>, <code>bts</code>, <code>sbb</code>

BINSEC

semantic-bug

Status: Open.

#19 In SoftSec-KAIST/MeanDiff;

· mfaerevaag opened on Aug 23, 2017

Invalid order of calculation - <code>cmpxchg</code>

BINSEC

semantic-bug

Status: Open.

#18 In SoftSec-KAIST/MeanDiff;

· mfaerevaag opened on Aug 23, 2017