Hi, Ludolf Holzheid, Is there API provided by Splint so I can do my own data flow analysis base on Splint? Thanks. Zhang Yu -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080609/c98f1afe/attachment.html