一篇探讨汇编语言实现指针的方法，此外本文还实现了一个原型系统，并使用该系统对链表、二叉树等非

平凡的指针程序的进行了自动的安全验证。-An assembly language to explore ways to achieve the target, in addition to this paper implements a prototype system and the use of the system of linked list, binary tree, such as non-trivial procedures to guide the automatic verification of security.