두 포인터가 메모리에서 동일한 개체를 가리킬 수 있는지 여부를 결정
Must-Alias
May-Alias
No-Alias
Flow-Insensitive Analysis
- Andersen analysis => precise but slow
- Steensgaard analysis => fast but less precise
'Compiler' 카테고리의 다른 글
| Loop Optimization (0) | 2021.11.04 |
|---|---|
| Register Allocation (0) | 2021.11.04 |
| Dataflow Analysis (0) | 2021.11.03 |
| Syntax Analysis (0) | 2021.10.08 |
| Lexical Analysis (0) | 2021.10.08 |