Identify control statements in source code
daniel.gutson at tallertechnologies.com
Thu Aug 13 20:34:12 UTC 2015
I'd recommend a gcc plugin that generates your annotations; otherwise,
dig into gcov in order to parse a .gcno file.
On Thu, Aug 13, 2015 at 5:09 PM, Hermann Felbinger
<hermann19829 at gmail.com> wrote:
> 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?
>> 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 .
>> > 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
>> >  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
Daniel F. Gutson
Chief Engineering Officer, SPD
San Lorenzo 47, 3rd Floor, Office 5
Phone: +54 351 4217888 / +54 351 4218211
More information about the devel