Tag: splint

推荐的方法来跟踪C程序中数组越界访问/写入

考虑在C中编写一些不那么明显的算法的实现。例如，让我们在KN King的“C编程：现代方法，第2版”一书中找到它的递归快速排序，它可以从这里获得 。 最有趣的部分包括以下两个定义： void quicksort(int a[], int low, int high) { int middle; if (low >= high) return; middle = split(a, low, high); quicksort(a, low, middle – 1); quicksort(a, middle + 1, high); } int split(int a[], int low, int high) { int part_element = a[low]; for (;;) { while (low < high && […]