类Unix文件系统中TOCTTOU缺陷静态分析方法.pdf

计算机研究与发展 ＩＳＳＮ １１１７７７ＴＰ 　 － ? 　 － ? （）： ， ＪｏｕｒｎａｌｏｆＣｏｍ ｕｔｅｒＲｅｓｅａｒｃｈａｎｄＤｅｖｅｌｏ ｍｅｎｔ ４８ ８ ２０１１ 　 　 ｐ 　 　 　 ｐ 　 － 类Ｕｎｉｘ文件系统中ＴＯＣＴＴＯＵ缺陷的静态分析方法 ， ， 韩 伟１ ２ ３ 贺也平１ 　 　　 １（ （ ） ） 基础软件国家工程中心 中国科学院软件研究所 北京 １００１９０ 　 　 ２（ ） 中国科学院研究生院 北京 １０００４９ 　 　 ３（ ） 石家庄铁道大学信息科学与技术学院 石家庄 ０５００４３ 　 　 （ ） ｈａｎｗｅｉ ｎｆｓ．ｉｓｃａｓ．ａｃ．ｃｎ ＠ ＳｔａｔｉｃＡｎａｌｓｉｓｏｆＴＯＣＴＴＯＵＶｕｌｎｅｒａｂｉｌｉｔｉｅｓｉｎＵｎｉｘＳｔｌｅＦｉｌｅＳｓｔｅｍ 　 ｙ 　 　 　 　 　 － ｙ　 　 ｙ ， ， １ ２ ３ １ ＨａｎＷｅｉ 　ａｎｄＨｅＹｅ ｉｎ 　 　 　 　 ｐ ｇ １（ （ ， ）， ＮａｔｉｏｎａｌＥｎ ｉｎｅｅｒｉｎ ＲｅｓｅａｒｃｈＣｅｎｔｅｒ ｏｒＦｕｎｄａｍｅｎｔａｌＳｏ ｔｗａｒｅ Ｉｎｓｔｉｔｕｔｅｏ Ｓｏ ｔｗａｒｅ ＣｈｉｎｅｓｅＡｃａｄｅｍ ｏ Ｓｃｉｅｎｃｅｓ 　 　 　 　 　 　 　 ｇ ｇ ｆ ｆ ｆ ｆ ｙ ｆ 　 　 　 　 ） Ｂｅｉｉｎ １００１９０ ｊ ｇ ２（ ， ， ） ＧｒａｄｕａｔｅＵｎｉｖｅｒｓｉｔ ＣｈｉｎｅｓｅＡｃａｄｅｍ ｏ Ｓｃｉｅｎｃｅｓ Ｂｅｉｉｎ １０００４９ 　 ｙ 　 ｙ ｆ ｊ ｇ 　 　 ３（ ， ， ） Ｓｃｈｏｏｌｏ Ｉｎ ｏｒｍａｔｉｏｎＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏ Ｓｈｉｉａｚｈｕａｎ ＴｉｅｄａｏＵｎｉｖｅｒｓｉｔ Ｓｈｉｉａｚｈｕａｎ ０５００４３ 　ｆ ｆ 　 　 　 ｇｙ ｊ ｇ 　 ｙ ｊ ｇ 　 　 Ａｂｓｔｒａｃｔ ＴＯＣＴＴＯＵ ｉｓａｓｅｒｉｏｕｓｔｈｒｅａｔｔｏＵｎｉｘ ｓｔｌｅｆｉｌｅｓｓｔｅｍｓ．Ａｌｌｔｈｅｅｘｉｓｔｉｎ ｓｔａｔｉｃｄｅｔｅｃｔｉｏｎ