【摘 要】
：
常见的运行时验证技术的插桩方式包括中间代码插桩、二进制代码插桩和源代码插桩.前两种插桩方式的插桩结果通常依赖于平台,而且不同的优化等级也会带来不同的结果,会使得部分错误被忽略.TXL是一种函数和规则混合的语言,提供源代码到源代码的转换.文章使用TXL作为插桩工具,提出一套完整的源代码插桩算法,实现了基于指针技术的C语言运行时验证工具.实验表明,该算法可以有效实现对C程序的插桩.
【机 构】
：
南京航空航天大学 计算机科学与技术学院,江苏 南京 211106
论文部分内容阅读
常见的运行时验证技术的插桩方式包括中间代码插桩、二进制代码插桩和源代码插桩.前两种插桩方式的插桩结果通常依赖于平台,而且不同的优化等级也会带来不同的结果,会使得部分错误被忽略.TXL是一种函数和规则混合的语言,提供源代码到源代码的转换.文章使用TXL作为插桩工具,提出一套完整的源代码插桩算法,实现了基于指针技术的C语言运行时验证工具.实验表明,该算法可以有效实现对C程序的插桩.
其他文献
文章主要阐述了在嵌入式设备上运行AI算法检测人体运动姿态并给出相应运动建议的实现方法,其中嵌入式设备包含摄像头模块、显示屏模块、控制主板、模型算法、语音模块、通信模块等.通过摄像头采集运动姿态的图像,并由目标检测算法、人体骨骼算法、姿态动作算法得到运动姿态参数进行统计与姿态修正,反馈给运动人员,实现运动姿态的计数与姿态修正,进而提高动作完成的质量,达到有效运动的目的.
文章以514名高职院校在校大学生为研究对象,运用SmartPLS 3.2.8统计软件,探究学校创新氛围和高职院校学生创新行为之间的关系.研究结果发现:学生的创造力对高职院校学生的创新行为有显著正向影响,学校的创新氛围通过学生的创造力的中介作用影响学生的创新行为,学校的创新氛围对学生的创新行为没有显著的直接影响.该研究结果有利于进一步探索创新行为的影响因素,同时为高职院校人才培养改革提供参考建议.
对河南省民办高校2015—2020年毕业学生的就业数据进行了收集,报告了河南省民办高校毕业生就业现状.采用随机森林算法,对影响就业的特征进行重要性评估,找出影响就业的主要特征和部分成因.实验结果显示,民办高校学生就业率与自身所学专业的热门程度最相关,分析影响就业的主要特征因素,给出了就业预警机制构建的相关对策.为民办高校毕业生就业提供更好的支持策略.
无论是在学习生活中,还是在网络生活中,当代大学生都屡屡遭到校园诈骗的侵扰,代表未来力量的他们在未进入社会前,就被充满恶意的诈骗造成了一定程度的危害和影响,不仅给大学生造成了经济财产损失,还对其心理产生了消极影响.因此,基于多视角研究校园的诈骗案例显得尤为重要,文章设计出一款遇诈不慌、有例可依、寻求帮助的实用平台,可真实有效地帮助学生进行防诈.
文章运用SmartPLS统计软件进行数据分析,从基于动机的角度出发,探究影响亲子房车旅游意向的因素,包括寻求安全和保障、寻求新奇、寻求知识提升、寻求家庭亲密、寻求自由.数据分析结果表明:寻求安全和保障、寻求新奇、寻求家庭亲密、寻求自由显著影响亲子房车旅游意向.该研究结果为房车旅游行业制定有效的营销策略提供参考建议,为全社会树立正面的家庭价值观提供反思的空间.
重庆单轨3号线存在线路长、站点多、客流量大、安检效率低、人力成本高等问题,通过设置安检集中判图系统,实现实时判图、远程判图、AI智能辅助判图等功能.对全线网所有安检点的判图任务进行智能调度,将安检机产生的判图任务动态匹配给当前最适合的判图站进行处置,实现各安检点判图工作量的“削峰平谷”,这能有效提升单轨3号线安检判图员的工作效率,优化安检人员配置,达到减员增效的目标.
为了获得最佳性能,C/C++语言把操纵内存的权限以指针的方式暴露给开发人员.但是C/C++语言编译器GCC和Clang都不提供内存安全检测,导致开发人员使用C/C++语言编写的项目可能存在内存泄漏的风险.文章介绍了改进指针算法和shared_ptr源码,分析了它们检测内存泄漏的方式,最后指出该类算法的缺陷,提出改进思路,并建议用户避免写出该类算法无法检测的代码结构.
基于山东省城市空气质量浓度等有关数据,研究大气细颗粒物浓度的时空格局,并利用相关性分析自然和社会经济因素对其影响的时空非平稳性.结果表明:山东省PM2.5浓度分布总体表现东低西高的空间格局.2019—2020年污染日出现的频率分别为18.80％和14.89％.山东省PM2.5浓度呈明显的夏低冬高、春秋居中的季节变化,U形月度变化特征.Spearman秩相关方法表明,公路密度对PM2.5浓度有正向影响,而温度、降水、日照时数、人均GDP、科学技术支出对PM2.5浓度有负向影响.
文章通过深度强化学习的方法来寻求二进制线性编码的有效解码策略.在加性高斯白噪声的条件下,将置信传播(BP)解码算法中软信息的迭代看作是对软信息的连续决策,并将其映射到马尔可夫决策过程,用深度强化学习网络代替传统译码器,扩大探索空间以提高译码性能,从而实现对数据驱动的最佳决策策略的学习.结果表明,相较于传统BP解码器,在误码率=10-5时,学习型BP解码器在BCH码上取得大约0.75 dB的优势,这在一定程度上解决了以往研究中过于依赖数据的问题.
轨道交通信号系统中基于车车通信的列车自主运行系统TACS的系统架构和接口有别于传统CBTC系统,TACS系统的自动洗车功能接口和信息流与传统CBTC系统也存在差异.文章结合传统CBTC系统阐述TACS系统自动洗车中的控制和管理,TACS系统自动洗车过程中与洗车机、车辆的信息交互,TACS各个子系统之间的信息交互,以及信息交互过程中的检查条件.