On Wed, Sep 18, 2013 at 03:58:46PM -0400, Edward Schwartz wrote:
> Are the CIL semantics formally defined anywhere? I am aware of
> http://www.cs.berkeley.edu/~necula/Papers/cil_cc02.pdf but it seems
> incomplete. Alternatively, is there a concrete evaluator for CIL? I
> am particularly interest
Hi,
Are the CIL semantics formally defined anywhere? I am aware of
http://www.cs.berkeley.edu/~necula/Papers/cil_cc02.pdf but it seems
incomplete. Alternatively, is there a concrete evaluator for CIL? I
am particularly interested in the semantics of casts, and how
expressions can be created tha
Gabriel -
On Wed, Sep 18, 2013 at 08:41:04AM +0100, Gabriel Kerneis wrote:
> Do you know why Golf is not enabled by default?
No, I don't. Could be the dreaded
backwards-compatability whatever, though.
I don't see any reason not to hard-code `Golf'.
It never produced any false positives
Christoph,
On Wed, Sep 18, 2013 at 09:33:21AM +0200, Christoph Spiel wrote:
> (3) Precise pointer analysis turned out to be
> crucial. The default `Olf' module is much
> to imprecise, but you can simply replace it
> with `Golf' at the top of "ptranal.ml".
> Golf returns _much_ sma
Alex -
On Tue, Sep 17, 2013 at 04:21:43PM +0300, Alex Susu wrote:
> Did anybody use Dead code elimination (DCE)?
We used it, but that dates back almost a
decade, when we analyzed several large projects
in embedded environments.
Let me summarize the problems I still remember.
(1) CI
