函数调用关系相关论文
本文研究了基于契约的安全分析方法。该方法通过对过程内的变量构造变量契约、对跨过程的函数调用构造函数契约描述程序的状态,并按......
互联网的飞速发展在方便社会的同时,也带来了一系列的网络隐患。针对软件系统稳定性和安全性的问题,本文基于软件网络系统节点之间......
无论是在工作上还是在日常生活中,人们对于软件的依赖性越来越强,同时更加关注软件的质量。缺陷定位以找出程序中的缺陷语句为目标......
随着移动互联网的发展,移动智能终端越来越普及,其功能也越来越强大,目前Android系统是移动智能终端上最受欢迎的移动操作系统之一......
安卓应用的开发一般主要使用Java和C/C++,Java负责主要界面和功能,但是由于Java是解释型语言,效率比较低。在一些对效率要求比较高......
针对基于文件的内核函数调用图工具存在的文件系统可扩展性和适用性等方面的不足,设计并实现了基于数据库的DBCG-RTL工具(Data Bas......

