Static memory leak detection based on a new memory model

机译：基于新的内存模型的静态内存泄漏检测

代理获取

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

页面导航

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

著录项

作者
Hangyuan Liu; Hua Zhang;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Demand-Driven Memory Leak Detection Based on Flow-and Context-Sensitive Pointer Analysis [J] . Ji Wang, Xiao-Dong Ma, Wei Dong, 计算机科学技术学报（英文版） . 2009,第002期

机译：基于流和上下文敏感指针分析的需求驱动的内存泄漏检测
2. Design space exploration of hysteretic negative capacitance ferroelectric FETs based on static solutions of Landau-Khalatnikov model for nonvolatile memory applications [J] . Takeuchi Kiyoshi, Kobayashi Masaharu, Hiramoto Toshiro Japanese journal of applied physics . 2021,第3期

机译：基于Landau-Khalatnikov模型对非易失性存储器应用模型的静止解决方案设计空间探索
3. Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking [J] . ZHANG WenHui Journal of Computer Science & Technology . 2003,第6期

机译：结合静态分析和基于案例的搜索空间划分以减少模型检查中的峰值内存
4. Static memory leak detection based on a new memory model [C] . Hangyuan Liu, Hua Zhang International Conference on Artificial Intelligence and Engineering Applications . 2017

机译：基于新的内存模型的静态内存泄漏检测
5. Static memory leak detection. [D] . Heine, David L. 2005

机译：静态内存泄漏检测。
6. Blood leakage detection during dialysis therapy based on fog computing with array photocell sensors and heteroassociative memory model [O] . Jian-Xing Wu, Ping-Tzan Huang, Chia-Hung Lin, 2018

机译：基于阵列光电管传感器雾计算和异缔合记忆模型的透析治疗中血液泄漏检测
7. Static memory leak detection using full-sparse value-flow analysis [O] . Yulei Sui, Ding Ye, Jingling Xue 2012

机译：使用全稀疏值流分析的静态内存泄漏检测
8. Using Cyclic Memory Allocation to Eliminate Memory Leaks [R] . Nguyen, H. H. , Rinard, M. 2005

机译：使用循环内存分配来消除内存泄漏

Static memory leak detection based on a new memory model

著录项

引文网络

相似文献

相关主题

期刊订阅