[klee-dev] Different behavior of KLEE when testing `dircolors` with "--optimize=true/false" option

[TU Haoxin]

Hi Nguyen,

Just installed and run this case using KLEE-3.0 with LLVM-10, and it seems the issue is still reproducible for KLEE 3.

Please check more here: https://gist.github.com/haoxintu/183dda2923965d1e33f64ad59c7f5338#other-trials


Thanks,
Haoxin



________________________________
From: Nguyễn Gia Phong
Sent: Wednesday, January 31, 2024 13:34
To: TU Haoxin; klee-dev at imperial.ac.uk
Subject: Re: [klee-dev] Different behavior of KLEE when testing `dircolors` with "--optimize=true/false" option

On 2024-01-31 at 05:07+00:00, TU Haoxin wrote:
> The behavior is that KLEE fails to fork at a branch
> that should be forked with the option --optimize option enabled
> (i.e., --optimize=true).  While the --optimize option is disabled
> i.e., --optimize=false), the branch can be successfully forked [...]
>
> ### Reproduce the behavior
> #### Enviroment
> * KLEE-2.1 (also tested KLEE-2.3, and they behave the same)

Just curious, is the issue reproducible for KLEE 3?
-------------- next part --------------
HTML attachment scrubbed and removed