计算技术与自动化2019，Vol.38Issue(2)：102-107,6.DOI:10.16339/j.cnki.jsjsyzdh.201902019
面向多线程程序的内存安全运行时验证
Memory Security Runtime Verification for Multi-threaded Programs
摘要
关键词
多线程/多核/无锁数据结构/运行时验证/源代码插桩/编程语言分类
信息技术与安全科学引用本文复制引用
陈韬,王明明..面向多线程程序的内存安全运行时验证[J].计算技术与自动化,2019,38(2):102-107,6.基金项目
江苏省普通高校研究生科研创新计划项目(SJZZ16_0062) （SJZZ16_0062）
