@specs-feup/clava-misra 1.0.0 → 1.0.2

package/dist/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.d.ts

@@ -0,0 +1,43 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA Rule 16.5: A default label shall appear as either the first or the last switch label of
+a switch statement
+ */
+export default class Rule_16_5_DefaultFirstOrLast extends MISRARule {
+    constructor(context: MISRAContext);
+    /**
+     * Retrieves all consecutive case statements to the left of a given case statement
+     *
+     * @param $jp - The starting case statement from which the search will begin
+     * @returns  Array containing consecutive case statements to the left of the provided joinpoint
+     *
+     */
+    private getConsecutiveRightCases;
+    /**
+     * Retrieves all consecutive case statements to the right of a given case statement
+     *
+     * @param $jp - The starting case statement from which the search will begin
+     * @returns  Array containing consecutive case statements to the right of the provided joinpoint
+     *
+     */
+    private getConsecutiveLeftCases;
+    /**
+     * Checks if the given joinpoint is a switch statement where the default label appears either as first of last label
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    /**
+     * Transforms a switch statement so that the default case appears as the last label
+     * - If the default case is not already the last case within its case clause list, it is repositioned
+     * - Then, the entire case clause list containing the default case to the end of the switch statement
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_16_5_DefaultFirstOrLast.d.ts.map

package/dist/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_5_DefaultFirstOrLast.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,SAAS,EAAkC,MAAM,qCAAqC,CAAC;AAC9G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAGpF;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,4BAA6B,SAAQ,SAAS;gBAEnD,OAAO,EAAE,YAAY;IAIjC;;;;;;OAMG;IACH,OAAO,CAAC,wBAAwB;IAUhC;;;;;;OAMG;IACH,OAAO,CAAC,uBAAuB;IAY/B;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAmB1D;;;;;;OAMG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CA4BvD"}

package/dist/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.js

@@ -0,0 +1,103 @@
+import { Case, Switch } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { isCommentStmt } from "../../utils/utils.js";
+/**
+ * MISRA Rule 16.5: A default label shall appear as either the first or the last switch label of
+a switch statement
+ */
+export default class Rule_16_5_DefaultFirstOrLast extends MISRARule {
+    constructor(context) {
+        super("16.5", context);
+    }
+    /**
+     * Retrieves all consecutive case statements to the left of a given case statement
+     *
+     * @param $jp - The starting case statement from which the search will begin
+     * @returns  Array containing consecutive case statements to the left of the provided joinpoint
+     *
+     */
+    getConsecutiveRightCases($jp) {
+        const cases = [];
+        for (const stmt of $jp.siblingsRight) {
+            if (!(stmt instanceof Case || isCommentStmt($jp)))
+                break;
+            cases.push(stmt);
+        }
+        return cases;
+    }
+    /**
+     * Retrieves all consecutive case statements to the right of a given case statement
+     *
+     * @param $jp - The starting case statement from which the search will begin
+     * @returns  Array containing consecutive case statements to the right of the provided joinpoint
+     *
+     */
+    getConsecutiveLeftCases($jp) {
+        let cases = [];
+        for (let i = $jp.siblingsLeft.length - 1; i >= 0; i--) {
+            const currentStmt = $jp.siblingsLeft[i];
+            if (!(currentStmt instanceof Case || isCommentStmt($jp))) {
+                break;
+            }
+            cases.push($jp.siblingsLeft[i]);
+        }
+        return cases.reverse();
+    }
+    /**
+     * Checks if the given joinpoint is a switch statement where the default label appears either as first of last label
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp, logErrors = false) {
+        if (!($jp instanceof Switch))
+            return false;
+        const caseStmts = $jp.cases;
+        for (let i = 0; i < caseStmts.length; i++) {
+            const currentCase = caseStmts[i];
+            if (currentCase.isDefault) {
+                if (i == 0 || i == caseStmts.length - 1) {
+                    return false;
+                }
+                if (logErrors) {
+                    this.logMISRAError($jp, "The default case of a switch statement must be the first or last label.");
+                }
+                return true;
+            }
+        }
+        return false;
+    }
+    /**
+     * Transforms a switch statement so that the default case appears as the last label
+     * - If the default case is not already the last case within its case clause list, it is repositioned
+     * - Then, the entire case clause list containing the default case to the end of the switch statement
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        const defaultCase = $jp.getDefaultCase;
+        const rightStatements = defaultCase.siblingsRight.filter(sibling => !isCommentStmt(sibling));
+        //  Reposition the default case to the last position within its case clause lis
+        if (rightStatements[0] instanceof Case) { // At least one of the first statements is a Case
+            const rightConsecutiveCases = this.getConsecutiveRightCases(defaultCase);
+            const lastRightCase = rightConsecutiveCases[rightConsecutiveCases.length - 1];
+            defaultCase.detach();
+            lastRightCase.insertAfter(defaultCase);
+            if (defaultCase.nextCase === undefined) { // Default is now the last case
+                return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+            }
+        }
+        // Move the entire case clause list containing the default case to the end of the switch statement
+        const switchScope = $jp.children[1];
+        const stmts = [...this.getConsecutiveLeftCases(defaultCase), defaultCase, ...defaultCase.instructions];
+        for (const stmt of stmts) {
+            stmt.detach();
+            switchScope.lastChild.insertAfter(stmt);
+        }
+        return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+    }
+}
+//# sourceMappingURL=Rule_16_5_DefaultFirstOrLast.js.map

package/dist/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_5_DefaultFirstOrLast.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,IAAI,EAAiC,MAAM,EAAe,MAAM,qCAAqC,CAAC;AAC9G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,4BAA6B,SAAQ,SAAS;IAE/D,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;;OAMG;IACK,wBAAwB,CAAC,GAAS;QACtC,MAAM,KAAK,GAAG,EAAE,CAAC;QACjB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;YACnC,IAAI,CAAC,CAAC,IAAI,YAAY,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC;gBAC7C,MAAM;YACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;;OAMG;IACK,uBAAuB,CAAC,GAAS;QACrC,IAAI,KAAK,GAAgB,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,CAAC,CAAC,WAAW,YAAY,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACvD,MAAM;YACV,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC;IAC3B,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3C,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtC,OAAO,KAAK,CAAC;gBACjB,CAAC;gBACD,IAAI,SAAS,EAAE,CAAC;oBACZ,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,yEAAyE,CAAC,CAAA;gBACtG,CAAC;gBACD,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;;OAMG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,MAAM,WAAW,GAAI,GAAc,CAAC,cAAc,CAAC;QACnD,MAAM,eAAe,GAAG,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QAE7F,+EAA+E;QAC/E,IAAI,eAAe,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,iDAAiD;YACvF,MAAM,qBAAqB,GAAG,IAAI,CAAC,wBAAwB,CAAC,WAAW,CAAC,CAAC;YACzE,MAAM,aAAa,GAAG,qBAAqB,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAE9E,WAAW,CAAC,MAAM,EAAE,CAAC;YACrB,aAAa,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;YACvC,IAAI,WAAW,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC,CAAC,+BAA+B;gBACrE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;YACnF,CAAC;QACL,CAAC;QAED,kGAAkG;QAClG,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,uBAAuB,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;QAEvG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;CACJ"}

package/dist/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.d.ts

@@ -0,0 +1,26 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA Rule 16.6:  Every switch statement shall have at least two switch-clauses.
+ */
+export default class Rule_16_6_SwitchMinTwoClauses extends MISRARule {
+    constructor(context: MISRAContext);
+    /**
+     * Checks if the given joinpoint is a switch statement with less than two clauses
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    /**
+     * Transforms a switch statement with less than two clauses into equivalent statement(s), only if there is no conditional break.
+     * If a conditional break is present, no transformation is performed and an error is generated.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_16_6_SwitchMinTwoClauses.d.ts.map

package/dist/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_6_SwitchMinTwoClauses.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,SAAS,EAAiC,MAAM,qCAAqC,CAAC;AAC3G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAwB,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAG1G;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,6BAA8B,SAAQ,SAAS;gBAEpD,OAAO,EAAE,YAAY;IAIjC;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAU1D;;;;;;OAMG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAkBvD"}

package/dist/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.js

@@ -0,0 +1,49 @@
+import { Switch } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { MISRASwitchConverter, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { getNumOfSwitchClauses, switchHasConditionalBreak } from "../../utils/utils.js";
+/**
+ * MISRA Rule 16.6:  Every switch statement shall have at least two switch-clauses.
+ */
+export default class Rule_16_6_SwitchMinTwoClauses extends MISRARule {
+    constructor(context) {
+        super("16.6", context);
+    }
+    /**
+     * Checks if the given joinpoint is a switch statement with less than two clauses
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp, logErrors = false) {
+        if (!($jp instanceof Switch))
+            return false;
+        const nonCompliant = getNumOfSwitchClauses($jp) < 2;
+        if (nonCompliant && logErrors) {
+            this.logMISRAError($jp, "Switch statements should have at least two clauses.");
+        }
+        return nonCompliant;
+    }
+    /**
+     * Transforms a switch statement with less than two clauses into equivalent statement(s), only if there is no conditional break.
+     * If a conditional break is present, no transformation is performed and an error is generated.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        if (switchHasConditionalBreak($jp)) {
+            this.logMISRAError($jp, "switch statement must have at least two clauses and cannot be transformed due to a conditional break statement.");
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
+        const transformResultNode = MISRASwitchConverter.convert($jp);
+        if (transformResultNode) {
+            return new MISRATransformationReport(MISRATransformationType.Replacement, transformResultNode);
+        }
+        // Only breaks were present, so the switch was removed
+        return new MISRATransformationReport(MISRATransformationType.Removal);
+    }
+}
+//# sourceMappingURL=Rule_16_6_SwitchMinTwoClauses.js.map

package/dist/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_6_SwitchMinTwoClauses.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgD,MAAM,EAAE,MAAM,qCAAqC,CAAC;AAC3G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAC1G,OAAO,EAAE,qBAAqB,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAExF;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,6BAA8B,SAAQ,SAAS;IAEhE,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3C,MAAM,YAAY,GAAG,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpD,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,qDAAqD,CAAC,CAAA;QAClF,CAAC;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;IAED;;;;;;OAMG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,IAAI,yBAAyB,CAAC,GAAa,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,iHAAiH,CAAC,CAAA;YAC1I,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,mBAAmB,GAAG,oBAAoB,CAAC,OAAO,CAAC,GAAa,CAAC,CAAC;QACxE,IAAI,mBAAmB,EAAE,CAAC;YACtB,OAAO,IAAI,yBAAyB,CAChC,uBAAuB,CAAC,WAAW,EACnC,mBAAmB,CACtB,CAAC;QACN,CAAC;QACD,sDAAsD;QACtD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;CACJ"}

package/dist/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.d.ts

@@ -0,0 +1,26 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA Rule 16.7: A switch-expression shall not have essentially Boolean type.
+ */
+export default class Rule_16_7_NonBooleanSwitchCondition extends MISRARule {
+    constructor(context: MISRAContext);
+    /**
+     * Checks if the given joinpoint is a switch statement with an essentially Boolean condition
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    /**
+     * Transforms a switch statement with a Boolean condition into equivalent statement(s), only if there is no conditional break.
+     * If a conditional break is present, no transformation is performed and an error is generated.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_16_7_NonBooleanSwitchCondition.d.ts.map

package/dist/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_7_NonBooleanSwitchCondition.d.ts","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,SAAS,EAAU,MAAM,qCAAqC,CAAC;AACrF,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAwB,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAG1G;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,mCAAoC,SAAQ,SAAS;gBAC1D,OAAO,EAAE,YAAY;IAIjC;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAU1D;;;;;;OAMG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAkBvD"}

package/dist/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.js

@@ -0,0 +1,49 @@
+import { Switch } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { MISRASwitchConverter, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { switchHasBooleanCondition, switchHasConditionalBreak } from "../../utils/utils.js";
+/**
+ * MISRA Rule 16.7: A switch-expression shall not have essentially Boolean type.
+ */
+export default class Rule_16_7_NonBooleanSwitchCondition extends MISRARule {
+    constructor(context) {
+        super("16.7", context);
+    }
+    /**
+     * Checks if the given joinpoint is a switch statement with an essentially Boolean condition
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp, logErrors = false) {
+        if (!($jp instanceof Switch))
+            return false;
+        const booleanCondition = switchHasBooleanCondition($jp);
+        if (booleanCondition && logErrors) {
+            this.logMISRAError($jp, `Switch statement controlling expression ${$jp.condition.code} must not have essentially boolean type.`);
+        }
+        return booleanCondition;
+    }
+    /**
+     * Transforms a switch statement with a Boolean condition into equivalent statement(s), only if there is no conditional break.
+     * If a conditional break is present, no transformation is performed and an error is generated.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        if (switchHasConditionalBreak($jp)) {
+            this.logMISRAError($jp, `The switch statement's controlling expression ${$jp.condition.code} must not be of a boolean type and cannot be transformed due to a conditional break statement.`);
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
+        const transformResultNode = MISRASwitchConverter.convert($jp);
+        if (transformResultNode) {
+            return new MISRATransformationReport(MISRATransformationType.Replacement, transformResultNode);
+        }
+        // Only breaks were present, so the switch was removed
+        return new MISRATransformationReport(MISRATransformationType.Removal);
+    }
+}
+//# sourceMappingURL=Rule_16_7_NonBooleanSwitchCondition.js.map

package/dist/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_16_7_NonBooleanSwitchCondition.js","sourceRoot":"","sources":["../../../src/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,MAAM,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAC1G,OAAO,EAAE,yBAAyB,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAE5F;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,mCAAoC,SAAQ,SAAS;IACtE,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAE3C,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;QACxD,IAAI,gBAAgB,IAAI,SAAS,EAAE,CAAC;YAChC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,2CAA2C,GAAG,CAAC,SAAS,CAAC,IAAI,0CAA0C,CAAC,CAAA;QACpI,CAAC;QACD,OAAO,gBAAgB,CAAC;IAC5B,CAAC;IAED;;;;;;OAMG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,IAAI,yBAAyB,CAAC,GAAa,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,iDAAkD,GAAc,CAAC,SAAS,CAAC,IAAI,gGAAgG,CAAC,CAAA;YACxM,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,mBAAmB,GAAG,oBAAoB,CAAC,OAAO,CAAC,GAAa,CAAC,CAAC;QACxE,IAAI,mBAAmB,EAAE,CAAC;YACtB,OAAO,IAAI,yBAAyB,CAChC,uBAAuB,CAAC,WAAW,EACnC,mBAAmB,CACtB,CAAC;QACN,CAAC;QACD,sDAAsD;QACtD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;CACJ"}

package/dist/rules/Section17_Functions/Rule_17_4_NonVoidReturn.d.ts

@@ -0,0 +1,31 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA Rule 17.4: All exit paths from a function with non-void return type shall have an
+explicit return statement with an expression. In a non-void function:
+- Every return statement has an expression, and a
+- Control cannot reach the end of the function without encountering a return statement
+ */
+export default class Rule_17_4_NonVoidReturn extends MISRARule {
+    constructor(context: MISRAContext);
+    /**
+     * Checks if the given joinpoint represents a non-void function that lacks an explicit return statement with an expression.
+     *
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    /**
+     * Transforms a non-void function joinpoint that has no return statement at the end, by adding a default return value based on the config file.
+     * - If the configuration file is is missing or invalid, no transformation is performed.
+     * - Otherwise, a return statement is inserted as the last statement of the function.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_17_4_NonVoidReturn.d.ts.map

package/dist/rules/Section17_Functions/Rule_17_4_NonVoidReturn.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_17_4_NonVoidReturn.d.ts","sourceRoot":"","sources":["../../../src/rules/Section17_Functions/Rule_17_4_NonVoidReturn.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqD,SAAS,EAAc,MAAM,qCAAqC,CAAC;AAC/H,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AAEjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAGpF;;;;;GAKG;AACH,MAAM,CAAC,OAAO,OAAO,uBAAwB,SAAQ,SAAS;gBAC9C,OAAO,EAAE,YAAY;IAIjC;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAkB1D;;;;;;;OAOG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CA0BvD"}

package/dist/rules/Section17_Functions/Rule_17_4_NonVoidReturn.js

@@ -0,0 +1,71 @@
+import { BuiltinType, FunctionJp, ReturnStmt } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+/**
+ * MISRA Rule 17.4: All exit paths from a function with non-void return type shall have an
+explicit return statement with an expression. In a non-void function:
+- Every return statement has an expression, and a
+- Control cannot reach the end of the function without encountering a return statement
+ */
+export default class Rule_17_4_NonVoidReturn extends MISRARule {
+    constructor(context) {
+        super("17.4", context);
+    }
+    /**
+     * Checks if the given joinpoint represents a non-void function that lacks an explicit return statement with an expression.
+     *
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp, logErrors = false) {
+        if (!($jp instanceof FunctionJp && $jp.isImplementation))
+            return false;
+        if ($jp.returnType instanceof BuiltinType && $jp.returnType.isVoid)
+            return false;
+        const emptyReturnStms = Query.searchFrom($jp, ReturnStmt, { returnExpr: undefined }).get();
+        const exitReturn = $jp.body.children.filter(child => child instanceof ReturnStmt && !emptyReturnStms.includes(child))[0];
+        if (logErrors) {
+            emptyReturnStms?.forEach(emptyReturn => this.logMISRAError(emptyReturn, "Every return statement in a non-void function must include an expression."));
+            if (exitReturn === undefined) {
+                this.logMISRAError($jp, `Function '${$jp.name}' reaches the end without a return statement.`);
+            }
+        }
+        return emptyReturnStms.length > 0 || exitReturn === undefined;
+    }
+    /**
+     * Transforms a non-void function joinpoint that has no return statement at the end, by adding a default return value based on the config file.
+     * - If the configuration file is is missing or invalid, no transformation is performed.
+     * - Otherwise, a return statement is inserted as the last statement of the function.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        const functionJp = $jp;
+        if (this.context.config) {
+            try {
+                const returnType = functionJp.type.code;
+                const defaultValueReturn = this.context.config.get("defaultValues")[returnType];
+                if (defaultValueReturn === undefined) {
+                    this.logMISRAError($jp, `Function '${functionJp.name}' reaches the end without a return statement. Default value return not added due to missing default value configuration for type '${returnType}'.`);
+                    return new MISRATransformationReport(MISRATransformationType.NoChange);
+                }
+                const newJp = ClavaJoinPoints.returnStmt(ClavaJoinPoints.exprLiteral(String(defaultValueReturn), functionJp.returnType));
+                functionJp.body.lastChild ? functionJp.body.lastChild.insertAfter(newJp) : functionJp.body.setFirstChild(newJp);
+                return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+            }
+            catch (error) {
+                this.logMISRAError($jp, `Function '${functionJp.name}' reaches the end without a return statement. Default value return not added due to invalid structure of configuration file.`);
+                return new MISRATransformationReport(MISRATransformationType.NoChange);
+            }
+        }
+        this.logMISRAError($jp, `Function '${functionJp.name}' reaches the end without a return statement. Default value return not added due to missing config file.`);
+        return new MISRATransformationReport(MISRATransformationType.NoChange);
+    }
+}
+//# sourceMappingURL=Rule_17_4_NonVoidReturn.js.map

package/dist/rules/Section17_Functions/Rule_17_4_NonVoidReturn.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_17_4_NonVoidReturn.js","sourceRoot":"","sources":["../../../src/rules/Section17_Functions/Rule_17_4_NonVoidReturn.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAA4B,UAAU,EAAa,UAAU,EAAE,MAAM,qCAAqC,CAAC;AAC/H,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACpF,OAAO,KAAK,MAAM,sCAAsC,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,CAAC,OAAO,OAAO,uBAAwB,SAAQ,SAAS;IAC1D,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,UAAU,IAAI,GAAG,CAAC,gBAAgB,CAAC;YAAE,OAAO,KAAK,CAAC;QAEvE,IAAI,GAAG,CAAC,UAAU,YAAY,WAAW,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAEjF,MAAM,eAAe,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,UAAU,EAAE,EAAC,UAAU,EAAE,SAAS,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACzF,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,YAAY,UAAU,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzH,IAAI,SAAS,EAAE,CAAC;YACZ,eAAe,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,CACnC,IAAI,CAAC,aAAa,CAAC,WAAW,EAAE,2EAA2E,CAAC,CAC/G,CAAA;YACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC3B,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,aAAa,GAAG,CAAC,IAAI,+CAA+C,CAAC,CAAA;YACjG,CAAC;QACL,CAAC;QACD,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,KAAK,SAAS,CAAC;IAClE,CAAC;IAED;;;;;;;OAOG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,MAAM,UAAU,GAAG,GAAiB,CAAC;QACrC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACtB,IAAI,CAAC;gBACD,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;gBACxC,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,UAAU,CAAC,CAAC;gBAEhF,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;oBACnC,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,aAAa,UAAU,CAAC,IAAI,qIAAqI,UAAU,IAAI,CAAC,CAAC;oBACzM,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;gBAC3E,CAAC;gBACD,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,eAAe,CAAC,WAAW,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,CAAe,CAAC;gBACvI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;gBAEhH,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;YAEnF,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,aAAa,UAAU,CAAC,IAAI,8HAA8H,CAAC,CAAC;gBACpL,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;YAC3E,CAAC;QACL,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,aAAa,UAAU,CAAC,IAAI,0GAA0G,CAAC,CAAA;QAC/J,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAC3E,CAAC;CACJ"}

package/dist/rules/Section17_Functions/Rule_17_6_StaticArraySizeParam.d.ts

@@ -0,0 +1,27 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA Rule 17.6: The declaration of an array parameter shall not contain the static keyword between the [ ]
+ */
+export default class Rule_17_6_StaticArraySizeParam extends MISRARule {
+    #private;
+    constructor(context: MISRAContext);
+    /**
+     * Checks if the given joinpoint represents a function with any array parameter containing the 'static' keyword between the [ ].
+     *
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    /**
+     * Transforms the joinpoint if it represents a function with any array parameter containing the 'static' keyword between the square brackets.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_17_6_StaticArraySizeParam.d.ts.map

package/dist/rules/Section17_Functions/Rule_17_6_StaticArraySizeParam.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_17_6_StaticArraySizeParam.d.ts","sourceRoot":"","sources":["../../../src/rules/Section17_Functions/Rule_17_6_StaticArraySizeParam.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuC,SAAS,EAAS,MAAM,qCAAqC,CAAC;AAC5G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AAEjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAGpF;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,8BAA+B,SAAQ,SAAS;;gBAErD,OAAO,EAAE,YAAY;IAIjC;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAiB1D;;;;;OAKG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAqBvD"}

package/dist/rules/Section17_Functions/Rule_17_6_StaticArraySizeParam.js

@@ -0,0 +1,58 @@
+import { AdjustedType, ArrayType, FunctionJp } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { getParamReferences } from "../../utils/utils.js";
+/**
+ * MISRA Rule 17.6: The declaration of an array parameter shall not contain the static keyword between the [ ]
+ */
+export default class Rule_17_6_StaticArraySizeParam extends MISRARule {
+    #invalidParams = [];
+    constructor(context) {
+        super("17.6", context);
+    }
+    /**
+     * Checks if the given joinpoint represents a function with any array parameter containing the 'static' keyword between the [ ].
+     *
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp, logErrors = false) {
+        if (!($jp instanceof FunctionJp) || $jp.root.standard === "c90")
+            return false;
+        this.#invalidParams = $jp.params.filter(paramJp => paramJp.type instanceof AdjustedType &&
+            paramJp.type.originalType instanceof ArrayType &&
+            paramJp.type.originalType.arraySize !== -1 &&
+            /\[\s*static\s+\d+\s*\]/.test(paramJp.code));
+        if (logErrors) {
+            for (const invalidParam of this.#invalidParams) {
+                this.logMISRAError(invalidParam, `The 'static' keyword cannot appear inside the square brackets ('[]') in array parameter declarations.`);
+            }
+        }
+        return this.#invalidParams.length > 0;
+    }
+    /**
+     * Transforms the joinpoint if it represents a function with any array parameter containing the 'static' keyword between the square brackets.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        for (const invalidParam of this.#invalidParams) {
+            const paramRefs = getParamReferences(invalidParam, $jp);
+            // Replace the parameter with a new array parameter whose size is variant
+            const originalType = invalidParam.type.originalType;
+            const newJp = ClavaJoinPoints.param(invalidParam.name, ClavaJoinPoints.incompleteArrayType(originalType.elementType));
+            const newParam = invalidParam.replaceWith(newJp);
+            // Replace all references to the invalid parameter with the new one
+            for (const ref of paramRefs) {
+                ref.replaceWith(newParam.varref());
+            }
+        }
+        return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+    }
+}
+//# sourceMappingURL=Rule_17_6_StaticArraySizeParam.js.map

package/dist/rules/Section17_Functions/Rule_17_6_StaticArraySizeParam.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_17_6_StaticArraySizeParam.js","sourceRoot":"","sources":["../../../src/rules/Section17_Functions/Rule_17_6_StaticArraySizeParam.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAoB,MAAM,qCAAqC,CAAC;AAC5G,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACpF,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,8BAA+B,SAAQ,SAAS;IACjE,cAAc,GAAY,EAAE,CAAC;IAC7B,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,UAAU,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QAE9E,IAAI,CAAC,cAAc,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,YAAY,YAAY;YACnF,OAAO,CAAC,IAAI,CAAC,YAAY,YAAY,SAAS;YAC9C,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,KAAK,CAAC,CAAC;YAC1C,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAC9C,CAAC;QAEF,IAAI,SAAS,EAAE,CAAC;YACZ,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBAC7C,IAAI,CAAC,aAAa,CAAC,YAAY,EAAE,uGAAuG,CAAC,CAAA;YAC7I,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1C,CAAC;IAED;;;;;OAKG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YAC7C,MAAM,SAAS,GAAG,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;YAExD,yEAAyE;YACzE,MAAM,YAAY,GAAI,YAAY,CAAC,IAAqB,CAAC,YAAY,CAAC;YACtE,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAC/B,YAAY,CAAC,IAAI,EACjB,eAAe,CAAC,mBAAmB,CAAE,YAA0B,CAAC,WAAW,CAAC,CAC/E,CAAC;YACF,MAAM,QAAQ,GAAG,YAAY,CAAC,WAAW,CAAC,KAAK,CAAU,CAAC;YAE1D,mEAAmE;YACnE,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;gBAC1B,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACvC,CAAC;QACL,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;CACJ"}

package/dist/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.d.ts

@@ -0,0 +1,28 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA Rule 17.7: The value returned by a function having non-void return type shall be
+used
+ */
+export default class Rule_17_7_UnusedReturnValue extends MISRARule {
+    constructor(context: MISRAContext);
+    /**
+     * Checks if the given joinpoint represents a non-void function call with an unused return value.
+     *
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp: Joinpoint, logErrors?: boolean): boolean;
+    /**
+     * Transforms the joinpoint if it represents a non-void function call, whose return type is unused.
+     * It ensures that the return value is explicitly cast to void.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_17_7_UnusedReturnValue.d.ts.map

package/dist/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_17_7_UnusedReturnValue.d.ts","sourceRoot":"","sources":["../../../src/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+B,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAC7F,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AAEjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,2BAA4B,SAAQ,SAAS;gBAClD,OAAO,EAAE,YAAY;IAIjC;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAW1D;;;;;;OAMG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAMvD"}

package/dist/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.js

@@ -0,0 +1,44 @@
+import { BuiltinType, Call, ExprStmt } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+/**
+ * MISRA Rule 17.7: The value returned by a function having non-void return type shall be
+used
+ */
+export default class Rule_17_7_UnusedReturnValue extends MISRARule {
+    constructor(context) {
+        super("17.7", context);
+    }
+    /**
+     * Checks if the given joinpoint represents a non-void function call with an unused return value.
+     *
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp, logErrors = false) {
+        if (!($jp instanceof Call))
+            return false;
+        if ($jp.returnType instanceof BuiltinType && $jp.returnType.isVoid)
+            return false;
+        if ($jp.parent instanceof ExprStmt && logErrors) {
+            this.logMISRAError($jp, `Return value of ${$jp.signature} must be used. It can be discarded with an explicit cast to void.`);
+        }
+        return $jp.parent instanceof ExprStmt;
+    }
+    /**
+     * Transforms the joinpoint if it represents a non-void function call, whose return type is unused.
+     * It ensures that the return value is explicitly cast to void.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp) {
+        if (!this.match($jp))
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        const newJp = ClavaJoinPoints.cStyleCast(ClavaJoinPoints.type("void"), $jp);
+        return new MISRATransformationReport(MISRATransformationType.Replacement, $jp.replaceWith(newJp));
+    }
+}
+//# sourceMappingURL=Rule_17_7_UnusedReturnValue.js.map

package/dist/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_17_7_UnusedReturnValue.js","sourceRoot":"","sources":["../../../src/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAa,MAAM,qCAAqC,CAAC;AAC7F,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,2BAA4B,SAAQ,SAAS;IAC9D,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAEzC,IAAI,GAAG,CAAC,UAAU,YAAY,WAAW,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAEjF,IAAI,GAAG,CAAC,MAAM,YAAY,QAAQ,IAAI,SAAS,EAAE,CAAC;YAC9C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAC,mBAAmB,GAAG,CAAC,SAAS,mEAAmE,CAAC,CAAC;QAChI,CAAC;QACD,OAAO,GAAG,CAAC,MAAM,YAAY,QAAQ,CAAC;IAC1C,CAAC;IAED;;;;;;OAMG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,MAAM,KAAK,GAAI,eAAe,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAW,CAAC,CAAC;QACrF,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACtG,CAAC;CACJ"}