@specs-feup/clava-misra 1.0.1 → 1.0.2

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@specs-feup/clava-misra",
-  "version": "1.0.1",
+  "version": "1.0.2",
   "author": "L. Sousa",
   "description": "Clava library to automatically detect and correct violations of the MISRA-C:2012 standard in C code",
   "type": "module",
@@ -30,6 +30,10 @@
     "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.11",
     "@specs-feup/clava-visualization": "^1.0.5",

package/src/MISRA.ts

@@ -1,6 +1,8 @@
-import { BinaryOp, Break, Case, Expression, If, Joinpoint, Scope, Statement, Switch } from "@specs-feup/clava/api/Joinpoints.js";
+import { BinaryOp, Break, Case, Expression, If, Joinpoint, Program, Scope, Statement, Switch } from "@specs-feup/clava/api/Joinpoints.js";
 import { getNumOfSwitchClauses, isCommentStmt } from "./utils/utils.js";
 import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import Clava from "@specs-feup/clava/api/clava/Clava.js";
 
 export enum MISRATransformationType {
     NoChange,
@@ -14,7 +16,7 @@ export enum MISRATransformationType {
  */
 export class MISRAError {
     /**
-     * Represents the specific MISRA rule that was violated
+     * Represents the specific MISRA-C rule that was violated
      */
     public ruleID: string;
     /**
@@ -48,6 +50,13 @@ export class MISRAError {
                this.$jp.astId === other.$jp.astId &&
                this.message === other.message;
     }
+
+    /**
+     * 
+     */
+    isActiveError(): boolean {
+        return (Query.root() as Joinpoint).contains(this.$jp);
+    }
 }
 
 /**
@@ -258,6 +267,7 @@ export class MISRASwitchConverter {
     private static organizeCaseGroups(caseGroups: Case[][]): Case[][] {
         const nonDefaultGroups = caseGroups.filter(block => !block.some(caseStmt => caseStmt.isDefault));
         const defaultBlock = caseGroups.find(block => block.some(caseStmt => caseStmt.isDefault));
+        
         if (defaultBlock) {
             nonDefaultGroups.push(defaultBlock);
         }

package/src/MISRAContext.ts

@@ -11,10 +11,6 @@ export default class MISRAContext {
      * List of MISRA errors, that could not be resolved during the transformation process
      */
     #misraErrors: MISRAError[] = [];
-    /**
-     * List of MISRA warnings generated by transformations that may alter the program's behavior
-     */
-    #misraWarnings: MISRAError[] = [];
 
     /**
      * Configuration provided by the user to assist in rule corrections
@@ -33,8 +29,8 @@ export default class MISRAContext {
         return this.#misraErrors;
     }
 
-    get warnings(): MISRAError[] {
-        return this.#misraWarnings;
+    get activeErrors(): MISRAError[] {
+        return this.#misraErrors.filter(error => error.isActiveError());
     }
 
     get config(): Map<string, any> | undefined {
@@ -71,21 +67,18 @@ export default class MISRAContext {
         }
     }
 
-    addMISRAWarning(ruleID: string, $jp: Joinpoint, message: string) {
-        const newWarning = new MISRAError(ruleID, $jp, message);
-
-        if (!this.#misraWarnings.some(warning => warning.equals(newWarning))) {
-            this.#misraWarnings.push(newWarning);
-        }
+    private printError(error: MISRAError): void {
+        console.log(`MISRA-C Rule ${error.ruleID} violation at ${error.$jp.filepath}@${error.$jp.line}:${error.$jp.column}: ${error.message}\n`);
     }
-
-    printErrors() {
-        this.#misraErrors.forEach(error => console.log(error.message));
-        console.log('\n'); 
+    
+    public printAllErrors(): void {
+        this.#misraErrors.forEach(error => this.printError(error));
     }
     
-    printWarnings() {
-        this.#misraWarnings.forEach(warning => console.log(warning.message));
-        console.log('\n'); 
+    public printActiveErrors(): void {
+        this.#misraErrors
+            .filter(error => error.isActiveError())
+            .forEach(error => this.printError(error));
     }
+    
 }

package/src/MISRARule.ts

@@ -15,6 +15,11 @@ export default abstract class MISRARule {
      */
     readonly ruleID: string;
 
+    /**
+     * Priority of the rule which is low by default.
+     */
+    readonly priority: number = 4;
+    
     /** 
      * MISRA context for error tracking and rule transformations state
      */    
@@ -54,24 +59,6 @@ export default abstract class MISRARule {
      * @param msg - Description of the violation
      */
     protected logMISRAError($jp: Joinpoint, msg:string): void {
-        this.context.addMISRAError(
-            this.ruleID, 
-            $jp, 
-            `MISRA-C Rule ${this.ruleID} violation at ${$jp.filepath}@${$jp.line}:${$jp.column}: ${msg}`
-        )
-    }
-
-    /**
-     * Logs a warning from automatic MISRA-C correction, which may change the program's behavior
-     * 
-     * @param $jp - The joinpoint where the correction was applied
-     * @param msg - Description of the warning
-     */
-    protected logMISRAWarning($jp: Joinpoint, msg:string): void {
-        this.context.addMISRAWarning(
-            this.ruleID, 
-            $jp, 
-            `Warning: MISRA-C Rule ${this.ruleID} correction at ${$jp.filepath}@${$jp.line}:${$jp.column}: ${msg}.`
-        )
+        this.context.addMISRAError(this.ruleID, $jp, msg); 
     }
-}
+}

package/src/MISRATool.ts

@@ -1,9 +1,10 @@
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-import { FileJp, Joinpoint, Program } from "@specs-feup/clava/api/Joinpoints.js";
+import { Call, FileJp, Joinpoint, Program } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRARule from "./MISRARule.js";
-import misraRules from "./rules/index.js";
+import sortRules from "./rules/index.js";
 import MISRAContext from "./MISRAContext.js";
 import { MISRAError, MISRATransformationType } from "./MISRA.js";
+import { isCallToImplicitFunction } from "./utils/utils.js";
 
 export default class MISRATool {
     static #misraRules: MISRARule[];
@@ -12,7 +13,7 @@ export default class MISRATool {
     private static init(startingPoint: FileJp | Program) {
         this.validateStdVersion(startingPoint);
         this.#context = new MISRAContext();
-        this.#misraRules = misraRules(this.#context);
+        this.#misraRules = sortRules(this.#context);
     }
 
     private static validateStdVersion(startingPoint: FileJp | Program) {
@@ -28,21 +29,21 @@ export default class MISRATool {
     public static checkCompliance(startingPoint: Program | FileJp = Query.root() as Program) {
         this.init(startingPoint);
 
-        const nodes = startingPoint.descendants;
+        const nodes = [startingPoint, ...startingPoint.descendants];
         for (const node of nodes) {
             for (const rule of this.#misraRules) {
                 rule.match(node, true);
             }
         }
         if (this.#context.errors.length > 0) {
-            this.#context.printErrors();
+            this.#context.printAllErrors();
         } else {
             console.log("[Clava-MISRATool] No MISRA-C violations detected.");
         }
     } 
 
-    public static applyCorrections(configFilePath?: string, startingPoint: Program | FileJp = Query.root() as Program) {
-        this.init(startingPoint);
+    public static applyCorrections(configFilePath?: string) {
+        this.init(Query.root() as Program);
         if (configFilePath) {
             this.#context.config = configFilePath;
         }
@@ -51,20 +52,14 @@ export default class MISRATool {
         let modified = false;
         do {
             console.log(`[Clava-MISRATool] Iteration #${++iteration}: Applying MISRA-C transformations...`);
-            modified = this.transformAST(startingPoint);
+            modified = this.transformAST(Query.root() as Program);
         } while(modified);
 
-        if (this.#context.errors.length === 0 && this.#context.warnings.length === 0) {
+        if (this.#context.errors.length === 0) {
             console.log("[Clava-MISRATool] All detected violations were corrected.");
         } else {
-            if (this.#context.warnings.length > 0) {
-                console.log("\n[Clava-MISRATool] Warnings from automatic MISRA-C corrections (these may change the program's behavior):");
-                this.#context.printWarnings();
-            } 
-            if (this.#context.errors.length > 0) {
-                console.log("\n[Clava-MISRATool] Remaining MISRA-C violations:");
-                this.#context.printErrors();
-            } 
+            console.log("\n[Clava-MISRATool] Remaining MISRA-C violations:");
+            this.#context.printActiveErrors();
         }
     }
 
@@ -90,7 +85,11 @@ export default class MISRATool {
         return modified;
     }
 
-    public static getMISRAErrors(): MISRAError[] {
-        return this.#context.errors;
+    public static getErrorCount(): number {
+        return this.#context.errors.length;
+    }
+
+    public static getActiveErrorCount(): number {
+        return this.#context.activeErrors.length;
     }
 }

package/src/rules/Section16_SwitchStatements/Rule_16_2_TopLevelSwitch.ts

@@ -5,10 +5,11 @@ import Query from "@specs-feup/lara/api/weaver/Query.js";
 import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
 
 /**
- * MISRA Rule 16.2: A switch label shall only be used when the most closely-enclos ing
+ * MISRA Rule 16.2: A switch label shall only be used when the most closely-enclosing
 compound statement is the body of a switch statement
  */
 export default class Rule_16_2_TopLevelSwitch extends MISRARule {
+    priority = 2; 
     #misplacedCases: Case[] = [];
 
     constructor(context: MISRAContext) {

package/src/rules/Section16_SwitchStatements/Rule_16_3_UnconditionalBreak.ts

@@ -9,6 +9,7 @@ import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
  * MISRA Rule 16.3: An unconditional break statement shall terminate every switch-clause
  */
 export default class Rule_16_3_UnconditionalBreak extends MISRARule {
+    priority = 2; 
     #statementsNeedingBreakAfter: Joinpoint[] = [];
 
     constructor(context: MISRAContext) {

package/src/rules/Section16_SwitchStatements/Rule_16_4_SwitchHasDefault.ts

@@ -32,11 +32,6 @@ export default class Rule_16_4_SwitchHasDefault extends MISRARule {
     transform($jp: Joinpoint): MISRATransformationReport {
         if (!this.match($jp)) return new MISRATransformationReport(MISRATransformationType.NoChange);
 
-        if ((getNumOfSwitchClauses($jp as Switch) < 2 || switchHasBooleanCondition($jp as Switch)) &&
-            !switchHasConditionalBreak($jp as Switch)) { // Will be handled by rules 16.6 or 16.7
-            return new MISRATransformationReport(MISRATransformationType.NoChange);
-        } 
-
         $jp.children[1].lastChild
             .insertAfter(ClavaJoinPoints.defaultStmt())
             .insertAfter(ClavaJoinPoints.emptyStmt())

package/src/rules/Section16_SwitchStatements/Rule_16_5_DefaultFirstOrLast.ts

@@ -88,7 +88,7 @@ export default class Rule_16_5_DefaultFirstOrLast extends MISRARule {
         const defaultCase = ($jp as Switch).getDefaultCase;
         const rightStatements = defaultCase.siblingsRight.filter(sibling => !isCommentStmt(sibling));
        
-        //  Reposition the default case to the last position within its case clause lis
+        //  Reposition the default case to the last position within its case clause list
         if (rightStatements[0] instanceof Case) { // At least one of the first statements is a Case
             const rightConsecutiveCases = this.getConsecutiveRightCases(defaultCase);
             const lastRightCase = rightConsecutiveCases[rightConsecutiveCases.length - 1];

package/src/rules/Section16_SwitchStatements/Rule_16_6_SwitchMinTwoClauses.ts

@@ -8,6 +8,7 @@ import { getNumOfSwitchClauses, switchHasConditionalBreak } from "../../utils/ut
  * MISRA Rule 16.6:  Every switch statement shall have at least two switch-clauses.
  */
 export default class Rule_16_6_SwitchMinTwoClauses extends MISRARule {
+    priority = 3;
 
     constructor(context: MISRAContext) {
         super("16.6", context);
@@ -39,12 +40,15 @@ export default class Rule_16_6_SwitchMinTwoClauses extends MISRARule {
     transform($jp: Joinpoint): MISRATransformationReport {
         if (!this.match($jp)) return new MISRATransformationReport(MISRATransformationType.NoChange);
         
-        if (switchHasConditionalBreak($jp as Switch)) {
-            this.logMISRAError($jp, "switch statement must have at least two clauses and cannot be transformed due to a conditional break statement.")
+        const switchJp = $jp as Switch;
+        if (switchHasConditionalBreak(switchJp)) {
+            if (switchJp.hasDefaultCase) {
+                this.logMISRAError($jp, "Switch statement must have at least two clauses and cannot be transformed due to a conditional break statement.")
+            }
             return new MISRATransformationReport(MISRATransformationType.NoChange);
         }
 
-        const transformResultNode = MISRASwitchConverter.convert($jp as Switch);
+        const transformResultNode = MISRASwitchConverter.convert(switchJp);
         if (transformResultNode) {
             return new MISRATransformationReport(
                 MISRATransformationType.Replacement,

package/src/rules/Section16_SwitchStatements/Rule_16_7_NonBooleanSwitchCondition.ts

@@ -8,6 +8,7 @@ import { switchHasBooleanCondition, switchHasConditionalBreak } from "../../util
  * MISRA Rule 16.7: A switch-expression shall not have essentially Boolean type.
  */
 export default class Rule_16_7_NonBooleanSwitchCondition extends MISRARule {
+    priority = 3; 
     constructor(context: MISRAContext) {
         super("16.7", context);
     }

package/src/rules/Section17_Functions/Rule_17_3_ImplicitFunction.ts

@@ -0,0 +1,180 @@
+import { Call, FileJp, Joinpoint, Program } from "@specs-feup/clava/api/Joinpoints.js";
+import MISRARule from "../../MISRARule.js";
+import MISRAContext from "../../MISRAContext.js";
+import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { getFilesWithCallToImplicitFunction, getIncludesOfFile, isCallToImplicitFunction, isValidFile, removeIncludeFromFile } from "../../utils/utils.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+
+/**
+ * MISRA Rule 17.3: A function shall not be declared implicitly
+ */
+export default class Rule_17_3_ImplicitFunction extends MISRARule {
+    priority = 1;
+
+    constructor(context: MISRAContext) {
+        super("17.3", context);
+    }
+
+    /**
+     * Checks if the given joinpoint represents a call to an implicit function.
+     * 
+     * @param $jp - Joinpoint to analyze
+     * @param logErrors - [logErrors=false] - Whether to log errors if a violation is detected
+     * @returns Returns true if the joinpoint violates the rule, false otherwise
+     */
+    match($jp: Joinpoint, logErrors: boolean = false): boolean {
+        if (!($jp instanceof Program)) return false;
+        
+        const implicitCalls = Query.searchFrom($jp, Call, (callJp) => isCallToImplicitFunction(callJp)). get();
+        for (const callJp of implicitCalls) {
+            if (logErrors) {
+                this.logMISRAError(callJp, `Function '${callJp.name}' is declared implicitly.`);
+            }
+        }
+        return implicitCalls.length > 0;
+    }
+
+    /**
+     * Transforms every implicit call by adding a missing include directive or extern statement specified on the config file.
+     * 
+     * - If the configuration is missing or the specified fix is invalid (i.e., not a '.h' or '.c'), no transformation is performed and the call is left unchanged.
+     * - The fix is applied only if it successfully resolves the issue (i.e., makes the call explicit and the file compiles with no error).
+     * - Otherwise, the fix is removed.
+     * 
+     * @param $jp - Joinpoint to transform
+     * @returns Report detailing the transformation result
+     */
+    transform($jp: Joinpoint): MISRATransformationReport {
+        if (!this.match($jp)) return new MISRATransformationReport(MISRATransformationType.NoChange);
+
+        const programJp = $jp as Program;
+        const filesWithImplicitCall = getFilesWithCallToImplicitFunction(programJp);
+        let changedDescendant = false;
+
+        for (const fileJp of filesWithImplicitCall) {
+            changedDescendant = changedDescendant || this.solveImplicitCalls(fileJp);
+        }
+
+        if (changedDescendant) {
+            programJp.rebuild();
+            return new MISRATransformationReport(MISRATransformationType.Replacement, Query.root() as Program);
+        } else {
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
+    }
+
+    /**
+     * Retrieves the fix for a implicit call specified on the config file (.h or .c)
+     * @param callJp 
+     * @param errorMsgPrefix 
+     * @returns 
+     */
+    private getImplicitFixFromConfig(callJp: Call, errorMsgPrefix: string): string | undefined {
+        if (!this.context.config) {
+            this.logMISRAError(callJp, `${errorMsgPrefix} Include or extern not added due to missing config file.`);
+            return undefined;
+        }
+    
+        let configFix: string | undefined;
+        try {
+            configFix = this.context.config.get("implicitCalls")[callJp.name];
+        } catch {
+            this.logMISRAError(callJp, `${errorMsgPrefix} Include or extern was not added as \'implicitCalls\' is not defined in the configuration file.`);
+            return undefined;
+        }
+    
+        if (configFix === undefined) {
+            this.logMISRAError(callJp, `${errorMsgPrefix} Couldn't add include or extern due to missing configuration for function '${callJp.name}'.`);
+            return undefined;
+        }
+    
+        if (!(configFix.endsWith(".h") || configFix.endsWith(".c"))) {
+            this.logMISRAError(callJp, `${errorMsgPrefix} Cannot add include or extern without a .h or .c reference.`);
+            return undefined;
+        }
+        return configFix;
+    }
+
+    /**
+     * Attempts to resolve implicit function calls in a file by adding missing includes or extern statements based on the configuration file.
+     * @param fileJp The file to analyze
+     * @returns `true` if any changes were made to the file, otherwise `false`.
+     */
+    private solveImplicitCalls(fileJp: FileJp): boolean {
+        const implicitCalls = Query.searchFrom(fileJp, Call, (callJp) => (isCallToImplicitFunction(callJp))).get();
+        const originalIncludes = getIncludesOfFile(fileJp);
+        let solvedCalls = new Set<string>();
+        let addedIncludes: string[] = [];
+        let changedFile = false;
+
+        for (const callJp of implicitCalls) {
+            const errorMsgPrefix = `Function '${callJp.name}' is declared implicitly.`;
+            
+            if (solvedCalls.has(callJp.name)) {
+                continue;
+            } 
+            
+            const configFix = this.getImplicitFixFromConfig(callJp, errorMsgPrefix);
+            if (!configFix) {
+                continue;
+            }
+
+            const callIndex = Query.searchFrom(fileJp, Call, { name: callJp.name }).get().findIndex(c => c.equals(callJp));
+            const isInclude = configFix.endsWith(".h");
+            if (isInclude) {
+                if (originalIncludes.includes(configFix)) {
+                    this.logMISRAError(callJp, `${errorMsgPrefix} Provided include \'${configFix}\' does not fix the violation.`);
+                } 
+                else if (addedIncludes.includes(configFix)) {
+                    
+                    if (this.isValidFileWithExplicitCall(fileJp, callJp.name, callIndex)) {
+                        solvedCalls.add(callJp.name);
+                    } else {
+                        this.logMISRAError(callJp, `${errorMsgPrefix} Provided include \'${configFix}\' does not fix the violation.`);
+                    }
+                } 
+                else {
+                    fileJp.addInclude(configFix);
+                    const fileCompiles = this.isValidFileWithExplicitCall(fileJp, callJp.name, callIndex);
+
+                    if (fileCompiles) {
+                        solvedCalls.add(callJp.name);
+                        addedIncludes.push(configFix);
+                        changedFile = true;
+                    } else {
+                        removeIncludeFromFile(configFix, fileJp);
+                        this.logMISRAError(callJp, `${errorMsgPrefix} Provided include \'${configFix}\' does not fix the violation.`);
+                    }
+                }
+            }
+        }
+        return changedFile;
+    }
+
+    /**
+     * Checks if the rebuilt version of the file compiles and if the provided call is no longer implicit
+     * @param fileJp The file to analyze
+     * @param funcName The function name to search the call
+     * @param callIndex The index of the call 
+     */
+    private isValidFileWithExplicitCall(fileJp: FileJp, funcName: string, callIndex: number) {
+        const programJp = fileJp.parent as Program;
+        let copyFile = ClavaJoinPoints.fileWithSource(`temp_misra_${fileJp.name}`, fileJp.code, fileJp.relativeFolderpath);
+    
+        copyFile = programJp.addFile(copyFile) as FileJp;
+        try {
+            const rebuiltFile = copyFile.rebuild();
+            const fileToRemove = Query.searchFrom(programJp, FileJp, {filepath: rebuiltFile.filepath}).first() as FileJp;
+            const callJp = Query.searchFrom(fileToRemove, Call, {name: funcName}).get().at(callIndex);
+            const isExplicitCall = callJp !== undefined && !isCallToImplicitFunction(callJp);
+
+            fileToRemove?.detach();
+            return isExplicitCall;
+
+        } catch(error) {
+            copyFile.detach();
+            return false;
+        }
+    }
+}

package/src/rules/Section17_Functions/Rule_17_4_NonVoidReturn.ts

@@ -1,14 +1,15 @@
-import { BuiltinType, Call, EnumDecl, ExprStmt, FunctionJp, Joinpoint, ReturnStmt } from "@specs-feup/clava/api/Joinpoints.js";
+import { BuiltinType, FileJp, FunctionJp, Joinpoint, ReturnStmt } from "@specs-feup/clava/api/Joinpoints.js";
 import MISRARule from "../../MISRARule.js";
 import MISRAContext from "../../MISRAContext.js";
 import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
 import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
 import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { isValidFile } from "../../utils/utils.js";
 
 /**
  * MISRA Rule 17.4: All exit paths from a function with non-void return type shall have an
 explicit return statement with an expression. In a non-void function:
-- Every return statement has an expression, and a 
+- Every return statement has an expression, and 
 - Control cannot reach the end of the function without encountering a return statement
  */
 export default class Rule_17_4_NonVoidReturn extends MISRARule {
@@ -43,7 +44,7 @@ export default class Rule_17_4_NonVoidReturn extends MISRARule {
 
     /**
      * Transforms a non-void function joinpoint that has no return statement at the end, by adding a default return value based on the config file.
-     * - If the configuration file is is missing or invalid, no transformation is performed.
+     * - If the configuration file is missing/invalid or the specified default value is invalid, no transformation is performed and the function is left unchanged.
      * - Otherwise, a return statement is inserted as the last statement of the function. 
      * 
      * @param $jp - Joinpoint to transform
@@ -53,26 +54,38 @@ export default class Rule_17_4_NonVoidReturn extends MISRARule {
         if (!this.match($jp)) return new MISRATransformationReport(MISRATransformationType.NoChange);
         
         const functionJp = $jp as FunctionJp;
-        if (this.context.config) {
-            try {
-                const returnType = functionJp.type.code;
-                const defaultValueReturn = this.context.config.get("defaultValues")[returnType];
+        const fileJp = functionJp.getAncestor("file") as FileJp;
+        const returnType = functionJp.type.code;
+        const errorMsgPrefix = `Function '${functionJp.name}' reaches the end without a return statement.`;
 
-                if (defaultValueReturn === undefined) {
-                    this.logMISRAError($jp, `Function '${functionJp.name}' reaches the end without a return statement. Default value return not added due to missing default value configuration for type '${returnType}'.`);
-                    return new MISRATransformationReport(MISRATransformationType.NoChange);
-                }
-                const newJp = ClavaJoinPoints.returnStmt(ClavaJoinPoints.exprLiteral(String(defaultValueReturn), functionJp.returnType)) as ReturnStmt;
-                functionJp.body.lastChild ? functionJp.body.lastChild.insertAfter(newJp) : functionJp.body.setFirstChild(newJp);
+        if (!this.context.config) {
+            this.logMISRAError($jp, `${errorMsgPrefix} Default value return not added due to missing config file.`)
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
 
-                return new MISRATransformationReport(MISRATransformationType.DescendantChange);
-            
-            } catch (error) {  
-                this.logMISRAError($jp, `Function '${functionJp.name}' reaches the end without a return statement. Default value return not added due to invalid structure of configuration file.`);
-                return new MISRATransformationReport(MISRATransformationType.NoChange);
-            }
-        }   
-        this.logMISRAError($jp, `Function '${functionJp.name}' reaches the end without a return statement. Default value return not added due to missing config file.`)
+        let defaultValueReturn;
+        try {
+            defaultValueReturn = this.context.config.get("defaultValues")[returnType];
+        } catch (error) {  
+            this.logMISRAError($jp, `${errorMsgPrefix} Default value return was not added as \'defaultValues\' is not defined in the configuration file.`);
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
+
+        if (defaultValueReturn === undefined) {
+            this.logMISRAError($jp, `${errorMsgPrefix} Default value return not added due to missing default value configuration for type '${returnType}'.`);
+            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        }
+
+        // Insert return statement and validate it
+        const returnStmt = ClavaJoinPoints.returnStmt(ClavaJoinPoints.exprLiteral(String(defaultValueReturn), functionJp.returnType)) as ReturnStmt;
+        functionJp.body.lastChild ? functionJp.body.lastChild.insertAfter(returnStmt) : functionJp.body.setFirstChild(returnStmt);
+
+        // Validate the provided default value. If it is invalid, the return stmt is removed
+        if (isValidFile(fileJp)) {
+            return new MISRATransformationReport(MISRATransformationType.DescendantChange);
+        } 
+        returnStmt.detach();
+        this.logMISRAError($jp, `${errorMsgPrefix} Provided default value for type '${functionJp.type.code}' is invalid and was therefore not inserted.`);
         return new MISRATransformationReport(MISRATransformationType.NoChange);
     }
 }

package/src/rules/Section17_Functions/Rule_17_7_UnusedReturnValue.ts

@@ -3,6 +3,7 @@ import MISRARule from "../../MISRARule.js";
 import MISRAContext from "../../MISRAContext.js";
 import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
 import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
+import { isCallToImplicitFunction } from "../../utils/utils.js";
 
 /**
  * MISRA Rule 17.7: The value returned by a function having non-void return type shall be
@@ -41,7 +42,8 @@ export default class Rule_17_7_UnusedReturnValue extends MISRARule {
     transform($jp: Joinpoint): MISRATransformationReport {
         if (!this.match($jp)) return new MISRATransformationReport(MISRATransformationType.NoChange);
         
-        const newJp =  ClavaJoinPoints.cStyleCast(ClavaJoinPoints.type("void"), $jp as Call);
+        const callJp = $jp as Call;
+        const newJp =  ClavaJoinPoints.cStyleCast(ClavaJoinPoints.type("void"), callJp);
         return new MISRATransformationReport(MISRATransformationType.Replacement, $jp.replaceWith(newJp));
     }
 }

package/src/rules/Section2_UnusedCode/Rule_2_3_UnusedTypeDecl.ts

@@ -8,6 +8,7 @@ import { getBaseType, getTagUses, getTypeDecl, getTypedJps } from "../../utils/u
  * MISRA-C Rule 2.3: A project should not contain unused type declarations.
  */
 export default class Rule_2_3_UnusedTypeDecl extends MISRARule {
+    priority = 3;
 
     constructor(context: MISRAContext) {
         super("2.3", context);
@@ -65,11 +66,13 @@ export default class Rule_2_3_UnusedTypeDecl extends MISRARule {
         if (!this.match($jp)) 
             return new MISRATransformationReport(MISRATransformationType.NoChange);
 
-        if (($jp instanceof RecordJp || $jp instanceof EnumDecl) && $jp.name && getTagUses($jp)) { 
+        if (($jp instanceof RecordJp || $jp instanceof EnumDecl) && $jp.name && getTagUses($jp).length > 0) { 
             $jp.lastChild.detach();
             return new MISRATransformationReport(MISRATransformationType.DescendantChange);
-        } 
-        $jp.detach();
-        return new MISRATransformationReport(MISRATransformationType.Removal);
+        } else {
+            $jp.detach();
+            return new MISRATransformationReport(MISRATransformationType.Removal);
+        }
+
     }
 }

package/src/rules/Section2_UnusedCode/Rule_2_4_UnusedTagDecl.ts

@@ -8,7 +8,8 @@ import { getTagUses, hasTypeDecl } from "../../utils/utils.js";
  * MISRA-C Rule 2.4: A project should not contain unused tag declarations.
  */
 export default class Rule_2_4_UnusedTagDecl extends MISRARule {
-
+    priority = 3; 
+    
     constructor(context: MISRAContext) {
         super("2.4", context);
     }
@@ -40,8 +41,8 @@ export default class Rule_2_4_UnusedTagDecl extends MISRARule {
     
     /**
      * Transforms the joinpoint if it is an unused tag declaration
-     * - If the Joinpoint is a tag declared in a typedef, it removes the name. 
-     * - Otherwise, the Joinpoint is detached.
+     * - If the joinpoint is a tag declared in a typedef, it removes the name. 
+     * - Otherwise, the joinpoint is detached.
      * 
      * @param $jp - Joinpoint to transform
      * @returns Report detailing the transformation result

package/src/rules/Section2_UnusedCode/Rule_2_6_UnusedLabels.ts

@@ -9,7 +9,8 @@ import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.
  *  Checks for labels within a function that are not used.
  */
 export default class Rule_2_6_UnusedLabels extends MISRARule {
-
+    priority = 3; 
+    
     constructor(context: MISRAContext) {
         super("2.6", context);
     }

package/src/rules/Section2_UnusedCode/Rule_2_7_UnusedParameters.ts

@@ -4,8 +4,10 @@ import MISRAContext from "../../MISRAContext.js";
 import Query from "@specs-feup/lara/api/weaver/Query.js";
 import { MISRATransformationReport, MISRATransformationType } from "../../MISRA.js";
 import { getParamReferences } from "../../utils/utils.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
 
 export default class Rule_2_7_UnusedParameters extends MISRARule {
+    priority = 3; 
 
     constructor(context: MISRAContext) {
         super("2.7", context);
@@ -43,21 +45,21 @@ export default class Rule_2_7_UnusedParameters extends MISRARule {
     }
     
     transform($jp: Joinpoint): MISRATransformationReport {
-        if(!this.match($jp)) 
-            return new MISRATransformationReport(MISRATransformationType.NoChange);
+        if(!this.match($jp)) return new MISRATransformationReport(MISRATransformationType.NoChange);
 
-        const usedParams = this.getUsedParams($jp as FunctionJp);
-        const usedParamsPositions = this.getUsedParamsPositions($jp as FunctionJp);
+        const functionJp = $jp as FunctionJp;
+        const usedParams = this.getUsedParams(functionJp);
+        const usedParamsPositions = this.getUsedParamsPositions(functionJp);
         const calls = Query.search(Call, {function: jp => jp.astId === $jp.astId}).get();
         
-        ($jp as FunctionJp).setParams(usedParams);
-        for (const funcDecl of ($jp as FunctionJp).declarationJps) {
+        functionJp.setParams(usedParams);
+        for (const funcDecl of functionJp.declarationJps) {
             funcDecl.setParams(usedParams);
         }
 
         for (const call of calls) {
             const newArgs = usedParamsPositions.map(i => call.args[i]);
-            const newCall = ($jp as FunctionJp).newCall(newArgs)
+            const newCall = functionJp.newCall(newArgs)
             call.replaceWith(newCall);
         }
         return new MISRATransformationReport(MISRATransformationType.DescendantChange);

package/src/rules/Section3_Comments/Rule_3_1_CommentSequences.ts

@@ -20,7 +20,7 @@ export default class Rule_3_1_CommentSequences extends MISRARule {
 
         if (logErrors) {
             invalidComments.forEach(comment =>
-                this.logMISRAError(comment, `Comment ${comment.text} contains invalid character sequences.`)
+                this.logMISRAError(comment, `Comment \'${comment.text}\' contains invalid character sequences.`)
             )
         }
         return invalidComments.length > 0;

package/src/rules/index.ts

@@ -1,14 +1,15 @@
 import MISRAContext from "../MISRAContext.js";
+import MISRARule from "../MISRARule.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_3_ImplicitFunction from "./Section17_Functions/Rule_17_3_ImplicitFunction.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";
@@ -16,8 +17,9 @@ import Rule_2_7_UnusedParameters from "./Section2_UnusedCode/Rule_2_7_UnusedPara
 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: MISRAContext) {
-    return [
+export function sortRules(context: MISRAContext) {
+     
+    const rules: MISRARule[] = [
         new Rule_2_3_UnusedTypeDecl(context),
         new Rule_2_4_UnusedTagDecl(context),
         new Rule_2_6_UnusedLabels(context),
@@ -30,11 +32,13 @@ export function misraRules(context: MISRAContext) {
         new Rule_16_5_DefaultFirstOrLast(context),
         new Rule_16_6_SwitchMinTwoClauses(context),
         new Rule_16_7_NonBooleanSwitchCondition(context), 
+        new Rule_17_3_ImplicitFunction(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),
     ];
+
+    return rules.sort((ruleA, ruleB) => ruleA.priority - ruleB.priority);
 }
 
-export default misraRules;
+export default sortRules;

package/src/tests/Section16_SwitchStatements/Rule_16_4_SwitchHasDefault.test.ts

@@ -61,7 +61,7 @@ const failingCode2 =
             break;
     }
 
-     switch ( x == 4)
+    switch ( x == 4)
     {
         case 0:
             ++x;
@@ -80,7 +80,7 @@ const failingCode3 =
 `void foo16_4_5( void )
 {
     int x, a = 14;
-    switch (x) { /* Default will not be introduced, as it Will be converted by the other rule*/
+    switch (x) { /* Default will not be introduced, as it will be converted by the other rule*/
         case 1:
             ++x;
             break;

package/src/tests/Section17_Functions/Rule_17_3_ImplicitFunctions.test.ts

@@ -0,0 +1,79 @@
+import { countErrorsAfterCorrection, countMISRAErrors, registerSourceCode, TestFile } from "../utils.js";
+import path from "path";
+import { fileURLToPath } from "url";
+
+const passingCode = `
+#include <stdio.h>
+int func() {
+    return 0;
+}
+
+void test_17_3_1() {
+    printf("Result: %.2f ", func());
+}`;
+
+const failingCode = `
+void test_17_3_2() {
+    double a = 2.0, b = 3.0;
+
+    // Implicit call to pow(): math.h is missing
+    double res1 = pow(a, b); 
+    double res2 = pow(b, a);
+
+    // Implicit call to printf(): studio.h is missing
+    // Return value is not being used
+    printf("Results: %.2f %.2f ", res1, res2);
+    
+    // Implicit call to sin(): math.h is missing
+    double angle = 3.14159265; 
+    double sin_val = sin(angle);
+
+    // Implicit call to printf(): studio.h is missing
+    // Return value is not being used
+    printf("Sin: %.2f ", sin_val);
+
+    // Implicit call to print(): studio.h will not solve this issue
+    // Return value is not being used
+    (void) print("End of program");
+
+}`;
+
+const failingCode2 = `
+#include <math.h>
+
+int func() {
+    double a = 2.0, b = 3.0;
+
+    double pow_result = pow(a, b); 
+    double sum = half(b) + pow_result;  // Implicit call: provided math.h does not solve
+
+    // Implicit call: provided stdio.h does not solve the issue
+    // Return value is not being used
+    println("Result: ", sum);
+
+    return 0;
+}`;
+
+const files: TestFile[] = [
+    { name: "bad1.c", code: failingCode },
+    { name: "bad2.c", code: failingCode2 },
+    { name: "good.c", code: passingCode },
+];
+
+describe("Rule 17.4", () => {
+    registerSourceCode(files);
+
+    it("should detect errors", () => {
+        expect(countMISRAErrors()).toBe(12);
+    });
+
+    it("should correct errors", () => {
+        const __filename = fileURLToPath(import.meta.url);
+        const __dirname = path.dirname(__filename);
+
+        const configFilename = "misra_config.json";
+        const configFilePath = path.join(__dirname, configFilename);
+
+        expect(countErrorsAfterCorrection(configFilePath)).toBe(3);
+    });
+});

package/src/tests/Section17_Functions/Rule_17_4_NonVoidReturn.test.ts

@@ -30,6 +30,11 @@ const failingCode3 = `
         GREEN, 
     } Color;
 
+     typedef enum {
+        SMALL,
+        LARGE
+    } Size;
+
     typedef unsigned int my_int_type;
 
     // Non-compliant
@@ -47,11 +52,19 @@ const failingCode3 = `
     
     }
 
+    /* 
+        Non-compliant after correction:
+        Config file specifies an invalid default value for 'Size' type (e.g: MEDIUM)
+    */
+    Size test_17_4_6() {
+
+    }
+
     /* 
         Non-compliant after correction: 
         Config file do not specify the default value for 'double' type
     */
-    double test_17_4_6() { 
+    double test_17_4_7() { 
     }
 `;
 
@@ -66,10 +79,10 @@ describe("Rule 17.4", () => {
     registerSourceCode(files);
 
     it("should detect errors", () => {
-        expect(countMISRAErrors()).toBe(6);
+        expect(countMISRAErrors()).toBe(7);
         expect(countMISRAErrors(Query.search(FileJp, { name: "bad1.c" }).first()!)).toBe(1);
         expect(countMISRAErrors(Query.search(FileJp, { name: "bad2.c" }).first()!)).toBe(1);
-        expect(countMISRAErrors(Query.search(FileJp, { name: "bad3.c" }).first()!)).toBe(4);
+        expect(countMISRAErrors(Query.search(FileJp, { name: "bad3.c" }).first()!)).toBe(5);
         expect(countMISRAErrors(Query.search(FileJp, { name: "good.c" }).first()!)).toBe(0);
     });
 
@@ -80,6 +93,6 @@ describe("Rule 17.4", () => {
         const configFilename = "misra_config.json";
         const configFilePath = path.join(__dirname, configFilename);
 
-        expect(countErrorsAfterCorrection(configFilePath)).toBe(1);
+        expect(countErrorsAfterCorrection(configFilePath)).toBe(2);
     });
 });

package/src/tests/Section17_Functions/misra_config.json

@@ -1,10 +1,19 @@
 {
-    "defaultValues": {
-      "int": 0,
-      "unsigned int": 0,  
-      "float": 0.0,
-      "enum Status": "SUCCESS",
-      "Color": "RED",
-      "my_int_type": 0
-    }
+  "defaultValues": {
+    "int": 0,
+    "unsigned int": 0,  
+    "float": 0.0,
+    "enum Status": "SUCCESS",
+    "Color": "RED",
+    "Size": "MEDIUM",
+    "my_int_type": 0
+  },
+  "implicitCalls": {
+    "printf": "stdio.h",
+    "print": "stdio.h",
+    "sin": "math.h",
+    "pow": "math.h",
+    "half": "math.h",
+    "println": "stdio.h"
+  }
 }

package/src/tests/utils.ts

@@ -3,15 +3,16 @@ import Clava from "@specs-feup/clava/api/clava/Clava.js";
 import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
 import { FileJp, Program } from "@specs-feup/clava/api/Joinpoints.js";
 import Query from "@specs-feup/lara/api/weaver/Query.js";
+import * as os from 'os';
 
 export function countMISRAErrors(startingPoint: FileJp | Program = Query.root() as Program): number {
   MISRATool.checkCompliance(startingPoint);
-  return MISRATool.getMISRAErrors().length;
+  return MISRATool.getErrorCount();
 }
 
 export function countErrorsAfterCorrection(configPath?: string): number {
   MISRATool.applyCorrections(configPath);
-  return MISRATool.getMISRAErrors().length;
+  return MISRATool.getActiveErrorCount();
 }
 
 export interface TestFile {
@@ -22,7 +23,18 @@ export interface TestFile {
 
 export function registerSourceCode(files: TestFile[]): void {
     beforeEach(() => {
-      Clava.getData().setStandard(process.env.STD_VERSION!);
+      const dataStore = Clava.getData();
+
+      dataStore.setStandard(process.env.STD_VERSION!);
+
+      // If running on macOS, change libcCxxMode
+      if (os.platform() === 'darwin') {
+        const key = "libcCxxMode";
+        const allowedValues = dataStore.getType(key).getEnumConstants();
+        const systemValue = allowedValues.find((value: any) => value.name() === "SYSTEM");
+        dataStore.put(key, systemValue);
+      }
+
       Clava.getProgram().push();
       const program = Clava.getProgram();
       files.forEach(file => {

package/src/utils/utils.ts

@@ -1,5 +1,6 @@
 import Query from "@specs-feup/lara/api/weaver/Query.js";
-import { Comment, Type, Case, Joinpoint, ArrayType, TypedefDecl, DeclStmt, TypedefNameDecl, StorageClass, FunctionJp, Vardecl, FileJp, RecordJp, EnumDecl, PointerType, Switch, BuiltinType, BinaryOp, Break, Scope, Statement, Expression, WrapperStmt, ElaboratedType, TagType, Param, Varref } from "@specs-feup/clava/api/Joinpoints.js";
+import { Comment, Type, Case, Joinpoint, ArrayType, TypedefDecl, DeclStmt, TypedefNameDecl, StorageClass, FunctionJp, Vardecl, FileJp, RecordJp, EnumDecl, PointerType, Switch, BuiltinType, BinaryOp, Break, Scope, Statement, Expression, WrapperStmt, ElaboratedType, TagType, Param, Varref, Program, Include, Call } from "@specs-feup/clava/api/Joinpoints.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
 
 /**
  * Checks if the comment is an inline comment
@@ -72,28 +73,21 @@ export function getExternals(): (FunctionJp | Vardecl)[] {
  * @returns true if the joinpoint has a defined type, otherwise false
  */
 export function hasDefinedType($jp: Joinpoint): boolean {
-    return $jp.hasType && $jp.type !== null || $jp.type !== undefined;
+    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
+ * @returns The base type of the joinpoint, or undefined if the joinpoint does not have a type
  */
 export function getBaseType($jp: Joinpoint): Type | undefined {
     if (!hasDefinedType($jp)) return undefined;
+    let jpType = $jp.type;
 
-    let jpType: Type;
-    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;
-    }
+    while (jpType instanceof PointerType || jpType instanceof ArrayType) {
+        jpType = jpType instanceof PointerType ? jpType.pointee : jpType.elementType;
+    } 
     return jpType;
 }
 
@@ -128,12 +122,9 @@ export function hasTypeDecl($jp: Joinpoint): boolean {
  */
 export function getTypedJps(startingPoint?: Joinpoint): Joinpoint[] {
     if (startingPoint) {
-        return Query.searchFrom(startingPoint, Joinpoint).get().filter(jp => jp.hasType && jp.type !== null && jp.type !== undefined)
+        return Query.searchFrom(startingPoint, Joinpoint, (jp) => hasDefinedType(jp)).get();
     }
-    return Query.search(Joinpoint).get().filter(jp => 
-        jp.hasType && 
-        jp.type !== null && 
-        jp.type !== undefined);
+    return Query.search(Joinpoint, (jp) => hasDefinedType(jp)).get();
 }
 
 /**
@@ -199,9 +190,8 @@ export 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
+ * @param switchStmt The switch statement to check
+ * @returns Returns true if the switch statement has a Boolean condition, otherwise false
  */
 export function switchHasBooleanCondition(switchStmt: Switch): boolean {
     return switchStmt.condition instanceof BinaryOp ||
@@ -213,9 +203,78 @@ export 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 function switchHasConditionalBreak(switchStmt: Switch): boolean {
     return Query.searchFrom(switchStmt, Break, { currentRegion: region => region.astId !== switchStmt.astId, enclosingStmt: jp => jp.astId === switchStmt.astId }).get().length > 0;
-}
+}
+
+ /**
+ * Checks if a file compiles correctly after adding a statement by rebuilding it.
+ * If rebuilding fails, the file is considered invalid with the new statement.
+ * 
+ * @param fileJp - The file to validate.
+ */
+export function isValidFile(fileJp: FileJp) : boolean {
+    const programJp = fileJp.parent as Program;
+    let copyFile = ClavaJoinPoints.fileWithSource(`temp_misra_${fileJp.name}`, fileJp.code, fileJp.relativeFolderpath);
+
+    copyFile = programJp.addFile(copyFile) as FileJp;
+    try {
+        const rebuiltFile = copyFile.rebuild();
+        const fileToRemove = Query.searchFrom(programJp, FileJp, {filepath: rebuiltFile.filepath}).first();
+        fileToRemove?.detach();
+        return true;
+    } catch(error) {
+        copyFile.detach();
+        return false;
+    }
+}
+
+/**
+ * Retrieves the list of header files included in the given file
+ *
+ * @param fileJp The file join point
+ * @returns An array of strings with the names of the includes
+ */
+export function getIncludesOfFile(fileJp: FileJp): string[] {
+    return fileJp.includes.map(includeJp => includeJp.name);
+}
+
+/**
+ * Removes a specific include directive from the given file, if it exists
+ *
+ * @param includeName The name of the include to remove 
+ * @param fileJp The file from which the include should be removed
+ */
+export function removeIncludeFromFile(includeName: string, fileJp: FileJp) {
+    const include = Query.searchFrom(fileJp, Include, {name: includeName}).first();
+    include?.detach();
+}
+
+/**
+ * Check if the given joinpoint represents a call to an implicit function.
+ *
+ * @param callJp The call join point to analyze
+ */
+export function isCallToImplicitFunction(callJp: Call): boolean {
+    return callJp.function.definitionJp === undefined && !callJp.function.isInSystemHeader;
+}
+
+/**
+ * Returns all files in the program that contain at least one call to an implicit function
+ *
+ * @param programJp - The program to analyze
+ * @returns A list of files with implicit function calls
+ */
+export function getFilesWithCallToImplicitFunction(programJp: Program): FileJp[] {
+    const files = Query.searchFrom(programJp, FileJp).get();
+    return files.filter(
+      (fileJp) =>
+        Query.searchFrom(fileJp, Call, (callJp) =>
+          isCallToImplicitFunction(callJp)
+        ).get().length > 0
+    );
+}