《计算机学报》：一种用于指针程序安全性证明的指针逻辑

第11章结构体与共同体 11.1概述 11.2结构体变量的定义 11.3结构体变量的引用 11.4结构体变量的初始化 11.5结构体数组11.9枚举类型 11.6结构体指针 11.7用结构体指针处理链表 11.8共用体 11.10用 typedef定义类型

为了说清楚什么是指针，必须弄清楚数据在内 存中是如何存储的，又是如何读取的。 内存区的每一个字节有一个编号，这就是“地 址” 。如果在程序中定义了一个变量，在对 程序进行编译时或程序运行时，系统就会给这 个变量分配内存单元

10.1 结构类型与结构变量的定义 10.2 结构变量的引用与初始化 10.3 结构数组 10.4 指向结构类型数据的指针 10.5 链表处理──结构指针的应用 10.6 共用型和枚举型 10.7 定义已有类型的别名

指针的概念 1.内存地址──内存中存储单元的编号 （1）计算机硬件系统的内存储器中，拥有大量的存储单元（容量为１字节）。为了方便管理，必须为每一个存储单元编号，这个编号就是存储单元的“地址”。每个存储单元都有一个惟一的地址

9.1 结构体类型和结构体变量 9.2 结构体数组 9.3 结构体指针 9.4 用指针处理链表 9.5 共用体类型 9.5.1 什么是共用体类型 9.5.2 引用共用体变量的方式 9.5.3 共用体类型数据的特点 9.6 使用枚举类型 9.6 使用枚举类型

4.1 一维数组的引出及使用 4.2 二维数组的引出及使用 4.3 字符数组 4.4 数组与函数 4.5 数组与指针 4.6 字符串与指针

3.1 模块化程序设计的方法与特点 3.2 函数的定义 3.3 函数参数和函数的值 3.4 函数调用和函数声明 3.5 函数的递归调用 3.6 库函数的使用 3.7 全局变量和局部变量 3.8 指针和指针作为函数参数

4.1 作用域 4.2 名字空间 4.3 成员指针 4.4 const、volatile和mutable 4.5 引用对象

9.1 构建手机通讯录 9.2 结构变量 9.3 结构数组 9.4 结构指针