新产品

作者:James Gray
AdaCore 的 CodePeer

使用 AdaCore 的新产品 CodePeer,让您的 Ada 代码不负该语言的优雅之名。CodePeer 是一款源代码分析工具,可检测 Ada 程序中的运行时和逻辑错误。作为代码审查工具,CodePeer 可以识别可能导致运行时错误的结构(如缓冲区溢出),并标记合法但可疑的、典型的逻辑错误代码。此外,AdaCore 表示,其工具“超越了典型静态分析工具的能力”,可对每个子程序进行详细分析,包括前置和后置条件,从而尽早发现潜在的错误和漏洞。CodePeer 既可以在系统开发期间使用,也可以作为系统代码审查过程的一部分使用。最后,它可以作为独立工具使用,也可以完全集成到 GNAT Pro Ada 开发环境中。

www.adacore.com

七大最致命攻击系列 (Syngress)

起初是七兄弟娶七个新娘,现在 Syngress 又为七种安全极客准备了七本科技书籍。该出版商承诺将出版整整七本 七大最致命攻击系列 书籍,每本书都侧重于特定类型的安全漏洞。书名包括:Rob Kraus、Brian Barber、Mike Borkin 和 Naomi Alpern 合著的 七大最致命 Microsoft 攻击;Stacy Prowell、Rob Kraus 和 Mike Borkin 合著的 七大最致命网络攻击;Brian Anderson 和 Barbara Anderson 合著的 七大最致命 USB 攻击;Brad Haines 合著的 七大最致命无线技术攻击;Carl Timm 和 Richard Perez 合著的 七大最致命社交网络攻击;Mike Shema 合著的 七大最致命 Web 应用程序攻击;以及 Dan York 合著的 七大最致命统一通信攻击(即将完成)。每本书都介绍了七种相应攻击的剖析,以及如何摆脱和防御这些攻击。

www.syngress.com

SoleraTec 的 Phoenix RSM

SoleraTec 全新升级的 Phoenix RSM 是一款全面的取证视频监控管理系统,可有效防止盗贼入侵。RSM 代表 Phoenix 的记录、存储和管理功能。其他产品功能包括在视频监控环境中进行搜索;可增量扩展的三介质(硬盘、数字计算机磁带和光盘)在线和离线多层存储;以及无限制的保留和对无限数量的摄像头、服务器和用户的支持。此外,可以使用在 Windows、Linux 和 Mac OS 上运行的客户端工具查看、调查和导出所有连接摄像头的视频。新版本增加的功能包括一步式集中摄像头配置、简化的摄像头策略管理以及对 QuickTime 和 VLC 媒体播放器的支持。

www.SoleraTec.com

Libelium 的 Waspmote

Libelium 的 Waspmote 是一个用于无线传感器网络的模块化平台,其无线电范围高达 40 公里,可在恶劣条件和偏远地区进行环境监测。这些传感器旨在用于火灾和洪水探测以及其他环境监测应用。Waspmote 网络可以通过 GPRS 或在无线连接非常困难的情况下(如矿井)与外部世界通信。每个传感器设备可以在其内部存储器中存储超过 2100 万个不同的传感器测量值。Waspmote 的四种电源模式(开启、睡眠、深度睡眠和休眠)使设备无需充电即可运行长达三年,而小型太阳能电池板可以使其无限期运行。可以集成支持检测气体和物理事件(如压力、冲击、振动、温度等)的专用板。提供开源 API 和编程环境。

www.libelium.com/waspmote

Bart Kummel 的 Apache MyFaces 1.2 Web 应用程序开发 (Packt)

Packt Publishing 的工作人员最近发布了 Bart Kummel 的新书 Apache MyFaces 1.2 Web 应用程序开发,这本书教读者如何使用开源 Apache MyFaces 框架构建吸引人的 Web 界面。Kummel 的书以循序渐进、示例驱动的教程形式编写,讲授了诸如确保代码可重用性、使用 Trinidad 组件构建外观一致且可用的页面、应用 Tomahawk 库中的高级组件、在不编写 JavaScript 代码的情况下启用 AJAX 功能、创建利用 Trinidad 皮肤功能的动态应用程序以及防止验证规则重复等概念。本书还包含许多基于 MyFaces 在实际项目中的经验的技巧和窍门。

www.packtpub.com

Active Media Products 的 600X Pro 系列 CompactFlash 卡

Active Media Products 的技术人员对 CompactFlash 卡在数码摄影应用中的性能不满意,因此他们自己制造了。该公司 600X Pro 系列 CF 卡的写入速度高达每秒 90MB,旨在解除存储卡在 DSLR 以每秒高达 10 帧的速度拍摄动作序列时作为瓶颈的角色。Active Media 还表示,这些卡支持 0–70°C 的工作温度,并且足够坚固可靠,可以带到现场。容量范围从 8GB 到 64GB。

www.activemp.com

Cyberoam iView 设备

Cyberoam iView 是一款开源日志记录和报告解决方案,最近以方便的设备形式上市。该产品满足了 SMB 和分布式企业的日志记录/报告需求,可全面了解分散地理位置的网络活动。Cyberoam 将 iView 设备描述为易于部署和管理的预加载硬件设备,具有 TB 级存储空间、RAID 技术、冗余和高水平的存储可靠性。该设备还使组织能够通过与顶级病毒攻击、垃圾邮件接收者、Web 用户等相关的实时安全和访问报告,全面了解网络活动,从而加强全组织范围的网络安全和数据保密性。它还提供存档功能,以满足取证要求。

www.cyberoam.com

Perforce 的软件配置管理系统

Perforce 在新年伊始就强势出击,宣布推出其软件配置管理 (SCM) 系统的新版本 2009.2。SCM 是一种工具,用于对各种规模的企业进行源代码和数字资产的版本控制和管理。2009.2 最重要的新增功能是搁置——即实时元数据复制和用于离线工作的附加功能。此功能使开发人员能够将修改后的文件缓存在 Perforce 服务器中,而无需先将其作为版本化更改检入。因此,用户可以将待处理的更改传递给经理,作为代码审查或批准工作流程的一部分,与另一个团队成员或工作站共享正在进行的工作,在分布式构建环境中测试更改,并在更高优先级的任务到达时搁置一项工作。

www.perforce.com

请将有关 Linux 相关产品发布的信息发送至 newproducts@linuxjournal.com 或 New Products c/o Linux Journal, PO Box 980985, Houston, TX 77098。提交内容将根据篇幅和内容进行编辑。

加载 Disqus 评论