# 2018q3 第 2 週測驗題
:::info
目的: 檢驗學員對 [C 語言程式設計](http://hackfoldr.org/dykc/) 的認知
:::

---

### 測驗 `1`

- [ ] 認領人: butastur

考慮到以下程式碼:

const char *p;
void dont_do_this(void) {
    const char c_str[] = "This will change";
    p = c_str;
}

指出存在的問題和提出修正機制，需要用 C99/C11 規格解釋。
C99/C11 6.2.4
object referred out of lifetime is undefined behavior

:::success
延伸問題: 在 [Common Vulnerabilities and Exposure](https://cve.mitre.org/) (CVE) 找出類似上述不當的 string literal 操作，而導致的安全漏洞，並加以探討
:::

---

### 測驗 `2`
- [ ] 認領人: Michael

[指標篇](https://hackmd.io/s/HyBPr9WGl) 提到 signal 系統呼叫的原型宣告:

void (*signal(int sig, void (*handler)(int))) (int);

該如何解析呢？
提示: 參閱 manpage: [signal(2)](http://man7.org/linux/man-pages/man2/signal.2.html)

:::success
延伸問題: 解釋 signal(2) 的作用，並在 GitHub 找出應用案例
:::

---

### 測驗 `3`
- [ ] 認領人:

Linux 核心程式碼 [include/linux/list.h](https://github.com/torvalds/linux/blob/master/include/linux/list.h) 提到以下程式碼，為何每個 `head` 使用時都要先加上 `()` 呢？

#define list_for_each_prev(pos, head) \
    for (pos = (head)->prev; pos != (head); pos = pos->prev)

:::success
延伸問題: 在 Linux 核心原始程式碼找出類似上述「走訪節點」的片段，討論其實作技巧和考量點
:::

---

### 測驗 `4`
- [ ] 認領人:kdy136811

考慮到以下程式碼:

int B = 2;
void func(int *p) { p = &B; }
int main() {
    int A = 1, C = 3;
    int *ptrA = &A;
    func(ptrA);
    printf("%d\n", *ptrA);
    return 0;
}


該如何修改，才能讓 `func` 得以變更到 `main` 裡頭 `ptrA` 的內含值？

:::success
延伸問題: 在 GitHub 找出使用 the pointer to the pointer 的 C 語言程式碼，並加以討論
:::

---

### 測驗 `5`
- [ ] 認領人: ian910297

以下程式是合法 C99 程式嗎？

#include <stdio.h>
int main() { return (********puts)("Hello"); }

請搭配 C 語言規格書解釋

繼續思考以下是否合法:

#include <stdio.h>
int main() { return (**&puts)("Hello"); }

繼續變形:

#include <stdio.h>
int main() { return (&**&puts)("Hello"); }

也會合法嗎？為什麼？請翻閱 C 語言規格書解說。

---

### 測驗 `6`
- [ ] 認領人: jeremycheng0715

考慮以下程式碼:

int **arr = malloc(3 * sizeof(int *));
for (int i = 0; i < 3; i++)
    arr[i] = malloc(4 * sizeof(int));

如果要 free() 時，是否需要兩層的迴圈呢？倘若有人只是 free(arr); 會發生什麼事？又，該如何改善？

:::success
延伸問題: 藉由 [AddressSanitizer](https://clang.llvm.org/docs/AddressSanitizer.html) 一類的記憶體分析工具，探討上述程式碼在執行時期的行為，並且比較你引入的改善是否有效益
:::

---

### 測驗 `7`
- [ ] 認領人: jkrvivian

推敲以下程式碼的作用:

void hex2(unsigned int x) {
    do {
        char c = "0123456789abcdef" [x & 0xf];
        printf("char %c for %d\n", c, x);
        x >>= 4; 
        printf("char %c for %d\n", c, x);
    } while (x);
}

:::success
延伸問題: 在 [glibc](https://www.gnu.org/software/libc/) 原始程式碼找出類似作用和寫法的程式碼，並探討其實作技巧
:::

---

### 測驗 `8`
- [ ] 認領人: ChingChieh

以下程式碼改寫自 Linux 核心原始程式碼，請對照註解 (預期功能)，指出實作上的問題，假設輸入 `value` 不會超過 32-bit。

/*
 * Convert a signed n-bit integer to signed 32-bit integer.
 * Common cases are done through the compiler,
 * the screwed things has to be done by hand.
 */
static int32_t snto32(uint32_t value, unsigned n) {
    switch (n) {
    case  8: return ((int8_t) value);
    case 16: return ((int16_t) value);
    case 32: return ((int32_t) value);
    }
    return value & (1 << (n - 1)) ? value | (-1 << n) : value;
}

:::success
延伸問題:
1. 參照 Linux 核心原始程式碼 (以及 git log)，探討對應的修正;
2. 在 [Common Vulnerabilities and Exposure](https://cve.mitre.org/) (CVE) 找出類似的安全弱點，並且進行案例分析;
:::