שאלות ותשובות - Project Frequently Asked Questions - Project Вопросы и Ответы - Project أسئلة وأجوبة - Project

		.. (לתיקייה המכילה)

from the APRON site: "Currently, APRON provides a C interface and an OCaml interface. There also exists a C++ interface, which is more experimental." We need to drive it from soot. soot runs on java. Is there a soot implementation for C \ C++ ? Any other way to use APRON with java?

That site is a bit outdated (the INRIA page is more up to date), if you get APRON from the repository (svn co svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk apron) or from the assignment page, you will see java files there which contain the API.

I'm having trouble compiling the APRON library...Help!

1. Make sure you have all the prerequisites (take notice that most of the packages needed can be easily installed using a GUI installer like Ubuntu Software Center) 2. Make sure you configure the make process correctly. copy Makefile.config.model to Makefile.config and use the HAS_JAVA=1 option to compile the java wrappers (HAS_OCAML and HAS_OCAMLOPT are not needed).

Is there any documentation for how to use the java wrappers? (the site has only documentation for C and for OCaml) are there any java example files?

The documentation is more about what each of the operations mean and this is the same for every version. Code usage examples can be found in the Test*.java files in the code archive.