NORTHPORT和纽约,纽约——6月26日,2019年代码Dx公司。一个获奖应用安全管理解决方案的提供者,自动化和加速发现,优先级,和风险管理软件的漏洞,今天宣布它的伙伴关系AdaCore,一个值得信赖的软件开发和验证工具的供应商Ada, C和c++编程语言。
通过这次合作,代码Dx企业现在支持AdaCoreCodePeer先进的静态分析工具,自动Ada代码审查和验证器。这个解决方案为开发人员提供了一个中央位置的视图多个应用程序安全性测试的结果(AST)工具和允许他们容易优先修复漏洞。开发人员可以从AdaCore CodePeer成代码自动拉结果Dx企业,没有下载,然后每次上传扫描结果。用户只需打开代码Dx企业和最新成果。
“AdaCore在航天和国防颇受尊敬,铁路、空间、汽车和其他行业复杂的需求高度集成开发软件,”说安妮塔D中保,博士,代码Dx,公司的首席执行官。”与我们的背景,国土安全部与其他政府机构和我们的工作,我们有非常相似的任务,使开发的软件是安全的,安全的,可靠的。”
代码Dx企业支持和集成了超过70个商业AST工具和技术,包括静态的,动态的,互动的工具;第三方组件分析程序;和手动审查,提供全面软件应用程序漏洞关联和管理。
“通过代码Dx企业,我们CodePeer用户有一个中心位置存储结果和仪表板可视化关键指标,”杰米·艾尔说,商业AdaCore主管。“此外,该工具使我们的用户更容易合作测试和修复过程,随着时间的推移和跟踪结果。为CodePeer开发多语言软件的用户在同一个应用程序中,代码Dx的企业提供了一个单一的存储库来管理所有AST活动。”
关于AdaCore
成立于1994年,AdaCore供应为关键任务软件开发和验证工具,安全至上,强调安全的系统。四个旗舰产品突出公司的产品:
- 的小昆虫专业开发环境中,一个完整的工具集设计、实施和管理的应用程序需求高可靠性和可维护性。蚊Pro是用于Ada和C和c++。
- 的CWE-CompatibleCodePeer先进的静态分析工具,自动Ada代码审查和验证器可以检测和消除错误都在开发和回顾现有的软件。CodePeer可以检测一些“最危险的软件错误”斜方公司的共同弱点枚举(CWE)。
- 的CWE-Compatible引发职业验证环境,基于正式的工具集方法和面向高保障系统。
- 的QGen基于模型的开发工具套件的高安全性的控制系统时,提供一个可修饰的和可定制的代码生成器和静态校验安全模型的子集®和Stateflow®模型和模型级调试器。
多年来客户使用AdaCore产品领域和维护各种关键应用在商业和军事等领域的航空电子设备、汽车、铁路、空间、防御系统、空中交通管理/控制、医疗设备和金融服务。AdaCore全世界有一个广泛的和不断增长的客户群;看到www.adacore.com/industries为进一步的信息。
AdaCore产品开源和与专家在线支持由开发人员自己提供。公司拥有北美总部在纽约和欧洲总部在巴黎。www.adacore.com/
关于代码Dx
代码Dx, inc .)提供了一个获奖的应用程序安全管理解决方案,自动化和加速发现、优先级和风险管理软件的漏洞。代码Dx企业解决方案协调应用程序安全性测试(AST)工具,合并成一个单一的结果视图快速便捷的优先级和修复,并提供报告和AppSec指标跟踪AppSec团队的流程和进度。核心技术部分由国土安全部科学与技术(DHS科技)来帮助软件供应链安全的国家。有关更多信息,请联系代码(631)759 - 3993或DxInfo@CodeDx.com。
