1629 search results - page 167 / 326 » Infeasible Code Detection |
73
Voted
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Improperly validated user input is the underlying root cause for a wide variety of attacks on web-based applications. Static approaches for detecting this problem help at the time...
90
Voted
ACIVS
2005
Springer
15 years 3 months ago
2005
Springer
Motion-compensated temporal filtering (MCTF) is a powerful technique entering scalable video coding schemes. Its performance decreases significantly however if the the video sig...
82
Voted
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
90
Voted
ERLANG
2004
ACM
15 years 3 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
82
Voted
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...