@specs-feup/clava-misra 1.0.2 → 1.0.3

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

@@ -1,13 +1,18 @@
 import { Joinpoint } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRARule from "../../MISRARule.js";
-import MISRAContext from "../../MISRAContext.js";
-import { MISRATransformationReport } from "../../MISRA.js";
+import { AnalysisType, MISRATransformationReport } from "../../MISRA.js";
 /**
- * MISRA Rule 17.7: The value returned by a function having non-void return type shall be
-used
+ * MISRA-C Rule 17.7: The value returned by a function having non-void return type shall be used
  */
 export default class Rule_17_7_UnusedReturnValue extends MISRARule {
-    constructor(context: MISRAContext);
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
     /**
      * Checks if the given joinpoint represents a non-void function call with an unused return value.
      *
@@ -23,6 +28,6 @@ export default class Rule_17_7_UnusedReturnValue extends MISRARule {
      * @param $jp - Joinpoint to transform
      * @returns Report detailing the transformation result
      */
-    transform($jp: Joinpoint): MISRATransformationReport;
+    apply($jp: Joinpoint): MISRATransformationReport;
 }
 //# sourceMappingURL=Rule_17_7_UnusedReturnValue.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"Rule_17_7_UnusedReturnValue.d.ts","sourceRoot":"","sources":["../../../src/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+B,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAC7F,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,YAAY,MAAM,uBAAuB,CAAC;AAEjD,OAAO,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,2BAA4B,SAAQ,SAAS;gBAClD,OAAO,EAAE,YAAY;IAIjC;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAW1D;;;;;;OAMG;IACH,SAAS,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAMvD"}
+{"version":3,"file":"Rule_17_7_UnusedReturnValue.d.ts","sourceRoot":"","sources":["../../../src/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqC,SAAS,EAAE,MAAM,qCAAqC,CAAC;AACnG,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAElG;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,2BAA4B,SAAQ,SAAS;IAC9D;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE7D;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAW1D;;;;;;OAMG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;CAUnD"}

package/dist/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.js

@@ -1,14 +1,20 @@
 import { BuiltinType, Call, ExprStmt } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRARule from "../../MISRARule.js";
 import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
-import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { AnalysisType, MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
 /**
- * MISRA Rule 17.7: The value returned by a function having non-void return type shall be
-used
+ * MISRA-C Rule 17.7: The value returned by a function having non-void return type shall be used
  */
 export default class Rule_17_7_UnusedReturnValue extends MISRARule {
-    constructor(context) {
-        super("17.7", context);
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "17.7";
     }
     /**
      * Checks if the given joinpoint represents a non-void function call with an unused return value.
@@ -34,11 +40,14 @@ export default class Rule_17_7_UnusedReturnValue extends MISRARule {
      * @param $jp - Joinpoint to transform
      * @returns Report detailing the transformation result
      */
-    transform($jp) {
+    apply($jp) {
         if (!this.match($jp))
             return new MISRATransformationReport(MISRATransformationType.NoChange);
-        const newJp = ClavaJoinPoints.cStyleCast(ClavaJoinPoints.type("void"), $jp);
-        return new MISRATransformationReport(MISRATransformationType.Replacement, $jp.replaceWith(newJp));
+        const callJp = $jp;
+        const castJp = ClavaJoinPoints.cStyleCast(ClavaJoinPoints.type("void"), callJp);
+        const newJp = $jp.replaceWith(castJp);
+        newJp.subExpr.replaceWith($jp);
+        return new MISRATransformationReport(MISRATransformationType.Replacement, newJp);
     }
 }
 //# sourceMappingURL=Rule_17_7_UnusedReturnValue.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"Rule_17_7_UnusedReturnValue.js","sourceRoot":"","sources":["../../../src/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAa,MAAM,qCAAqC,CAAC;AAC7F,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAE3C,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,OAAO,OAAO,2BAA4B,SAAQ,SAAS;IAC9D,YAAY,OAAqB;QAC7B,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAEzC,IAAI,GAAG,CAAC,UAAU,YAAY,WAAW,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAEjF,IAAI,GAAG,CAAC,MAAM,YAAY,QAAQ,IAAI,SAAS,EAAE,CAAC;YAC9C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAC,mBAAmB,GAAG,CAAC,SAAS,mEAAmE,CAAC,CAAC;QAChI,CAAC;QACD,OAAO,GAAG,CAAC,MAAM,YAAY,QAAQ,CAAC;IAC1C,CAAC;IAED;;;;;;OAMG;IACH,SAAS,CAAC,GAAc;QACpB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,MAAM,KAAK,GAAI,eAAe,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAW,CAAC,CAAC;QACrF,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACtG,CAAC;CACJ"}
+{"version":3,"file":"Rule_17_7_UnusedReturnValue.js","sourceRoot":"","sources":["../../../src/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,IAAI,EAAQ,QAAQ,EAAa,MAAM,qCAAqC,CAAC;AACnG,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAElG;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,2BAA4B,SAAQ,SAAS;IAC9D;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAE7D;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,MAAM,CAAC;IAClB,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAEzC,IAAI,GAAG,CAAC,UAAU,YAAY,WAAW,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAEjF,IAAI,GAAG,CAAC,MAAM,YAAY,QAAQ,IAAI,SAAS,EAAE,CAAC;YAC9C,IAAI,CAAC,aAAa,CAAC,GAAG,EAAC,mBAAmB,GAAG,CAAC,SAAS,mEAAmE,CAAC,CAAC;QAChI,CAAC;QACD,OAAO,GAAG,CAAC,MAAM,YAAY,QAAQ,CAAC;IAC1C,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,GAAc;QAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAChB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE3E,MAAM,MAAM,GAAG,GAAW,CAAC;QAC3B,MAAM,MAAM,GAAI,eAAe,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QACjF,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,MAAM,CAAS,CAAC;QAC9C,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC/B,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACrF,CAAC;CACJ"}

package/dist/rules/Section21-StandardLibraries/DisallowedStdLibFunctionRule.d.ts

@@ -0,0 +1,105 @@
+import { Call, Joinpoint, FileJp } from "@specs-feup/clava/api/Joinpoints.js";
+import { AnalysisType, MISRATransformationReport } from "../../MISRA.js";
+import UserConfigurableRule from "../UserConfigurableRule.js";
+/**
+ *
+ * Abstract base class for MISRA-C rules that prohibit the use of function of a standard library.
+ *
+ * Need to implement/define:
+ *  - analysisType
+ *  - standardLibrary
+ *  - invalidFunctions
+ *  - name()
+ */
+export default abstract class DisallowedStdLibFunctionRule extends UserConfigurableRule {
+    /**
+     *  A positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
+     */
+    readonly priority = 1;
+    /**
+     * A map that keeps track of invalid usages found in each file.
+     */
+    protected invalidFiles: Map<FileJp, Call[]>;
+    /**
+     * The name of the standard library
+     */
+    protected abstract standardLibrary: string;
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    protected abstract invalidFunctions: Set<string>;
+    /**
+     * Calls that could not be resolved and their respective error message, stored to prevent repeated attempts of correction after rebuild.
+     */
+    protected unresolvedCalls: Map<string, string>;
+    /**
+     * Files where headers were kept because other library features are still used.
+     */
+    protected filesWithRetainedHeaders: Set<string>;
+    /**
+     * Specifies the scope of analysis: single unit or entire system.
+     */
+    abstract readonly analysisType: AnalysisType;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    abstract get name(): string;
+    /**
+     * Checks if all functions of the library are forbidden
+     */
+    private isLibraryFullyDisallowed;
+    /**
+     * Logs a MISRA error when the entire library is disallowed and
+     * records the file to track headers that must be retained.
+     *
+     * @param fileJp - The file in which the disallowed include was found.
+     */
+    private logDisallowedInclude;
+    /**
+     * Logs a MISRA error for a disallowed function call and records
+     * the call along with its error message to avoid repeated attempts
+     *
+     * @param callJp - The disallowed function call
+     * @param msg - Description of the violation
+     */
+    private logDisallowedCall;
+    /**
+     * Returns the prefix to be used for error messages related to the given joinpoint
+     *
+     * @param $jp - Joinpoint where the violation was detected
+     * @returns Returns a prefix to prepend to error messages if no configuration is specified or if the configuration does not contain a fix for this violation
+     */
+    protected getErrorMsgPrefix(callJp: Call): string;
+    /**
+     * Retrieves a fix for the given joinpoint using the provided configuration file
+     * @param $jp - Joinpoint where the violation was detected
+     * @return The fix retrieved from the configuration for the violation, or `undefined` if no applicable fix is found.
+     */
+    protected getFixFromConfig(callJp: Call): Map<string, string> | undefined;
+    /**
+     *
+     * @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;
+    private solveDisallowedFunctions;
+    private solveDisallowedFunctionCall;
+    private getExternFunctionDeclIds;
+    /**
+     * Removes the standard library include if it is fully disallowed and all invalid calls were fixed.
+     * If the file is invalid after include removal  because other library features are still being used (e.g.: typedefs), the include is re-added.
+     *
+     * @param fileJp The file to modify
+     * @param fixedAllCalls Flag to indicate whether all calls were fixed
+     */
+    private removeInclude;
+}
+//# sourceMappingURL=DisallowedStdLibFunctionRule.d.ts.map

package/dist/rules/Section21-StandardLibraries/DisallowedStdLibFunctionRule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DisallowedStdLibFunctionRule.d.ts","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/DisallowedStdLibFunctionRule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,SAAS,EAAW,MAAM,EAAW,MAAM,qCAAqC,CAAC;AAChG,OAAO,EAAE,YAAY,EAAE,yBAAyB,EAA2B,MAAM,gBAAgB,CAAC;AAIlG,OAAO,oBAAoB,MAAM,4BAA4B,CAAC;AAE9D;;;;;;;;;GASG;AACH,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,4BAA6B,SAAQ,oBAAoB;IACnF;;OAEG;IACH,QAAQ,CAAC,QAAQ,KAAK;IAEtB;;OAEG;IACH,SAAS,CAAC,YAAY,sBAA6B;IAEnD;;OAEG;IACH,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAE3C;;;OAGG;IACH,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAEjD;;OAEG;IACH,SAAS,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAA6B;IAE3E;;OAEG;IACH,SAAS,CAAC,wBAAwB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAqB;IAEpE;;OAEG;IACH,QAAQ,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IAE7C;;OAEG;IACH,aAAsB,IAAI,IAAI,MAAM,CAAC;IAErC;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAIhC;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;IAa5B;;;;;;OAMG;IACH,OAAO,CAAC,iBAAiB;IAQzB;;;;;OAKG;IACH,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,IAAI,GAAG,MAAM;IAIjD;;;;OAIG;IACH,SAAS,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS;IAqCzE;;;;;OAKG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,GAAE,OAAe,GAAG,OAAO;IAsB1D;;;;OAIG;IACH,KAAK,CAAC,GAAG,EAAE,SAAS,GAAG,yBAAyB;IAkBhD,OAAO,CAAC,wBAAwB;IAoBhC,OAAO,CAAC,2BAA2B;IA0DnC,OAAO,CAAC,wBAAwB;IAQhC;;;;;;OAMG;IACH,OAAO,CAAC,aAAa;CAoBxB"}

package/dist/rules/Section21-StandardLibraries/DisallowedStdLibFunctionRule.js

@@ -0,0 +1,258 @@
+import { Program, Include } from "@specs-feup/clava/api/Joinpoints.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { addExternFunctionDecl, findFilesReferencingHeader, getCallsToLibrary, getExternFunctionDecls, isValidFile } from "../../utils/FileUtils.js";
+import { findFunctionDef } from "../../utils/FunctionUtils.js";
+import UserConfigurableRule from "../UserConfigurableRule.js";
+/**
+ *
+ * Abstract base class for MISRA-C rules that prohibit the use of function of a standard library.
+ *
+ * Need to implement/define:
+ *  - analysisType
+ *  - standardLibrary
+ *  - invalidFunctions
+ *  - name()
+ */
+export default class DisallowedStdLibFunctionRule extends UserConfigurableRule {
+    /**
+     *  A positive integer starting from 1 that indicates the rule's priority, determining the order in which rules are applied.
+     */
+    priority = 1;
+    /**
+     * A map that keeps track of invalid usages found in each file.
+     */
+    invalidFiles = new Map();
+    /**
+     * Calls that could not be resolved and their respective error message, stored to prevent repeated attempts of correction after rebuild.
+     */
+    unresolvedCalls = new Map();
+    /**
+     * Files where headers were kept because other library features are still used.
+     */
+    filesWithRetainedHeaders = new Set();
+    /**
+     * Checks if all functions of the library are forbidden
+     */
+    isLibraryFullyDisallowed() {
+        return this.invalidFunctions.size === 0;
+    }
+    /**
+     * Logs a MISRA error when the entire library is disallowed and
+     * records the file to track headers that must be retained.
+     *
+     * @param fileJp - The file in which the disallowed include was found.
+     */
+    logDisallowedInclude(fileJp) {
+        if (!this.isLibraryFullyDisallowed()) { // Only specific functions are forbidden
+            return;
+        }
+        const includeJp = Query.searchFrom(fileJp, Include, { name: this.standardLibrary }).get()[0];
+        this.logMISRAError(includeJp, `The system header file <${includeJp.name}> shall not be used.`);
+        this.context.addRuleResult(this.ruleID, includeJp, MISRATransformationType.NoChange);
+        if (!this.filesWithRetainedHeaders.has(fileJp.name)) {
+            this.filesWithRetainedHeaders.add(fileJp.name);
+        }
+    }
+    /**
+     * Logs a MISRA error for a disallowed function call and records
+     * the call along with its error message to avoid repeated attempts
+     *
+     * @param callJp - The disallowed function call
+     * @param msg - Description of the violation
+     */
+    logDisallowedCall(callJp, msg) {
+        this.logMISRAError(callJp, msg);
+        this.context.addRuleResult(this.ruleID, callJp, MISRATransformationType.NoChange);
+        if (!this.unresolvedCalls.has(callJp.name)) {
+            this.unresolvedCalls.set(callJp.name, msg);
+        }
+    }
+    /**
+     * Returns the prefix to be used for error messages related to the given joinpoint
+     *
+     * @param $jp - Joinpoint where the violation was detected
+     * @returns Returns a prefix to prepend to error messages if no configuration is specified or if the configuration does not contain a fix for this violation
+     */
+    getErrorMsgPrefix(callJp) {
+        return `Function '${callJp.name}' of <${this.standardLibrary}> shall not be used.`;
+    }
+    /**
+     * Retrieves a fix for the given joinpoint using the provided configuration file
+     * @param $jp - Joinpoint where the violation was detected
+     * @return The fix retrieved from the configuration for the violation, or `undefined` if no applicable fix is found.
+     */
+    getFixFromConfig(callJp) {
+        const errorMsgPrefix = this.getErrorMsgPrefix(callJp);
+        if (!this.context.config) {
+            this.logDisallowedCall(callJp, `${errorMsgPrefix} Extern not added due to missing config file.`);
+            return undefined;
+        }
+        let configFix = this.context.config.get("disallowedFunctions");
+        if (!configFix) {
+            this.logDisallowedCall(callJp, `${errorMsgPrefix} Extern was not added as \'disallowedFunctions\' is not defined in the configuration file.`);
+            return undefined;
+        }
+        if (!configFix[this.standardLibrary]) {
+            this.logDisallowedCall(callJp, `${errorMsgPrefix} Couldn't add extern due to missing configuration for standard library <${this.standardLibrary}>.`);
+            return undefined;
+        }
+        if (!configFix[this.standardLibrary][callJp.name]) {
+            this.logDisallowedCall(callJp, `${errorMsgPrefix} Couldn't add extern due to missing configuration for function \'${callJp.name}\' of standard library <${this.standardLibrary}>.`);
+            return undefined;
+        }
+        const location = configFix[this.standardLibrary][callJp.name]["location"];
+        const replacement_func = configFix[this.standardLibrary][callJp.name]["replacement"];
+        if (location === undefined || replacement_func === undefined) {
+            this.logDisallowedCall(callJp, `${errorMsgPrefix} Couldn't add extern due to incomplete configuration for function \'${callJp.name}\' of standard library <${this.standardLibrary}>.`);
+            return undefined;
+        }
+        return new Map([
+            ["function", replacement_func],
+            ["location", location]
+        ]);
+    }
+    /**
+     *
+     * @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 && this.appliesToCurrentStandard()))
+            return false;
+        this.invalidFiles = new Map();
+        const referencingFiles = findFilesReferencingHeader(this.standardLibrary);
+        let nonCompliant = false;
+        for (const fileJp of referencingFiles) {
+            const invalidCalls = getCallsToLibrary(fileJp, this.standardLibrary, this.invalidFunctions);
+            if (invalidCalls.length > 0 || this.isLibraryFullyDisallowed()) {
+                this.invalidFiles.set(fileJp, invalidCalls);
+                nonCompliant = true;
+            }
+            if (logErrors) {
+                invalidCalls.forEach(callJp => this.logMISRAError(callJp, this.getErrorMsgPrefix(callJp)));
+                this.logDisallowedInclude(fileJp);
+            }
+        }
+        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 changedDescendant = false;
+        for (const [fileJp, invalidCalls] of this.invalidFiles) {
+            if (this.solveDisallowedFunctions(fileJp, invalidCalls)) {
+                changedDescendant = true;
+            }
+        }
+        // Rebuild AST if any file changed
+        if (changedDescendant) {
+            this.rebuildProgram();
+            return new MISRATransformationReport(MISRATransformationType.Replacement, Query.root());
+        }
+        return new MISRATransformationReport(MISRATransformationType.NoChange);
+    }
+    solveDisallowedFunctions(fileJp, invalidCalls) {
+        let externFunctions = this.getExternFunctionDeclIds(fileJp);
+        let changedFile = false;
+        let solvedCallsCount = 0;
+        let solvedCalls = new Map();
+        for (const callJp of invalidCalls) {
+            if (this.solveDisallowedFunctionCall(callJp, fileJp, externFunctions, solvedCalls)) {
+                changedFile = true;
+                solvedCallsCount++;
+            }
+        }
+        // Try to remove the include 
+        const fixedAllCalls = solvedCallsCount === invalidCalls.length;
+        this.removeInclude(fileJp, fixedAllCalls);
+        return changedFile;
+    }
+    solveDisallowedFunctionCall(callJp, fileJp, externFunctions, solvedCalls) {
+        if (solvedCalls.has(callJp.name)) {
+            callJp.setName(solvedCalls.get(callJp.name));
+            return true;
+        }
+        // Skip call if previous AST visit marked it as unfixable
+        if (this.context.getRuleResult(this.ruleID, callJp) === MISRATransformationType.NoChange) {
+            return false;
+        }
+        // Skip call if previous visits, before rebuild, marked it as unfixable
+        if (this.unresolvedCalls.has(callJp.name)) {
+            this.logDisallowedCall(callJp, this.unresolvedCalls.get(callJp.name));
+        }
+        const errorMsgPrefix = this.getErrorMsgPrefix(callJp);
+        const configFix = this.getFixFromConfig(callJp);
+        // Skip if config file was not specified or provides an invalid fix
+        if (!configFix) {
+            return false;
+        }
+        const [location, replacement_func] = [configFix.get("location"), configFix.get("function")];
+        const functionDef = findFunctionDef(replacement_func, location);
+        // Skip if specified function doesn't exist
+        if (!functionDef) {
+            this.logDisallowedCall(callJp, `${errorMsgPrefix} Provided file \'${location}\' does not have function definition.`);
+            return false;
+        }
+        // Skip if specified function doesn't have external linkage
+        let externDecl;
+        if (!externFunctions.has(functionDef.astId)) {
+            externDecl = addExternFunctionDecl(fileJp, functionDef);
+            if (externDecl === undefined) {
+                this.logDisallowedCall(callJp, `${errorMsgPrefix} Provided definition at \'${location}\' does not have external linkage.`);
+                return false;
+            }
+        }
+        const previousCallName = callJp.name;
+        callJp.setName(functionDef.name);
+        if (isValidFile(fileJp)) {
+            externFunctions.add(functionDef.astId);
+            solvedCalls.set(previousCallName, functionDef.name);
+            return true;
+        }
+        else { // If file does not compile, remove added external declaration and mark call as unfixable
+            externDecl?.detach();
+            callJp.setName(previousCallName);
+            this.logDisallowedCall(callJp, `${errorMsgPrefix} Provided definition at \'${location}\' does not fix the violation.`);
+            return false;
+        }
+    }
+    getExternFunctionDeclIds(fileJp) {
+        return new Set(getExternFunctionDecls(fileJp)
+            .filter((funcJp) => funcJp.definitionJp !== undefined)
+            .map((funcJp) => funcJp.definitionJp.astId));
+    }
+    /**
+     * Removes the standard library include if it is fully disallowed and all invalid calls were fixed.
+     * If the file is invalid after include removal  because other library features are still being used (e.g.: typedefs), the include is re-added.
+     *
+     * @param fileJp The file to modify
+     * @param fixedAllCalls Flag to indicate whether all calls were fixed
+     */
+    removeInclude(fileJp, fixedAllCalls) {
+        if (!this.isLibraryFullyDisallowed())
+            return;
+        const includeJp = Query.searchFrom(fileJp, Include, { name: this.standardLibrary }).get()[0];
+        const ruleResult = this.context.getRuleResult(this.ruleID, includeJp);
+        if (ruleResult !== undefined)
+            return;
+        if (this.filesWithRetainedHeaders.has(fileJp.name) || !fixedAllCalls) { // Keep include and log MISRA error 
+            this.logDisallowedInclude(fileJp);
+        }
+        else {
+            includeJp.detach();
+            // Re-add include and log error if any other library features are still referenced
+            if (!isValidFile(fileJp)) {
+                fileJp.addInclude(this.standardLibrary, true);
+                this.logDisallowedInclude(fileJp);
+            }
+        }
+    }
+}
+//# sourceMappingURL=DisallowedStdLibFunctionRule.js.map

package/dist/rules/Section21-StandardLibraries/DisallowedStdLibFunctionRule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DisallowedStdLibFunctionRule.js","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/DisallowedStdLibFunctionRule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,OAAO,EAAU,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAChG,OAAO,EAAgB,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAClG,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,iBAAiB,EAAE,sBAAsB,EAAqB,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACxK,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,oBAAoB,MAAM,4BAA4B,CAAC;AAE9D;;;;;;;;;GASG;AACH,MAAM,CAAC,OAAO,OAAgB,4BAA6B,SAAQ,oBAAoB;IACnF;;OAEG;IACM,QAAQ,GAAG,CAAC,CAAC;IAEtB;;OAEG;IACO,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAanD;;OAEG;IACO,eAAe,GAAwB,IAAI,GAAG,EAAkB,CAAC;IAE3E;;OAEG;IACO,wBAAwB,GAAgB,IAAI,GAAG,EAAU,CAAC;IAYpE;;OAEG;IACK,wBAAwB;QAC5B,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED;;;;;OAKG;IACK,oBAAoB,CAAC,MAAc;QACvC,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC,wCAAwC;YAC5E,OAAO;QACX,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,IAAI,CAAC,eAAe,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3F,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,2BAA2B,SAAS,CAAC,IAAI,sBAAsB,CAAC,CAAC;QAC/F,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAErF,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC;IACL,CAAC;IAED;;;;;;OAMG;IACK,iBAAiB,CAAC,MAAY,EAAE,GAAW;QAC/C,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAClF,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACO,iBAAiB,CAAC,MAAY;QACpC,OAAO,aAAa,MAAM,CAAC,IAAI,SAAS,IAAI,CAAC,eAAe,sBAAsB,CAAA;IACtF,CAAC;IAED;;;;OAIG;IACO,gBAAgB,CAAC,MAAY;QACnC,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAEtD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACvB,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,cAAc,+CAA+C,CAAC,CAAC;YACjG,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;QAC/D,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,cAAc,4FAA4F,CAAC,CAAC;YAC9I,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,cAAc,2EAA2E,IAAI,CAAC,eAAe,IAAI,CAAC,CAAC;YACrJ,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,cAAc,oEAAoE,MAAM,CAAC,IAAI,2BAA2B,IAAI,CAAC,eAAe,IAAI,CAAC,CAAC;YACpL,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC;QAC1E,MAAM,gBAAgB,GAAG,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC;QAErF,IAAI,QAAQ,KAAK,SAAS,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YAC3D,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,cAAc,uEAAuE,MAAM,CAAC,IAAI,2BAA2B,IAAI,CAAC,eAAe,IAAI,CAAC,CAAC;YACvL,OAAO,SAAS,CAAC;QACrB,CAAC;QACD,OAAO,IAAI,GAAG,CAAC;YACX,CAAC,UAAU,EAAE,gBAAgB,CAAC;YAC9B,CAAC,UAAU,EAAE,QAAQ,CAAC;SACzB,CAAC,CAAC;IACP,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,GAAc,EAAE,YAAqB,KAAK;QAC5C,IAAI,CAAC,CAAC,GAAG,YAAY,OAAO,IAAI,IAAI,CAAC,wBAAwB,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAE/E,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC9C,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC1E,IAAI,YAAY,GAAG,KAAK,CAAC;QAEzB,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;YACpC,MAAM,YAAY,GAAG,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAE5F,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,wBAAwB,EAAE,EAAE,CAAC;gBAC7D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;gBAC5C,YAAY,GAAG,IAAI,CAAC;YACxB,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACZ,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC3F,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC;QACL,CAAC;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,GAAc;QAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE7F,IAAI,iBAAiB,GAAG,KAAK,CAAC;QAC9B,KAAK,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACrD,IAAI,IAAI,CAAC,wBAAwB,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;gBACtD,iBAAiB,GAAG,IAAI,CAAC;YAC7B,CAAC;QACL,CAAC;QAED,kCAAkC;QAClC,IAAI,iBAAiB,EAAE,CAAC;YACpB,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,EAAa,CAAC,CAAC;QACvG,CAAC;QACD,OAAO,IAAI,yBAAyB,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAC3E,CAAC;IAEO,wBAAwB,CAAC,MAAc,EAAE,YAAoB;QACjE,IAAI,eAAe,GAAG,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAC5D,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,IAAI,gBAAgB,GAAG,CAAC,CAAC;QACzB,IAAI,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE5C,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,2BAA2B,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,WAAW,CAAC,EAAE,CAAC;gBACjF,WAAW,GAAG,IAAI,CAAC;gBACnB,gBAAgB,EAAE,CAAC;YACvB,CAAC;QACL,CAAC;QAED,6BAA6B;QAC7B,MAAM,aAAa,GAAG,gBAAgB,KAAK,YAAY,CAAC,MAAM,CAAC;QAC/D,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QAE1C,OAAO,WAAW,CAAC;IACvB,CAAC;IAEO,2BAA2B,CAAC,MAAY,EAAE,MAAc,EAAE,eAA4B,EAAE,WAAgC;QAC5H,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAE,CAAC,CAAC;YAC9C,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,yDAAyD;QACzD,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,uBAAuB,CAAC,QAAQ,EAAE,CAAC;YACvF,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,uEAAuE;QACvE,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAE,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACtD,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAEhD,mEAAmE;QACnE,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;QAC5F,MAAM,WAAW,GAAG,eAAe,CAAC,gBAAiB,EAAE,QAAS,CAAC,CAAC;QAElE,2CAA2C;QAC3C,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,cAAc,oBAAoB,QAAQ,uCAAuC,CAAC,CAAC;YACrH,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,2DAA2D;QAC3D,IAAI,UAAiC,CAAC;QACtC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,UAAU,GAAG,qBAAqB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YAExD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC3B,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,cAAc,6BAA6B,QAAQ,oCAAoC,CAAC,CAAC;gBAC3H,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;QAED,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC;QACrC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YACvC,WAAW,CAAC,GAAG,CAAC,gBAAgB,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;YACpD,OAAO,IAAI,CAAC;QAChB,CAAC;aAAM,CAAC,CAAC,yFAAyF;YAC9F,UAAU,EAAE,MAAM,EAAE,CAAC;YACrB,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YACjC,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,GAAG,cAAc,6BAA6B,QAAQ,gCAAgC,CAAC,CAAC;YACvH,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAEO,wBAAwB,CAAC,MAAc;QAC3C,OAAO,IAAI,GAAG,CACZ,sBAAsB,CAAC,MAAM,CAAC;aAC3B,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,KAAK,SAAS,CAAC;aACrD,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAC9C,CAAC;IACN,CAAC;IAED;;;;;;OAMG;IACK,aAAa,CAAC,MAAc,EAAE,aAAsB;QACxD,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE;YAAE,OAAO;QAE7C,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,IAAI,CAAC,eAAe,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3F,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAEtE,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO;QAErC,IAAI,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,oCAAoC;YACxG,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACtC,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,MAAM,EAAE,CAAC;YAEnB,kFAAkF;YAClF,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;gBAC9C,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC;QACL,CAAC;IACL,CAAC;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_10_NoTimeDateFunctions.d.ts

@@ -0,0 +1,25 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.10: The Standard Library time and date functions shall not be used
+ */
+export default class Rule_21_10_NoTimeDateFunctions extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    protected standardLibrary: string;
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    protected invalidFunctions: Set<string>;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+}
+//# sourceMappingURL=Rule_21_10_NoTimeDateFunctions.d.ts.map

package/dist/rules/Section21-StandardLibraries/Rule_21_10_NoTimeDateFunctions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_10_NoTimeDateFunctions.d.ts","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_10_NoTimeDateFunctions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,8BAA+B,SAAQ,4BAA4B;IACpF;;OAEG;IACH,SAAS,CAAC,eAAe,SAAY;IAErC;;;OAGG;IACH,SAAS,CAAC,gBAAgB,cAAqB;IAE/C;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE7D;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_10_NoTimeDateFunctions.js

@@ -0,0 +1,27 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.10: The Standard Library time and date functions shall not be used
+ */
+export default class Rule_21_10_NoTimeDateFunctions extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    standardLibrary = "time.h";
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    invalidFunctions = new Set();
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "21.10";
+    }
+}
+//# sourceMappingURL=Rule_21_10_NoTimeDateFunctions.js.map

package/dist/rules/Section21-StandardLibraries/Rule_21_10_NoTimeDateFunctions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_10_NoTimeDateFunctions.js","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_10_NoTimeDateFunctions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,8BAA+B,SAAQ,4BAA4B;IACpF;;OAEG;IACO,eAAe,GAAG,QAAQ,CAAC;IAErC;;;OAGG;IACO,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/C;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAE7D;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,OAAO,CAAC;IACnB,CAAC;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_11_NoTgmathFunctions.d.ts

@@ -0,0 +1,29 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.11: The standard header file <tgmath.h> shall not be used
+ */
+export default class Rule_21_11_NoTgmathFunctions extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    protected standardLibrary: string;
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    protected invalidFunctions: Set<string>;
+    /**
+     * Standards to which this rule applies to
+     */
+    protected readonly appliesTo: Set<string>;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+}
+//# sourceMappingURL=Rule_21_11_NoTgmathFunctions.d.ts.map

package/dist/rules/Section21-StandardLibraries/Rule_21_11_NoTgmathFunctions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_11_NoTgmathFunctions.d.ts","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_11_NoTgmathFunctions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,4BAA6B,SAAQ,4BAA4B;IAClF;;OAEG;IACH,SAAS,CAAC,eAAe,SAAc;IAEvC;;;OAGG;IACH,SAAS,CAAC,gBAAgB,cAAqB;IAE/C;;OAEG;IACH,mBAA4B,SAAS,cAA2B;IAEhE;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE7D;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_11_NoTgmathFunctions.js

@@ -0,0 +1,31 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.11: The standard header file <tgmath.h> shall not be used
+ */
+export default class Rule_21_11_NoTgmathFunctions extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    standardLibrary = "tgmath.h";
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    invalidFunctions = new Set();
+    /**
+     * Standards to which this rule applies to
+     */
+    appliesTo = new Set(["c99", "c11"]);
+    /**
+     * Scope of analysis
+     */
+    analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name() {
+        return "21.11";
+    }
+}
+//# sourceMappingURL=Rule_21_11_NoTgmathFunctions.js.map

package/dist/rules/Section21-StandardLibraries/Rule_21_11_NoTgmathFunctions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_11_NoTgmathFunctions.js","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_11_NoTgmathFunctions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,4BAA6B,SAAQ,4BAA4B;IAClF;;OAEG;IACO,eAAe,GAAG,UAAU,CAAC;IAEvC;;;OAGG;IACO,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/C;;OAEG;IACyB,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAEhE;;OAEG;IACM,YAAY,GAAG,YAAY,CAAC,uBAAuB,CAAC;IAE7D;;OAEG;IACH,IAAa,IAAI;QACb,OAAO,OAAO,CAAC;IACnB,CAAC;CACJ"}

package/dist/rules/Section21-StandardLibraries/Rule_21_3_NoDynamicMemory.d.ts

@@ -0,0 +1,25 @@
+import { AnalysisType } from "../../MISRA.js";
+import DisallowedStdLibFunctionRule from "./DisallowedStdLibFunctionRule.js";
+/**
+ * MISRA-C Rule 21.3: The memory allocation and deallocation functions of <stdlib.h> shall not be used
+ */
+export default class Rule_21_3_NoDynamicMemory extends DisallowedStdLibFunctionRule {
+    /**
+     * The name of the standard library
+     */
+    protected standardLibrary: string;
+    /**
+     * Names of functions from {@link standardLibrary} that are forbidden.
+     * If the set is empty, all functions from {@link standardLibrary} are forbidden.
+     */
+    protected invalidFunctions: Set<string>;
+    /**
+     * Scope of analysis
+     */
+    readonly analysisType = AnalysisType.SINGLE_TRANSLATION_UNIT;
+    /**
+     * @returns Rule identifier according to MISRA-C:2012
+     */
+    get name(): string;
+}
+//# sourceMappingURL=Rule_21_3_NoDynamicMemory.d.ts.map

package/dist/rules/Section21-StandardLibraries/Rule_21_3_NoDynamicMemory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule_21_3_NoDynamicMemory.d.ts","sourceRoot":"","sources":["../../../src/rules/Section21-StandardLibraries/Rule_21_3_NoDynamicMemory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,4BAA4B,MAAM,mCAAmC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,OAAO,OAAO,yBAA0B,SAAQ,4BAA4B;IAC/E;;OAEG;IACH,SAAS,CAAC,eAAe,SAAc;IAEvC;;;OAGG;IACH,SAAS,CAAC,gBAAgB,cAAqE;IAE/F;;OAEG;IACH,QAAQ,CAAC,YAAY,wCAAwC;IAE7D;;OAEG;IACH,IAAa,IAAI,IAAI,MAAM,CAE1B;CACJ"}