php type-inference(repost)

The attached script "Checks if PHP code uses only initialized variables". I need it enhanced to also perform Type Inference and strong type checking. So it should check not only if the variables are initialized, but also if they are not being reassigned from integer to string, string to boolean, etc... For instance: $x = ''; // declares $x as a string $i = 10; // declares $i as an integer $f = 10.0; // declares $f as a double $r = mysql_connect(...); // declares $r as a resource $x = preg_match('/test/', $foo); // error: cannot assign bool return value to string $x $i = $f; // error: cannot assign double to int without explicit cast In addition to the attached, feel free to borrow code also from [url removed, login to view] and from [url removed, login to view] (from other sources may be ok too but only if you ask me first).

## Deliverables

1) Complete and fully-functional working program(s) in executable form as well as complete source code of all work done.

2) Deliverables must be in ready-to-run condition, as follows? (depending on the nature? of the deliverables):

a)? For web sites or? other server-side deliverables intended to only ever exist in one place in the Buyer's environment--Deliverables must be installed by the Seller in ready-to-run condition in the Buyer's environment.

b) For all others including desktop software or software the buyer intends to distribute: A software? installation package that will install the software in ready-to-run condition on the platform(s) specified in this bid request.

3) All deliverables will be considered "work made for hire" under U.S. Copyright law. Buyer will receive exclusive and complete copyrights to all work purchased. (No GPL, GNU, 3rd party components, etc. unless all copyright ramifications are explained AND AGREED TO by the buyer on the site per the coder's Seller Legal Agreement).

## Platform

Platform is standard PHP5.x

PHP

Projektin tunnus: #2902748

Tietoa projektista