Hi, I am looking for a C front-end that has some kind of support for processing source code annotations in the form of pre- and post-conditions and loop invariants. So far, I haven't found anything suitable for the task (if you are aware of any C front-ends that support annotations, please let me know), and given that clang is a new project, it might be a good place to start. Exploiting comments, which was mentioned in a recent thread, would be for instance one of the ways to go.
Please let me know if anybody is already working on that, or planning to in the near future... Also, would you even be interested in adding support for annotations to clang? I think that would be a very useful feature since many static analysis tools rely on some sort of user-provided annotations, and having a uniform support for those would be great. Thanks! Cheers, -- Zvonimir _______________________________________________ cfe-dev mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
