期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
面向Android应用的静态污点分析结果的正确性验证 被引量:1
1
作者 秦彪 郭帆 涂风涛 《计算机应用》 CSCD 北大核心 2019年第10期3018-3027,共10页
应用静态污点分析检测Android应用的隐私泄露漏洞会产生许多虚警,为此提出一种上下文敏感、路径敏感和域敏感的半自动程序分析方法,仅需遍历少量执行路径即可判定漏洞是否虚警。首先,运行插桩后的应用来获得一条覆盖Source和Sink的种子T... 应用静态污点分析检测Android应用的隐私泄露漏洞会产生许多虚警,为此提出一种上下文敏感、路径敏感和域敏感的半自动程序分析方法,仅需遍历少量执行路径即可判定漏洞是否虚警。首先,运行插桩后的应用来获得一条覆盖Source和Sink的种子Trace。然后,应用基于Trace的污点分析方法来验证Trace中是否存在污点传播路径,是则表明漏洞真实存在;否则进一步收集Trace的条件集合和污点信息,结合活变量分析和基于条件反转的程序变换方法设计约束选择策略,以删除大部分与污点传播无关的可执行路径。最后,遍历剩余执行路径并分析相应Trace来验证漏洞是否虚警。基于FlowDroid实现原型系统,对DroidBench的75个应用和10个真实应用进行验证,每个应用平均仅需遍历15.09%的路径,虚警率平均降低58.17%。实验结果表明该方法可以较高效地减少静态分析结果的虚警。 展开更多
关键词 程序验证 污点分析 活变量分析 程序变换 路径敏感
下载PDF
Perinatal and early life risk factors for inflammatory bowel disease 被引量:2
2
作者 Stephen E Roberts Clare J Wotton +2 位作者 John G Williams Myfanwy Griffith Michael J Goldacre 《World Journal of Gastroenterology》 SCIE CAS CSCD 2011年第6期743-749,共7页
AIM:To investigate associations between perinatal risk factors and subsequent inflammatory bowel disease (IBD) in children and young adults.METHODS:Record linked abstracts of birth registrations,maternity,day case and... AIM:To investigate associations between perinatal risk factors and subsequent inflammatory bowel disease (IBD) in children and young adults.METHODS:Record linked abstracts of birth registrations,maternity,day case and inpatient admissions in a defined population of southern England.Investigation of 20 perinatal factors relating to the maternity or the birth:maternal age,Crohn's disease (CD) or ulcerative colitis (UC) in the mother,maternal social class,marital status,smoking in pregnancy,ABO blood group and rhesus status,pre-eclampsia,parity,the infant's presentation at birth,caesarean delivery,forceps delivery,sex,number of babies delivered,gestational age,birthweight,head circumference,breastfeeding and Apgar scores at one and five minutes.RESULTS:Maternity records were present for 180 children who subsequently developed IBD.Univariate analysis showed increased risks of CD among children of mothers with CD (P=0.011,based on two cases of CD in both mother and child) and children of mothers who smoked during pregnancy.Multivariate analysis confirmed increased risks of CD among children of mothers who smoked (odds ratio=2.04,95% CI=1.06-3.92) and for older mothers aged 35+ years (4.81,2.32-9.98).Multivariate analysis showed that there were no significant associations between CD and 17 other perinatal risk factors investigated.It also showed that,for UC,there were no significant associations with the perinatal factors studied.CONCLUSION:This study shows an association between CD in mother and child;and elevated risks of CD in children of older mothers and of mothers who smoked. 展开更多
关键词 Crohn's disease Ulcerative colitis Perinatal risk factors Record linkage
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部