This paper presents an approach to extend the modular monadic slicing for handling pointers.

• (3)含指针程序的模块单子切片。