Is ocaml the language you are implementing, or the language creating programs you wish to analyze? I know we can analyze F# (~= ocaml) binaries; and I've written at least one very crude plugin in F#. So...?