RT-Thread-什么样的代码会存在bug和安全隐患呢？RT-Thread问答社区

什么样的代码会存在bug和安全隐患呢？

发布于 2020-12-09 17:18:44 浏览：937 订阅该版

[tocm]

### [MSF] 没有释放
**概要**
该程序已分配了堆内存，但未能释放那块内存。
**解释**
分配了堆内存并且分配的内存地址存储在引用（指针）类型的变量里。该堆内存在其生命周期实际结束后从未被释放。然而，其对应的引用仍然指向该内存空间。这可能会导致敏感数据泄漏或意外程序行为（例如拒绝服务）。
**示例**
```

struct S {
  int *p;
};

int main() {
  int *p;
  struct S *s;
  p = malloc(10 * sizeof(int));  // heap memory allocated and pointed to by p
  if (p == NULL)
    return 1;
  s = (struct S*)malloc(sizeof(struct S));  // heap memory allocated and pointed to by s
  if (s == NULL) {
    free(p);
    return 1;
  }
  s->p = p;
  free(s);    // only s is freed
              // s->p, which is copied from p is not freed
  return 0;
}

```

### [NPD] 空指针解引用
**概要**
该程序正通过有空值的指针访问内存。这可能会导致段错误或不可预测的程序行为。该漏洞与EXP34-C等同
**解释**
在有内存保护的系统里（例如Linux），解引用空指针会导致段错误。 对于嵌入系统来说，它会造成不可预测的程序行为。在Java里，空指针解引用会触发空指针异常。
**示例 - C - 避免**
```
extern int bar(int);

int assign(int* a)
{
  int i = bar(*a) // dereference a
  return i;
}

int foo(void)
{
  int *p = 0;  // p as a pointer has been initialized to 0 (null)
  assign(p);
}
```

### [AOB] 数组越界
**概要**
该程序正在预期缓存的已声明的界限外（界限之前或之后）访问数据。
**解释**
通常情况下，这会允许攻击者在程序执行期间造成程序崩溃。当代码从其他内存位置读取敏感数据或可疑数据量并假定存在前哨来阻止读操作时（例如字符串里的空值），可能会发生崩溃。预期的前哨可能不位于越界内存里，致使读取过量数据，从而导致段错误或缓存溢出。软件可能修改引用在缓存界限之外的内存位置的索引或执行指针运算。随后的读运算便会产生未定义或意外结果。
**示例 - 避免**
```
int assign(int* a, int i)
{
  return a[i];  /* called by main
                   a only has 2 elements but i is 2 */
}

int main() {
  int a[2] = {0, 1}, b;
  b = assign(a, 2);  // call assign with a and i
                     // a has two elements and i is 2
                     // a[2] is out-of-bound and also uninitialized
  printf("value of b = %d\n", b);
  return 0;
}
```

### [DBF] 资源被多次释放
**概要**
该程序已多次释放了某些资源（例如，堆内存、I/O流对象等）。
**解释**
该程序已多次调用了像free()、close()这样的函数来释放同一个资源对象。这会导致不一致的系统，例如系统的堆管理数据结构或I/O流子类等的损坏。这从而可能允许恶意用户访问任意内存或造成IOException。
**示例 - 避免**
```
int func_1(void *p) {
  if (p != NULL) {
    free(p);   // free p
  }
}

int func_2(void *p) {
  if (p != NULL) {
    free(p);  // free p
  }
}

int main() {
  int i, *p, *q;
  p = malloc(10 * sizeof(int));
  if (p == NULL)
    return 1;
  for (i=0; i < 10; ++i)
    p[i] = i;
  q = p;
  func_1(p);  // free p the first time
  func_2(q);  // free p the second time due to value of p copied into q
  return 0;
}
```

### [DBZ] 被零除
**概要**
该程序正试图将值除以零。
**解释**
当把意外的常数零赋值给除数，或者发生了未适当检测到的错误（例如函数调用的返回值）时，这可能会发生。
**示例**
```
int foo(int a, int guard)
{
    int x = 0;
    int result = 0;
    if (guard != 0)
      result = a / x;  // did not check for zero
    printf("result is %d", result);
    return 0;
}
```