当前位置: 首页 > 当代诗歌 > 文章

Effective Static Analysis of Concurrency Use

2019-06-21

Effective Static Analysis of Concurrency Use

EffectiveStaticAnalysisofConcurrencyUse-After-FreeBugsinLinuxDeviceDrivers2019-05-23|【】  主讲人:白家驹清华大学计算机系操作系统实验室  报告时间:2019年5月23日(周二)上午10:00–12:00  报告地点:1048会议室  报告摘要(Abstract)  InLinuxdevicedrivers,use-after-free(UAF),nearlyhalfoft,concurrencyuse-after-freebugsareoftenmo,IwillpresentanewstaticanalysisapproachnamedDCUAF,toeffthaglobalanalysisstatisticallyanalyzingthelocalresultsofalldrivers,formingalocal-globalanalysis,toextract,withthesepairs,DCUAFperformsasu,andfoundhundredsofrealconcurrencyuse-after-freebugs.  主讲人简介(ShortBio)  白家驹博士是清华大学计算机系操作系统的博士后和助理研究员。

他在2013年于西安电子科技大学获得学士学位,并在2018年于清华大学获得博士学位。

他的博士毕业论文被评为清华大学优秀博士学位论文。 他的主要研究方向为操作系统可靠性和内核程序分析,侧重利用动态分析和静态分析技术对操作系统源代码进行缺陷检测。

他的研究工作发表在USENIXATC、ASPLOS、CGO、JSS、IST等系统和软件分析领域的会议和期刊中,并且在Linux、FreeBSD和NetBSD等常用操作系统代码中发现了诸多真实的缺陷。