Hello.
I played the last days a bit with the CCL (CCured Light) CIL module - for
example, I
used the equalTypes function defined there, which checks structurally 2 types
are equal
(types defined with typedef are allowed, as well).
Also, I tried to use the CCL module on C files. It usually outputs
warnings that I
haven't annotated formal parameters (I guess I have to use type qualifiers,
which seem to
be different from the ones presented in the CCured paper), etc and gives error
when
pointers are dereferenced (I guess because they are not annotated). Could
somebody please
explain me how to use module CCL? Is there some documentation available?
One more thing: if I remember correctly, CCured is no longer available,
Deputy being
a sort-of replacement for it. If I am wrong, please comment.
Best regards,
Alex
------------------------------------------------------------------------------
How ServiceNow helps IT people transform IT departments:
1. Consolidate legacy IT systems to a single system of record for IT
2. Standardize and globalize service processes across IT
3. Implement zero-touch automation to replace manual, redundant tasks
http://pubads.g.doubleclick.net/gampad/clk?id=51271111&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
