News Feed
Sections




News Archive
Looking for more information on how to do PHP the right way? Check out PHP: The Right Way

Etienne Kneuss' Blog:
Dataflow Type Analysis for PHP
January 14, 2010 @ 11:32:55

Etienne Kneuss has posted about a dataflow type analysis tools he's created that models code as control flow graphs.

It will assign types and let them flow through control structures. When reaching stability, it will check that the operations done of the values are sound type-wise. It will also do some structural checks.

There's some more technical details here and a presentation here but if you want to get at the code, you can grab it off of the project's github page.

0 comments voice your opinion now!
dataflow type analysis controlflow graph


blog comments powered by Disqus

Similar Posts

Anthony Ferrara's Blog: PHP's Source Code For PHP Developers - Part 3 - Variables

Blue Parabola Blog: Magento Feature Analysis Series, Part 8: Payment Offering

DZone.com: PHP UML generation from a live object graph

PHPHacks.com: Creating charts with JGraph

PHP-GTK Community Site: The results of the 2007 IDE poll are in!


Community Events





Don't see your event here?
Let us know!


language podcast symfony api unittest threedevsandamaybe list release wordpress introduction interview framework library developer community code application install series configure

All content copyright, 2014 PHPDeveloper.org :: info@phpdeveloper.org - Powered by the Solar PHP Framework