• ESC/Java

  • Referenced in 137 articles [sw07217]
  • errors in JML-annotated Java programs by static analysis of the program code...
  • Mercury

  • Referenced in 69 articles [sw08333]
  • clarity and expressiveness of declarative programming with advanced static analysis and error detection features ... efficiency far in excess of existing logic programming systems, and close to conventional programming systems...
  • Apron

  • Referenced in 71 articles [sw00045]
  • dedicated to the static analysis of the numerical variables of programs by abstract interpretation...
  • top.m

  • Referenced in 244 articles [sw22630]
  • topology optimization code for compliance minimization of statically loaded structures. The total number of Matlab ... divided into 36 lines for the main program, 12 lines for the Optimality Criteria based ... lines associated with output and finite element analysis, it is shown that only 49 Matlab...
  • YOGI

  • Referenced in 14 articles [sw13094]
  • that checks properties of C programs by combining static analysis and testing. Yogi implements...
  • HYPLAS

  • Referenced in 201 articles [sw17661]
  • small and large strain finite element analysis of elastic and inelastic solids. Attention is focused ... their computer implementation within a quasi-static finite element scheme. Many of the techniques discussed ... text are incorporated in the FORTRAN program, named HYPLAS, which accompanies this book...
  • Program-Conflict-Analysis

  • Referenced in 5 articles [sw32219]
  • Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors. In this work ... soundness and precision of a static program analysis that detects conflicts (e. g. data races ... Isabelle theorem prover. As common in static program analysis, our program model abstracts guarded branching...
  • Dynaflow

  • Referenced in 13 articles [sw34674]
  • Dynaflow™ is a finite element analysis program for the static and transient response of linear ... dimensional systems. In particular, it offers transient analysis capabilities for both parabolic and hyperbolic initial...
  • ABC

  • Referenced in 7 articles [sw09721]
  • program loops. The system combines static analysis of programs with symbolic summation techniques to derive...
  • FIREMAN

  • Referenced in 7 articles [sw10594]
  • static analysis toolkit for firewall modeling and analysis. By treating firewall configurations as specialized programs...
  • DART

  • Referenced in 76 articles [sw07260]
  • program with its external environment using static source-code parsing; (2) automatic generation ... general environment the program can operate in; and (3) dynamic analysis of how the program...
  • TVLA

  • Referenced in 34 articles [sw09878]
  • YACC”-like framework for automatically constructing static-analysis algorithms from an operational semantics, where ... successfully used to perform shape analysis on programs manipulating linked data structures (singly and doubly...
  • Orion

  • Referenced in 5 articles [sw09957]
  • precision methods for static error analysis of C and C++ programs. We describe the algorithmic ... errors in C and C++ programs using static code analysis. We aim to explore ... cost and the precision of such analyses. Analysis methods that use simple dataflow domains ... then scrutinized by a high-precision feasibility analysis aimed at filtering out as many false...
  • AMNESIA

  • Referenced in 11 articles [sw12039]
  • AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks. The use of web applications ... database. In its static part, the technique uses program analysis to automatically build a model ... generated queries and check them against the statically-built model. We developed a tool, AMNESIA...
  • Cascade

  • Referenced in 3 articles [sw34344]
  • Cascade is a program static analysis tool developed at New York University. Cascade takes...
  • Z3-str

  • Referenced in 9 articles [sw19493]
  • based string solver for web application analysis. Analyzing web applications requires reasoning about strings ... Existing string solvers either ignore non-string program behavior or support limited set of string ... features that enable whole program symbolic, static and dynamic analysis, but also it performs better...
  • NONSAP

  • Referenced in 10 articles [sw08699]
  • analysis program. The current version of the computer program NONSAP for linear and nonlinear, static ... element library, the logical construction of the program and storage allocations are discussed. The solutions...
  • FLagSHyP

  • Referenced in 23 articles [sw16022]
  • Nonlinear solid mechanics for finite element analysis: statics. Designing engineering components that make optimal ... materials requires consideration of the nonlinear static and dynamic characteristics associated with both manufacturing ... complete, clear, and unified treatment of the static aspects of nonlinear solid mechanics. Alongside ... worked examples and exercises are user instructions, program descriptions, and examples for the FLagSHyP MATLAB...
  • SAFECode

  • Referenced in 4 articles [sw13323]
  • Analysis for Weakly Typed Languages. Static analysis of programs in weakly typed languages such ... standard C programs that guarantees that aggressive interprocedural pointer analysis (or less precise ones ... other sophisticated static analyses to be applied to C programs with a guarantee of soundness ... show that the sound analysis information enables static checking techniques that eliminate many run-time...
  • Vandal

  • Referenced in 2 articles [sw37685]
  • Vandal is a static program analysis framework for Ethereum smart contract bytecode, developed...