• ESC/Java

  • Referenced in 131 articles [sw07217]
  • annotated Java programs by static analysis of the program code and its formal annotations. Users...
  • Apron

  • Referenced in 51 articles [sw00045]
  • library of numerical abstract domains for static analysis. This article describes Apron, a freely available ... library dedicated to the static analysis of the numerical variables of programs by abstract interpretation...
  • Mercury

  • Referenced in 64 articles [sw08333]
  • expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized...
  • Octagon

  • Referenced in 61 articles [sw13702]
  • faces). This library is targeted at static analysis by abstract interpretation (look for a short...
  • Sat4j

  • Referenced in 60 articles [sw07283]
  • guidelines and code conventions (checked using static analysis of the source code). The library...
  • Nike2D

  • Referenced in 59 articles [sw12115]
  • unaxial tension specimen, a static analysis of an O-ring, and a cylindrical bar impacting...
  • Hets

  • Referenced in 53 articles [sw07017]
  • Tool Set. Hets is a parsing, static analysis and proof management tool incorporating various provers...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • dedicated tools, we focused on static analysis (such as slicing and abstraction) which are mandatory ... context: par -- the static nature of the intermediate representation prevents the analysis of dynamic systems...
  • Mfree2D

  • Referenced in 238 articles [sw15725]
  • strain analysis in solid mechanics and structural mechanics subjected to static and/or dynamic loadings with...
  • ABAQUS/Standard

  • Referenced in 154 articles [sw07161]
  • Abaqus/Standard employs solution technology ideal for static and low-speed dynamic events where highly accurate ... performing a nonlinear engine cover mounting analysis including sophisticated gasket mechanics. Following the mounting analysis ... analysis that are well-suited to an implicit solution technique, such as static, low-speed ... applied to those portions of the analysis where high-speed, nonlinear, transient response dominates...
  • BIOCHAM

  • Referenced in 38 articles [sw09927]
  • biology, with some unique features for static analysis or for inferring unknown model parameters from...
  • TVLA

  • Referenced in 31 articles [sw09878]
  • YACC”-like framework for automatically constructing static-analysis algorithms from an operational semantics, where...
  • Frama-C

  • Referenced in 28 articles [sw04626]
  • Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach ... Frama-C allows static analyzers to build upon the results already computed by other analyzers ... tools, such as a slicer and dependency analysis...
  • COMET

  • Referenced in 18 articles [sw07813]
  • useful to solve either quasi-static analysis or dynamic problems in both small and large...
  • YOGI

  • Referenced in 12 articles [sw13094]
  • Yogi Project: Software Property Checking via Static Analysis and Testing. We present Yogi, a tool ... properties of C programs by combining static analysis and testing. Yogi implements the Dash algorithm ... that it plugs into Microsoft’s Static Driver Verifier framework. We have used this framework...
  • ABAQUS/Explicit

  • Referenced in 71 articles [sw07160]
  • Abaqus/Explicit is a finite element analysis product that is particularly well-suited to simulate brief ... attractive for the simulation of many quasi-static events, such as rolling of hot metal ... conditions for continuation in Abaqus/Standard. Similarly, an analysis that starts in Abaqus/Standard can be continued ... analysis that are well-suited to an implicit solution technique, such as static, low-speed...
  • PathCrawler

  • Referenced in 9 articles [sw07253]
  • Path Tests by Combining Static and Dynamic Analysis We present the PathCrawler prototype tool ... from the approximations and complexity of static analysis, nor from the number of executions demanded...
  • Verasco

  • Referenced in 9 articles [sw19985]
  • novelty of Verasco, compared with other static analysis tools, is that it is entirely specified...
  • FIREMAN

  • Referenced in 6 articles [sw10594]
  • FIREMAN: A toolkit for firewall modeling and analysis. Security concerns are becoming increasingly critical ... security. This paper introduces FIREMAN, a static analysis toolkit for firewall modeling and analysis ... configurations as specialized programs, FIREMAN applies static analysis techniques to check misconfigurations, such as policy...
  • GKLEE

  • Referenced in 8 articles [sw12794]
  • exploration. Existing tools based on conservative static analysis or conservative modeling of SIMD concurrency generate...