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

微信关注我们

原文链接:https://my.oschina.net/SwiftOldDriver/blog/4494314

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

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

GrammaTech 推出 API bug 检测工具,美国国土安全部赞助

安全测试解决方案公司GrammaTech 推出了一个名为 Swap Detector 的开源工具,可用来检测应用程序编程接口(API)使用错误。 Swap Detector 是美国国土安全部科技局静态工具分析现代化项目(Static Tool Analysis Modernization Project,STAMP)赞助的研究项目的一部分,可改善 DevOps 团队的应用安全测试。该工具可以让开发人员和 DevOps 团队能够识别由于交换函数参数导致的错误(这些错误也可能存在于部署的代码中)。 GrammaTech 研究副总裁 Alexey Loginov 称,“传统的静态分析技术并没有利用开源领域现有的代表无错误编码实践的大量信息。通过Swap Detector,我们将大数据分析技术,也就是我们所说的 Big Code分析,应用到 Fedora RPM 开源库中,以确定正确的 API 使用基准。这让我们开发的错误检测能力远远超过了传统程序分析方法的可扩展性和准确性。” Swap Detector 接口集成了各种静态分析工具,例如 Clang Static Analyzer、Clang...

国外工程师用树莓派打造世界上最小的“iMac”

图中这台仅比肩一罐红牛大小的 “iMac” 由工程师 Michael Pick 利用Raspberry Pi 和 3D 打印技术手工打造而成。这款迷你 Mac 装有分辨率为 1024 x 600的 7 英寸 IPS 显示屏,别看它小,它还能以1,000 fps 的速度来玩 Minecraft。 DIY 发烧友Michael Pick 将自己的制作全过程剪辑上传至了 YouTube 频道。他从 3D 打印外壳开始,然后将Raspberry Pi 调整至合适的尺寸以装入外壳。为此,他切割掉Raspberry Pi 顶部的以太网端口和两个 USB 端口,以确保完美适配。 Pick 将无线加密狗插入剩余的 USB 端口之一,用来连接无线键盘和鼠标。另有一条扁平式电缆,用于将显示器连接到 Raspberry Pi,通过屏幕下方的 USB-C 扩展电缆供电。最终成型的 “iMac” 还包含1 个 USB 2.0 和 1 个 USB 3.0,没有以太网,不过可以靠蓝牙和 WiFi 来使计算机正常工作。 由于尺寸较小,散热显得尤为重要。Pick 在 CPU 上安装了一个散热片,机箱中也装有一个微型风扇...

相关文章

发表评论

资源下载

更多资源
优质分享App

优质分享App

近一个月的开发和优化,本站点的第一个app全新上线。该app采用极致压缩,本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

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应用均可从中受益。

用户登录
用户注册