Identify control statements in source code

Hermann Felbinger hermann19829 at gmail.com
Thu Aug 13 20:09:36 UTC 2015


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.

Daniel Gutson <daniel.gutson at tallertechnologies.com> schrieb am Do., 13.
Aug. 2015 um 21:50 Uhr:

> 1) Are you looking for something statically processed (i.e. at compile
> time) or at runtime? (such as gcov)
> 2) Are you looking for a way to add _your_ annotations, or a way to
> _extract_ information?
>
> In any case, the best way I can think of is with a gcc plugin.
>
> Have you seen gcc's -ftest-coverage option?
>
>    Daniel.
>
> On Thu, Aug 13, 2015 at 4:06 PM, Hermann Felbinger
> <hermann19829 at gmail.com> wrote:
> > Hi all!
> >
> > I am working on a tool to analyze source code coverage for RTEMS.
> > 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.
> > A similar tool exists for Ada programs. They call this information
> 'Source
> > Coverage Obligations'. Some information about SCOs can be found in [1].
> > 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
> > gcc -O1 -fdump-tree-cfg -o triangle triangle.c
> > This output is almost what I am looking for, but I think that there has
> to
> > be something better out there.
> >
> > Does anybody of you know a tool which I can use to annotate source code?
> >
> > Best,
> > Hermann
> >
> > [1] http://docs.adacore.com/gnatcoverage-docs/html/cov_source.html
> >
> > _______________________________________________
> > devel mailing list
> > devel at rtems.org
> > http://lists.rtems.org/mailman/listinfo/devel
>
>
>
> --
>
> Daniel F. Gutson
> Chief Engineering Officer, SPD
>
> San Lorenzo 47, 3rd Floor, Office 5
> Córdoba, Argentina
>
> Phone:   +54 351 4217888 / +54 351 4218211
> Skype:    dgutson
> LinkedIn: http://ar.linkedin.com/in/danielgutson
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20150813/65a26fb3/attachment-0002.html>


More information about the devel mailing list