search

airbus-seclab / bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
1.66k stars 159 forks source link

sub al, 30h fails in x64 #93

Closed trou closed 5 years ago

trou commented 5 years ago

From fred's challenge: https://twitter.com/FPerriot/status/1147177661879463936

I pushed a test in test/sub, but did not test the test :) error:

INFO:bincat.plugin:[ABORT] vector: logand vectors of different sizes (v1=0x6(32) v2=0x1(8))
trou commented 5 years ago

I fixed the original bug, but added new tests which fail, for example "test_arith_sbb_imm8"

trou commented 5 years ago

Fixed