> Include files are mostly useful for giving type information. I have got a different view on this matter.
> Coccinelle tries to parse C code independent of macro definitions, so having > the macro definitions from the include files is not likely to improve parsing. I guess that open issues will remain for correctness of static source code analysis if symbols become incomplete because of missing information from header files. I know that a few related experiences were demonstrated in the paper "Parsing C/C++ code without preprocessing" by Yoann Padioleau. http://padator.org/papers/yacfe-cc09.pdf Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
