Sciweavers

27 search results - page 1 / 6
» Copy-on-write in the PHP language
Sort
View
SIGSOFT
2010
ACM
13 years 2 months ago
Phantm: PHP analyzer for type mismatch
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...
Etienne Kneuss, Philippe Suter, Viktor Kuncak
POPL
2009
ACM
14 years 5 months ago
Copy-on-write in the PHP language
PHP is a popular language for server-side applications. In PHP, assignment to variables copies the assigned values, according to its so-called copy-on-assignment semantics. In con...
Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera...
VEE
2010
ACM
192views Virtualization» more  VEE 2010»
13 years 5 months ago
Evaluation of a just-in-time compiler retrofitted for PHP
Programmers who develop Web applications often use dynamic scripting languages such as Perl, PHP, Python, and Ruby. For general purpose scripting language usage, interpreter-based...
Michiaki Tatsubori, Akihiko Tozawa, Toyotaro Suzum...
RV
2010
Springer
177views Hardware» more  RV 2010»
13 years 3 months ago
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
Etienne Kneuss, Philippe Suter, Viktor Kuncak
TSE
2010
161views more  TSE 2010»
13 years 3 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...