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 <hermann19...@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.gut...@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 >> <hermann19...@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@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 Córdoba, Argentina Phone: +54 351 4217888 / +54 351 4218211 Skype: dgutson LinkedIn: http://ar.linkedin.com/in/danielgutson _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
