Identify control statements in source code

[Daniel Gutson]

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