控制流分析论文

论文摘要JSP作为一种基于JavaServlet的Web开发技术,在动态网页开发方面正在得到越来越广泛的应用,只存在于动态网页的跨站脚本攻击(XSS)漏洞,一样存在于JSP应用...

论文摘要作为逆向领域的关键部分,反编译技术在软件安全和维护方面扮演着非常重要的角色。反编译技术起源于上世纪60年代,只比编译技术晚10年。但反编译技术的成熟度远不如编译技术。反...

论文摘要软件测试是保障软件质量的重要手段。随着基于UML软件测试的普及,基于UML顺序图生成测试数据,可以在系统开发早期就设计集成测试阶段的测试用例,提高测试效率;并且是基于U...

论文摘要可移动类进程代数是为描述可移动进程及通讯连接动态构成的进程网络而对传统抽象演算的扩展,为有效地计算系统的动态行为和运行的拓扑结构,本文开发了该类演算基于控制流分析和抽象...