From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 92F247EE4B for ; Wed, 16 Oct 2013 18:25:22 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of stf@eisenbits.com) identity=pra; client-ip=95.160.34.75; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stf@eisenbits.com"; x-sender="stf@eisenbits.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of stf@eisenbits.com) identity=mailfrom; client-ip=95.160.34.75; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stf@eisenbits.com"; x-sender="stf@eisenbits.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@k8ux.eisenbits.homelinux.net) identity=helo; client-ip=95.160.34.75; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="stf@eisenbits.com"; x-sender="postmaster@k8ux.eisenbits.homelinux.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtYZAIS8XlJfoCJL/2dsb2JhbABaFoMpDgODaqoEP4gKjCCBLXSCT1EnGiECEQJAGQgCF4dvCJ1hjwaST44HgWcYgjyBOwOQKoEwAodXhQmLSoMmOg X-IPAS-Result: AtYZAIS8XlJfoCJL/2dsb2JhbABaFoMpDgODaqoEP4gKjCCBLXSCT1EnGiECEQJAGQgCF4dvCJ1hjwaST44HgWcYgjyBOwOQKoEwAodXhQmLSoMmOg X-IronPort-AV: E=Sophos;i="4.93,508,1378850400"; d="asc'?scan'208";a="30604450" Received: from 095160034075.warszawa.vectranet.pl (HELO k8ux.eisenbits.homelinux.net) ([95.160.34.75]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 16 Oct 2013 18:25:21 +0200 Received: from [127.0.0.1] (localhost [127.0.0.1]) by k8ux.eisenbits.homelinux.net (Postfix) with ESMTP id 9B4821F2379 for ; Wed, 16 Oct 2013 18:33:50 +0200 (CEST) Message-ID: <525EBFBB.20706@eisenbits.com> Date: Wed, 16 Oct 2013 18:32:59 +0200 From: =?UTF-8?B?U3RhbmlzxYJhdyBGaW5kZWlzZW4=?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130922 Icedove/17.0.9 MIME-Version: 1.0 To: caml-list@inria.fr X-Enigmail-Version: 1.5.1 OpenPGP: id=F492A63B; url=http://people.eisenbits.com/~stf/key-stf.txt Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="----enig2OQHMHHLUTEGLDGAFHLVF" Subject: [Caml-list] phphard This is an OpenPGP/MIME signed message (RFC 4880 and 3156) ------enig2OQHMHHLUTEGLDGAFHLVF Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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. The project is in its very early stage: most of PHP parsing is done (using ocamllex + ocamlyacc), some pretty printing is done, no real source code analysis is done. It is now hosted here: https://forge.ocamlcore.org/projects/phphard/ https://github.com/sfindeisen/phphard (source code) I will welcome your ideas, feedback and contributions to the project. This is something I had been working on for some time, but have no resources (time+money) to finish this alone. I thinks it still makes sense to use PHP for web development as LAMP stack is quite efficient compared to some other stacks like Java. :) Plus there is lots of existing PHP code. I must confess that I have only superficially scanned through existing solutions to this static analysis problem. Some of the existing software (like HipHop VM from Facebook) seems quite complex, however I couldn't find anything that would be: * exactly scoped on PHP + static analysis * written in a functional language. Therefore I think this project has a potential and working on it can bring you glory. :) I believe purely functional style (non-modifiable data structures!) will be beneficial in this application. If you want to contribute please join the project on OCaml Forge. The source code is now on GitHub and it seems cool to me (but we can discuss that if you have arguments). --=20 http://people.eisenbits.com/~stf/ http://www.eisenbits.com/ OpenPGP: 80FC 1824 2EA4 9223 A986 DB4E 934E FEA0 F492 A63B ------enig2OQHMHHLUTEGLDGAFHLVF Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Using GnuPG with Icedove - http://www.enigmail.net/ iQIcBAEBAgAGBQJSXr/BAAoJEJNO/qD0kqY7qiYP/R0kdPoy9LyMusqsq25/KHHI IaiEaXnxxzYJ0u0PfeRuFOxQ8ckWBi0aXtuAnVUDcnYXtFpelqpxiyUWwM2w/YVK AU/y7Lmc0V4ydUc1vCRLetkmry1WSEEUvbs3aXn2wNhkYg8aDnwAQmyBo9bzRvaa hxcPU4/w8w4cCSTMPXXXwkv3aYO15XR6dd0I++gjD/ly39RtcRBXGjOFOo4hLuIU +j1QmvaCCiRAbvMajjMKc2JkWd731AH0DBPSALV7qLklL8Sn56ub5hv9GsXkj5t4 GLwobIoexgO8IzxNfhj9VzNJywID0/vqb1Jm8dBb2VSHQwzgHSjOyfUGy5DmoLcC tIBT/51acvILv8gAhmOqxhT7xT5HWiplA8zCaFBbOfiRE91ovZLA/1LE4rfDCwzv Ye4lmX9yxdyqTy1VHAnFxb/fHxwiIcrt4MwbShwfx84RCk5W1x8CoVecEPTSJB0U fQ0gLRrDlZIrAExYzqWstaW+fRCg1TKXQ02v3P9PXG6cDQXk0WBkgRr0JRdbI0NY JdfhBKU9doJ73hhtS/+GSNvwO2J07z9o+FfowC1IAShL7oMUVeE4jebYryo0Zcfy 9VKcQNOBt+IXv3f9Yl/BT7k/2CiMMHNsfXNOHCD+FqsGTSqNOZ43bgGUjtN3FF8t KXe1qj7LE3Gox9z6y7H+ =vQE6 -----END PGP SIGNATURE----- ------enig2OQHMHHLUTEGLDGAFHLVF--