@specs-feup/clava-misra 1.0.2 → 1.0.4

package/dist/rules/Section5_Identifiers/Rule_5_6_UniqueTypedefNames.js

@@ -0,0 +1,54 @@
+import { Program, TypedefDecl } from "@specs-feup/clava/api/Joinpoints.js";
+import { getIdentifierName, isIdentifierDuplicated, isIdentifierNameDeclaredBefore } from "../../utils/IdentifierUtils.js";
+import { getTypeDefDecl } from "../../utils/TypeDeclUtils.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { isTagDecl } from "../../utils/JoinpointUtils.js";
+import { getIdentifierDecls } from "../../utils/ProgramUtils.js";
+import IdentifierRenameRule from "./IdentifierRenameRule.js";
+import { AnalysisType } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 5.6: A typedef name shall be a unique identifier.
+ *
+ * Exception: The typedef name may be the same as the structure, union  or enumeration tag name associated with the typedef.
+ */
+export default class Rule_5_6_UniqueTypedefNames extends IdentifierRenameRule {
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SYSTEM;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "5.6";
+    }
+    /**
+     *
+     * @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 Program))
+            return false;
+        const typedefDecls = Query.search(TypedefDecl).get();
+        this.invalidIdentifiers = getIdentifierDecls().filter((identifierJp) => {
+            if (isTagDecl(identifierJp)) {
+                return typedefDecls.filter((decl) => getIdentifierName(identifierJp) === getIdentifierName(decl) &&
+                    getTypeDefDecl(identifierJp)?.astId !== decl.astId).length > 0;
+            }
+            else if (identifierJp instanceof TypedefDecl) {
+                return isIdentifierNameDeclaredBefore(identifierJp, typedefDecls);
+            }
+            return isIdentifierDuplicated(identifierJp, typedefDecls);
+        });
+        const nonCompliant = this.invalidIdentifiers.length > 0;
+        if (nonCompliant && logErrors) {
+            this.invalidIdentifiers.forEach(identifierJp => {
+                this.logMISRAError(identifierJp, `Identifier '${getIdentifierName(identifierJp)}' is also the name of a typedef. Typedef identifiers must not be reused.`);
+            });
+        }
+        return nonCompliant;
+    }
+}
+//# sourceMappingURL=Rule_5_6_UniqueTypedefNames.js.map

package/dist/rules/Section5_Identifiers/Rule_5_6_UniqueTypedefNames.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_5_6_UniqueTypedefNames.js","sourceRoot":"","sources":["../../../src/rules/Section5_Identifiers/Rule_5_6_UniqueTypedefNames.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,OAAO,EAAE,WAAW,EAAE,MAAM,qCAAqC,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAC3H,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,oBAAoB,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;;;GAIG;AACH,MAAM,CAAC,OAAO,OAAO,2BAA4B,SAAQ,oBAAoB;IACzE;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;IAE5C;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAE5C,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;QAErD,IAAI,CAAC,kBAAkB,GAAG,kBAAkB,EAAE,CAAC,MAAM,CAAC,CAAC,YAAY,EAAE,EAAE;YAEnE,IAAI,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC1B,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAChC,iBAAiB,CAAC,YAAY,CAAC,KAAK,iBAAiB,CAAC,IAAI,CAAC;oBAC3D,cAAc,CAAC,YAAY,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,KAAK,CACrD,CAAC,MAAM,GAAG,CAAC,CAAA;YAChB,CAAC;iBACI,IAAI,YAAY,YAAY,WAAW,EAAE,CAAC;gBAC3C,OAAO,8BAA8B,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;YACtE,CAAC;YACD,OAAO,sBAAsB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,MAAM,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;QAExD,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE;gBAC3C,IAAI,CAAC,aAAa,CAAC,YAAY,EAAE,eAAe,iBAAiB,CAAC,YAAY,CAAC,0EAA0E,CAAC,CAAC;YAC/J,CAAC,CAAC,CAAA;QACN,CAAC;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;CACJ"}

package/dist/rules/Section5_Identifiers/Rule_5_7_UniqueTagNames.d.ts

@@ -0,0 +1,27 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import IdentifierRenameRule from "./IdentifierRenameRule.js";
+import { AnalysisType } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 5.7: A tag name shall be a unique identifier.
+ *
+ * Exception: The tag name may be the same as the typedef name with which it is  associated.
+ */
+export default class Rule_5_7_UniqueTagNames extends IdentifierRenameRule {
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SYSTEM;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+    /**
+     * Checks whether the given joinpoint represents an identifier that has the same name as any tag (i.e., enum, union or struct)
+     *
+     * @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;
+}
+//# sourceMappingURL=Rule_5_7_UniqueTagNames.d.ts.map

package/dist/rules/Section5_Identifiers/Rule_5_7_UniqueTagNames.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_5_7_UniqueTagNames.d.ts","sourceRoot":"","sources":["../../../src/rules/Section5_Identifiers/Rule_5_7_UniqueTagNames.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAwB,MAAM,qCAAqC,CAAC;AAMtF,OAAO,oBAAoB,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;;;GAIG;AACH,MAAM,CAAC,OAAO,OAAO,uBAAwB,SAAQ,oBAAoB;IACrE;;OAEG;IACH,QAAQ,CAAC,YAAY,uBAAuB;IAE5C;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;CA0B7D"}

package/dist/rules/Section5_Identifiers/Rule_5_7_UniqueTagNames.js

@@ -0,0 +1,55 @@
+import { Joinpoint, Program, TypedefDecl } from "@specs-feup/clava/api/Joinpoints.js";
+import { getIdentifierName, isIdentifierDuplicated, isIdentifierNameDeclaredBefore } from "../../utils/IdentifierUtils.js";
+import { getTypeDefDecl } from "../../utils/TypeDeclUtils.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { isTagDecl } from "../../utils/JoinpointUtils.js";
+import { getIdentifierDecls } from "../../utils/ProgramUtils.js";
+import IdentifierRenameRule from "./IdentifierRenameRule.js";
+import { AnalysisType } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 5.7: A tag name shall be a unique identifier.
+ *
+ * Exception: The tag name may be the same as the typedef name with which it is  associated.
+ */
+export default class Rule_5_7_UniqueTagNames extends IdentifierRenameRule {
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SYSTEM;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "5.7";
+    }
+    /**
+     * Checks whether the given joinpoint represents an identifier that has the same name as any tag (i.e., enum, union or struct)
+     *
+     * @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 Program))
+            return false;
+        const tagDecls = Query.search(Joinpoint, (jp => { return isTagDecl(jp); })).get();
+        this.invalidIdentifiers = getIdentifierDecls().filter((identifierJp) => {
+            if (identifierJp instanceof TypedefDecl) {
+                return tagDecls.filter((tag) => getIdentifierName(identifierJp) === getIdentifierName(tag) &&
+                    getTypeDefDecl(tag)?.ast !== identifierJp.ast).length > 0;
+            }
+            else if (isTagDecl(identifierJp)) {
+                return isIdentifierNameDeclaredBefore(identifierJp, tagDecls);
+            }
+            return isIdentifierDuplicated(identifierJp, tagDecls);
+        });
+        const nonCompliant = this.invalidIdentifiers.length > 0;
+        if (nonCompliant && logErrors) {
+            this.invalidIdentifiers.forEach(identifierJp => {
+                this.logMISRAError(identifierJp, `Identifier '${getIdentifierName(identifierJp)}' is also the name of a tag. Tag identifiers must not be reused.`);
+            });
+        }
+        return nonCompliant;
+    }
+}
+//# sourceMappingURL=Rule_5_7_UniqueTagNames.js.map

package/dist/rules/Section5_Identifiers/Rule_5_7_UniqueTagNames.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_5_7_UniqueTagNames.js","sourceRoot":"","sources":["../../../src/rules/Section5_Identifiers/Rule_5_7_UniqueTagNames.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,qCAAqC,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAC3H,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,oBAAoB,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;;;GAIG;AACH,MAAM,CAAC,OAAO,OAAO,uBAAwB,SAAQ,oBAAoB;IACrE;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;IAE5C;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAE5C,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,GAAE,OAAO,SAAS,CAAC,EAAE,CAAC,CAAA,CAAA,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC/E,IAAI,CAAC,kBAAkB,GAAG,kBAAkB,EAAE,CAAC,MAAM,CAAC,CAAC,YAAY,EAAE,EAAE;YAEnE,IAAI,YAAY,YAAY,WAAW,EAAE,CAAC;gBACtC,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAC3B,iBAAiB,CAAC,YAAY,CAAC,KAAK,iBAAiB,CAAC,GAAG,CAAC;oBAC1D,cAAc,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,YAAY,CAAC,GAAG,CAChD,CAAC,MAAM,GAAG,CAAC,CAAC;YACjB,CAAC;iBACI,IAAI,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC/B,OAAO,8BAA8B,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,sBAAsB,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;QAExD,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE;gBAC3C,IAAI,CAAC,aAAa,CAAC,YAAY,EAAE,eAAe,iBAAiB,CAAC,YAAY,CAAC,kEAAkE,CAAC,CAAC;YACvJ,CAAC,CAAC,CAAA;QACN,CAAC;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;CACJ"}

package/dist/rules/Section5_Identifiers/Rule_5_8_UniqueExternalLinkIdentifiers.d.ts

@@ -0,0 +1,24 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import IdentifierRenameRule from "./IdentifierRenameRule.js";
+import { AnalysisType } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 5.8: Identifiers that define objects or functions with external linkage shall be unique
+ */
+export default class Rule_5_8_UniqueExternalLinkIdentifiers extends IdentifierRenameRule {
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SYSTEM;
+    /**
+    * @returns Rule identifier according to MISRA-C:2012
+    */
+    get name(): string;
+    /**
+     *
+     * @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;
+}
+//# sourceMappingURL=Rule_5_8_UniqueExternalLinkIdentifiers.d.ts.map

package/dist/rules/Section5_Identifiers/Rule_5_8_UniqueExternalLinkIdentifiers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_5_8_UniqueExternalLinkIdentifiers.d.ts","sourceRoot":"","sources":["../../../src/rules/Section5_Identifiers/Rule_5_8_UniqueExternalLinkIdentifiers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAW,MAAM,qCAAqC,CAAC;AAGzE,OAAO,oBAAoB,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,sCAAuC,SAAQ,oBAAoB;IACpF;;OAEG;IACH,QAAQ,CAAC,YAAY,uBAAuB;IAE3C;;MAEE;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;CAkB7D"}

package/dist/rules/Section5_Identifiers/Rule_5_8_UniqueExternalLinkIdentifiers.js

@@ -0,0 +1,42 @@
+import { Program } from "@specs-feup/clava/api/Joinpoints.js";
+import { getIdentifierName, isExternalLinkageIdentifier, isIdentifierDuplicated, isIdentifierNameDeclaredBefore } from "../../utils/IdentifierUtils.js";
+import { getExternalLinkageIdentifiers, getIdentifierDecls } from "../../utils/ProgramUtils.js";
+import IdentifierRenameRule from "./IdentifierRenameRule.js";
+import { AnalysisType } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 5.8: Identifiers that define objects or functions with external linkage shall be unique
+ */
+export default class Rule_5_8_UniqueExternalLinkIdentifiers extends IdentifierRenameRule {
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SYSTEM;
+    /**
+    * @returns Rule identifier according to MISRA-C:2012
+    */
+    get name() {
+        return "5.8";
+    }
+    /**
+     *
+     * @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 Program))
+            return false;
+        const externalLinkageIdentifiers = getExternalLinkageIdentifiers();
+        this.invalidIdentifiers = getIdentifierDecls().filter((identifierJp) => isExternalLinkageIdentifier(identifierJp) ?
+            isIdentifierNameDeclaredBefore(identifierJp, externalLinkageIdentifiers) :
+            isIdentifierDuplicated(identifierJp, externalLinkageIdentifiers));
+        const nonCompliant = this.invalidIdentifiers.length > 0;
+        if (nonCompliant && logErrors) {
+            this.invalidIdentifiers.forEach(identifierJp => {
+                this.logMISRAError(identifierJp, `Identifier '${getIdentifierName(identifierJp)}' is already defined with external linkage in this or other file.`);
+            });
+        }
+        return nonCompliant;
+    }
+}
+//# sourceMappingURL=Rule_5_8_UniqueExternalLinkIdentifiers.js.map

package/dist/rules/Section5_Identifiers/Rule_5_8_UniqueExternalLinkIdentifiers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_5_8_UniqueExternalLinkIdentifiers.js","sourceRoot":"","sources":["../../../src/rules/Section5_Identifiers/Rule_5_8_UniqueExternalLinkIdentifiers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,OAAO,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,sBAAsB,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AACxJ,OAAO,EAAE,6BAA6B,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAChG,OAAO,oBAAoB,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,sCAAuC,SAAQ,oBAAoB;IACpF;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;IAE3C;;MAEE;IACH,IAAa,IAAI;QACb,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAE5C,MAAM,0BAA0B,GAAG,6BAA6B,EAAE,CAAC;QACnE,IAAI,CAAC,kBAAkB,GAAG,kBAAkB,EAAE,CAAC,MAAM,CAAC,CAAC,YAAY,EAAE,EAAE,CACrE,2BAA2B,CAAC,YAAY,CAAC,CAAC,CAAC;YACzC,8BAA8B,CAAC,YAAY,EAAE,0BAA0B,CAAC,CAAC,CAAC;YAC1E,sBAAsB,CAAC,YAAY,EAAE,0BAA0B,CAAC,CACnE,CAAC;QAEF,MAAM,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;QACxD,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE;gBAC3C,IAAI,CAAC,aAAa,CAAC,YAAY,EAAE,eAAe,iBAAiB,CAAC,YAAY,CAAC,mEAAmE,CAAC,CAAC;YACxJ,CAAC,CAAC,CAAA;QACN,CAAC;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;CACJ"}

package/dist/rules/Section5_Identifiers/Rule_5_9_UniqueInternalLinkIdentifiers.d.ts

@@ -0,0 +1,24 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import IdentifierRenameRule from "./IdentifierRenameRule.js";
+import { AnalysisType } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 5.9: Identifiers that define objects or functions with internal linkage should be unique
+ */
+export default class Rule_5_9_UniqueInternalLinkIdentifiers extends IdentifierRenameRule {
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SYSTEM;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+    /**
+     *
+     * @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;
+}
+//# sourceMappingURL=Rule_5_9_UniqueInternalLinkIdentifiers.d.ts.map

package/dist/rules/Section5_Identifiers/Rule_5_9_UniqueInternalLinkIdentifiers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_5_9_UniqueInternalLinkIdentifiers.d.ts","sourceRoot":"","sources":["../../../src/rules/Section5_Identifiers/Rule_5_9_UniqueInternalLinkIdentifiers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,SAAS,EAAU,MAAM,qCAAqC,CAAC;AAGvE,OAAO,oBAAoB,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,sCAAuC,SAAQ,oBAAoB;IACpF;;OAEG;IACH,QAAQ,CAAC,YAAY,uBAAuB;IAE5C;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;CAkB7D"}

package/dist/rules/Section5_Identifiers/Rule_5_9_UniqueInternalLinkIdentifiers.js

@@ -0,0 +1,42 @@
+import { Program } from "@specs-feup/clava/api/Joinpoints.js";
+import { getIdentifierDecls, getInternalLinkageIdentifiers } from "../../utils/ProgramUtils.js";
+import { getIdentifierName, isIdentifierDuplicated, isIdentifierNameDeclaredBefore, isInternalLinkageIdentifier } from "../../utils/IdentifierUtils.js";
+import IdentifierRenameRule from "./IdentifierRenameRule.js";
+import { AnalysisType } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 5.9: Identifiers that define objects or functions with internal linkage should be unique
+ */
+export default class Rule_5_9_UniqueInternalLinkIdentifiers extends IdentifierRenameRule {
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SYSTEM;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "5.9";
+    }
+    /**
+     *
+     * @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 Program))
+            return false;
+        const internalLinkageIdentifiers = getInternalLinkageIdentifiers();
+        this.invalidIdentifiers = getIdentifierDecls().filter((identifierJp) => isInternalLinkageIdentifier(identifierJp) ?
+            isIdentifierNameDeclaredBefore(identifierJp, internalLinkageIdentifiers) :
+            isIdentifierDuplicated(identifierJp, internalLinkageIdentifiers));
+        const nonCompliant = this.invalidIdentifiers.length > 0;
+        if (nonCompliant && logErrors) {
+            this.invalidIdentifiers.forEach(identifierJp => {
+                this.logMISRAError(identifierJp, `Identifier '${getIdentifierName(identifierJp)}' is already defined with internal linkage in this or other file.`);
+            });
+        }
+        return nonCompliant;
+    }
+}
+//# sourceMappingURL=Rule_5_9_UniqueInternalLinkIdentifiers.js.map

package/dist/rules/Section5_Identifiers/Rule_5_9_UniqueInternalLinkIdentifiers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_5_9_UniqueInternalLinkIdentifiers.js","sourceRoot":"","sources":["../../../src/rules/Section5_Identifiers/Rule_5_9_UniqueInternalLinkIdentifiers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,OAAO,EAAC,MAAM,qCAAqC,CAAC;AACvE,OAAO,EAAE,kBAAkB,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAChG,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,8BAA8B,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AACxJ,OAAO,oBAAoB,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,sCAAuC,SAAQ,oBAAoB;IACpF;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;IAE5C;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAE5C,MAAM,0BAA0B,GAAG,6BAA6B,EAAE,CAAC;QACnE,IAAI,CAAC,kBAAkB,GAAG,kBAAkB,EAAE,CAAC,MAAM,CAAC,CAAC,YAAY,EAAE,EAAE,CACnE,2BAA2B,CAAC,YAAY,CAAC,CAAC,CAAC;YACvC,8BAA8B,CAAC,YAAY,EAAE,0BAA0B,CAAC,CAAC,CAAC;YAC1E,sBAAsB,CAAC,YAAY,EAAE,0BAA0B,CAAC,CACvE,CAAC;QAEF,MAAM,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;QACxD,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE;gBAC3C,IAAI,CAAC,aAAa,CAAC,YAAY,EAAE,eAAe,iBAAiB,CAAC,YAAY,CAAC,mEAAmE,CAAC,CAAC;YACxJ,CAAC,CAAC,CAAA;QACN,CAAC;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;CACJ"}

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_6_SingleExternalDefinition.d.ts

@@ -0,0 +1,35 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { AnalysisType, MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 8.6: An identifier with external linkage shall have exactly one external definition
+ */
+export default class Rule_8_6_SingleExternalDefinition extends MISRARule {
+    #private;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SYSTEM;
+    /**
+     * A positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
+     */
+    readonly priority = 2;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+    /**
+     *
+     * @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;
+    /**
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    apply($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_8_6_SingleExternalDefinition.d.ts.map

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_6_SingleExternalDefinition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_8_6_SingleExternalDefinition.d.ts","sourceRoot":"","sources":["../../../src/rules/Section8_DeclarationsAndDefinitions/Rule_8_6_SingleExternalDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,SAAS,EAAkC,MAAM,qCAAqC,CAAC;AACxG,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAOlG;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,iCAAkC,SAAQ,SAAS;;IACpE;;OAEG;IACH,QAAQ,CAAC,YAAY,uBAAuB;IAE5C;;OAEG;IACH,QAAQ,CAAC,QAAQ,KAAK;IAItB;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAuB1D;;;;OAIG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAmDnD"}

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_6_SingleExternalDefinition.js

@@ -0,0 +1,98 @@
+import { FileJp, Program, StorageClass } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { AnalysisType, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { getIdentifierName } from "../../utils/IdentifierUtils.js";
+import { getExternalLinkageVars, resetCaches } from "../../utils/ProgramUtils.js";
+import { compareLocation } from "../../utils/JoinpointUtils.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { isSameVarDecl } from "../../utils/VarUtils.js";
+/**
+ * MISRA-C Rule 8.6: An identifier with external linkage shall have exactly one external definition
+ */
+export default class Rule_8_6_SingleExternalDefinition extends MISRARule {
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SYSTEM;
+    /**
+     * A positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
+     */
+    priority = 2;
+    #invalidDecls = [];
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "8.6";
+    }
+    /**
+     *
+     * @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 Program)) {
+            return false;
+        }
+        const externalLinkageVars = getExternalLinkageVars();
+        this.#invalidDecls = externalLinkageVars.filter((decl1) => externalLinkageVars.some((decl2) => isSameVarDecl(decl1, decl2) &&
+            decl1.getAncestor("file").ast !== decl2.getAncestor("file").ast &&
+            compareLocation(decl2, decl1) < 0));
+        const nonCompliant = this.#invalidDecls.length > 0;
+        if (nonCompliant && logErrors) {
+            this.#invalidDecls.forEach(identifierJp => {
+                this.logMISRAError(identifierJp, `Identifier '${getIdentifierName(identifierJp)}' with external linkage is defined in multiple files.`);
+            });
+        }
+        return nonCompliant;
+    }
+    /**
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    apply($jp) {
+        if (!this.match($jp)) {
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
+        let solved = false;
+        const uniqueDecls = this.#invalidDecls.reduce((acc, decl1) => acc.some(decl2 => isSameVarDecl(decl1, decl2)) ? acc : [...acc, decl1], []);
+        for (const decl of uniqueDecls) {
+            if (this.context.getRuleResult(this.ruleID, decl) === MISRATransformationType.NoChange) {
+                continue;
+            }
+            const filesWithInitialization = Query.search(FileJp, (fileJp) => {
+                return fileJp.descendants.some((jp) => isSameVarDecl(jp, decl) && jp.init !== undefined);
+            }).get();
+            if (filesWithInitialization.length > 1) {
+                const other = this.#invalidDecls.filter(identifier => isSameVarDecl(identifier, decl));
+                for (const varDecl of other) {
+                    this.logMISRAError(varDecl, `Identifier '${getIdentifierName(varDecl)}' with external linkage has multiple definitions across files. Automatic correction cannot be applied due to multiple initializations.`);
+                    this.context.addRuleResult(this.ruleID, varDecl, MISRATransformationType.NoChange);
+                }
+            }
+            else if (filesWithInitialization.length === 0) {
+                const other = this.#invalidDecls.filter(identifier => isSameVarDecl(decl, identifier));
+                other.forEach(varDecl => {
+                    varDecl.setStorageClass(StorageClass.EXTERN);
+                });
+                solved = true;
+            }
+            else {
+                const other = getExternalLinkageVars().filter(identifierJp => isSameVarDecl(decl, identifierJp) &&
+                    (identifierJp.getAncestor("file").ast !== filesWithInitialization[0].ast));
+                other.forEach(varDecl => {
+                    varDecl.setStorageClass(StorageClass.EXTERN);
+                });
+                solved = true;
+            }
+        }
+        if (solved) {
+            resetCaches();
+            return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+        }
+        return new MISRATransformationReport(MISRATransformationType.NoChange);
+    }
+}
+//# sourceMappingURL=Rule_8_6_SingleExternalDefinition.js.map

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_6_SingleExternalDefinition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_8_6_SingleExternalDefinition.js","sourceRoot":"","sources":["../../../src/rules/Section8_DeclarationsAndDefinitions/Rule_8_6_SingleExternalDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAa,OAAO,EAAE,YAAY,EAAW,MAAM,qCAAqC,CAAC;AACxG,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAClG,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,WAAW,EAAwB,MAAM,6BAA6B,CAAC;AACxG,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,iCAAkC,SAAQ,SAAS;IACpE;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;IAE5C;;OAEG;IACM,QAAQ,GAAG,CAAC,CAAC;IAEtB,aAAa,GAAc,EAAE,CAAC;IAE9B;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,OAAO,CAAC,EAAE,CAAC;YAC5B,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,MAAM,mBAAmB,GAAG,sBAAsB,EAAE,CAAC;QACrD,IAAI,CAAC,aAAa,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CACxD,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC;YAC3B,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG;YAC/D,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CACpC,CACJ,CAAC;QAEF,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;QACnD,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE;gBACtC,IAAI,CAAC,aAAa,CAAC,YAAY,EAAE,eAAe,iBAAiB,CAAC,YAAY,CAAC,uDAAuD,CAAC,CAAA;YAC3I,CAAC,CAAC,CAAC;QACP,CAAC;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,GAAc;QAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GAAc,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAErJ,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,uBAAuB,CAAC,QAAQ,EAAE,CAAC;gBACrF,SAAS;YACb,CAAC;YAED,MAAM,uBAAuB,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;gBAC9D,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CACpC,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,IAAK,EAAc,CAAC,IAAI,KAAK,SAAS,CAC9D,CAAC;YACJ,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YAET,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAErC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;gBACvF,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;oBAC1B,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,eAAe,iBAAiB,CAAC,OAAO,CAAC,wIAAwI,CAAC,CAAC;oBAC/M,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,uBAAuB,CAAC,QAAQ,CAAC,CAAC;gBACvF,CAAC;YACL,CAAC;iBACI,IAAI,uBAAuB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;gBACvF,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;oBACpB,OAAO,CAAC,eAAe,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;gBAChD,CAAC,CAAC,CAAC;gBACH,MAAM,GAAG,IAAI,CAAC;YAClB,CAAC;iBACI,CAAC;gBACF,MAAM,KAAK,GAAG,sBAAsB,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CACzD,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC;oBACjC,CAAC,YAAY,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAC5E,CAAC;gBACF,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;oBACpB,OAAO,CAAC,eAAe,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;gBACjD,CAAC,CAAC,CAAC;gBACH,MAAM,GAAG,IAAI,CAAC;YAClB,CAAC;QACL,CAAC;QACD,IAAI,MAAM,EAAE,CAAC;YACT,WAAW,EAAE,CAAC;YACd,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;QACnF,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAC3E,CAAC;CACJ"}

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_7_RestrictExternalLinkage.d.ts

@@ -0,0 +1,35 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { AnalysisType, MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 8.7: Functions and objects should not be defined with external linkage if they are referenced in only one translation unit
+ */
+export default class Rule_8_7_RestrictExternalLinkage extends MISRARule {
+    #private;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SYSTEM;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+    /**
+     *
+     * @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;
+    /**
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    apply($jp: Joinpoint): MISRATransformationReport;
+    /**
+     * Removes unused external declarations (`extern`) of the current identifier found in other source files.
+     */
+    private removeExternalDeclarations;
+}
+//# sourceMappingURL=Rule_8_7_RestrictExternalLinkage.d.ts.map

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_7_RestrictExternalLinkage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_8_7_RestrictExternalLinkage.d.ts","sourceRoot":"","sources":["../../../src/rules/Section8_DeclarationsAndDefinitions/Rule_8_7_RestrictExternalLinkage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,SAAS,EAA0C,MAAM,qCAAqC,CAAC;AACpH,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAMlG;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,gCAAiC,SAAQ,SAAS;;IACnE;;OAEG;IACH,QAAQ,CAAC,YAAY,uBAAuB;IAE5C;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAOD;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAkB1D;;;;OAIG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;IAqBhD;;OAEG;IACH,OAAO,CAAC,0BAA0B;CAMrC"}

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_7_RestrictExternalLinkage.js

@@ -0,0 +1,76 @@
+import { FunctionJp, StorageClass, Vardecl } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { AnalysisType, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { getIdentifierName, isExternalLinkageIdentifier } from "../../utils/IdentifierUtils.js";
+import { findExternalVarRefs, hasMultipleExternalLinkDeclarations, isVarUsed } from "../../utils/VarUtils.js";
+import { findExternalFunctionDecl, isFunctionUsed } from "../../utils/FunctionUtils.js";
+import { resetCaches, resetExternalVarRefs } from "../../utils/ProgramUtils.js";
+/**
+ * MISRA-C Rule 8.7: Functions and objects should not be defined with external linkage if they are referenced in only one translation unit
+ */
+export default class Rule_8_7_RestrictExternalLinkage extends MISRARule {
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SYSTEM;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "8.7";
+    }
+    /**
+     * External declarations (`extern`) of the current identifier found in other source files.
+     */
+    #externalDecls = [];
+    /**
+     *
+     * @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 (!isExternalLinkageIdentifier($jp) || ($jp instanceof FunctionJp && $jp.name === "main")) {
+            return false;
+        }
+        this.#externalDecls = $jp instanceof Vardecl ? findExternalVarRefs($jp) : findExternalFunctionDecl($jp);
+        const isUsed = this.#externalDecls.some(decl => decl instanceof Vardecl ? isVarUsed(decl) : isFunctionUsed(decl));
+        const nonCompliant = this.#externalDecls.length === 0 || !isUsed;
+        if (nonCompliant && logErrors) {
+            this.logMISRAError($jp, `${$jp instanceof FunctionJp ? "Function" : "Object"} '${getIdentifierName($jp)}' has external linkage but is only referenced within a single translation unit. Consider using the 'static' keyword to give it internal linkage.`);
+            this.#externalDecls.forEach(decl => this.logMISRAError(decl, `'extern' declaration of '${getIdentifierName(decl)}' is unused. The corresponding definition is not referenced outside its translation unit and does not require external linkage.`));
+        }
+        return nonCompliant;
+    }
+    /**
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    apply($jp) {
+        const previousResult = this.context.getRuleResult(this.ruleID, $jp);
+        if (previousResult === MISRATransformationType.NoChange || !this.match($jp)) {
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
+        this.removeExternalDeclarations();
+        if ($jp instanceof Vardecl && hasMultipleExternalLinkDeclarations($jp)) {
+            this.logMISRAError($jp, `${$jp instanceof FunctionJp ? "Function" : "Object"} '${getIdentifierName($jp)}' has external linkage but is only referenced within a single translation unit. Couldn't give it internal linkage as it is defined in multiple files.`);
+            this.context.addRuleResult(this.ruleID, $jp, MISRATransformationType.NoChange);
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
+        const identifierJp = $jp;
+        identifierJp.setStorageClass(StorageClass.STATIC);
+        resetCaches();
+        return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+    }
+    /**
+     * Removes unused external declarations (`extern`) of the current identifier found in other source files.
+     */
+    removeExternalDeclarations() {
+        if (this.#externalDecls.length > 0 && this.#externalDecls[0] instanceof Vardecl) {
+            resetExternalVarRefs();
+        }
+        this.#externalDecls.forEach(decl => decl instanceof FunctionJp ? decl.detach() : decl.parent.detach());
+    }
+}
+//# sourceMappingURL=Rule_8_7_RestrictExternalLinkage.js.map

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_7_RestrictExternalLinkage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_8_7_RestrictExternalLinkage.js","sourceRoot":"","sources":["../../../src/rules/Section8_DeclarationsAndDefinitions/Rule_8_7_RestrictExternalLinkage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAsB,YAAY,EAAE,OAAO,EAAU,MAAM,qCAAqC,CAAC;AACpH,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAClG,OAAO,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAChG,OAAO,EAAE,mBAAmB,EAAE,mCAAmC,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAC9G,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AACxF,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEhF;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,gCAAiC,SAAQ,SAAS;IACnE;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;IAE5C;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,cAAc,GAA6B,EAAE,CAAC;IAE9C;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;YAC1F,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,IAAI,CAAC,cAAc,GAAG,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,GAAiB,CAAC,CAAC;QACtH,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,YAAY,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;QAClH,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;QACjE,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,aAAa,CACd,GAAG,EACH,GAAG,GAAG,YAAY,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,KAAK,iBAAiB,CAAC,GAAG,CAAC,kJAAkJ,CACpO,CAAC;YACF,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,4BAA4B,iBAAiB,CAAC,IAAI,CAAC,iIAAiI,CAAC,CAAC,CAAA;QACvP,CAAC;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,GAAc;QAChB,MAAM,cAAc,GAAI,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrE,IAAI,cAAc,KAAK,uBAAuB,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1E,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,IAAI,CAAC,0BAA0B,EAAE,CAAC;QAClC,IAAI,GAAG,YAAY,OAAO,IAAI,mCAAmC,CAAC,GAAG,CAAC,EAAE,CAAC;YACrE,IAAI,CAAC,aAAa,CACd,GAAG,EACH,GAAG,GAAG,YAAY,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,KAAK,iBAAiB,CAAC,GAAG,CAAC,uJAAuJ,CAAC,CAAA;YAC3O,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,uBAAuB,CAAC,QAAQ,CAAC,CAAC;YAC/E,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,YAAY,GAAI,GAA4B,CAAC;QACnD,YAAY,CAAC,eAAe,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAClD,WAAW,EAAE,CAAC;QACd,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;IAED;;OAEG;IACK,0BAA0B;QAC9B,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,OAAO,EAAE,CAAC;YAC9E,oBAAoB,EAAE,CAAC;QAC3B,CAAC;QACD,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,YAAY,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3G,CAAC;CACJ"}

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_9_BlockScopeDefinition.d.ts

@@ -0,0 +1,32 @@
+import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import { AnalysisType, MISRATransformationReport } from "../../MISRA.js";
+/**
+ * MISRA-C Rule 8.9: An object should be defined at block scope if its identifier only appears in a single function
+ */
+export default class Rule_8_9_BlockScopeDefinition extends MISRARule {
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SYSTEM;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+    /**
+     * Checks if the provided joinpoint represents an object definition with internal linkage, whose identifier only appears in a single function.
+     *
+     * @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;
+    /**
+     * If the joinpoint represents the definition of an object with internal linkage used exclusively in one function, it is moved to that function's block scope.
+     *
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    apply($jp: Joinpoint): MISRATransformationReport;
+}
+//# sourceMappingURL=Rule_8_9_BlockScopeDefinition.d.ts.map

package/dist/rules/Section8_DeclarationsAndDefinitions/Rule_8_9_BlockScopeDefinition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_8_9_BlockScopeDefinition.d.ts","sourceRoot":"","sources":["../../../src/rules/Section8_DeclarationsAndDefinitions/Rule_8_9_BlockScopeDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,SAAS,EAAW,MAAM,qCAAqC,CAAC;AAClF,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAMlG;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,6BAA8B,SAAQ,SAAS;IAChE;;OAEG;IACH,QAAQ,CAAC,YAAY,uBAAuB;IAE5C;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAa1D;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAcnD"}