Feature #9381

Return back program fragment sizes

Added by Evgeny Novikov over 1 year ago. Updated 5 months ago.

Program fragments generation
Target version:
Start date:
Due date:
% Done:


Estimated time:
Published in build:


Before Klever 2.0 VOG provided sizes of generated verification objects. PFG that replaces it provides information on C source files constituting program fragments but no sizes as I see. I suggest to add sizes at all levels, i.e. sizes for C source files, for program components if so and for program fragments after all.



Updated by Ilja Zakharov over 1 year ago

Just to keep in mind, that this requires refactoring of the Clade source graph collecting extension, that is why the feature was finally removed from Klever 2.0 before the release intentionally. With the current Clade implementation this feature would require an enormous amount of memory for Linux.


Updated by Evgeny Novikov about 1 year ago

  • Subject changed from Return back program fragment sized to Return back program fragment sizes

Updated by Ilja Zakharov 6 months ago

  • Status changed from New to Resolved

Fixed in klever-3.0.


Updated by Evgeny Novikov 6 months ago

  • Status changed from Resolved to Open

I dislike that there is strange attribute with name "Size", say, for unsafes. Please, either specify a good name or move the attribute to the right place, e.g. to description of program fragment. I prefer the latter.


Updated by Evgeny Novikov 6 months ago

In other places, say, for VTGW attribute "Size" does not look nice as well.


Updated by Evgeny Novikov 6 months ago

At last I fixed representation of data reports from PFG, so that program fragments and their sizes are shown directly at the PFG page. But now PFG provides not only program fragment sizes but their source files as well as sizes of the latter. After all the representation is not great and you need to fix it.


Updated by Ilja Zakharov 6 months ago

  • Status changed from Open to Resolved
Fixed issues mentioned above:
  • Simplified data attached to the PFG component report, removed information about composite fragments, their sizes and removed sizes of separate files. This was done to simplify drawing table in the PFG page.
  • Fixed the table at PFG page and added program fragments sizes and file lists per program fragment.
  • Removed Size attribute and added total program fragment size to the data value of Program fragment attribute.

Implemented in branch 9381-fragments-size.


Updated by Evgeny Novikov 5 months ago

  • Status changed from Resolved to Closed

In master.

Also available in: Atom PDF