Năm nguyên nhân của lỗi phân đoạn

#include <stdio.h>

typedef struct { int gia_tri; } Muc;

static Muc *tim(Muc *ds, int n, int can) {
    for (int i = 0; i < n; ++i)
        if (ds[i].gia_tri == can) return &ds[i];

    return NULL;
}

static void in_muc(Muc *m) {
    printf("gia tri = %d\n", m->gia_tri);      /* khong kiem tra NULL */
}

int main(void) {
    Muc ds[3] = { { 1 }, { 2 }, { 3 } };

    in_muc(tim(ds, 3, 2));
    in_muc(tim(ds, 3, 99));                    /* tra ve NULL */

    return 0;
}

/* Ba cach chua, theo thu tu uu tien: */

/* 1. Kiem tra o noi goi, va xu ly truong hop khong tim thay */
Muc *m = tim(ds, 3, 99);
if (m == NULL) {
    fprintf(stderr, "khong tim thay\n");
    return 1;
}
in_muc(m);

/* 2. Kiem tra trong ham, neu NULL la dau vao hop le */
static void in_muc(const Muc *m) {
    if (m == NULL) { printf("(khong co)\n"); return; }
    printf("gia tri = %d\n", m->gia_tri);
}

/* 3. Khang dinh, neu NULL la loi lap trinh chu khong phai dau vao hop le */
#include <assert.h>

static void in_muc(const Muc *m) {
    assert(m != NULL);              /* sap voi thong bao ro rang, o ban go loi */
    printf("gia tri = %d\n", m->gia_tri);
}

/* Cach 3 KHONG thay the cach 1: assert bien mat khi dinh nghia NDEBUG. */

int a[5];

a[5] = 1;              /* thuong KHONG sap: van trong trang nho cua ngan xep */
a[1000] = 1;           /* co the sap */
a[1000000] = 1;        /* gan nhu chac chan sap */

char *s = "abc";
s[0] = 'A';            /* chuoi hang nam trong .rdata, tuc trang chi doc */

/* Dau hieu nhan ra trong GDB:
     - lenh la lenh GHI
     - dia chi hop ly va nam trong vung ma cua chuong trinh
     - "info proc mappings" cho thay trang do khong co quyen w

   Cach chua: bat -Wwrite-strings, no bat duoc ngay luc dich. */

#include <stdio.h>

static int sau(int n) {
    char dem[1024];
    dem[0] = (char)n;

    return sau(n + 1) + dem[0];      /* khong co diem dung */
}

int main(void) {
    printf("bat dau\n");
    fflush(stdout);

    printf("%d\n", sau(0));

    return 0;
}

/* Ba thoi quen phong ngua: */

/* 1. Gan NULL ngay sau free */
free(p);
p = NULL;              /* free(NULL) hop le, nen double free thanh vo hai.
                          Va *p sau do sap NGAY, de tim hon nhieu. */

/* Dong goi thanh macro: */
#define GIAI_PHONG(p) do { free(p); (p) = NULL; } while (0)

/* 2. Quy uoc so huu ro rang trong ten ham */
SinhVien *sv_tao(void);          /* tra ve: nguoi goi so huu, phai huy */
void      sv_huy(SinhVien *sv);  /* nhan: ham nay so huu, se giai phong */
const char *sv_ten(const SinhVien *sv);   /* muon: KHONG duoc giai phong */

/* 3. Mot chu so huu cho moi khoi, ghi vao tai lieu cua header */

# Tren Linux

ulimit -c unlimited                  # cho phep sinh core dump
./prog                               # Segmentation fault (core dumped)

# Tim tep core: tuy cau hinh he thong
cat /proc/sys/kernel/core_pattern
ls core*                             # hoac coredumpctl list, neu dung systemd

gdb ./prog core
(gdb) bt full                        # vet goi kem bien cuc bo moi khung
(gdb) frame 1
(gdb) info locals
(gdb) print *p

# Voi systemd:
coredumpctl list
coredumpctl gdb 12345                # mo core cua tien trinh 12345