From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <stephleg@free.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 4DFD87EE4B
	for <caml-list@sympa.inria.fr>; Wed, 16 Oct 2013 19:14:34 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  stephleg@free.fr) identity=pra; client-ip=93.17.128.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="stephleg@free.fr";
  x-sender="stephleg@free.fr"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  stephleg@free.fr) identity=mailfrom; client-ip=93.17.128.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="stephleg@free.fr";
  x-sender="stephleg@free.fr"; x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp21.services.sfr.fr) identity=helo;
  client-ip=93.17.128.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="stephleg@free.fr";
  x-sender="postmaster@smtp21.services.sfr.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvMBADrIXlJdEYADnGdsb2JhbABagz+De75cCoEeFg4BAQEBAQYWCTyCJQEBBSMPAQVRCxgCAgUTDgICDwJGEwgBAYdvARatAIgNCYo1BIEpi1OBC4FRFoJUgTsDkVyGKJUo
X-IPAS-Result: AvMBADrIXlJdEYADnGdsb2JhbABagz+De75cCoEeFg4BAQEBAQYWCTyCJQEBBSMPAQVRCxgCAgUTDgICDwJGEwgBAYdvARatAIgNCYo1BIEpi1OBC4FRFoJUgTsDkVyGKJUo
X-IronPort-AV: E=Sophos;i="4.93,508,1378850400"; 
   d="scan'208";a="30609487"
Received: from smtp21.services.sfr.fr ([93.17.128.3])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Oct 2013 19:14:33 +0200
Received: from filter.sfr.fr (localhost [127.0.0.1])
	by msfrf2121.sfr.fr (SMTP Server) with ESMTP id BB02E7000226
	for <caml-list@inria.fr>; Wed, 16 Oct 2013 19:14:33 +0200 (CEST)
Received: from sequoia.mondomaineamoi.megalo (215.217.97.84.rev.sfr.net [84.97.217.215])
	by msfrf2121.sfr.fr (SMTP Server) with ESMTP id A132C70000E7
	for <caml-list@inria.fr>; Wed, 16 Oct 2013 19:14:33 +0200 (CEST)
X-SFR-UUID: 20131016171433660.A132C70000E7@msfrf2121.sfr.fr
Message-ID: <525EC979.60406@free.fr>
Date: Wed, 16 Oct 2013 19:14:33 +0200
From: Stephane Legrand <stephleg@free.fr>
User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:24.0) Gecko/20100101
	Thunderbird/24.0
MIME-Version: 1.0
To: caml-list@inria.fr
References: <525EBFBB.20706@eisenbits.com>
In-Reply-To: <525EBFBB.20706@eisenbits.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] phphard

On 16.10.2013 18:32, Stanisław Findeisen wrote:
> Hi OCaml fellows
>
> I would like to draw your attention to phphard project, which is a PHP
> source code static analyzer. Its aim is to strong type PHP programs and
> detect as many bugs at compile time as possible.
> ...

Hello,

Did you take a look at Pfff? : https://github.com/facebook/pfff


Regards,
Stéphane.