首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

原文链接:https://my.oschina.net/u/4960501/blog/4932517

转载内容版权归作者及来源网站所有!

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

GCC 11 的静态分析功能将得到增强

在去年的 GCC 10 中,David Malcolm为其实现了一个新选项-fanalyzer —— 一个静态分析器,可以在编译时通过静态分析识别各种问题,比如安全漏洞CVE-2020-1967。而根据David Malcolm最新的博客内容,该功能在 GCC 11 中将得到增强。 在这次更新中,该静态分析器有两个部分将被重写,即跟踪程序状态相关和内存泄漏检测及不确定性。 在 GCC 10 中,状态跟踪组件存在很多崩溃错误,其中一个大问题是使用唯一 ID 来跟踪符号值和区域,目前修改为使用唯一对象(单例)来表示符号值和区域。另一个大问题是之前的实现中,符号值和区域被用来表示内存区域的符号访问路径到符号值的映射,目前修改为内存中位偏移群集的映射。 GCC 10 中的内存泄漏检测存在很多误报,并且分析器的确切行为因调用而异,由于哈希算法,迭代的顺序将隐式取决于精确的指针值。指针值可能由于地址空间布局随机化而不同,从而导致不同的结果。该部分内容已经重写,新的内存泄漏检测将更少误报,并且分析器的行为在每次运行时都可重现。 同时,该静态分析功能新增了 4 个 -Wanalyzer 前缀的警告,这...

Cosmonium —— 基于 Python 的 3D 太空探索软件

Cosmonium 是一款 3D 天文学和太空探索软件。借助 Cosmonium,用户可以在太阳系中遨游并探索所有行星及其卫星。还可以查看附近的恒星,并探索银河系和宇宙的真实大小。 Cosmonium 支持使用程序创建虚构的行星、恒星和星云等。Cosmonium 还已经支持部分 Celestia 插件。 要求 Cosmonium 可以在 Windows Vista、CentOS 5、Ubuntu 14,以及 macOS 10.9 或更高的版本上运行,并支持带有 OpenGL 2.1 或更高版本(建议使用OpenGL 4.5)的显卡,需要至少 512MB 磁盘空间。 安装 从下载页面选择对应于所使用的操作系统的安装程序,该软件包仅包含低分辨率纹理,可以额外安装 HD 和 UHD 的纹理。 截图 启动 安装后,只需从应用程序菜单或 Cosmonium 文件夹启动 Cosmonium 即可。 用户界面 Cosmonium 用户界面主要基于 Celestia,大多数命令和键盘快捷键的工作方式相同。 完整文件 Cosmonium仍处于起步阶段,但已经可以用来探索太阳系中的所有行星和卫星,所有...

相关文章

发表评论

资源下载

更多资源
腾讯云软件源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题,腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构,目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称,一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集,帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

用户登录
用户注册