Results 21 to 30 of about 640,088 (259)
Static Analysis by Abstract Interpretation Collecting Types of Python Programs
, 2018 Software bugs are costly: they can have disastrous consequences on critical systems, but also on more common applications such as Web servers. It is thus interesting to possess tools helping developers detect those bugs before they ship software into ...
Monat, Raphaël
core +3 more sources
More Sound Static Handling of Java Reflection [PDF]
, 2014 Reflection is a highly dynamic language feature that poses grave problems for static analyses. In the Java setting, reflection is ubiquitous in large programs.
George Balatsouras +7 more
core +1 more source
A system for the static analysis of XPath [PDF]
ACM Transactions on Information Systems, 2006 XPath is the standard language for navigating XML documents and returning a set of matching nodes. We present a sound and complete decision procedure for containment of XPath queries, as well as other related XPath decision problems such as satisfiability, equivalence, overlap, and coverage.
Genevès, Pierre, Layaïda, Nabil
openaire +2 more sources
Static and vibration analysis of functionally graded beams using refined shear deformation theory [PDF]
, 2013 Static and vibration analysis of functionally graded beams using refined shear deformation theory is presented. The developed theory, which does not require shear correction factor, accounts for shear deformation effect and coupling coming from the ...
Thai, Huu-Tai +3 more
core +1 more source
Static analysis of functional programs [PDF]
Information and Software Technology, 1995 In this paper, the static analysis of programs in the functional programming language Miranda is described based on two graph models. A new control-flow graph model of Miranda definitions is presented, and a model with four classes of callgraphs. Standard software metrics are applicable to these models. A Miranda front end for Prometrix, a tool for the
van den Berg, Klaas, van den Broek, P.M.
openaire +1 more source
The Julia Static Analyzer for Java [PDF]
, 2016 The Julia static analyzer applies abstract interpretation to the analysis and verification of Java bytecode. It is the result of 13 years of engineering effort based on theoretical research on denotational and constraint-based static analysis through ...
SPOTO, Nicola Fausto, Fausto Spoto
core +1 more source
Dynamic analysis of high static low dynamic stiffness vibration isolation mounts [PDF]
, 2013 The high static low dynamic stiffness (HSLDS) concept is a design strategy for an anti-vibration mount that seeks to increase isolation by lowering the natural frequency of the mount, whilst maintaining the same static load bearing capacity.
Neild, S.A. +5 more
core +1 more source
Investigating Automatic Static Analysis Results to Identify Quality Problems: an Inductive Study [PDF]
, 2012 Background: Automatic static analysis (ASA) tools examine source code to discover "issues", i.e. code patterns that are symptoms of bad programming practices and that can lead to defective behavior.
Nico Zazworka +13 more
core +1 more source
Static Livelock Analysis in CSP [PDF]
, 2011 In a process algebra with hiding and recursion it is possible to create processes which compute internally without ever communicating with their environment. Such processes are said to diverge or livelock. In this paper we show how it is possible to conservatively classify processes as livelock-free through a static analysis of their syntax.
Joël Ouaknine +3 more
openaire +4 more sources
Call Graph Soundness in Android Static Analysis [PDF]
peer reviewedStatic analysis is sound in theory, but an implementation may unsoundly fail to analyze all of a program's code. Any such omission is a serious threat to the validity of the tool's output.
BISSYANDE, Tegawendé François d Assise +4 more
core +1 more source