Herramientas de Desarrollo para C

sudo apt update
sudo apt install cppcheck

sudo dnf install cppcheck

brew install cppcheck

cppcheck archivo.c

cppcheck --enable=all --suppress=missingIncludeSystem archivo.c

cppcheck --enable=all --suppress=missingIncludeSystem src/

#include <stdio.h>
#include <stdlib.h>

int main() {
    int *arr = malloc(10 * sizeof(int));
    
    for (int i = 0; i <= 10; i++) {  // Error: acceso fuera de límites
        arr[i] = i;
    }
    
    // Error: no se libera la memoria
    return 0;
}

cppcheck ejemplo.c

[ejemplo.c:6]: (error) Array 'arr[10]' accessed at index 10, which is out of bounds.
[ejemplo.c:4]: (error) Memory leak: arr

sudo apt update
sudo apt install valgrind

sudo dnf install valgrind

brew install valgrind

gcc -g -Wall -Wextra programa.c -o programa

valgrind ./programa

valgrind --leak-check=full --show-leak-kinds=all --track-origins=yes ./programa

#include <stdio.h>
#include <stdlib.h>

int main() {
    int *arr = malloc(5 * sizeof(int));
    
    // Error 1: Acceso fuera de límites
    arr[10] = 42;
    
    // Error 2: Uso de variable no inicializada
    int x;
    printf("Valor: %d\n", x);
    
    // Error 3: Memory leak (no se llama a free)
    return 0;
}

gcc -g -Wall -Wextra ejemplo.c -o ejemplo
valgrind --leak-check=full ./ejemplo

==12345== Invalid write of size 4
==12345==    at 0x401234: main (ejemplo.c:7)
==12345==  Address 0x... is 0 bytes after a block of size 20 alloc'd

==12345== Conditional jump or move depends on uninitialised value(s)
==12345==    at 0x401245: main (ejemplo.c:10)

==12345== LEAK SUMMARY:
==12345==    definitely lost: 20 bytes in 1 blocks

gdb --version

sudo apt update
sudo apt install gdb

sudo dnf install gdb

brew install gdb

gcc -g -Wall -Wextra programa.c -o programa

gdb ./programa

#include <stdio.h>

int calcular_suma(int n) {
    int suma = 0;
    for (int i = 1; i < n; i++) {  // Bug: debería ser i <= n
        suma += i;
    }
    return suma;
}

int main() {
    int resultado = calcular_suma(5);
    printf("Suma: %d\n", resultado);  // Esperado: 15, Obtiene: 10
    return 0;
}

# Compilar con información de debug
gcc -g suma.c -o suma

# Iniciar GDB
gdb ./suma

(gdb) break main
Breakpoint 1 at 0x401156: file suma.c, line 11.

(gdb) run
Starting program: ./suma
Breakpoint 1, main () at suma.c:11
11          int resultado = calcular_suma(5);

(gdb) step
calcular_suma (n=5) at suma.c:4
4           int suma = 0;

(gdb) next
5           for (int i = 1; i < n; i++) {

(gdb) print i
$1 = 1

(gdb) continue
Suma: 10

(gdb) quit

(gdb) watch variable

(gdb) break suma.c:5 if i == 3

(gdb) x/10d &array    # Muestra 10 enteros desde la dirección de array

(gdb) set print pretty on
(gdb) print mi_estructura

gcc -g -fsanitize=address -fno-omit-frame-pointer programa.c -o programa
./programa

gcc -g -fsanitize=undefined programa.c -o programa
./programa

gcc -fprofile-arcs -ftest-coverage programa.c -o programa
./programa
gcov programa.c

gcc -pg programa.c -o programa
./programa
gprof programa gmon.out > analisis.txt

{
    "version": "2.0.0",
    "tasks": [
        {
            "label": "Compile with Debug",
            "type": "shell",
            "command": "gcc",
            "args": [
                "-g",
                "-Wall",
                "-Wextra",
                "${file}",
                "-o",
                "${fileDirname}/${fileBasenameNoExtension}"
            ],
            "group": {
                "kind": "build",
                "isDefault": true
            }
        },
        {
            "label": "Run Cppcheck",
            "type": "shell",
            "command": "cppcheck",
            "args": [
                "--enable=all",
                "--suppress=missingIncludeSystem",
                "${file}"
            ]
        },
        {
            "label": "Run Valgrind",
            "type": "shell",
            "command": "valgrind",
            "args": [
                "--leak-check=full",
                "--show-leak-kinds=all",
                "${fileDirname}/${fileBasenameNoExtension}"
            ],
            "dependsOn": ["Compile with Debug"]
        }
    ]
}

{
    "version": "0.2.0",
    "configurations": [
        {
            "name": "GDB Debug",
            "type": "cppdbg",
            "request": "launch",
            "program": "${fileDirname}/${fileBasenameNoExtension}",
            "args": [],
            "stopAtEntry": false,
            "cwd": "${fileDirname}",
            "environment": [],
            "externalConsole": false,
            "MIMode": "gdb",
            "preLaunchTask": "Compile with Debug"
        }
    ]
}

:label: ex-herramientas-1

Creá un programa en C que tenga al menos tres errores diferentes (fuga de memoria, acceso fuera de límites, variable no inicializada). Luego:

1. Usá Cppcheck para identificar errores estáticos
2. Compilá y ejecutá con Valgrind
3. Corregí todos los errores reportados
4. Verificá que el programa pase todas las verificaciones

:label: ex-herramientas-2

Tomá uno de tus ejercicios anteriores y usá GDB para:

1. Establecer un breakpoint en la función main
2. Ejecutar el programa paso a paso
3. Inspeccionar el valor de al menos tres variables en diferentes puntos
4. Documentar el flujo de ejecución

:label: ex-herramientas-3

Configurá VS Code con las tasks proporcionadas en esta guía. Verificá que podés:

1. Compilar con {kbd}`Ctrl+Shift+B`
2. Ejecutar Cppcheck desde el menú de tasks
3. Iniciar una sesión de debugging con {kbd}`F5`