Re: [CIL users] Problems building CCured on 64 bit (x86-64), gcc 4.1.1

[John R. <re...@cs...>]

Also, the Deputy runtime is much smaller and simpler than CCured's.  As long as 
you can handle the annotation burden and don't want/need GC I recommend 
switching to Deputy.

John



Matt Harren wrote:
> Hi Rich,
> 
> On 6/25/07, *Richard W.M. Jones* <rj...@re... 
> <mailto:rj...@re...>> wrote:
> 
>     I wonder if anyone has compiled CCured on 64 bit platforms.  There seem
>     to be a lot of 'unsigned == pointer size' assumptions.  For example this
>     is one of many errors I get when compiling the checking library: 
> 
> 
> 
> No, unfortunately.  There are a lot of machine-dependent code in the 
> runtime library.  John Regehr and his students  fixed the library to 
> work with embedded architectures, but I don't know that they did 
> anything for 64 bit platforms.
> 
>  
> 
>     Also I'm having a problem building the library because on gcc 4.1.1 it
>     appears that va_list is an array type, so I get:
> 
>     void __ccured_va_init_vs(CCURED_VAINFO *vainfo) {
>        vainfo->count = __ccured_va_count;
>        memcpy(vainfo->tags, __ccured_va_tags, sizeof(__ccured_va_tags));
> 
>        vainfo->next  = -1;
>        vainfo->nextp = (va_list)0;
> 
>     ^^^ lib/ccuredlib.c: In function '__ccured_va_init_vs':
>          lib/ccuredlib.c:2821: error: cast specifies array type
> 
> 
> Again, I don't have a solution, since the library is so 
> architecture-specific.  You'll have to change CCURED_VAINFO.nextp to be 
> a pointer to va_list's element type. 
> 
>     I would also like to try out the CVS (or SVN?) version too.  However I
>     cannot seem to find the CVSROOT anywhere on the site for CCured (I
>     checked out CIL from SVN OK however).
> 
> 
> The tarball of CCured is the latest version, since we're not updating it 
> anymore.  Currently, we're working on Deputy ( 
> http://deputy.cs.berkeley.edu/), which uses programmer annotations 
> instead of changing data structures and which is therefore less 
> platform-specific.
> 
> Cheers,
> Matt
>  
> 
> 
> ------------------------------------------------------------------------
> 
> -------------------------------------------------------------------------
> This SF.net email is sponsored by DB2 Express
> Download DB2 Express C - the FREE version of DB2 express and take
> control of your XML. No limits. Just data. Click to get it now.
> http://sourceforge.net/powerbar/db2/
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> CIL-users mailing list
> CIL...@li...
> https://lists.sourceforge.net/lists/listinfo/cil-users