Tools

LEADER 03649cam 2200601Ii 4500

001 ocn919448133;

003 OCoLC;

005 20160202100012.0;

006 m o d ;

007 cr bn|||||||||;

008 150831s2015 ncua ob 000 0 eng d;

035 a| (Sirsi) o919448133;

035 a| (OCoLC)919448133;

049 a| EREE;

090 a| QA76.73.P224;

100 1 a| Tamang, Apil,e| author.?| UNAUTHORIZED;

245 12 a| A constraint-based method for flow-sensitive static type analysis of PHP using the Rascal Meta-Programming Platform /c| by Apil Tamang.;

246 1 i| title from signature pagea| Constraint-based method for flow-sensitive type analysis of PHP using the Rascal Meta-Programming Platform;

264 1 a| [Greenville, N.C.] :b| [East Carolina University],c| 2015.;

300 a| 130 pages :b| illustrations (some color);

336 a| textb| txt2| rdacontent;

337 a| computerb| c2| rdamedia;

338 a| online resourceb| cr2| rdacarrier;

347 a| text fileb| PDFc| 1.24Mb2| rda;

538 a| System requirements: Adobe Reader.;

538 a| Mode of access: World Wide Web.;

502 b| M.S.c| East Carolina Universityd| 2015.;

500 a| Presented to the faculty of the Department of Computer Science.;

500 a| Advisor: Mark Hills.;

500 a| Title from PDF t.p. (viewed October 1, 2015).;

520 3 a| PHP is a dynamically typed language, and is very popular among developers for building websites. The dynamic features of PHP allow for many kinds of type related errors to be made by developers. Since PHP does not feature a static type checker, these errors cannot be detected until runtime. When such an error is encountered, it often results in the application to crash, thus possibly loosing valuable computational time and effort. Worse yet, the PHP compiler may use type coercion to convert an incompatible data to the required type, and in doing so, introduce an extremely hard-to- trace application bug. In this research, we address this problem by building a type-checker that performs a flow-sensitive type-inference of PHP expressions. The analysis is based on a constraints-based algorithm, and utilizes the program control flow-graph for visiting all reachable nodes in the application. The type-checker uses the inferred types for performing many type-related analyses. Results of the analyses are displayed to the developers for locating any constructs that may result in a possible application failure. By continually using this feedback, the tool aims to help PHP developers build more robust PHP applications.;

504 a| Includes bibliographical references.;

650 0 a| PHP (Computer program language)=| ^A519284;

650 0 a| Web site development.=| ^A438160;

650 0 a| Debugging in computer sciencex| Computer programs.=| ^A430025;

650 0 a| Programming languages (Electronic computers)=| ^A22846;

653 a| Computer engineering;

653 a| Computer science;

653 a| Analysis;

653 a| Flow-sensitive;

653 a| Rascal;

653 a| Static;

653 a| Type;

700 1 a| Hills, Mark,e| degree supervisor.?| UNAUTHORIZED;

710 2 a| East Carolina University.b| Department of Computer Science.?| UNAUTHORIZED;

856 40 z| Access via ScholarShipu| http://hdl.handle.net/10342/5037;

949 o| jgml;

994 a| C0b| ERE;

596 a| 1 4;

998 a| 3808179;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3808179-1001l| JNETm| JOYNERr| Ys| Yt| JNE3ETDu| 8/31/2015x| ETDz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3808179-2001l| HSLELECm| HSLr| Ys| Yt| HEETDu| 8/31/2015x| ETDz| HERESOURCE;

A constraint-based method for flow-sensitive static type analysis of PHP using the Rascal Meta-Programming Platform / by Apil Tamang.

Author/creator	Tamang, Apil author.
Other author	Hills, Mark, degree supervisor.
Other author	East Carolina University. Department of Computer Science.
Format	Theses and dissertations
Publication	[Greenville, N.C.] : [East Carolina University], 2015.
Description	130 pages : illustrations (some color)
Supplemental Content	Access via ScholarShip
Subjects	PHP (Computer program language) Web site development. Debugging in computer science--Computer programs. Programming languages (Electronic computers)

Variant title	title from signature page Constraint-based method for flow-sensitive type analysis of PHP using the Rascal Meta-Programming Platform
Summary	PHP is a dynamically typed language, and is very popular among developers for building websites. The dynamic features of PHP allow for many kinds of type related errors to be made by developers. Since PHP does not feature a static type checker, these errors cannot be detected until runtime. When such an error is encountered, it often results in the application to crash, thus possibly loosing valuable computational time and effort. Worse yet, the PHP compiler may use type coercion to convert an incompatible data to the required type, and in doing so, introduce an extremely hard-to- trace application bug. In this research, we address this problem by building a type-checker that performs a flow-sensitive type-inference of PHP expressions. The analysis is based on a constraints-based algorithm, and utilizes the program control flow-graph for visiting all reachable nodes in the application. The type-checker uses the inferred types for performing many type-related analyses. Results of the analyses are displayed to the developers for locating any constructs that may result in a possible application failure. By continually using this feedback, the tool aims to help PHP developers build more robust PHP applications.
General note	Presented to the faculty of the Department of Computer Science.
General note	Advisor: Mark Hills.
General note	Title from PDF t.p. (viewed October 1, 2015).
Dissertation note	M.S. East Carolina University 2015.
Bibliography note	Includes bibliographical references.
Technical details	System requirements: Adobe Reader.
Technical details	Mode of access: World Wide Web.

A constraint-based method for flow-sensitive static type analysis of PHP using the Rascal Meta-Programming Platform / by Apil Tamang.

Click here for more information about this title