494 search results - page 29 / 99 » Static Analysis for Guarded Code |
111
click to vote
ICSM
2002
IEEE
15 years 7 months ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
152
click to vote
ACSD
2001
IEEE
15 years 6 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
146
click to vote
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
128
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
133
click to vote
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...