Hi Kristis,
> For whatever it's worth, I've run against a problem similar to this
> using CIL 1.3.7, but NOT CIL 1.3.6. So I'm now using CIL 1.3.6 as a
> quite stable version.
>
> Also note that this problem does not appear using the latest CIL from
> the repository.
great to know, thanks!
M
Hi Misha,
For whatever it's worth, I've run against a problem similar to this
using CIL 1.3.7, but NOT CIL 1.3.6. So I'm now using CIL 1.3.6 as a
quite stable version.
Also note that this problem does not appear using the latest CIL from
the repository.
I hope this helps somewhat.
Kristis
On
hello,
I am currently looking at CIL for using it as part of my PhD project.
I would like to use CIL to instrument C implementations of cryptographic
protocols to output the protocol narration when they are run (much like
symbolic execution in CREST is working). I tried running CIL on OpenSSL
an
