首页> 外文OA文献 >Buffer Overflow Detection via Static Analysis: Expectations vs. Reality

【2h】

Buffer Overflow Detection via Static Analysis: Expectations vs. Reality

机译：缓冲溢出通过静态分析检测：期望与现实

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
I.A. Dudina;
展开▼
作者单位

展开▼
年度 2018
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. About buffer-overflow detection by static analysis of C program [J] . Goichi Nakamura, Ichiro Murase 電子情報通信学会技術研究報告. 情報セキュリティ. Information Security . 2002,第211期

机译：关于通过C程序的静态分析进行缓冲区溢出检测
2. About buffer-overflow detection by static analysis of C program [J] . Goichi Nakamura, Ichiro Murase 電子情報通信学会技術研究報告. 情報セキュリティ. Information Security . 2002,第211期

机译：关于C程序静态分析的缓冲溢出检测
3. ELAID: detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysis [J] . Xu Lili, Xu Mingjie, Li Feng, Cybersecurity . 2020,第a期

机译：eLAID：通过轻量级和准确的静态分析来检测整数到缓冲区溢出漏洞
4. A Light-Weight and Accurate Method of Static Integer-Overflow-to-Buffer-Overflow Vulnerability Detection [C] . Mingjie Xu, Shengnan Li, Lili Xu, International conference on information security and cryptology . 2019

机译：静态整数溢出到缓冲漏洞漏洞检测的轻量级和准确方法
5. Software model-checking: Benchmarking and techniques for buffer overflow analysis [D] . Ku, Kelvin 2008

机译：软件模型检查：缓冲区溢出分析的基准测试和技术
6. COVID-19 Global Risk: Expectation vs. Reality [O] . Mudassar Arsalan, Omar Mubin, Fady Alnajjar, 2020

机译：Covid-19全球风险：期望与现实
7. ELAID: detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysis [O] . Lili Xu, Mingjie Xu, Feng Li, 2020

机译：araid：通过轻量级和准确的静态分析来检测整数到缓冲区溢出漏洞
8. Using a Diagnostic Corpus of C Programs to Evaluate Buffer Overflow Detection by Static Analysis Tools. [R] . Kratkiewicz, K., Lippmann, R. 2016

机译：使用C程序的诊断语料库来评估静态分析工具的缓冲区溢出检测。

Buffer Overflow Detection via Static Analysis: Expectations vs. Reality

著录项

引文网络

相似文献

相关主题

期刊订阅