Etienne Kneuss

Insane

I'm currently working on a scala compiler plugin that performs interprocedural, compositional effect and pointer analysis on arbitrary scala programs!

Feel free to check out Insane on github!

Phantm

In short, Phantm is a type checker for PHP applications, but it does also much more!

PHP

I sporadically contributes to the core of PHP for quite a while now, see my patch repository.

Back to list

Dataflow Type Analysis for PHP

Wed, 13 January 2010

I've spent some time lately working on a project involving data-flow analysis for PHP.

This analyzer will basically model your code as control flow graphs, in which 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.

You can find a presentation I gave recently about it: presentation12.01.10.pdf This project is in an early stage, a prototype, but still gives some results!

You will find the github project page here: http://github.com/colder/phantm

ps: I just missed the 1 year "no-news anniversary", damn!