2011-02-02 (水)
*PHPの静的解析
仕事の合間に(？)rubyでPHPのパーサー書いて簡単な型チェックをするプログラム書いたりした．
真面目な型推論とかは面倒だし良くわからないので，PHPDocのコメントと代入と関数の引数と戻り値だけ処理して型を予測してみる．
試しに20万行くらいのPHPのコードを入れてみると，それなりにいろいろ出てきた．
正直，引数が多すぎるときとか警告出ない方がおかしいと思うのだけど，PHP様は謙虚なので何も言ってくれない．
PHPの静的解析 - 日記
この日記はフィクションです．登場する人名・団体名・地名・職業などはぜんぶ架空のものです． なので実際のものとは何も関係がありません． それから，写真のように見える画像はＣＧもしくは念写によるものです．