Disclaimer: I am not an expert, did not write CIL (neither gcc ;-), so
what follows is nothing more than my humble understanding of C99.
On Fri, Aug 28, 2009 at 06:00:40PM +0200, Enea Zaffanella wrote:
> I was considering the second example sent by Roberto.
> Here we need to evaluate the following
Enea Zaffanella wrote:
> Hello.
[...]
> I was considering the second example sent by Roberto.
[...]
> So I cannot see the undefined behavior mentioned in C99 6.5-2:
Could a CIL developer confirm whether or not my observations are
correct? That is, confirm whether or not this is a bug in CIL?
Che
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
