Hi!

Minhyuk, Kwon wrote:
> it's really hard to maintain this analyzer, so we hope change major 
> programming language by ocaml. 
> but our client's programming environment is very variant(eg. UNIX-AIX, 
> WINCE-ARM...). they only have a C compiler(gcc, aix c, etc.) 
> is there any portable issues in ocaml? this is really important thing, 
> we considered.

In short, bytecode compilation of OCaml works for every platform
for which there is a C compiler. So unless you expect speed
of your application to be a problem, you will always have the
solution of using the bytecode compiler as a back-up.

The platforms you mention as examples are a little too
exotic to completely avoid problems with the native compiler.
The majority of them will be supported, but you have to expect
that you'll be the first one to run into problems for the most
exotic ones.

I cannot resist making a last remark that is only slightly off-topic:
if the target language for your analyzer is C, it may be a good
idea to take advantage of the rewrite to make it a Frama-C
plug-in. Please find details at http://frama-c.cea.fr/

Pascal