@specs-feup/clava-misra 1.0.0 → 1.0.1

package/dist/misra/passes/S19_OverlappingStoragePass.d.ts

@@ -0,0 +1,11 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S19_OverlappingStoragePass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private r19_2_noUnion;
+    protected _name: string;
+}
+//# sourceMappingURL=S19_OverlappingStoragePass.d.ts.map

package/dist/misra/passes/S19_OverlappingStoragePass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"S19_OverlappingStoragePass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S19_OverlappingStoragePass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxD,MAAM,CAAC,OAAO,OAAO,0BAA2B,SAAQ,SAAS;IAC7D,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAEvD,cAAc,IAAI,IAAI;IAMtB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,aAAa;IAMrB,SAAS,CAAC,KAAK,EAAE,MAAM,CAAyB;CAEnD"}

package/dist/misra/passes/S19_OverlappingStoragePass.js

@@ -0,0 +1,20 @@
+import MISRAPass from "../MISRAPass.js";
+import { Class } from "@specs-feup/clava/api/Joinpoints.js";
+export default class S19_OverlappingStoragePass extends MISRAPass {
+    _preprocessingReqs = [];
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [2, this.r19_2_noUnion.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof Class;
+    }
+    r19_2_noUnion($startNode) {
+        if (!($startNode instanceof Class && $startNode.kind === "union"))
+            return;
+        this.logMISRAError("The union keyword should not be used.");
+    }
+    _name = "Overlapping storage";
+}
+//# sourceMappingURL=S19_OverlappingStoragePass.js.map

package/dist/misra/passes/S19_OverlappingStoragePass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"S19_OverlappingStoragePass.js","sourceRoot":"","sources":["../../../src/misra/passes/S19_OverlappingStoragePass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAE,KAAK,EAAa,MAAM,qCAAqC,CAAC;AAEvE,MAAM,CAAC,OAAO,OAAO,0BAA2B,SAAQ,SAAS;IACnD,kBAAkB,GAAwB,EAAE,CAAC;IAEvD,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACrC,CAAC,CAAC;IACP,CAAC;IAED,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,KAAK,CAAC;IAChC,CAAC;IAEO,aAAa,CAAC,UAAqB;QACvC,IAAI,CAAC,CAAC,UAAU,YAAY,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC;YAAE,OAAO;QAE1E,IAAI,CAAC,aAAa,CAAC,uCAAuC,CAAC,CAAC;IAChE,CAAC;IAES,KAAK,GAAW,qBAAqB,CAAC;CAEnD"}

package/dist/misra/passes/S21_StandardLibPass.d.ts

@@ -0,0 +1,20 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S21_StandardLibPass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private r21_3_noDynamicAllocation;
+    private r21_4_noSetjmpUsage;
+    private r21_5_noSignalUsage;
+    private r21_6_noStandardIO;
+    private r21_7_noStringFunctions;
+    private r21_8_noSysFunctions;
+    private r21_9_noStdAlgos;
+    private r21_10_noDateUsage;
+    private r21_11_noTgmathUsage;
+    private r21_12_noFenvExceptions;
+    protected _name: string;
+}
+//# sourceMappingURL=S21_StandardLibPass.d.ts.map

package/dist/misra/passes/S21_StandardLibPass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"S21_StandardLibPass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S21_StandardLibPass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxD,MAAM,CAAC,OAAO,OAAO,mBAAoB,SAAQ,SAAS;IACtD,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAEvD,cAAc,IAAI,IAAI;IAetB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,yBAAyB;IAMjC,OAAO,CAAC,mBAAmB;IAM3B,OAAO,CAAC,mBAAmB;IAM3B,OAAO,CAAC,kBAAkB;IAM1B,OAAO,CAAC,uBAAuB;IAM/B,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,gBAAgB;IAMxB,OAAO,CAAC,kBAAkB;IAS1B,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,uBAAuB;IAM/B,SAAS,CAAC,KAAK,EAAE,MAAM,CAAwB;CAClD"}

package/dist/misra/passes/S21_StandardLibPass.js

@@ -0,0 +1,77 @@
+import MISRAPass from "../MISRAPass.js";
+import { Call, Include } from "@specs-feup/clava/api/Joinpoints.js";
+export default class S21_StandardLibPass extends MISRAPass {
+    _preprocessingReqs = [];
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [3, this.r21_3_noDynamicAllocation.bind(this)],
+            [4, this.r21_4_noSetjmpUsage.bind(this)],
+            [5, this.r21_5_noSignalUsage.bind(this)],
+            [6, this.r21_6_noStandardIO.bind(this)],
+            [7, this.r21_7_noStringFunctions.bind(this)],
+            [8, this.r21_8_noSysFunctions.bind(this)],
+            [9, this.r21_9_noStdAlgos.bind(this)],
+            [10, this.r21_10_noDateUsage.bind(this)],
+            [11, this.r21_11_noTgmathUsage.bind(this)],
+            [12, this.r21_12_noFenvExceptions.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof Call || $jp instanceof Include;
+    }
+    r21_3_noDynamicAllocation($startNode) {
+        if (!($startNode instanceof Call && /(malloc|realloc|calloc|free)/.test($startNode.name)))
+            return;
+        this.logMISRAError("Use of memory allocation functions provided by <stdlib.h> is not allowed.");
+    }
+    r21_4_noSetjmpUsage($startNode) {
+        if (!($startNode instanceof Include && $startNode.isAngled && $startNode.name === "setjmp.h"))
+            return;
+        this.logMISRAError("Use of <setjmp.h> is not allowed.");
+    }
+    r21_5_noSignalUsage($startNode) {
+        if (!($startNode instanceof Include && $startNode.isAngled && $startNode.name === "signal.h"))
+            return;
+        this.logMISRAError("Use of <signal.h> is not allowed.");
+    }
+    r21_6_noStandardIO($startNode) {
+        if (!($startNode instanceof Include && $startNode.isAngled && /(stdio.h|wchar.h)/.test($startNode.name)))
+            return;
+        this.logMISRAError("Use of the standard library I/O functions provided by <stdio.h> and <wchar.h> is not allowed.");
+    }
+    r21_7_noStringFunctions($startNode) {
+        if (!($startNode instanceof Call && /(atoi|atof|atol|atoll)/.test($startNode.name)))
+            return;
+        this.logMISRAError(`Use of function ${$startNode.signature} is not allowed.`);
+    }
+    r21_8_noSysFunctions($startNode) {
+        if (!($startNode instanceof Call && /(system|abort|exit|getenv)/.test($startNode.name)))
+            return;
+        this.logMISRAError(`Use of function ${$startNode.signature} is not allowed.`);
+    }
+    r21_9_noStdAlgos($startNode) {
+        if (!($startNode instanceof Call && /(qsort|bsearch)/.test($startNode.name)))
+            return;
+        this.logMISRAError(`Use of function ${$startNode.signature} is not allowed.`);
+    }
+    r21_10_noDateUsage($startNode) {
+        if ($startNode instanceof Include && $startNode.isAngled && $startNode.name === "time.h") {
+            this.logMISRAError("Use of <time.h> is not allowed.");
+        }
+        else if ($startNode instanceof Call && $startNode.name === "wcsftime") {
+            this.logMISRAError("Identifier 'wcsftime' shall not be used.");
+        }
+    }
+    r21_11_noTgmathUsage($startNode) {
+        if (!($startNode instanceof Include && $startNode.isAngled && $startNode.name === "tgmath.h"))
+            return;
+        this.logMISRAError("Use of <tgmath.h> is not allowed.");
+    }
+    r21_12_noFenvExceptions($startNode) {
+        if (!($startNode instanceof Call && /(feclearexcept|fegetexceptflag|feraiseexcept|fesetexceptflag|fetestexcept)/.test($startNode.name)))
+            return;
+        this.logMISRAError(`Use of function ${$startNode.signature} is not allowed.`);
+    }
+    _name = "Standard libraries";
+}
+//# sourceMappingURL=S21_StandardLibPass.js.map

package/dist/misra/passes/S21_StandardLibPass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"S21_StandardLibPass.js","sourceRoot":"","sources":["../../../src/misra/passes/S21_StandardLibPass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAa,MAAM,qCAAqC,CAAC;AAE/E,MAAM,CAAC,OAAO,OAAO,mBAAoB,SAAQ,SAAS;IAC5C,kBAAkB,GAAwB,EAAE,CAAC;IAEvD,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,CAAC,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC,CAAC,EAAE,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,CAAC,EAAE,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC,EAAE,EAAE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,CAAC,EAAE,EAAE,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAChD,CAAC,CAAC;IACP,CAAC;IAED,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,IAAI,IAAI,GAAG,YAAY,OAAO,CAAC;IACzD,CAAC;IAEO,yBAAyB,CAAC,UAAqB;QACnD,IAAI,CAAC,CAAC,UAAU,YAAY,IAAI,IAAI,8BAA8B,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAElG,IAAI,CAAC,aAAa,CAAC,2EAA2E,CAAC,CAAC;IACpG,CAAC;IAEO,mBAAmB,CAAC,UAAqB;QAC7C,IAAI,CAAC,CAAC,UAAU,YAAY,OAAO,IAAI,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC;YAAE,OAAO;QAEtG,IAAI,CAAC,aAAa,CAAC,mCAAmC,CAAC,CAAC;IAC5D,CAAC;IAEO,mBAAmB,CAAC,UAAqB;QAC7C,IAAI,CAAC,CAAC,UAAU,YAAY,OAAO,IAAI,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC;YAAE,OAAO;QAEtG,IAAI,CAAC,aAAa,CAAC,mCAAmC,CAAC,CAAC;IAC5D,CAAC;IAEO,kBAAkB,CAAC,UAAqB;QAC5C,IAAI,CAAC,CAAC,UAAU,YAAY,OAAO,IAAI,UAAU,CAAC,QAAQ,IAAI,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAEjH,IAAI,CAAC,aAAa,CAAC,+FAA+F,CAAC,CAAC;IACxH,CAAC;IAEO,uBAAuB,CAAC,UAAqB;QACjD,IAAI,CAAC,CAAC,UAAU,YAAY,IAAI,IAAI,wBAAwB,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAE5F,IAAI,CAAC,aAAa,CAAC,mBAAmB,UAAU,CAAC,SAAS,kBAAkB,CAAC,CAAC;IAClF,CAAC;IAEO,oBAAoB,CAAC,UAAqB;QAC9C,IAAI,CAAC,CAAC,UAAU,YAAY,IAAI,IAAI,4BAA4B,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAEhG,IAAI,CAAC,aAAa,CAAC,mBAAmB,UAAU,CAAC,SAAS,kBAAkB,CAAC,CAAC;IAClF,CAAC;IAEO,gBAAgB,CAAC,UAAqB;QAC1C,IAAI,CAAC,CAAC,UAAU,YAAY,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAErF,IAAI,CAAC,aAAa,CAAC,mBAAmB,UAAU,CAAC,SAAS,kBAAkB,CAAC,CAAC;IAClF,CAAC;IAEO,kBAAkB,CAAC,UAAqB;QAC5C,IAAI,UAAU,YAAY,OAAO,IAAI,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvF,IAAI,CAAC,aAAa,CAAC,iCAAiC,CAAC,CAAC;QAC1D,CAAC;aACI,IAAI,UAAU,YAAY,IAAI,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACpE,IAAI,CAAC,aAAa,CAAC,0CAA0C,CAAC,CAAC;QACnE,CAAC;IACL,CAAC;IAEO,oBAAoB,CAAC,UAAqB;QAC9C,IAAI,CAAC,CAAC,UAAU,YAAY,OAAO,IAAI,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC;YAAE,OAAO;QAEtG,IAAI,CAAC,aAAa,CAAC,mCAAmC,CAAC,CAAC;IAC5D,CAAC;IAEO,uBAAuB,CAAC,UAAqB;QACjD,IAAI,CAAC,CAAC,UAAU,YAAY,IAAI,IAAI,4EAA4E,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO;QAEhJ,IAAI,CAAC,aAAa,CAAC,mBAAmB,UAAU,CAAC,SAAS,kBAAkB,CAAC,CAAC;IAClF,CAAC;IAES,KAAK,GAAW,oBAAoB,CAAC;CAClD"}

package/dist/misra/passes/S3_CommentPass.d.ts

@@ -0,0 +1,12 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S3_CommentPass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private static removeCommentSequences;
+    private r3_1_fixComments;
+    protected _name: string;
+}
+//# sourceMappingURL=S3_CommentPass.d.ts.map

package/dist/misra/passes/S3_CommentPass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"S3_CommentPass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S3_CommentPass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAIxD,MAAM,CAAC,OAAO,OAAO,cAAe,SAAQ,SAAS;IACjD,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAEvD,cAAc,IAAI,IAAI;IAMtB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,MAAM,CAAC,sBAAsB;IAIrC,OAAO,CAAC,gBAAgB;IAexB,SAAS,CAAC,KAAK,EAAE,MAAM,CAAc;CACxC"}

package/dist/misra/passes/S3_CommentPass.js

@@ -0,0 +1,27 @@
+import MISRAPass from "../MISRAPass.js";
+import { Comment } from "@specs-feup/clava/api/Joinpoints.js";
+import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
+export default class S3_CommentPass extends MISRAPass {
+    _preprocessingReqs = [];
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [3, this.r3_1_fixComments.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return true;
+    }
+    static removeCommentSequences(str) {
+        return str.replace(/(\/\/|\/\*)/g, '');
+    }
+    r3_1_fixComments($startNode) {
+        if ($startNode instanceof Comment && /(\/\/|\/\*)/g.test($startNode.text)) {
+            this.logMISRAError(`Comment ${$startNode.text} contains invalid character sequences.`, new Fix($startNode, $jp => $jp.setText(S3_CommentPass.removeCommentSequences($startNode.text))));
+        }
+        $startNode.inlineComments.filter(comment => /(\/\/|\/\*)/g.test(comment.text)).forEach(comment => {
+            this.logMISRAError(`Comment ${comment.text} contains invalid character sequences.`, new Fix($startNode, $jp => $jp.setText(S3_CommentPass.removeCommentSequences(comment.text))));
+        });
+    }
+    _name = "Comments";
+}
+//# sourceMappingURL=S3_CommentPass.js.map

package/dist/misra/passes/S3_CommentPass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"S3_CommentPass.js","sourceRoot":"","sources":["../../../src/misra/passes/S3_CommentPass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAE,OAAO,EAAa,MAAM,qCAAqC,CAAC;AACzE,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAE9D,MAAM,CAAC,OAAO,OAAO,cAAe,SAAQ,SAAS;IACvC,kBAAkB,GAAwB,EAAE,CAAC;IAEvD,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACxC,CAAC,CAAC;IACP,CAAC;IAED,cAAc,CAAC,GAAkB;QAC7B,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,MAAM,CAAC,sBAAsB,CAAC,GAAW;QAC7C,OAAO,GAAG,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC;IAEO,gBAAgB,CAAC,UAAqB;QAC1C,IAAI,UAAU,YAAY,OAAO,IAAI,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACxE,IAAI,CAAC,aAAa,CAAC,WAAW,UAAU,CAAC,IAAI,wCAAwC,EAAE,IAAI,GAAG,CAC1F,UAAU,EACV,GAAG,CAAC,EAAE,CAAE,GAAe,CAAC,OAAO,CAAC,cAAc,CAAC,sBAAsB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAC1F,CAAC,CAAC;QACP,CAAC;QACD,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;YAC7F,IAAI,CAAC,aAAa,CAAC,WAAW,OAAO,CAAC,IAAI,wCAAwC,EAAE,IAAI,GAAG,CACvF,UAAU,EACV,GAAG,CAAC,EAAE,CAAE,GAAe,CAAC,OAAO,CAAC,cAAc,CAAC,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CACvF,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;IACP,CAAC;IAES,KAAK,GAAW,UAAU,CAAC;CACxC"}

package/dist/misra/passes/S5_IdentifierPass.d.ts

@@ -0,0 +1,13 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S5_IdentifierPass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private static hasExternalLinkage;
+    private r5_1_externalIdentifierLength;
+    private r5_6_uniqueTypedefs;
+    protected _name: string;
+}
+//# sourceMappingURL=S5_IdentifierPass.d.ts.map

package/dist/misra/passes/S5_IdentifierPass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"S5_IdentifierPass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S5_IdentifierPass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAIxD,MAAM,CAAC,OAAO,OAAO,iBAAkB,SAAQ,SAAS;IACpD,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAA8C;IAE/F,cAAc,IAAI,IAAI;IAItB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAIjC,OAAO,CAAC,6BAA6B;IAerC,OAAO,CAAC,mBAAmB;IA4B3B,SAAS,CAAC,KAAK,EAAE,MAAM,CAAiB;CAC3C"}

package/dist/misra/passes/S5_IdentifierPass.js

@@ -0,0 +1,60 @@
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+import { Class, FileJp, FunctionJp, NamedDecl, StorageClass, TypedefNameDecl, Vardecl } from "@specs-feup/clava/api/Joinpoints.js";
+import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
+export default class S5_IdentifierPass extends MISRAPass {
+    _preprocessingReqs = [PreprocessingReqs.EXTERNAL_LINKAGE_DECLS];
+    initRuleMapper() {
+        throw new Error("Method not implemented.");
+    }
+    matchJoinpoint($jp) {
+        throw new Error("Method not implemented.");
+    }
+    static hasExternalLinkage($class) {
+        return $class !== StorageClass.STATIC && $class !== StorageClass.EXTERN;
+    }
+    r5_1_externalIdentifierLength($startNode) {
+        if (!(($startNode instanceof FunctionJp || $startNode instanceof Vardecl) && $startNode.parent instanceof FileJp))
+            return;
+        if (!S5_IdentifierPass.hasExternalLinkage($startNode.storageClass))
+            return;
+        if (!this._preprocessing?.externalLinkageDecls) {
+            throw new Error("Preprocessing has not been initialized properly.");
+        }
+        if (this._preprocessing.externalLinkageDecls.filter(jp => jp.astId !== $startNode.astId).map(jp => jp.name.substring(0, 31)).includes($startNode.name.substring(0, 31))) {
+            this.logMISRAError(`Identifier ${$startNode.name} is not distinct from other external identifiers.`, new Fix($startNode, $jp => {
+                ($jp || Vardecl).name = "a_" + ($jp || Vardecl).name;
+            }));
+        }
+    }
+    r5_6_uniqueTypedefs($startNode) {
+        if (!this._preprocessing?.typedefDecls) {
+            throw new Error("Preprocessing has not been initialized properly.");
+        }
+        if ($startNode instanceof NamedDecl && !($startNode instanceof TypedefNameDecl)) {
+            if ($startNode instanceof Class) {
+                const typedefChildren = $startNode.getDescendants("typedefDecl");
+                for (const child of typedefChildren) {
+                    if ($startNode.name === child.name)
+                        return;
+                }
+            }
+            if (this._preprocessing.typedefDecls.some(jp => jp.name === $startNode.name)) {
+                this.logMISRAError(`${$startNode.name} is also the name of a typedef. Typedef identifiers must not be reused.`, new Fix($startNode, jp => {
+                    const declJp = jp;
+                    declJp.name = declJp.name + "_" + declJp.astId;
+                }));
+            }
+        }
+        else if ($startNode instanceof TypedefNameDecl) {
+            if (this._preprocessing.typedefDecls.filter(jp => jp.astId !== $startNode.astId).some(jp => jp.name === $startNode.name)) {
+                this.logMISRAError("Typedef names must be unique across all translation units.", new Fix($startNode, jp => {
+                    const typedefJp = jp;
+                    typedefJp.name = typedefJp.name + "_" + typedefJp.astId;
+                }));
+            }
+        }
+    }
+    _name = "Identifiers";
+}
+//# sourceMappingURL=S5_IdentifierPass.js.map

package/dist/misra/passes/S5_IdentifierPass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"S5_IdentifierPass.js","sourceRoot":"","sources":["../../../src/misra/passes/S5_IdentifierPass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAa,SAAS,EAAE,YAAY,EAAe,eAAe,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAC3J,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAE9D,MAAM,CAAC,OAAO,OAAO,iBAAkB,SAAQ,SAAS;IAC1C,kBAAkB,GAAwB,CAAC,iBAAiB,CAAC,sBAAsB,CAAC,CAAC;IAE/F,cAAc;QACV,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC/C,CAAC;IAED,cAAc,CAAC,GAAkB;QAC7B,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC/C,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,MAAoB;QAClD,OAAO,MAAM,KAAK,YAAY,CAAC,MAAM,IAAI,MAAM,KAAK,YAAY,CAAC,MAAM,CAAC;IAC5E,CAAC;IAEO,6BAA6B,CAAC,UAAqB;QACvD,IAAI,CAAC,CAAC,CAAC,UAAU,YAAY,UAAU,IAAI,UAAU,YAAY,OAAO,CAAC,IAAI,UAAU,CAAC,MAAM,YAAY,MAAM,CAAC;YAAE,OAAO;QAC1H,IAAI,CAAC,iBAAiB,CAAC,kBAAkB,CAAC,UAAU,CAAC,YAAY,CAAC;YAAE,OAAO;QAE3E,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,oBAAoB,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QACxE,CAAC;QAED,IAAI,IAAI,CAAC,cAAc,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;YACtK,IAAI,CAAC,aAAa,CAAC,cAAc,UAAU,CAAC,IAAI,mDAAmD,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE;gBAC3H,CAAC,GAAiB,IAAI,OAAO,CAAC,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,GAAiB,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC;YACrF,CAAC,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IAEO,mBAAmB,CAAC,UAAqB;QAC7C,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,YAAY,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,UAAU,YAAY,SAAS,IAAI,CAAC,CAAC,UAAU,YAAY,eAAe,CAAC,EAAE,CAAC;YAC9E,IAAI,UAAU,YAAY,KAAK,EAAE,CAAC;gBAC9B,MAAM,eAAe,GAAG,UAAU,CAAC,cAAc,CAAC,aAAa,CAAkB,CAAC;gBAClF,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;oBAClC,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;wBAAE,OAAO;gBAC/C,CAAC;YACL,CAAC;YACD,IAAI,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3E,IAAI,CAAC,aAAa,CAAC,GAAG,UAAU,CAAC,IAAI,yEAAyE,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE;oBACrI,MAAM,MAAM,GAAG,EAAe,CAAC;oBAC/B,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC;gBACnD,CAAC,CAAC,CAAC,CAAC;YACR,CAAC;QACL,CAAC;aACI,IAAI,UAAU,YAAY,eAAe,EAAE,CAAC;YAC7C,IAAI,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvH,IAAI,CAAC,aAAa,CAAC,4DAA4D,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE;oBACtG,MAAM,SAAS,GAAG,EAAiB,CAAC;oBACpC,SAAS,CAAC,IAAI,GAAG,SAAS,CAAC,IAAI,GAAG,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC;gBAC5D,CAAC,CAAC,CAAC,CAAC;YACR,CAAC;QACL,CAAC;IACL,CAAC;IAES,KAAK,GAAW,aAAa,CAAC;CAC3C"}

package/dist/misra/passes/S6_TypePass.d.ts

@@ -0,0 +1,11 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S6_TypePass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private r6_2_noSingleBitSignedFields;
+    protected _name: string;
+}
+//# sourceMappingURL=S6_TypePass.d.ts.map

package/dist/misra/passes/S6_TypePass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"S6_TypePass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S6_TypePass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,SAAS,MAAM,iBAAiB,CAAA;AACvC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxD,MAAM,CAAC,OAAO,OAAO,WAAY,SAAQ,SAAS;IAC9C,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAEvD,cAAc,IAAI,IAAI;IAMtB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,4BAA4B;IAWpC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAW;CAErC"}

package/dist/misra/passes/S6_TypePass.js

@@ -0,0 +1,25 @@
+import MISRAPass from "../MISRAPass.js";
+import { Field } from "@specs-feup/clava/api/Joinpoints.js";
+export default class S6_TypePass extends MISRAPass {
+    _preprocessingReqs = [];
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [2, this.r6_2_noSingleBitSignedFields.bind(this)],
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof Field;
+    }
+    r6_2_noSingleBitSignedFields($startNode) {
+        if (!($startNode instanceof Field))
+            return;
+        if ($startNode.children.length > 0 && $startNode.name) {
+            const width = new Number($startNode.children[0].children[0].value);
+            if (width == 1 && $startNode.type.isSigned) {
+                this.logMISRAError(`Single-bit named bit field ${$startNode.name} must not have a signed type.`);
+            }
+        }
+    }
+    _name = "Types";
+}
+//# sourceMappingURL=S6_TypePass.js.map

package/dist/misra/passes/S6_TypePass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"S6_TypePass.js","sourceRoot":"","sources":["../../../src/misra/passes/S6_TypePass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAA;AAEvC,OAAO,EAAe,KAAK,EAAyB,MAAM,qCAAqC,CAAC;AAEhG,MAAM,CAAC,OAAO,OAAO,WAAY,SAAQ,SAAS;IACpC,kBAAkB,GAAwB,EAAE,CAAC;IAEvD,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACpD,CAAC,CAAC;IACP,CAAC;IAED,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,KAAK,CAAC;IAChC,CAAC;IAEO,4BAA4B,CAAC,UAAqB;QACtD,IAAI,CAAC,CAAC,UAAU,YAAY,KAAK,CAAC;YAAE,OAAO;QAE3C,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,IAAI,MAAM,CAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAgB,CAAC,KAAK,CAAC,CAAC;YACnF,IAAI,KAAK,IAAI,CAAC,IAAK,UAAU,CAAC,IAAoB,CAAC,QAAQ,EAAE,CAAC;gBAC1D,IAAI,CAAC,aAAa,CAAC,8BAA8B,UAAU,CAAC,IAAI,+BAA+B,CAAC,CAAC;YACrG,CAAC;QACL,CAAC;IACL,CAAC;IAES,KAAK,GAAW,OAAO,CAAC;CAErC"}

package/dist/misra/passes/S7_LiteralsConstantsPass.d.ts

@@ -0,0 +1,14 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S7_LiteralsConstantsPass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private r7_1_noOctalConstants;
+    private r7_3_noLowercaseLSuffix;
+    private static checkPointerConst;
+    private r7_4_constStringLiterals;
+    protected _name: string;
+}
+//# sourceMappingURL=S7_LiteralsConstantsPass.d.ts.map

package/dist/misra/passes/S7_LiteralsConstantsPass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"S7_LiteralsConstantsPass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S7_LiteralsConstantsPass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxD,MAAM,CAAC,OAAO,OAAO,wBAAyB,SAAQ,SAAS;IAC3D,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAEvD,cAAc,IAAI,IAAI;IAQtB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,qBAAqB;IAQ7B,OAAO,CAAC,uBAAuB;IAQ/B,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAUhC,OAAO,CAAC,wBAAwB;IA+BhC,SAAS,CAAC,KAAK,EAAE,MAAM,CAA4B;CAEtD"}

package/dist/misra/passes/S7_LiteralsConstantsPass.js

@@ -0,0 +1,71 @@
+import MISRAPass from "../MISRAPass.js";
+import { BinaryOp, Call, IntLiteral, PointerType, QualType, ReturnStmt, Vardecl } from "@specs-feup/clava/api/Joinpoints.js";
+export default class S7_LiteralsConstantsPass extends MISRAPass {
+    _preprocessingReqs = [];
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [1, this.r7_1_noOctalConstants.bind(this)],
+            [3, this.r7_3_noLowercaseLSuffix.bind(this)],
+            [4, this.r7_4_constStringLiterals.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof IntLiteral || $jp instanceof Vardecl || $jp instanceof BinaryOp || $jp instanceof ReturnStmt || $jp instanceof Call;
+    }
+    r7_1_noOctalConstants($startNode) {
+        if (!($startNode instanceof IntLiteral))
+            return;
+        if ($startNode.code.match(/0[0-9]+/g)) {
+            this.logMISRAError(`The octal constant ${$startNode.code} was used. Its decimal value is ${$startNode.value}`);
+        }
+    }
+    r7_3_noLowercaseLSuffix($startNode) {
+        if (!($startNode instanceof IntLiteral))
+            return;
+        if ($startNode.code.includes('l')) {
+            this.logMISRAError(`A lowercase 'l' was used as a suffix in ${$startNode.code}.`);
+        }
+    }
+    static checkPointerConst(type) {
+        if (type instanceof PointerType) {
+            return type.pointee.constant;
+        }
+        else if (type instanceof QualType && type.unqualifiedType instanceof PointerType) {
+            return type.unqualifiedType.pointee.constant;
+        }
+        else
+            return undefined;
+    }
+    r7_4_constStringLiterals($startNode) {
+        if ($startNode instanceof Vardecl) {
+            if (!$startNode.type.isPointer)
+                return;
+            if ($startNode.children.length > 0 && $startNode.children[0].joinPointType === "literal"
+                && !S7_LiteralsConstantsPass.checkPointerConst($startNode.type)) {
+                this.logMISRAError(`String literal assigned to non-const qualified variable ${$startNode.name}`);
+            }
+        }
+        else if ($startNode instanceof BinaryOp && $startNode.isAssignment) {
+            if ($startNode.right.joinPointType === "literal" && !S7_LiteralsConstantsPass.checkPointerConst($startNode.left.type)) {
+                this.logMISRAError(`String literal assigned to non-const qualified variable ${$startNode.left.name}`);
+            }
+        }
+        else if ($startNode instanceof ReturnStmt) {
+            const ancestor = $startNode.getAncestor("function");
+            const retType = ancestor.functionType.returnType;
+            if ($startNode.returnExpr?.joinPointType === "literal" && !S7_LiteralsConstantsPass.checkPointerConst(retType)) {
+                this.logMISRAError(`String literal returned in non-const qualified return value for function ${ancestor.name}`);
+            }
+        }
+        else if ($startNode instanceof Call) {
+            const paramTypes = $startNode.function.functionType.paramTypes;
+            for (let i = 1; i < $startNode.children.length; i++) {
+                if ($startNode.children[i].joinPointType === "literal" && !S7_LiteralsConstantsPass.checkPointerConst(paramTypes[i - 1])) {
+                    this.logMISRAError(`String literal passed as non-const qualified parameter in call of ${$startNode.function.name}`);
+                }
+            }
+        }
+    }
+    _name = "Literals and constants";
+}
+//# sourceMappingURL=S7_LiteralsConstantsPass.js.map

package/dist/misra/passes/S7_LiteralsConstantsPass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"S7_LiteralsConstantsPass.js","sourceRoot":"","sources":["../../../src/misra/passes/S7_LiteralsConstantsPass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAe,QAAQ,EAAE,IAAI,EAAc,UAAU,EAAa,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAQ,OAAO,EAAU,MAAM,qCAAqC,CAAC;AAE/K,MAAM,CAAC,OAAO,OAAO,wBAAyB,SAAQ,SAAS;IACjD,kBAAkB,GAAwB,EAAE,CAAC;IAEvD,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,CAAC,CAAC,EAAE,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC,CAAC,EAAE,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAChD,CAAC,CAAC;IACP,CAAC;IAED,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,UAAU,IAAI,GAAG,YAAY,OAAO,IAAI,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,UAAU,IAAI,GAAG,YAAY,IAAI,CAAC;IAC9I,CAAC;IAEO,qBAAqB,CAAC,UAAqB;QAC/C,IAAI,CAAC,CAAC,UAAU,YAAY,UAAU,CAAC;YAAE,OAAO;QAEhD,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,aAAa,CAAC,sBAAsB,UAAU,CAAC,IAAI,mCAAmC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;QACnH,CAAC;IACL,CAAC;IAEO,uBAAuB,CAAC,UAAqB;QACjD,IAAI,CAAC,CAAC,UAAU,YAAY,UAAU,CAAC;YAAE,OAAO;QAEhD,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,IAAI,CAAC,aAAa,CAAC,2CAA2C,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC;QACtF,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,iBAAiB,CAAC,IAAU;QACvC,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACjC,CAAC;aACI,IAAI,IAAI,YAAY,QAAQ,IAAI,IAAI,CAAC,eAAe,YAAY,WAAW,EAAE,CAAC;YAC/E,OAAO,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC;QACjD,CAAC;;YACI,OAAO,SAAS,CAAC;IAC1B,CAAC;IAEO,wBAAwB,CAAC,UAAqB;QAClD,IAAI,UAAU,YAAY,OAAO,EAAE,CAAC;YAChC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS;gBAAE,OAAO;YAEvC,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS;mBACjF,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9D,IAAI,CAAC,aAAa,CAAC,2DAA2D,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;YACzG,CAAC;QACL,CAAC;aACI,IAAI,UAAU,YAAY,QAAQ,IAAI,UAAU,CAAC,YAAY,EAAE,CAAC;YACjE,IAAI,UAAU,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpH,IAAI,CAAC,aAAa,CAAC,2DAA4D,UAAU,CAAC,IAA6B,CAAC,IAAI,EAAE,CAAC,CAAC;YACpI,CAAC;QACL,CAAC;aACI,IAAI,UAAU,YAAY,UAAU,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC,UAAU,CAAe,CAAC;YAClE,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC;YACjD,IAAI,UAAU,CAAC,UAAU,EAAE,aAAa,KAAK,SAAS,IAAI,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7G,IAAI,CAAC,aAAa,CAAC,4EAA4E,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YACpH,CAAC;QACL,CAAC;aACI,IAAI,UAAU,YAAY,IAAI,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC;YAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClD,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,GAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrH,IAAI,CAAC,aAAa,CAAC,qEAAqE,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;gBACxH,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAES,KAAK,GAAW,wBAAwB,CAAC;CAEtD"}

package/dist/misra/passes/S8_DeclDefPass.d.ts

@@ -0,0 +1,18 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S8_DeclDefPass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private r8_2_functionPrototype;
+    private r8_3_compatibleDefinitions;
+    private static hasExternalLinkage;
+    private r8_7_noUnnecessaryExternalLinkage;
+    private r8_10_onlyStaticInline;
+    private r8_11_externArrayExplicitSize;
+    private setEnumMap;
+    private r8_12_implicitExplicitEnumMatching;
+    protected _name: string;
+}
+//# sourceMappingURL=S8_DeclDefPass.d.ts.map

package/dist/misra/passes/S8_DeclDefPass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"S8_DeclDefPass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S8_DeclDefPass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAIxD,MAAM,CAAC,OAAO,OAAO,cAAe,SAAQ,SAAS;IACjD,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IACvD,cAAc,IAAI,IAAI;IAUtB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,sBAAsB;IAM9B,OAAO,CAAC,0BAA0B;IAelC,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAIjC,OAAO,CAAC,iCAAiC;IAwCzC,OAAO,CAAC,sBAAsB;IAQ9B,OAAO,CAAC,6BAA6B;IAQrC,OAAO,CAAC,UAAU;IASlB,OAAO,CAAC,kCAAkC;IAwB1C,SAAS,CAAC,KAAK,EAAE,MAAM,CAAkC;CAC5D"}

package/dist/misra/passes/S8_DeclDefPass.js

@@ -0,0 +1,127 @@
+import MISRAPass from "../MISRAPass.js";
+import { EnumDecl, FunctionJp, IntLiteral, Param, StorageClass, Vardecl } from "@specs-feup/clava/api/Joinpoints.js";
+import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
+export default class S8_DeclDefPass extends MISRAPass {
+    _preprocessingReqs = [];
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [2, this.r8_2_functionPrototype.bind(this)],
+            [3, this.r8_3_compatibleDefinitions.bind(this)],
+            [7, this.r8_7_noUnnecessaryExternalLinkage.bind(this)],
+            [10, this.r8_10_onlyStaticInline.bind(this)],
+            [11, this.r8_11_externArrayExplicitSize.bind(this)],
+            [12, this.r8_12_implicitExplicitEnumMatching.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof Param || $jp instanceof FunctionJp || $jp instanceof Vardecl || $jp instanceof EnumDecl;
+    }
+    r8_2_functionPrototype($startNode) {
+        if (!($startNode instanceof Param))
+            return;
+        if (!$startNode.name)
+            this.logMISRAError(`Parameter of type ${$startNode.type.code} lacks a name.`);
+    }
+    r8_3_compatibleDefinitions($startNode) {
+        if (!($startNode instanceof FunctionJp && $startNode.isImplementation))
+            return;
+        $startNode.declarationJps.forEach(decl => {
+            for (let i = 0; i < $startNode.params.length; i++) {
+                if ($startNode.paramNames[i] !== decl.paramNames[i]) {
+                    this.logMISRAError(`Mismatch in name of parameters with declaration on ${decl.filename}@${decl.line}:${decl.column}.`);
+                }
+                if ($startNode.params[i].type.code !== decl.params[i].type.code) {
+                    this.logMISRAError(`Mismatch in parameter types with declaration on ${decl.filename}@${decl.line}:${decl.column}`);
+                }
+            }
+        }, this);
+    }
+    static hasExternalLinkage(jp) {
+        return jp.storageClass !== StorageClass.STATIC && jp.storageClass !== StorageClass.EXTERN;
+    }
+    r8_7_noUnnecessaryExternalLinkage($startNode) {
+        /*const globals = new Map();
+    
+        Query.searchFrom($startNode, FileJp).get().forEach(file => {
+            file.children.forEach(jp => {
+                if (jp instanceof FunctionJp && jp.name !== "main" && Section8_DeclarationsDefinitions.hasExternalLinkage(jp)) {
+                    let hasExternals = false;
+                    jp.calls.forEach(call => {
+                        if (call.filename !== jp.filename) {
+                            hasExternals = true;
+                        }
+                    }, this);
+                    if (!hasExternals) {
+                        this.logMISRAError(jp, `Function ${jp.name} has external linkage but it is only referenced in its file.`);
+                    }
+                }
+    
+                if (jp instanceof DeclStmt) {
+                    jp.decls.filter(decl => decl instanceof Vardecl && Section8_DeclarationsDefinitions.hasExternalLinkage(decl)).forEach(decl => {
+                        //globals.push({decl: decl as Vardecl, file: decl.filename});
+                        globals.set(decl.astId, {decl: decl as Vardecl, file: decl.filename});
+                    }, this);
+                }
+            });
+        }, this);
+
+        Query.searchFrom($startNode, Varref).get().forEach(ref => {
+            if (globals.has(ref.astId)) {
+                const declFile = globals.get(ref.astId).file;
+                if (declFile !== ref.filename) {
+                    globals.delete(ref.astId);
+                }
+            }
+        }, this);
+
+        globals.forEach((v, k, m) => {
+            this.logMISRAError(v.decl, `Variable ${v.decl.name} is declared with external linkage but is not referenced outside its file.`);
+        }, this);
+    */ 
+    }
+    r8_10_onlyStaticInline($startNode) {
+        if (!($startNode instanceof FunctionJp && $startNode.isInline))
+            return;
+        if ($startNode.storageClass !== StorageClass.STATIC) {
+            this.logMISRAError("Inline functions must always be declared static.");
+        }
+    }
+    r8_11_externArrayExplicitSize($startNode) {
+        if (!($startNode instanceof Vardecl && $startNode.storageClass === StorageClass.EXTERN))
+            return;
+        if ($startNode.type.isArray && $startNode.type.arraySize === -1) {
+            this.logMISRAError(`Size of external array ${$startNode.name} is not explicit.`);
+        }
+    }
+    setEnumMap(map, newValue, isExplicit, jp) {
+        if (map.has(newValue) && !(isExplicit && map.get(newValue))) {
+            this.logMISRAError(`An implicitly numbered identifier in enum ${jp.name} shares a value with another identifier.`, new Fix(jp, jp => {
+            }));
+        }
+        map.set(newValue, isExplicit);
+    }
+    r8_12_implicitExplicitEnumMatching($startNode) {
+        if (!($startNode instanceof EnumDecl))
+            return;
+        const map = new Map();
+        let index = 0;
+        for (const enumerator of $startNode.enumerators) {
+            if (enumerator.children.length > 0) {
+                if (enumerator.children[0].children[0] instanceof IntLiteral) {
+                    index = Number(enumerator.children[0].children[0].value);
+                    this.setEnumMap(map, index, true, $startNode);
+                }
+                else {
+                    console.log(`Warning! Could not analyse the entirety of enum ${$startNode.name} due to non-constant expressions`);
+                    return;
+                }
+            }
+            else {
+                this.setEnumMap(map, index, false, $startNode);
+            }
+            index++;
+        }
+    }
+    _name = "Declarations and definitions";
+}
+//# sourceMappingURL=S8_DeclDefPass.js.map

package/dist/misra/passes/S8_DeclDefPass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"S8_DeclDefPass.js","sourceRoot":"","sources":["../../../src/misra/passes/S8_DeclDefPass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAa,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAChI,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAE9D,MAAM,CAAC,OAAO,OAAO,cAAe,SAAQ,SAAS;IACvC,kBAAkB,GAAwB,EAAE,CAAC;IACvD,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3C,CAAC,CAAC,EAAE,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,CAAC,CAAC,EAAE,IAAI,CAAC,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,CAAC,EAAE,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC,EAAE,EAAE,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,CAAC,EAAE,EAAE,IAAI,CAAC,kCAAkC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC3D,CAAC,CAAC;IACP,CAAC;IACD,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,KAAK,IAAI,GAAG,YAAY,UAAU,IAAI,GAAG,YAAY,OAAO,IAAI,GAAG,YAAY,QAAQ,CAAC;IAClH,CAAC;IAEO,sBAAsB,CAAC,UAAqB;QAChD,IAAI,CAAC,CAAC,UAAU,YAAY,KAAK,CAAC;YAAE,OAAO;QAE3C,IAAI,CAAC,UAAU,CAAC,IAAI;YAAE,IAAI,CAAC,aAAa,CAAC,qBAAqB,UAAU,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,CAAC;IACxG,CAAC;IAEO,0BAA0B,CAAC,UAAqB;QACpD,IAAI,CAAC,CAAC,UAAU,YAAY,UAAU,IAAI,UAAU,CAAC,gBAAgB,CAAC;YAAE,OAAO;QAE/E,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChD,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClD,IAAI,CAAC,aAAa,CAAC,sDAAsD,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC3H,CAAC;gBACD,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC9D,IAAI,CAAC,aAAa,CAAC,mDAAmD,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;gBACvH,CAAC;YACL,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,EAAwB;QACtD,OAAO,EAAE,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC;IAC9F,CAAC;IAEO,iCAAiC,CAAC,UAAqB;QAC3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAqCF;IAAA,CAAC;IAEK,sBAAsB,CAAC,UAAqB;QAChD,IAAI,CAAC,CAAC,UAAU,YAAY,UAAU,IAAI,UAAU,CAAC,QAAQ,CAAC;YAAE,OAAO;QAEvE,IAAI,UAAU,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;YAClD,IAAI,CAAC,aAAa,CAAC,kDAAkD,CAAC,CAAC;QAC3E,CAAC;IACL,CAAC;IAEO,6BAA6B,CAAC,UAAqB;QACvD,IAAI,CAAC,CAAC,UAAU,YAAY,OAAO,IAAI,UAAU,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC;YAAE,OAAO;QAEhG,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9D,IAAI,CAAC,aAAa,CAAC,0BAA0B,UAAU,CAAC,IAAI,mBAAmB,CAAC,CAAA;QACpF,CAAC;IACL,CAAC;IAEO,UAAU,CAAC,GAAyB,EAAE,QAAgB,EAAE,UAAmB,EAAE,EAAY;QAC7F,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,UAAU,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,aAAa,CAAC,6CAA6C,EAAE,CAAC,IAAI,0CAA0C,EAAE,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE;YAEpI,CAAC,CAAC,CAAC,CAAC;QACR,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClC,CAAC;IAEO,kCAAkC,CAAC,UAAqB;QAC5D,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,CAAC;YAAE,OAAO;QAE9C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;QAEtB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC9C,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,UAAU,EAAE,CAAC;oBAC3D,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBACzD,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;gBAClD,CAAC;qBACI,CAAC;oBACF,OAAO,CAAC,GAAG,CAAC,mDAAmD,UAAU,CAAC,IAAI,kCAAkC,CAAC,CAAC;oBAClH,OAAO;gBACX,CAAC;YACL,CAAC;iBACI,CAAC;gBACF,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;YACnD,CAAC;YACD,KAAK,EAAE,CAAC;QACZ,CAAC;IACL,CAAC;IAES,KAAK,GAAW,8BAA8B,CAAC;CAC5D"}

package/dist/misra/sections/Section10_EssentialTypeModel.d.ts

@@ -0,0 +1,33 @@
+import { Program, FileJp, Type, Expression } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRAAnalyser from "../MISRAAnalyser.js";
+export declare enum EssentialTypes {
+    UNSIGNED = "unsigned",
+    CHAR = "char",
+    SIGNED = "signed",
+    ENUM = "enum",
+    FLOAT = "float",
+    BOOL = "bool",
+    UNKOWN = "unkown"
+}
+export default class Section10_EssentialTypeModel extends MISRAAnalyser {
+    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
+    constructor(rules: number[]);
+    static getEssentialType(bType: Type): EssentialTypes;
+    static isInteger($et: EssentialTypes): boolean;
+    static getExprEssentialType($expr: Expression): EssentialTypes;
+    private restrictOperand;
+    private restrictOperandList;
+    private r10_1_appropriateEssentialOperands;
+    private r10_2_appropriateCharOperands;
+    private r10_3_noInvalidAssignments;
+    private static checkBoolSource;
+    private r10_5_noInvalidCasts;
+    private static isCompositeBinaryExpr;
+    private static isCompositeExpr;
+    private static compositeExprWidth;
+    private static transformBinaryOp;
+    private static transformTernaryOp;
+    private r10_6_noWiderCompositeExprAssignments;
+    private r10_8_noWiderCompositeCasts;
+}
+//# sourceMappingURL=Section10_EssentialTypeModel.d.ts.map