
ESC/Java
 Referenced in 137 articles
[sw07217]
 errors in JMLannotated 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 quasistatic finite element scheme. Many of the techniques discussed ... text are incorporated in the FORTRAN program, named HYPLAS, which accompanies this book...

ProgramConflictAnalysis
 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 sourcecode 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 staticanalysis 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 highprecision feasibility analysis aimed at filtering out as many false...

AMNESIA
 Referenced in 11 articles
[sw12039]
 AMNESIA: analysis and monitoring for NEutralizing SQLinjection 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 staticallybuilt 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...

Z3str
 Referenced in 9 articles
[sw19493]
 based string solver for web application analysis. Analyzing web applications requires reasoning about strings ... Existing string solvers either ignore nonstring 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 runtime...

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