[klee-dev] Use of --optimize flag

[Daniel Guo]

There is an Optimize.cpp in which various optimizing llvm passes are
created, e.g., CFGSimplification, ConstantPropagation, InstructionCombining
...
You can find all the passes there, and check how they are created and
applied.


On Thu, Jun 23, 2016 at 10:14 AM, RAJDEEP MUKHERJEE <
rajdeep.mukherjee87 at gmail.com> wrote:

>
> Hi,
>
> I recently ran some experiments with klee with the --optimize switch
> and without --optimize switch. It seems that the solving using --optimize
> switch is much faster than without it.
>
> In default mode, klee uses dfs search strategy with incremental solving.
> What additional optimisations does Klee perform with the --optimize switch
> ?
>
> Any help is appreciated.
>
> Best regards,
> Rajdeep
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
-------------- next part --------------
HTML attachment scrubbed and removed