BibSLEIGH — php tag

PHP

PHP

Tag #php

41 papers:

PLDI-2018-Ottoni #compilation #jit: HHVM JIT: a profile-guided, region-based compiler for PHP and Hack (GO), pp. 151–165.
ICSA-2017-SantosPMGVS #architecture #comprehension #empirical #security: Understanding Software Vulnerabilities Related to Architectural Security Tactics: An Empirical Investigation of Chromium, PHP and Thunderbird (JCSS, AP, MM, MG, JVV, AS), pp. 69–78.
SANER-2017-AndersonH #query: Query Construction Patterns in PHP (DA, MH0), pp. 452–456.
SCAM-2017-Anderson0 #analysis #query #sql: Supporting Analysis of SQL Queries in PHP AiR (DA, MH0), pp. 153–158.
SCAM-2017-NashaatAM #detection #object-oriented #security #source code: Detecting Security Vulnerabilities in Object-Oriented PHP Programs (MN, KA0, JM0), pp. 159–164.
ICSE-2017-HawkinsD #detection #named: ZenIDS: introspective intrusion detection for PHP applications (BH, BD), pp. 232–243.
CC-2017-PopovCJS #optimisation: Static optimization in PHP 7 (NP, BC, BHHJ, DS), pp. 65–75.
ICST-2016-StivaletF #generative #scalability #testing: Large Scale Generation of Complex and Faulty PHP Test Cases (BS, EF), pp. 409–415.
SANER-2015-EshkevariSCA #question: Are PHP applications ready for Hack? (LME, FDS, JRC, GA), pp. 63–72.
ECOOP-2015-HauzarK #framework #static analysis: Framework for Static Analysis of PHP Applications (DH, JK), pp. 689–711.
PEPM-2015-HoekH #analysis: Object-sensitive Type Analysis of PHP (HEVdH, JH), pp. 9–20.
ASE-2015-Hills: Variable Feature Usage Patterns in PHP (T) (MH0), pp. 563–573.
ICSE-v2-2015-NguyenKN #embedded #ide #named #web: Varis: IDE Support for Embedded Client Code in PHP Web Applications (HVN, CK, TNN), pp. 693–696.
ISSTA-2015-DahseH #case study #empirical #experience #security: Experience report: an empirical study of PHP security mechanism usage (JD, TH), pp. 60–70.
CSMR-WCRE-2014-HillSK #rascal: PHP AiR: Analyzing PHP systems with Rascal (MH, PK), pp. 454–457.
ICPC-2014-EshkevariACP #identification: Identifying and locating interference issues in PHP applications: the case of WordPress (LME, GA, JRC, MDP), pp. 157–167.
ICSME-2014-KyriakakisC #maintenance #scalability #web: Maintenance Patterns of Large-Scale PHP Web Applications (PK, AC), pp. 381–390.
SEFM-2014-HauzarK #named #verification #web: WeVerca: Web Applications Verification for PHP (DH, JK), pp. 296–301.
ECOOP-2014-FilarettiM #execution #semantics: An Executable Formal Semantics of PHP (DF, SM), pp. 567–592.
ASE-2014-HillsKV #lightweight: Static, lightweight includes resolution for PHP (MH, PK, JJV), pp. 503–514.
ICSE-2013-GauthierM #case study #data access #fault #modelling #semantics #smell: Semantic smells and errors in access control models: a case study in PHP (FG, EM), pp. 1169–1172.
ISSTA-2013-HillsKV #empirical #perspective #static analysis: An empirical study of PHP feature usage: a static analysis perspective (MH, PK, JJV), pp. 325–335.
ICSM-2012-BoomsmaHG #industrial #lessons learnt #web: Dead code elimination for web systems written in PHP: Lessons learned from an industry case (HB, BVH, HGG), pp. 511–515.
SCAM-2012-GauthierM #alias: Alias-Aware Propagation of Simple Pattern-Based Properties in PHP Applications (FG, EM), pp. 44–53.
WCRE-2012-GauthierM #data access #detection #performance: Fast Detection of Access Control Vulnerabilities in PHP Applications (FG, EM), pp. 247–256.
OOPSLA-2012-ZhaoPYQWGOPMET #compilation: The HipHop compiler for PHP (HZ, IP, MY, XQ, MW, QG, GO, AP, SM, JE, ST), pp. 575–586.
ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #string #theorem proving #using: Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
ICST-2012-EnderlinDGB #grammarware #testing #using: Grammar-Based Testing Using Realistic Domains in PHP (IE, FD, AG, FB), pp. 509–518.
ICST-2012-MarbackDE #approach #effectiveness #testing #web: An Effective Regression Testing Approach for PHP Web Applications (AM, HD, NE), pp. 221–230.
ASE-2011-NguyenNNN #fault #html #validation: Auto-locating and fix-propagating for HTML validation errors to PHP server-side code (HVN, HAN, TTN, TNN), pp. 13–22.
ICST-2011-LetarteGM #evolution #security #web: Security Model Evolution of PHP Web Applications (DL, FG, EM), pp. 289–298.
ICTSS-2011-EnderlinDGO #contract #named #specification #testing: Praspel: A Specification Language for Contract-Based Testing in PHP (IE, FD, AG, ABO), pp. 64–79.
FSE-2010-KneussSK #named: Phantm: PHP analyzer for type mismatch (EK, PS, VK), pp. 373–374.
TACAS-2010-YuAB #analysis #named #string: Stranger: An Automata-Based String Analysis Tool for PHP (FY, MA, TB), pp. 154–157.
WCRE-1999-LetarteM99a #interprocedural #modelling: Extraction of Inter-procedural Simple Role Privilege Models from PHP Code (DL, EM), pp. 187–191.
POPL-2009-TozawaTOM: Copy-on-write in the PHP language (AT, MT, TO, YM), pp. 200–212.
ASE-2009-HokamuraNSUNI #aspect-oriented #framework #named: AOWP: Web-Specific AOP Framework for PHP (KH, RN, MS, NU, SN, AI), pp. 683–685.
CSMR-2007-MerloLA #automation #injection: Automated Protection of PHP Applications Against SQL-injection Attacks (EM, DL, GA), pp. 191–202.
SIGMOD-2006-Gutmans #named #paradigm #web: PHP: supporting the new paradigm of situational and composite web applications (AG), p. 707.
VLDB-2006-ShegalovW #named: EOS2: Unstoppable Stateful PHP (GS, GW), pp. 1223–1226.
WCRE-2006-MerloLA #analysis #injection #sql: Insider and Ousider Threat-Sensitive SQL Injection Vulnerability Analysis in PHP (EM, DL, GA), pp. 147–156.