• ESC/Java

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

• Apron

• Referenced in 69 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...

• Sat4j

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

• Mercury

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

• Nike2D

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

• Hets

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

• Octagon

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

• Mfree2D

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

• ABAQUS/Standard

• Referenced in 210 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...

• Frama-C

• Referenced in 47 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...

• 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...

• BIOCHAM

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

• TVLA

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

• COMET

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

• FLagSHyP

• Referenced in 23 articles [sw16022]
• Nonlinear solid mechanics for finite element analysis: statics. Designing engineering components that make optimal...

• YOGI

• Referenced in 14 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 79 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...

• Verasco

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

• PathCrawler

• Referenced in 10 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...

• GKLEE

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