<div dir="ltr">Hi all!<div><br></div><div>I am working on a tool to analyze source code coverage for RTEMS.</div><div>Currently I am looking for a tool to annotate source code such that I can extract information about statements and conditions that affect the control flow of a program.</div><div>A similar tool exists for Ada programs. They call this information 'Source Coverage Obligations'. Some information about SCOs can be found in [1].</div><div>I attached a program triangle.c which contains some if-statements. Each of these statements contains two or more conditions. The second attached file is the output of compiling triangle.c with </div><div>gcc -O1 -fdump-tree-cfg -o triangle triangle.c</div><div>This output is almost what I am looking for, but I think that there has to be something better out there.</div><div><br></div><div>Does anybody of you know a tool which I can use to annotate source code?</div><div><br></div><div>Best,</div><div>Hermann</div><div><br></div><div>[1] <a href="http://docs.adacore.com/gnatcoverage-docs/html/cov_source.html">http://docs.adacore.com/gnatcoverage-docs/html/cov_source.html</a></div></div>