eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

Home Page:http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Incorrect handle of bitcast instruction.

Epeius opened this issue · comments

Hello,
As discussed in the issue #56 , symcc aborts when executing visitBitCastInst and reports Unhandled non-pointer bit cast. I print the corresponding bitcast instruction and got %409 = bitcast <2 x i64> %408 to <4 x i32>.

For reproducing this issue, I attached the target program openjpeg.zip. The reproduce steps are:

unzip openjpeg.zip
cd openjpeg-*/
mkdir install
cd install
CC=/path/to/symcc cmake ..

The function in openjpeg that triggers this issue is opj_dwt_encode_and_deinterleave_v.

Thanks!