2 \defgroup pointer-analysis pointer-analysis
4 # Folder pointer-analysis
8 To perform symbolic execution on programs with dereferencing of
9 arbitrary pointers, some alias analysis is needed. `pointer-analysis`
10 contains the three levels of analysis; flow and context insensitive,
11 context sensitive and flow and context sensitive. The code needed is
12 subtle and sophisticated and thus there may be bugs.