指针在C程序中应用广泛，指针引用错误多发且危害严重。
目前代表性的检测工具由于使用方便性、检测精度不足以及难以处理大规模程序等原因，并不能满足实用需求。
本文提出一种新型的错误检测方法，该方法基于域敏感、流敏感和上下文敏感的传播引擎，通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测。
在开放源码编译器Open64中实现了其原型系统Propagator。
以空指针引用错误检测为实例研究，使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例，与Saturn、Splint和Clang-SA进行对比，Propagator的平均检测时间仅为12秒，误报率平均仅为13%，远低于对比工具，没有发现漏报已知错误。
上述结果表明，Propagator既提高了检测精度又保证了可伸缩性，具有很好的实用前景。
目前代表性的检测工具由于使用方便性、检测精度不足以及难以处理大规模程序等原因，并不能满足实用需求。
本文提出一种新型的错误检测方法，该方法基于域敏感、流敏感和上下文敏感的传播引擎，通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测。
在开放源码编译器Open64中实现了其原型系统Propagator。
以空指针引用错误检测为实例研究，使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例，与Saturn、Splint和Clang-SA进行对比，Propagator的平均检测时间仅为12秒，误报率平均仅为13%，远低于对比工具，没有发现漏报已知错误。
上述结果表明，Propagator既提高了检测精度又保证了可伸缩性，具有很好的实用前景。
2023/7/15 18:51:08
614KB
1
c++实现c语言子集编译器，共有三种数据类型INT，BOOL，ARRAY；
三种控制结构IF-ELSE、WHILE、FOR，产生四个表，词法分析parser.out、action.out、goto.out、四元式parser.out。
三种控制结构IF-ELSE、WHILE、FOR，产生四个表，词法分析parser.out、action.out、goto.out、四元式parser.out。
2023/7/14 1:38:04
971KB
1
Dotfuscator是领先的.NET模糊处理程序、压缩程序和水印处理程序，它有助于保护程序，使之免遭反向工程处理，同时使程序更小巧且更高效。
DotfuscatorProfessionalEdition4.9旨在阻止各种反编译器生成有用的输出，即便是那些最好的反编译器也不例外。
它提供了全面、高效的.NET代码开发和部署过程。
DotfuscatorProfessionalEdition4.9旨在阻止各种反编译器生成有用的输出，即便是那些最好的反编译器也不例外。
它提供了全面、高效的.NET代码开发和部署过程。
2023/7/13 12:58:51
36.15MB
1
封装了windows版本的hiredis.dll，debug版本。
github上只提供静态库，应用时对编译器依赖性较强。
使用时只需包含包括唯一的头文件hirediswin.h,不再依赖开源程序的任何库和头文件
github上只提供静态库，应用时对编译器依赖性较强。
使用时只需包含包括唯一的头文件hirediswin.h,不再依赖开源程序的任何库和头文件
2023/7/13 8:32:04
2.85MB
1
解决matlab2016b配置VS2017编译器时未找到支持的编译器或SDK的补丁文件：(1)msvc2017.xml(2)msvcpp2017.xml使用方式：将上述两个xml文件复制到MATLAB\R2017a\bin\win64\mexopts文件夹下。
在命令行窗口键入mex-setup查看已配置完成编译器。
‘’错误使用mex未找到支持的编译器或SDK。
您可以安装免费提供的MinGW-w64C/C++编译器；
请参阅安装MinGW-w64编译器‘’
在命令行窗口键入mex-setup查看已配置完成编译器。
‘’错误使用mex未找到支持的编译器或SDK。
您可以安装免费提供的MinGW-w64C/C++编译器；
请参阅安装MinGW-w64编译器‘’
2023/7/12 22:48:30
5KB
1
AP4是一个独立软件工具，根据用户设置自动生成外围模块驱动程序。
可选择编译工具(编译器)。
AP4为编译工具产生适合的外围模块控制程序，还为集成开发环境生成工作空间文件和项目文件。
AP4_for_RL78_EC__V10500.exe，瑞莎外围电路驱动生成程序 AP4forRL78_ECV1.05.00
可选择编译工具(编译器)。
AP4为编译工具产生适合的外围模块控制程序，还为集成开发环境生成工作空间文件和项目文件。
AP4_for_RL78_EC__V10500.exe，瑞莎外围电路驱动生成程序 AP4forRL78_ECV1.05.00
2023/7/11 16:42:34
17.85MB
1
从零开始学习音视频编程技术（十八）录屏软件开发之编码AAC这是Qt的工程，建议使用QtCreator打开Qt的版本是4.8.4，当然是用Qt5也是没有影响的，不过编译器记得使用Mingw。
FFMPEG的版本是2.5.2记得将ffmpeg/bin目录下的dll文件拷贝到编译生成的exe所在的目录下，否则会无法运行。
关于代码的解释请参考：http://blog.yundiantech.com/?log=blog&id=23Qt开发环境的搭建请参考：http://blog.yundiantech.com/?log=blog&id=6Qt中引用FFMPEG库文件请参考：http://blog.yundiantech.com/?log=blog&id=7学习音视频技术欢迎访问http://blog.yundiantech.com音视频技术交流讨论欢迎加QQ群121376426
FFMPEG的版本是2.5.2记得将ffmpeg/bin目录下的dll文件拷贝到编译生成的exe所在的目录下，否则会无法运行。
关于代码的解释请参考：http://blog.yundiantech.com/?log=blog&id=23Qt开发环境的搭建请参考：http://blog.yundiantech.com/?log=blog&id=6Qt中引用FFMPEG库文件请参考：http://blog.yundiantech.com/?log=blog&id=7学习音视频技术欢迎访问http://blog.yundiantech.com音视频技术交流讨论欢迎加QQ群121376426
2023/7/11 13:47:32
13.05MB
1
CodeComposerStudio简写TICCS，它是一套针对TI的DSP、微控制器和应用处理器的集成开发环境，包括用于各种TI设备系列的编译器、源码编辑器、项目构建环境、调试器、描述器、仿真器以及多种其它功能。
ticcs提供基本代码生成工具，具有一系列的调试、分析功能。
支持概念性规划;创建工程文件、编写源程序和配置文件;语法检查探测点设置和日志保存;实时调试、统计和跟踪等功能。
ticcs提供基本代码生成工具，具有一系列的调试、分析功能。
支持概念性规划;创建工程文件、编写源程序和配置文件;语法检查探测点设置和日志保存;实时调试、统计和跟踪等功能。
2023/7/10 4:37:31
8.58MB
1
参照TINY语法分析器的实现，运用所学知识用C语言或者C++语言实现C-MINUS词法分析器,可输出token，再在词法分析的基础上实现C-MINUS语法分析器，可输出语法树。
本资源是运用自顶向下方法中的递归下降分析方法进行语法分析，是学习编译器理解编译器的重要方法，上传本资源帮助大家学习。
本资源是运用自顶向下方法中的递归下降分析方法进行语法分析，是学习编译器理解编译器的重要方法，上传本资源帮助大家学习。
2023/7/9 11:43:31
1.27MB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB