<div dir="ltr"><div><div><div><div><div><div><div>Hello clang-devel,<br><br></div>I am a student, and I would like to participate in Google Summer of Code 2014. I am mainly interested in the Static Analyzer and I would like to make infrastructural improvements. I have some experience in writing checkers and other clang based tools. Right now I am an intern at a company where my job is to implement checkers to verify that wether their code follows their design rules.<br>
<br></div>In my work one of my biggest obstacle was that, the static analyzer lacks the ability of cross translation unit analysis. This is the reason why I am very interested in BodyFarm. <br><br></div>There is an open project to model standard library functions using BodyFarm to make the analysis more precise. I would like to help to make BodyFarm working.<br>
<br></div>Furthermore I would like to make BodyFarm something more general. Coverity is doing it's analysis in two steps. First it builds a model, and than it uses that model when it does the analysis. I want to make it possible for checker writers to do a preliminary run to collect some definitions that can be used during the analysis. This would provide checker writers with some limited cross translation unit support which would be a great improvement in my opinion.<br>
<br></div>What are your opinions? Is there someone who willing to mentor this project? What are the chances it will get accepted?<br><br></div>Thanks in advance,<br></div>Gábor Horváth<br></div>