<div dir="ltr">I am looking for something that processes the source code at compile time. I need this information to map branches from execution traces to conditions within the source code. With this information it will be possible to analyze source coverage metrics as decision coverage or MCDC.<br><br><div class="gmail_quote"><div dir="ltr">Daniel Gutson <<a href="mailto:daniel.gutson@tallertechnologies.com">daniel.gutson@tallertechnologies.com</a>> schrieb am Do., 13. Aug. 2015 um 21:50 Uhr:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">1) Are you looking for something statically processed (i.e. at compile<br>
time) or at runtime? (such as gcov)<br>
2) Are you looking for a way to add _your_ annotations, or a way to<br>
_extract_ information?<br>
<br>
In any case, the best way I can think of is with a gcc plugin.<br>
<br>
Have you seen gcc's -ftest-coverage option?<br>
<br>
   Daniel.<br>
<br>
On Thu, Aug 13, 2015 at 4:06 PM, Hermann Felbinger<br>
<<a href="mailto:hermann19829@gmail.com" target="_blank">hermann19829@gmail.com</a>> wrote:<br>
> Hi all!<br>
><br>
> I am working on a tool to analyze source code coverage for RTEMS.<br>
> Currently I am looking for a tool to annotate source code such that I can<br>
> extract information about statements and conditions that affect the control<br>
> flow of a program.<br>
> A similar tool exists for Ada programs. They call this information 'Source<br>
> Coverage Obligations'. Some information about SCOs can be found in [1].<br>
> I attached a program triangle.c which contains some if-statements. Each of<br>
> these statements contains two or more conditions. The second attached file<br>
> is the output of compiling triangle.c with<br>
> gcc -O1 -fdump-tree-cfg -o triangle triangle.c<br>
> This output is almost what I am looking for, but I think that there has to<br>
> be something better out there.<br>
><br>
> Does anybody of you know a tool which I can use to annotate source code?<br>
><br>
> Best,<br>
> Hermann<br>
><br>
> [1] <a href="http://docs.adacore.com/gnatcoverage-docs/html/cov_source.html" rel="noreferrer" target="_blank">http://docs.adacore.com/gnatcoverage-docs/html/cov_source.html</a><br>
><br>
> _______________________________________________<br>
> devel mailing list<br>
> <a href="mailto:devel@rtems.org" target="_blank">devel@rtems.org</a><br>
> <a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a><br>
<br>
<br>
<br>
--<br>
<br>
Daniel F. Gutson<br>
Chief Engineering Officer, SPD<br>
<br>
San Lorenzo 47, 3rd Floor, Office 5<br>
Córdoba, Argentina<br>
<br>
Phone:   +54 351 4217888 / +54 351 4218211<br>
Skype:    dgutson<br>
LinkedIn: <a href="http://ar.linkedin.com/in/danielgutson" rel="noreferrer" target="_blank">http://ar.linkedin.com/in/danielgutson</a><br>
</blockquote></div></div>