• 消防员

  • 参考6篇文章[sw10594]
  • FIREMAN:防火墙建模和分析. 安全问题变得越来越重要。。。安全。本文介绍了消防员静止的 分析防火墙建模和分析... 配置作为专业程序,消防员适用静止的 分析检查错误配置的技术,例如策略。。。
  • 萨利纳斯

  • 引用18条[sw12597]
  • 有限元应用静止的动态的分析复杂结构的真实世界系统。。。
  • 卡利斯托

  • 参考7篇文章【sw31588】
  • Calysto:可伸缩和精确扩展静止的检查。自动检测程序中的错误已经。。。分析,以及对大型代码库的可伸缩性。本文介绍了花萼静止的检查器,这。。。与领先者相比,不那么精确,静止的-分析-基于类似属性的工具。用卡利斯托。。。
  • 快速规范

  • 参考7篇文章【sw19206年】
  • 基于测试,而不是静止的 分析或定理证明。QuickSpec面临的主要挑战。。。
  • 基础知识

  • 参考7篇文章[sw09721]
  • 嵌套程序循环。系统合并静止的 分析使用符号求和技术的程序。。。
  • 基林

  • 参考7篇文章【sw20229】
  • 时间。我们展示了静止的 分析围绕隔离类型限定符构建以强制执行这些约束。。。
  • 丁尼奥斯

  • 参考7篇文章[sw02023]
  • 组件包括(i)全功能静止的 分析和仪器库,(ii)基于选择的。。。
  • 海普拉斯

  • 在164篇文章中引用[sw17661]
  • 小应变和大应变有限元分析弹性和非弹性固体。注意力集中。。。它们的计算机实现-静止的有限元格式。讨论的许多技术。。。
  • 顶部。m

  • 参考文献202篇[sw22630]
  • 拓扑优化代码的遵从性最小化静态地荷载结构。Matlab的总数。。。与输出和有限元相关的线分析计算结果表明,只有49个Matlab程序可以实现。。。
  • 依偎

  • 参考6篇文章[sw13707]
  • 一代人。本文讨论了需求驱动的符号分析面向对象程序和框架。很多。。。对任何静止的 分析. 我们提出了一种基于过程间。。。
  • 拉塞克斯

  • 引用16条[sw09941]
  • 描述RacerX,a静止的使用流程间流量敏感的工具分析为了检测两个种族。。。应对分析错误。工具很快,需要。。。RacerX是一个静止的使用流程间流量敏感的工具分析为了检测两个种族。。。
  • 戈安娜

  • 参考6篇文章[sw06980]
  • 用于静止的 分析C/C++源代码。它的架构我们。。。
  • 计算

  • 参考6篇文章[sw13098]
  • 混合自动机的模型检验静止的 分析浮点软件。。。
  • 虔诚的

  • 引用5篇文章[sw25249]
  • 虔诚的:a静止的 分析用于检测web应用程序漏洞的工具。数量和重要性。。。通过静止的源代码分析. 更准确地说,我们使用流敏感的过程间。。。
  • 宜家

  • 引用3篇文章[sw14865]
  • IKOS:一个框架静态 分析基于抽象解释。RTCA标准(DO-178C。。。它描述了开发人员如何使用静止的 分析在认证中。在本文中,我们给出。。。IKOS概述静止的 分析有助于开发静止的分析都是。。。更大级别的静止的 分析开发人员通过分离诸如代码之类的关注点。。。
  • 动态流

  • 引用13篇文章[sw34674]
  • 动态流是一个有限元分析项目静止的以及线性系统的瞬态响应。。。尺寸系统。特别是,它提供了短暂的分析抛物线和双曲初始的能力。。。在解决小问题时遇到的。两者兼而有之静止的瞬态分析,一个隐式-显式预测。。。
  • 泰姬陵

  • 参考6篇文章[sw33114]
  • 流入安全敏感操作。污点分析可以检测Web应用程序中的许多常见漏洞。。。研究界和产业界。然而,大多数静止的污点-分析工具不能解决关键需求。。。设计并实现了静止的污点分析对于满足要求的Java(泰姬陵)。。。
  • 安全代码

  • 引用4篇文章[sw13323]
  • 别名分析对于弱类型语言。静态 分析弱类型语言的程序。。。一个程序,它保证进程间指针具有攻击性分析(或不太精确的),调用图。。。语义学为其他复杂的静止的应用于C程序的分析。。。显示声音分析信息使静止的正在检查消除许多运行时的技术。。。
  • 马克

  • 在38篇文章中引用[sw04228]
  • 要素分析解决方案可以精确模拟您的产品在静止的,动态。。。
  • 猎户座

  • 引用5篇文章[sw09957]
  • 猎户座:用于静止的错误分析C和C++程序。我们描述。。。程序使用静止的代码分析. 我们的目的是探索在。。。