如何解析C代码生成Prolog可读扁平化形式以用于静态分析？

云上老周

2026-7-1

Markdown 格式化规范

标题：使用井号 # 定义，层级从 #（一级标题）到 ######（六级标题）依次递减。
示例：
```
# 一级标题
## 二级标题
### 三级标题
```
列表项：以短横线 - 开头创建无序列表，嵌套列表可通过缩进实现。
示例：
```
- 主列表项1
  - 嵌套子列表项1
- 主列表项2
```
文本强调：用单个星号 * 包裹实现斜体强调，用两个星号 ** 包裹实现粗体强调。
示例：
```
这是*斜体强调内容*，这是**粗体强调内容**。
```
代码/命令：用单个反引号 ` 包裹单行代码，用三个反引号 ``` 包裹多行代码块（可指定代码语言）。
示例：
```
单行代码示例：`git status`
多行代码块示例：
```python
def hello():
    print("Hello World")
```
引用文本：用大于号 > 标识引用内容，多层引用可叠加多个 >。
示例：
```
> 一级引用内容
> > 二级嵌套引用内容
```
链接：格式为 [链接显示文本](目标URL)。
示例：
```
[示例链接](https://example.com)
```
图片：格式为 [图片替代文本](图片URL)，部分平台支持通过HTML属性指定图片尺寸。
示例：
```
[示例图片](https://example.com/image.jpg)
```