基于数据流的脆弱性静态分析
为提高Java软件的安全性,针对Java程序的脆弱性分析问题,提出一种基于数据流的感染分析法,阐述了具体思路和实现步骤。依据该方法实现的分析系统能有效分析出Java字节码程序中存在的XPath注入、S
静态编译技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
为提高Java软件的安全性,针对Java程序的脆弱性分析问题,提出一种基于数据流的感染分析法,阐述了具体思路和实现步骤。依据该方法实现的分析系统能有效分析出Java字节码程序中存在的XPath注入、S
资料->【C】嵌入系统->【C0】嵌入式综合->【2】单片机编程->【参考程序】->JL451E 静态驱动的单片机数字钟.txt
由浅入深从静态算术编码到多阶上下文自适应算术编码,详细讨论了其编码原理、技术方案、可能出现的问题及对策。这是一遍既非常适合初学算术编码的兄弟姐妹、同时也是正在从事算术编码的工作者的很好的参考。
孙鑫老师VC视频第十九课代码:动态链接库程序的编写。静态库与动态库的区别,以及调用程序在链接静态库和动态库时的区别。如何利用工具查看动态链接库输出的函数,Depends工具的使用,C++编译器名字改编技术对动态链接库输出函数的影响,exte...
该文研究在XILINX公司的FPGA芯片SPARTAN Ⅱ上实现JPEG基本模式的压缩编码标准,选用硬件描述语言Verilog,在开发工具Foundation4.1集成环境中完成软核的综合、布局布线、芯片映射及仿真验证.文章首先介绍了JPE...
·摘要: Le Gall(5,3)提升小波直接在时域完成小波构造,不仅算法简单、适合并行处理,而且还能同时用于图像的无损或有损压缩.为了满足远程医疗系统静态医学图像压缩处理的特定要求,该文详细讨论了基于提升格式的Le Gall(...