Metric-LogNPathCeiling

LogNPath_Ceiling

Required inputs: RFG

Computes ceiling(log2(number of maximal acyclic execution paths)) within a function. The rules for each syntactical construct can be found in NPATH: a measure of execution path complexity and its applications (Brian A. Nejmeh, Communications of the ACM, Volume 31 Issue 2, Feb. 1988).

The values of this metric can be very high and will be cut off at 2^(31 - 1) (the highest possible value for any integer metric in the RFG).

Possible Messages

This rule has no predefined messages.

Options

• This rule shares the following common options: exclude_messages_in_system_headers, excludes, includes, justification_checker, post_processing, provider, severity

• This rule shares the following common metric options: base_view_name, excluded_node_types, hierarchy_edge_name, hierarchy_view_name, propagate, report_all_values, report_propagated_values

• The following places define options that affect this rule: Analysis-GlobalOptions

display_name

display_name : str | None = 'LogNPath_Ceiling'

Description of the metric shown in the dashboard. If None, rfg_metric_name is used.

 

max_value

max_value : int | None = None

Maximum allowed value. None if unlimited.

 

min_value

min_value : int | None = None

Minimum allowed value. None if unlimited.

 

rfg_metric_name

rfg_metric_name : str = 'Metric.LogNPath_Ceiling'

Name of the node attribute storing the metric value in the RFG.