Model checking x86 executables with CodeSurfer/x86 and WPDS

机译：使用CodeSurfer / x86和WPDS对x86可执行文件进行模型检查

代理获取

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

页面导航

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

著录项

作者
G. Balakrishnan; T. Reps; N. Kidd; A. Lal; J. Lim; D. Melski; R. Gruian; S. Yong; C. -h. Chen; T. Teitelbaum;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. X86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors [J] . Peter Sewell, Susmit Sarkar, Scott Owens, Communications of the ACM . 2010,第7期

机译：X86-TSO：适用于x86多处理器的严格且可用的程序员模型
2. Estimation of similarity between functions extracted from x86 executable files [J] . Berta Katarina, Stojanovi? Sa?a, Cvetanovi? Milo?, Serbian Journal of Electrical Engineering . 2015,第2期

机译：估计从x86可执行文件提取的函数之间的相似性
3. An Instruction-level Symbolic Checksum System for Windows x86 Program [J] . CUI Baojiang, JI Yupeng, WANG Jianxin 电子学报：英文版 . 2012,第001期

机译：Windows x86程序的指令级符号校验和系统
4. Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ [C] . G. Balakrishnan, T. Reps, N. Kidd, International Conference on Computer Aided Verification(CAV 2005); 20050706-10; Edinburgh(GB) . 2005

机译：使用CodeSurfer / x86和WPDS ++对x86可执行文件进行模型检查
5. Program Protection Against Symbolic Execution in X86 Executables [D] . Bell, James. 2020

机译：X86可执行文件中符号执行程序保护
6. A meta-model for computer executable dynamic clinical safety checklists [O] . Shan Nan, Pieter Van Gorp, Xudong Lu, 2017

机译：计算机可执行的动态临床安全检查表的元模型
7. Codesurfer/x86-a platform for analyzing x86 executables [O] . Gogul Balakrishnan, Radu Gruian, Thomas Reps, 2005

机译：Codesurfer / x86-分析x86可执行文件的平台
8. Analyzing Memory Accesses in x86 Executables [R] . Balakrishnan, G. , Reps, T. 2006

机译：分析x86可执行文件中的内存访问

Model checking x86 executables with CodeSurfer/x86 and WPDS

著录项

引文网络

相似文献

相关主题

期刊订阅