提出了一种基于符号执行的控制流图提取方法，该方法为原生库中的函数提供了符号执行环境，对JNI 函数调用进行模拟，用约束求解器对符号进行求解。实现了控制流图提取原型系统 CFGNative。实验结果表明，CFGNative可准确识别样例中所有的JNI函数调用和原生方法，并能够在可接受的时间内达到较高的代码覆盖率。
2022-07-02 13:15:28
618KB
1
VisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 89 代码控制链接ODBCVisualC 实效编程 8
2022-06-29 09:10:31
59KB
全代码控StimulSoft+Reports.Net VS2010，生成报表更灵活，可以避免手工进行报表设计时的不准确因素，通过同一代码可以打印多张表格内容。包括页面方向、字体大小、数据来源、页边距设计等。
2022-06-24 11:53:09
271KB
1
一种检测Ada程序中许多构造的使用的工具。 使用它可以控制样式或编程规则，也可以用作搜索使用（或不使用）各种形式的编程样式或设计模式的强大工具。
2022-03-25 14:39:33
2.64MB
1
【工控老马出品，必属精品，亲测校正，质量保证】
资源名：Labview 控制 西门子PLC 程序源代码
资源类型：程序源代码
源码说明： 用Labview写的控制西门子PLC读写数据的程序源码，测试使用的时西门子S7-1200型号的PLC
适合人群：新手及有一定经验的开发人员
2022-01-19 12:01:53
502KB