基于指针污点分析的非控制数据攻击防御模型的设计和实现.pdf

研 究 生 毕 业 论 文
申 请 工 学 硕 士 学 位 )
论 文 题 目 基 于 指 针 污 点 分析 的 非 控 制 数 据
攻 击 防 卸 模 型 的 设 计 和 实 现
作 者 姓 名 刘 小 龙
学科 、 专业名 称 计 算 机 科 学 与 技 术 ( 应 用 软 件 工 程 )
研 兄 方 向 程 序 安 全
指 导 教 师 郑 滔 教 授
年 月
号 ：
论文答辩 日 期 ： 年 月
指 导 教 师 签字 )
基于指针污 点分析 的 非控制 数据
攻击防御模型 的设计和 实现
作 者 ： 刘 小龙
指导教师 ： 郑滔 教授
南京大学研 宄生毕业论文
申 请工学硕士学位 )
南京大学软件学 院
年 月
T h e D e s i g n a n d I m p l e m e n t a t i o n o f
N o n - c o n t r o l - d a t a P r o t e c t i o n M o d e l

B a s e d o n P o i n t e r T a i n t i n g A n a l y s i s
L i u , X i a o l o n g

S u b m i t t e d i n p a r t i a l f u l f i l l m e n t o f t h e r e q u i r e m e n t s f o r
t h e d e g r e e o f M a s t e r o f E n g i n e e r i n g
S u p e r v i s e d b y

P r o f e s s o r Z h e n g , T a o
S o f t w a r e I n s t