2673 search results - page 50 / 535 » Guided Static Analysis |
ICDE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Database developers today use data access APIs such as ADO.NET to execute SQL queries from their application. These applications often have security problems such as SQL injecti...
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
104
click to vote
ICS
1993
Tsinghua U.
15 years 4 months ago
1993
Tsinghua U.
—Data dependence analysis techniques are the main component of today’s strategies for automatic detection of parallelism. Parallelism detection strategies are being incorporate...
84
Voted
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
108
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...