I have a desire to determine the primitive type for all static variables in my program. I believe that SPLINT is already parsing my variables in order to do type checking. I am wondering if there is an option to dump this information into a file? Any ideas are much appreciated.
Thanks. Michael
_______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
