得一微电子 IC验证

数组越界：C++不做数组边界检查，定义int arr[5]，下标范围是0~4，访问arr[5]会篡改内存数据。循环逻辑问题：循环终止条件错误（如for(int i=0;i<=5;i++)本想循环5次，实际循环6次）；循环变量未更新（如while循环内忘写i++，导致死循环）。条件判断易错：把赋值号=当判断号==（如if(a=1)恒为true，逻辑完全偏离）；多条件判断漏写逻辑符（如想判断a>0且a<10，误写if(a>0 a<10)）。指针相关坑：指针未初始化直接使用（野指针，操作会崩溃）；new申请堆内存后，忘用delete释放（内存泄漏）；重复delete同一...