JavaSUIF Home Page
Overview
The JSUIF (Java SUIF) system
is a port to Java(TM) of the SUIF2.0
(Stanford University Intermediate Format) compiler system. SUIF is part
of the National Compiler Infrastructure (NCI)
project, which aims to specify and develop a common compiler platform to
support the collaboration between compiler researchers. The standard version
of SUIF comes as a collection of libraries entirely written in C++. We
have developed JSUIF in order to allow new compilers written in Java take
direct advantage of the already existing technology that comes with the
SUIF framework.
Our aim is to maintain full
backwards compatibility with the standard system. The design of JSUIF was
driven by the following guidelines:
-
JSUIF intermediate representation
nodes are generated from the standard hoof files in Java, using SMGN in
combination with an appropriate macro file
-
SUIF2.0 standard binary format
(.suif) is used to read/write JSUIF intermediate representations
-
we maintained the same naming
conventions for classes and methods; SUIF programmers do not have to learn
JSUIF from scratch to write new modules in Java
Even though JSUIF allows users
to take advantage of standard SUIF components, it does not come with new
front-ends or compiler passes, at the time being. We are now developing
a new front-end for the Java2 programming language, as part of a larger
project, called YAV
(Yet Another Verifier), and plan to integrate this with the OSUIF
Java2Suif front-end for Java byte-code.
Download
The JSUIF
system is released as a pre-compiled library of Java classes. We have also
included in the distribution all Java and hoof source files together with
HTML documentation generated by javadoc.
-
The entire JSUIF distribution:
yav-jsuif-1.0.0 (tar.gz)
-
Browseable documentation only:
jsuif-doc-1.0.0 (html,
tar.gz)
-
JSUIF user guide only: jsuif-guide
(html)
NOTICE: Version 1.0.0 has been
released mainly for assessment. You can help us move towards a stable version
by sending detailed bug reports to
iosif@athena.polito.it
Feedback
Feedback is welcome: iosif@athena.polito.it
Last updated Jan 22 2001 by Radu Iosif <iosif@athena.polito.it>