@specs-feup/clava-misra 1.0.0 → 1.0.2

package/dist/rules/Section3_Comments/Rule_3_2_LineSplicing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_3_2_LineSplicing.js","sourceRoot":"","sources":["../../../src/rules/Section3_Comments/Rule_3_2_LineSplicing.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACpE,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAEpF,MAAM,CAAC,OAAO,OAAO,qBAAsB,SAAQ,SAAS;IAExD,YAAY,OAAqB;QAC7B,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,MAAM,eAAe,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CACtD,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE9D,IAAI,SAAS,EAAE,CAAC;YACZ,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAC9B,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,WAAW,OAAO,CAAC,IAAI,wCAAwC,CAAC,CAC/F,CAAA;QACL,CAAC;QACD,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;IACtC,CAAC;IAED,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAChB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE3E,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAClC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAClD,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC;CACJ"}

package/dist/rules/index.d.ts

@@ -0,0 +1,20 @@
+import MISRAContext from "../MISRAContext.js";
+import Rule_16_2_TopLevelSwitch from "./Section16_SwitchStatements/Rule_16_2_TopLevelSwitch.js";
+import Rule_16_3_UnconditionalBreak from "./Section16_SwitchStatements/Rule_16_3_UnconditionalBreak.js";
+import Rule_16_4_SwitchHasDefault from "./Section16_SwitchStatements/Rule_16_4_SwitchHasDefault.js";
+import Rule_16_5_DefaultFirstOrLast from "./Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.js";
+import Rule_16_6_SwitchMinTwoClauses from "./Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.js";
+import Rule_16_7_NonBooleanSwitchCondition from "./Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.js";
+import Rule_17_4_NonVoidReturn from "./Section17_Functions/Rule_17_4_NonVoidReturn.js";
+import Rule_17_6_StaticArraySizeParam from "./Section17_Functions/Rule_17_6_StaticArraySizeParam.js";
+import Rule_17_7_UnusedReturnValue from "./Section17_Functions/Rule_17_7_UnusedReturnValue.js";
+import Rule_20_2_InvalidHeaderFileName from "./Section20-PreprocessingDirectives/Rule_20_2_InvalidHeaderFileName.js";
+import Rule_2_3_UnusedTypeDecl from "./Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.js";
+import Rule_2_4_UnusedTagDecl from "./Section2_UnusedCode/Rule_2_4_UnusedTagDecl.js";
+import Rule_2_6_UnusedLabels from "./Section2_UnusedCode/Rule_2_6_UnusedLabels.js";
+import Rule_2_7_UnusedParameters from "./Section2_UnusedCode/Rule_2_7_UnusedParameters.js";
+import Rule_3_1_CommentSequences from "./Section3_Comments/Rule_3_1_CommentSequences.js";
+import Rule_3_2_CommentSequences from "./Section3_Comments/Rule_3_2_LineSplicing.js";
+export declare function misraRules(context: MISRAContext): (Rule_16_2_TopLevelSwitch | Rule_16_3_UnconditionalBreak | Rule_16_4_SwitchHasDefault | Rule_16_5_DefaultFirstOrLast | Rule_16_6_SwitchMinTwoClauses | Rule_16_7_NonBooleanSwitchCondition | Rule_17_4_NonVoidReturn | Rule_17_6_StaticArraySizeParam | Rule_17_7_UnusedReturnValue | Rule_20_2_InvalidHeaderFileName | Rule_2_3_UnusedTypeDecl | Rule_2_4_UnusedTagDecl | Rule_2_6_UnusedLabels | Rule_2_7_UnusedParameters | Rule_3_1_CommentSequences | Rule_3_2_CommentSequences)[];
+export default misraRules;
+//# sourceMappingURL=index.d.ts.map

package/dist/rules/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA,OAAO,YAAY,MAAM,oBAAoB,CAAC;AAC9C,OAAO,wBAAwB,MAAM,0DAA0D,CAAC;AAChG,OAAO,4BAA4B,MAAM,8DAA8D,CAAC;AACxG,OAAO,0BAA0B,MAAM,4DAA4D,CAAC;AACpG,OAAO,4BAA4B,MAAM,8DAA8D,CAAC;AACxG,OAAO,6BAA6B,MAAM,+DAA+D,CAAC;AAC1G,OAAO,mCAAmC,MAAM,qEAAqE,CAAC;AACtH,OAAO,uBAAuB,MAAM,kDAAkD,CAAC;AACvF,OAAO,8BAA8B,MAAM,yDAAyD,CAAC;AACrG,OAAO,2BAA2B,MAAM,sDAAsD,CAAC;AAC/F,OAAO,+BAA+B,MAAM,wEAAwE,CAAC;AACrH,OAAO,uBAAuB,MAAM,kDAAkD,CAAC;AACvF,OAAO,sBAAsB,MAAM,iDAAiD,CAAC;AACrF,OAAO,qBAAqB,MAAM,gDAAgD,CAAC;AACnF,OAAO,yBAAyB,MAAM,oDAAoD,CAAC;AAC3F,OAAO,yBAAyB,MAAM,kDAAkD,CAAC;AACzF,OAAO,yBAAyB,MAAM,8CAA8C,CAAC;AAErF,wBAAgB,UAAU,CAAC,OAAO,EAAE,YAAY,2dAmB/C;AAED,eAAe,UAAU,CAAC"}

package/dist/rules/index.js

@@ -0,0 +1,38 @@
+import Rule_16_2_TopLevelSwitch from "./Section16_SwitchStatements/Rule_16_2_TopLevelSwitch.js";
+import Rule_16_3_UnconditionalBreak from "./Section16_SwitchStatements/Rule_16_3_UnconditionalBreak.js";
+import Rule_16_4_SwitchHasDefault from "./Section16_SwitchStatements/Rule_16_4_SwitchHasDefault.js";
+import Rule_16_5_DefaultFirstOrLast from "./Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.js";
+import Rule_16_6_SwitchMinTwoClauses from "./Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.js";
+import Rule_16_7_NonBooleanSwitchCondition from "./Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.js";
+import Rule_17_4_NonVoidReturn from "./Section17_Functions/Rule_17_4_NonVoidReturn.js";
+import Rule_17_6_StaticArraySizeParam from "./Section17_Functions/Rule_17_6_StaticArraySizeParam.js";
+import Rule_17_7_UnusedReturnValue from "./Section17_Functions/Rule_17_7_UnusedReturnValue.js";
+import Rule_20_2_InvalidHeaderFileName from "./Section20-PreprocessingDirectives/Rule_20_2_InvalidHeaderFileName.js";
+import Rule_2_3_UnusedTypeDecl from "./Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.js";
+import Rule_2_4_UnusedTagDecl from "./Section2_UnusedCode/Rule_2_4_UnusedTagDecl.js";
+import Rule_2_6_UnusedLabels from "./Section2_UnusedCode/Rule_2_6_UnusedLabels.js";
+import Rule_2_7_UnusedParameters from "./Section2_UnusedCode/Rule_2_7_UnusedParameters.js";
+import Rule_3_1_CommentSequences from "./Section3_Comments/Rule_3_1_CommentSequences.js";
+import Rule_3_2_CommentSequences from "./Section3_Comments/Rule_3_2_LineSplicing.js";
+export function misraRules(context) {
+    return [
+        new Rule_2_3_UnusedTypeDecl(context),
+        new Rule_2_4_UnusedTagDecl(context),
+        new Rule_2_6_UnusedLabels(context),
+        new Rule_2_7_UnusedParameters(context),
+        new Rule_3_1_CommentSequences(context),
+        new Rule_3_2_CommentSequences(context),
+        new Rule_16_2_TopLevelSwitch(context),
+        new Rule_16_3_UnconditionalBreak(context),
+        new Rule_16_4_SwitchHasDefault(context),
+        new Rule_16_5_DefaultFirstOrLast(context),
+        new Rule_16_6_SwitchMinTwoClauses(context),
+        new Rule_16_7_NonBooleanSwitchCondition(context),
+        new Rule_17_4_NonVoidReturn(context),
+        new Rule_17_6_StaticArraySizeParam(context),
+        new Rule_17_7_UnusedReturnValue(context),
+        new Rule_20_2_InvalidHeaderFileName(context),
+    ];
+}
+export default misraRules;
+//# sourceMappingURL=index.js.map

package/dist/rules/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AACA,OAAO,wBAAwB,MAAM,0DAA0D,CAAC;AAChG,OAAO,4BAA4B,MAAM,8DAA8D,CAAC;AACxG,OAAO,0BAA0B,MAAM,4DAA4D,CAAC;AACpG,OAAO,4BAA4B,MAAM,8DAA8D,CAAC;AACxG,OAAO,6BAA6B,MAAM,+DAA+D,CAAC;AAC1G,OAAO,mCAAmC,MAAM,qEAAqE,CAAC;AACtH,OAAO,uBAAuB,MAAM,kDAAkD,CAAC;AACvF,OAAO,8BAA8B,MAAM,yDAAyD,CAAC;AACrG,OAAO,2BAA2B,MAAM,sDAAsD,CAAC;AAC/F,OAAO,+BAA+B,MAAM,wEAAwE,CAAC;AACrH,OAAO,uBAAuB,MAAM,kDAAkD,CAAC;AACvF,OAAO,sBAAsB,MAAM,iDAAiD,CAAC;AACrF,OAAO,qBAAqB,MAAM,gDAAgD,CAAC;AACnF,OAAO,yBAAyB,MAAM,oDAAoD,CAAC;AAC3F,OAAO,yBAAyB,MAAM,kDAAkD,CAAC;AACzF,OAAO,yBAAyB,MAAM,8CAA8C,CAAC;AAErF,MAAM,UAAU,UAAU,CAAC,OAAqB;IAC5C,OAAO;QACH,IAAI,uBAAuB,CAAC,OAAO,CAAC;QACpC,IAAI,sBAAsB,CAAC,OAAO,CAAC;QACnC,IAAI,qBAAqB,CAAC,OAAO,CAAC;QAClC,IAAI,yBAAyB,CAAC,OAAO,CAAC;QACtC,IAAI,yBAAyB,CAAC,OAAO,CAAC;QACtC,IAAI,yBAAyB,CAAC,OAAO,CAAC;QACtC,IAAI,wBAAwB,CAAC,OAAO,CAAC;QACrC,IAAI,4BAA4B,CAAC,OAAO,CAAC;QACzC,IAAI,0BAA0B,CAAC,OAAO,CAAC;QACvC,IAAI,4BAA4B,CAAC,OAAO,CAAC;QACzC,IAAI,6BAA6B,CAAC,OAAO,CAAC;QAC1C,IAAI,mCAAmC,CAAC,OAAO,CAAC;QAChD,IAAI,uBAAuB,CAAC,OAAO,CAAC;QACpC,IAAI,8BAA8B,CAAC,OAAO,CAAC;QAC3C,IAAI,2BAA2B,CAAC,OAAO,CAAC;QACxC,IAAI,+BAA+B,CAAC,OAAO,CAAC;KAC/C,CAAC;AACN,CAAC;AAED,eAAe,UAAU,CAAC"}

package/dist/tests/Section17_Functions/misra_config.json

@@ -0,0 +1,10 @@
+{
+    "defaultValues": {
+        "int": 0,
+        "unsigned int": 0,
+        "float": 0.0,
+        "enum Status": "SUCCESS",
+        "Color": "RED",
+        "my_int_type": 0
+    }
+}

package/dist/tests/utils.d.ts

@@ -0,0 +1,10 @@
+import { FileJp, Program } from "@specs-feup/clava/api/Joinpoints.js";
+export declare function countMISRAErrors(startingPoint?: FileJp | Program): number;
+export declare function countErrorsAfterCorrection(configPath?: string): number;
+export interface TestFile {
+    name: string;
+    code: string;
+    path?: string;
+}
+export declare function registerSourceCode(files: TestFile[]): void;
+//# sourceMappingURL=utils.d.ts.map

package/dist/tests/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/tests/utils.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAGtE,wBAAgB,gBAAgB,CAAC,aAAa,GAAE,MAAM,GAAG,OAAiC,GAAG,MAAM,CAGlG;AAED,wBAAgB,0BAA0B,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,CAGtE;AAED,MAAM,WAAW,QAAQ;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,CAAA;CAChB;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,CAgB1D"}

package/dist/tests/utils.js

@@ -0,0 +1,29 @@
+import MISRATool from "../MISRATool.js";
+import Clava from "@specs-feup/clava/api/clava/Clava.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+export function countMISRAErrors(startingPoint = Query.root()) {
+    MISRATool.checkCompliance(startingPoint);
+    return MISRATool.getMISRAErrors().length;
+}
+export function countErrorsAfterCorrection(configPath) {
+    MISRATool.applyCorrections(configPath);
+    return MISRATool.getMISRAErrors().length;
+}
+export function registerSourceCode(files) {
+    beforeEach(() => {
+        Clava.getData().setStandard(process.env.STD_VERSION);
+        Clava.getProgram().push();
+        const program = Clava.getProgram();
+        files.forEach(file => {
+            const sourceFile = ClavaJoinPoints.fileWithSource(file.name, file.code, file.path);
+            program.addFile(sourceFile);
+        });
+        program.rebuild();
+    });
+    afterEach(() => {
+        Clava.getProgram().rebuild();
+        Clava.getProgram().pop();
+    });
+}
+//# sourceMappingURL=utils.js.map

package/dist/tests/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/tests/utils.ts"],"names":[],"mappings":"AAAA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAE7E,OAAO,KAAK,MAAM,sCAAsC,CAAC;AAEzD,MAAM,UAAU,gBAAgB,CAAC,gBAAkC,KAAK,CAAC,IAAI,EAAa;IACxF,SAAS,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC;IACzC,OAAO,SAAS,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,UAAmB;IAC5D,SAAS,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;IACvC,OAAO,SAAS,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC;AAC3C,CAAC;AAQD,MAAM,UAAU,kBAAkB,CAAC,KAAiB;IAChD,UAAU,CAAC,GAAG,EAAE;QACd,KAAK,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,WAAY,CAAC,CAAC;QACtD,KAAK,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACnB,MAAM,UAAU,GAAG,eAAe,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACnF,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,OAAO,EAAE,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,GAAG,EAAE;QACb,KAAK,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/utils/utils.d.ts

@@ -0,0 +1,102 @@
+import { Comment, Type, Case, Joinpoint, TypedefDecl, StorageClass, FunctionJp, Vardecl, RecordJp, EnumDecl, Switch, Param, Varref } from "@specs-feup/clava/api/Joinpoints.js";
+/**
+ * Checks if the comment is an inline comment
+ * @param $comment - The comment to check
+ * @returns Returns true if it's an inline comment, otherwise returns false
+ */
+export declare function isInlineComment($comment: Comment): boolean;
+/**
+ * Retrieves all comments associated with a given joinpoint
+ * @param $jp - The joinpoint to retrieve comments from
+ * @returns Array of comments
+ */
+export declare function getComments($jp: Joinpoint): Comment[];
+/**
+ * Checks if a given join point is a comment statement
+ *
+ * @param $jp The join point to check
+ * @returns Returns true if the given join point is a comment statement, otherwise false
+ */
+export declare function isCommentStmt($jp: Joinpoint): boolean;
+export declare function getParamReferences($param: Param, $startingPoint: Joinpoint): Varref[];
+/**
+ * Checks if a storage class has external linkage
+ * @param $class - The storage class to check
+ * @returns Returns true if the class has external linkage, otherwise returns false
+ */
+export declare function hasExternalLinkage($class: StorageClass): $class is StorageClass.AUTO | StorageClass.NONE | StorageClass.PRIVATE_EXTERN | StorageClass.REGISTER;
+/**
+ * Retrieves all variables and functions that can be externed from the files, i.e.,
+ * elements with storage classes that are not `STATIC` or `EXTERN`
+ * @returns Array of functions and variables that can be externed
+ */
+export declare function getExternals(): (FunctionJp | Vardecl)[];
+/**
+ * Checks if the provided node has a defined type
+ * @param $jp The joinpoint to check its type
+ * @returns true if the joinpoint has a defined type, otherwise false
+ */
+export declare function hasDefinedType($jp: Joinpoint): boolean;
+/**
+ * Retrieves the base type of the provided joinpoint.
+ * @param $jp The joinpoint to retrieve its type
+ * @returns The base type of the joinpoint, or undefined if the type is not defined
+ */
+export declare function getBaseType($jp: Joinpoint): Type | undefined;
+/**
+ * Retrieves the typedef declaration for the provided joinpoint, if available
+ * @param $jp The joinpoint to analyze
+ * @returns The typedef declaration if found, or undefined if not
+ */
+export declare function getTypeDecl($jp: Joinpoint): TypedefDecl | undefined;
+/**
+ * Checks if the provided joinpoint declares a type (typedef)
+ * @param $jp The joinpoint to check
+ * @returns Returns true if the joinpoint declares a typedef, otherwise false
+ */
+export declare function hasTypeDecl($jp: Joinpoint): boolean;
+/**
+ * Retrieves all joinpoints with a defined type
+ * @returns Array of joinpoints with a defined type
+ */
+export declare function getTypedJps(startingPoint?: Joinpoint): Joinpoint[];
+/**
+ * Checks if a given joinpoint uses the specified tag declaration
+ * @param $jp The joinpoint to analyze
+ * @param tag The tag to check against
+ * @returns Returns true if the joinpoint uses the given tag, false otherwise
+ */
+export declare function isTagUsed($jp: Joinpoint, tag: RecordJp | EnumDecl): boolean;
+/**
+ * Retrieves all joinpoints that use the specified tag declaration
+ *
+ * @param tag The tag to search for in the joinpoints
+ * @returns Array of joinpoints that use the specified tag declaration
+ */
+export declare function getTagUses(tag: RecordJp | EnumDecl): Joinpoint[];
+/**
+ * Retrieves the last statement of the given case
+ * @param $jp - The case to retrieve the last statement from
+ * @returns The last statement of the case or undefined if there are no statements or it has a consecutive case.
+ */
+export declare function getLastStmtOfCase($jp: Case): Joinpoint | undefined;
+/**
+ * Retrieves the number of switch clauses with instructions in the provided switch statement
+ * @param $jp - The switch statement to analyze
+ * @returns The number of switch clauses with instructions
+ */
+export declare function getNumOfSwitchClauses($jp: Switch): number;
+/**
+ * Checks if the provided switch statement has a Boolean condition
+ * @param switchStmt - The switch statement to check
+ * @returns
+ * Returns true if the switch statement has a Boolean condition, otherwise false
+ */
+export declare function switchHasBooleanCondition(switchStmt: Switch): boolean;
+/**
+ * Checks if the provided switch statement contains any conditional break
+ * @param switchStmt - The switch statement to analyze
+ * @returns Returns true if the switch statement contains a conditional break, otherwise false
+ */
+export declare function switchHasConditionalBreak(switchStmt: Switch): boolean;
+//# sourceMappingURL=utils.d.ts.map

package/dist/utils/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAa,WAAW,EAA6B,YAAY,EAAE,UAAU,EAAE,OAAO,EAAU,QAAQ,EAAE,QAAQ,EAAe,MAAM,EAAoG,KAAK,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAC;AAE7U;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,OAAO,GAAG,OAAO,CAE1D;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,EAAE,CAErD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAErD;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,SAAS,GAAG,MAAM,EAAE,CAQrF;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,yGAEtD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,EAAE,CAWvD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAEtD;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI,GAAG,SAAS,CAe5D;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,WAAW,GAAG,SAAS,CASnE;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAEnD;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,aAAa,CAAC,EAAE,SAAS,GAAG,SAAS,EAAE,CAQlE;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAM3E;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,EAAE,CAEhE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,IAAI,GAAG,SAAS,GAAG,SAAS,CAalE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAUzD;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAMrE;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAErE"}

package/dist/utils/utils.js

@@ -0,0 +1,202 @@
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { Comment, Case, Joinpoint, ArrayType, TypedefDecl, DeclStmt, StorageClass, FunctionJp, Vardecl, FileJp, RecordJp, EnumDecl, PointerType, BuiltinType, BinaryOp, Break, WrapperStmt, ElaboratedType, TagType, Varref } from "@specs-feup/clava/api/Joinpoints.js";
+/**
+ * Checks if the comment is an inline comment
+ * @param $comment - The comment to check
+ * @returns Returns true if it's an inline comment, otherwise returns false
+ */
+export function isInlineComment($comment) {
+    return $comment.astName === "InlineComment";
+}
+/**
+ * Retrieves all comments associated with a given joinpoint
+ * @param $jp - The joinpoint to retrieve comments from
+ * @returns Array of comments
+ */
+export function getComments($jp) {
+    return $jp instanceof Comment ? [$jp] : $jp.inlineComments;
+}
+/**
+ * Checks if a given join point is a comment statement
+ *
+ * @param $jp The join point to check
+ * @returns Returns true if the given join point is a comment statement, otherwise false
+ */
+export function isCommentStmt($jp) {
+    return $jp instanceof WrapperStmt && $jp.kind === "comment";
+}
+export function getParamReferences($param, $startingPoint) {
+    return Query.searchFrom($startingPoint, Varref, (ref) => {
+        try {
+            return ref.decl && ref.decl.astId === $param.astId;
+        }
+        catch (error) {
+            return false;
+        }
+    }).get();
+}
+/**
+ * Checks if a storage class has external linkage
+ * @param $class - The storage class to check
+ * @returns Returns true if the class has external linkage, otherwise returns false
+ */
+export function hasExternalLinkage($class) {
+    return $class !== StorageClass.STATIC && $class !== StorageClass.EXTERN;
+}
+/**
+ * Retrieves all variables and functions that can be externed from the files, i.e.,
+ * elements with storage classes that are not `STATIC` or `EXTERN`
+ * @returns Array of functions and variables that can be externed
+ */
+export function getExternals() {
+    let result = [];
+    for (const file of Query.search(FileJp).get()) {
+        for (const child of file.children) {
+            if ((child instanceof Vardecl || child instanceof FunctionJp) && hasExternalLinkage(child.storageClass)) {
+                result.push(child);
+            }
+        }
+    }
+    return result;
+}
+/**
+ * Checks if the provided node has a defined type
+ * @param $jp The joinpoint to check its type
+ * @returns true if the joinpoint has a defined type, otherwise false
+ */
+export function hasDefinedType($jp) {
+    return $jp.hasType && $jp.type !== null || $jp.type !== undefined;
+}
+/**
+ * Retrieves the base type of the provided joinpoint.
+ * @param $jp The joinpoint to retrieve its type
+ * @returns The base type of the joinpoint, or undefined if the type is not defined
+ */
+export function getBaseType($jp) {
+    if (!hasDefinedType($jp))
+        return undefined;
+    let jpType;
+    if ($jp.type instanceof PointerType) {
+        jpType = $jp.type.pointee;
+        while (jpType instanceof PointerType) {
+            jpType = jpType.pointee;
+        }
+    }
+    else if ($jp.type instanceof ArrayType) {
+        jpType = $jp.type.elementType;
+    }
+    else {
+        jpType = $jp.type;
+    }
+    return jpType;
+}
+/**
+ * Retrieves the typedef declaration for the provided joinpoint, if available
+ * @param $jp The joinpoint to analyze
+ * @returns The typedef declaration if found, or undefined if not
+ */
+export function getTypeDecl($jp) {
+    if ($jp instanceof DeclStmt && $jp.children.length === 1 && $jp.children[0] instanceof TypedefDecl)
+        return $jp.children[0];
+    if ($jp instanceof RecordJp || $jp instanceof EnumDecl) {
+        const typeDecls = Query.searchFrom($jp, TypedefDecl).get();
+        if (typeDecls.length === 1)
+            return typeDecls[0];
+    }
+}
+/**
+ * Checks if the provided joinpoint declares a type (typedef)
+ * @param $jp The joinpoint to check
+ * @returns Returns true if the joinpoint declares a typedef, otherwise false
+ */
+export function hasTypeDecl($jp) {
+    return getTypeDecl($jp) !== undefined;
+}
+/**
+ * Retrieves all joinpoints with a defined type
+ * @returns Array of joinpoints with a defined type
+ */
+export function getTypedJps(startingPoint) {
+    if (startingPoint) {
+        return Query.searchFrom(startingPoint, Joinpoint).get().filter(jp => jp.hasType && jp.type !== null && jp.type !== undefined);
+    }
+    return Query.search(Joinpoint).get().filter(jp => jp.hasType &&
+        jp.type !== null &&
+        jp.type !== undefined);
+}
+/**
+ * Checks if a given joinpoint uses the specified tag declaration
+ * @param $jp The joinpoint to analyze
+ * @param tag The tag to check against
+ * @returns Returns true if the joinpoint uses the given tag, false otherwise
+ */
+export function isTagUsed($jp, tag) {
+    const jpType = getBaseType($jp);
+    return jpType instanceof ElaboratedType &&
+        jpType.namedType instanceof TagType &&
+        jpType.namedType.decl.astId === tag.astId &&
+        $jp.astId !== getTypeDecl(tag)?.astId;
+}
+/**
+ * Retrieves all joinpoints that use the specified tag declaration
+ *
+ * @param tag The tag to search for in the joinpoints
+ * @returns Array of joinpoints that use the specified tag declaration
+ */
+export function getTagUses(tag) {
+    return getTypedJps().filter(jp => isTagUsed(jp, tag));
+}
+/**
+ * Retrieves the last statement of the given case
+ * @param $jp - The case to retrieve the last statement from
+ * @returns The last statement of the case or undefined if there are no statements or it has a consecutive case.
+ */
+export function getLastStmtOfCase($jp) {
+    if ($jp.instructions.length === 0) { // Has a consecutive case
+        return undefined;
+    }
+    let lastStmt;
+    for (const stmt of $jp.siblingsRight) {
+        if (stmt instanceof Case) {
+            break;
+        }
+        lastStmt = stmt;
+    }
+    return lastStmt;
+}
+/**
+ * Retrieves the number of switch clauses with instructions in the provided switch statement
+ * @param $jp - The switch statement to analyze
+ * @returns The number of switch clauses with instructions
+ */
+export function getNumOfSwitchClauses($jp) {
+    let firstStatements = [];
+    for (const caseLabel of $jp.cases) {
+        if (caseLabel.instructions.length === 0) { // Has a consecutive case
+            continue;
+        }
+        firstStatements.push(caseLabel.instructions[0]);
+    }
+    return firstStatements.length;
+}
+/**
+ * Checks if the provided switch statement has a Boolean condition
+ * @param switchStmt - The switch statement to check
+ * @returns
+ * Returns true if the switch statement has a Boolean condition, otherwise false
+ */
+export function switchHasBooleanCondition(switchStmt) {
+    return switchStmt.condition instanceof BinaryOp ||
+        (hasDefinedType(switchStmt.condition) &&
+            switchStmt.condition.type instanceof BuiltinType &&
+            switchStmt.condition.type.builtinKind === "Bool");
+}
+/**
+ * Checks if the provided switch statement contains any conditional break
+ * @param switchStmt - The switch statement to analyze
+ * @returns Returns true if the switch statement contains a conditional break, otherwise false
+ */
+export function switchHasConditionalBreak(switchStmt) {
+    return Query.searchFrom(switchStmt, Break, { currentRegion: region => region.astId !== switchStmt.astId, enclosingStmt: jp => jp.astId === switchStmt.astId }).get().length > 0;
+}
+//# sourceMappingURL=utils.js.map

package/dist/utils/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/utils/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,OAAO,EAAQ,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAmB,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAU,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAgC,WAAW,EAAE,cAAc,EAAE,OAAO,EAAS,MAAM,EAAE,MAAM,qCAAqC,CAAC;AAE7U;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,QAAiB;IAC7C,OAAO,QAAQ,CAAC,OAAO,KAAK,eAAe,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAc;IACtC,OAAO,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC;AAC/D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,GAAc;IACxC,OAAO,GAAG,YAAY,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAa,EAAE,cAAyB;IACvE,OAAO,KAAK,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;QAC5C,IAAI,CAAC;YACD,OAAO,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC;QACvD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAoB;IACnD,OAAO,MAAM,KAAK,YAAY,CAAC,MAAM,IAAI,MAAM,KAAK,YAAY,CAAC,MAAM,CAAC;AAC5E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY;IACxB,IAAI,MAAM,GAA6B,EAAE,CAAC;IAE1C,KAAK,MAAM,IAAI,IAAK,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;QAC7C,KAAI,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC/B,IAAG,CAAC,KAAK,YAAY,OAAO,IAAI,KAAK,YAAY,UAAU,CAAC,IAAI,kBAAkB,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;gBACrG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,GAAc;IACzC,OAAO,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;AACtE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAc;IACtC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAE3C,IAAI,MAAY,CAAC;IACjB,IAAI,GAAG,CAAC,IAAI,YAAY,WAAW,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;QAC1B,OAAO,MAAM,YAAY,WAAW,EAAE,CAAC;YACnC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC;QAC5B,CAAC;IACL,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,YAAY,SAAS,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;IAClC,CAAC;SAAM,CAAC;QACJ,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC;IACtB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAc;IACtC,IAAI,GAAG,YAAY,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,WAAW;QAC9F,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAE3B,IAAI,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,QAAQ,EAAE,CAAC;QACrD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;QAC3D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YACtB,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAc;IACtC,OAAO,WAAW,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,aAAyB;IACjD,IAAI,aAAa,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC,UAAU,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;IACjI,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAC7C,EAAE,CAAC,OAAO;QACV,EAAE,CAAC,IAAI,KAAK,IAAI;QAChB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAc,EAAE,GAAwB;IAC9D,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAChC,OAAO,MAAM,YAAY,cAAc;QACnC,MAAM,CAAC,SAAS,YAAY,OAAO;QACnC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK;QACzC,GAAG,CAAC,KAAK,KAAK,WAAW,CAAC,GAAG,CAAC,EAAE,KAAK,CAAA;AAC7C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,GAAwB;IAC/C,OAAO,WAAW,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAS;IACvC,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,yBAAyB;QAC1D,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,IAAI,QAA+B,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;QACnC,IAAI,IAAI,YAAY,IAAI,EAAE,CAAC;YACvB,MAAM;QACV,CAAC;QACD,QAAQ,GAAG,IAAI,CAAC;IACpB,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAAW;IAC7C,IAAI,eAAe,GAAG,EAAE,CAAA;IAExB,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,SAAS,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC,yBAAyB;YAChE,SAAS;QACb,CAAC;QACD,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IACnD,CAAC;IACD,OAAO,eAAe,CAAC,MAAM,CAAC;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CAAC,UAAkB;IACxD,OAAO,UAAU,CAAC,SAAS,YAAY,QAAQ;QACvC,CAAC,cAAc,CAAC,UAAU,CAAC,SAAS,CAAC;YACpC,UAAU,CAAC,SAAS,CAAC,IAAI,YAAY,WAAW;YAC/C,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,KAAK,MAAM,CACjD,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,UAAkB;IACxD,OAAO,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AACpL,CAAC"}

package/jest.config.js

@@ -1,14 +1,14 @@
-import { weaverConfig } from "clava-js/code/WeaverConfiguration.js";
+import { weaverConfig } from "@specs-feup/clava/code/WeaverConfiguration.js";
 
 const config = {
   preset: "ts-jest/presets/default-esm",
-  testEnvironment: "lara-js/jest/jestEnvironment.js",
+  testEnvironment: "@specs-feup/lara/jest/jestEnvironment.js",
   testEnvironmentOptions: {
     weaverConfig,
   },
-  globalSetup: "lara-js/jest/jestGlobalSetup.js",
-  globalTeardown: "lara-js/jest/jestGlobalTeardown.js",
-  setupFiles: ["lara-js/jest/setupFiles/sharedJavaModule.js"],
+  globalSetup: "@specs-feup/lara/jest/jestGlobalSetup.js",
+  globalTeardown: "@specs-feup/lara/jest/jestGlobalTeardown.js",
+  setupFiles: ["@specs-feup/lara/jest/setupFiles/sharedJavaModule.js"],
   //notify: true,
   //notifyMode: "always",
   //verbose: true,
@@ -22,4 +22,4 @@ const config = {
   }
 };
 
-export default config;
+export default config;

package/package.json

@@ -1,23 +1,59 @@
 {
   "name": "@specs-feup/clava-misra",
-  "version": "1.0.0",
+  "version": "1.0.2",
   "author": "L. Sousa",
-  "description": "A template for developing projects for Clava in Typescript",
+  "description": "Clava library to automatically detect and correct violations of the MISRA-C:2012 standard in C code",
   "type": "module",
+  "files": [
+    "dist",
+    "src",
+    "jest.config.js",
+    ".gitignore",
+    "package.json",
+    "README.md",
+    "tsconfig.jest.json",
+    "tsconfig.json",
+    "typedoc.config.js"
+  ],
   "scripts": {
-    "run": "npx clava classic dist/main.js -p CxxSources/",
+    "run": "cross-env-shell \"if [ $(uname) = 'Darwin' ] || [ $(uname) = 'Linux' ]; then npm run run:macos-linux; else npm run run:windows; fi\"",
+    "run:windows": "cross-env STD_VERSION=%npm_config_std% npx clava classic dist/main.js -pi -std %npm_config_std% -p CxxSources/",
+    "run:macos-linux": "cross-env STD_VERSION=$npm_config_std npx clava classic dist/main.js -pi -std $npm_config_std -p CxxSources/",
     "build": "tsc",
     "build:watch": "tsc --watch",
     "lint": "eslint .",
     "docs": "typedoc",
-    "test": "cross-env NODE_OPTIONS='$NODE_OPTIONS --experimental-vm-modules' jest --detectOpenHandles --forceExit src",
+    "test": "npm run test:c90 && npm run test:c99 && npm run test:c11",
+    "test:c90": "cross-env STD_VERSION=c90 NODE_OPTIONS=\"$NODE_OPTIONS --experimental-vm-modules\" jest --detectOpenHandles --forceExit src --std=c90",
+    "test:c99": "cross-env STD_VERSION=c99 NODE_OPTIONS=\"$NODE_OPTIONS --experimental-vm-modules\" jest --detectOpenHandles --forceExit src --std=c99",
+    "test:c11": "cross-env STD_VERSION=c11 NODE_OPTIONS=\"$NODE_OPTIONS --experimental-vm-modules\" jest --detectOpenHandles --forceExit src --std=c11",
     "test:cov": "npm run test -- --coverage",
     "test:watch": "npm run test -- --watch"
   },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/specs-feup/clava-misra.git"
+  },
   "dependencies": {
-    "@specs-feup/clava": "^3.0.5",
-    "@specs-feup/clava-visualization": "^1.0.4",
-    "@specs-feup/lara-visualization": "^1.0.3",
-    "@specs-feup/lara": "^3.0.4"
+    "@specs-feup/clava": "^3.0.11",
+    "@specs-feup/clava-visualization": "^1.0.5",
+    "@specs-feup/lara": "^3.0.5"
+  },
+  "devDependencies": {
+    "@jest/globals": "^29.7.0",
+    "@specs-feup/clava": "^3.0.11",
+    "@specs-feup/lara": "^3.0.4",
+    "@types/jest": "^29.5.14",
+    "@typescript-eslint/eslint-plugin": "^7.16.0",
+    "@typescript-eslint/parser": "^7.16.0",
+    "cross-env": "^7.0.3",
+    "eslint": "^8.57.0",
+    "eslint-config-prettier": "^9.1.0",
+    "eslint-plugin-jest": "^28.6.0",
+    "eslint-plugin-tsdoc": "^0.2.17",
+    "jest": "^29.7.0",
+    "ts-jest": "^29.2.5",
+    "typedoc": "^0.26.4",
+    "typescript": "^5.5.3"
   }
 }