AbstractMISRA context for error tracking and rule transformations state
Abstract ReadonlyanalysisSpecifies the scope of analysis: single unit or entire system.
Protected ReadonlyappliesStandards to which this rule applies to
ProtectedcontextProtectedfilesFiles where headers were kept because other library features are still used.
ProtectedinvalidA map that keeps track of invalid usages found in each file.
Protected AbstractinvalidNames of functions from standardLibrary that are forbidden. If the set is empty, all functions from standardLibrary are forbidden.
ReadonlypriorityA positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
Protected AbstractstandardThe name of the standard library
ProtectedunresolvedCalls that could not be resolved and their respective error message, stored to prevent repeated attempts of correction after rebuild.
List of dependent visits, which is empty by default
AbstractnameRule identifier according to MISRA-C:2012
An alias for 'name'
ProtectedappliesVerifies if the rule applies to the standard being used
Joinpoint to transform
Report detailing the transformation result
ProtectedgetReturns the prefix to be used for error messages related to the given joinpoint
Joinpoint where the violation was detected
Returns a prefix to prepend to error messages if no configuration is specified or if the configuration does not contain a fix for this violation
ProtectedgetRetrieves a fix for the given joinpoint using the provided configuration file
Joinpoint where the violation was detected
The fix retrieved from the configuration for the violation, or undefined if no applicable fix is found.
Initial value stored in the shared context
ProtectedlogLogs a MISRA-C rule violation error
The joinpoint where the violation occurred
Description of the violation
Joinpoint to analyze
[logErrors=false] - Whether to log errors if a violation is detected
Returns true if the joinpoint violates the rule, false otherwise
ProtectedrebuildRebuilds the program based on the current AST, clears stored data in the shared context, and resets all caches
Abstract base class for MISRA-C rules that prohibit the use of function of a standard library.
Need to implement/define: