[Wala-wala] Trying to install WALA for the first time...

581 views

Skip to first unread message

Oren Zomer

unread,

Nov 26, 2012, 5:02:44 PM11/26/12

to wala-wala

Hi all,

I'm trying to install WALA on my Eclipse Platform 3.7.2.

I followed the instructions and received the code via EGit.

I also created the JLex.jar and put it in the WALA directory (which is outside my workspace - does it matter?).

I'm using Ubuntu 12.04, so I configured in wala.properties: "java_runtime_dir = /usr/lib/jvm/java-6-openjdk-i386/jre/lib", output_dir to an existing local directory, and I copied wala.examples.properties.sample to wala.examples.properties.

I also created the JLex.jar and put it in the root directory of my WALA project.

I couldn't run any of the two basic examples.

When I try to execute the SWTTypeHierarchy launcher I get the message:

Then I get in the console:

Caused by: java.lang.ClassNotFoundException: com.ibm.wala.examples.drivers.SWTTypeHierarchy

at java.net.URLClassLoader$1.run(URLClassLoader.java:217)

at java.security.AccessController.doPrivileged(Native Method)

at java.net.URLClassLoader.findClass(URLClassLoader.java:205)

at java.lang.ClassLoader.loadClass(ClassLoader.java:321)

at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:294)

at java.lang.ClassLoader.loadClass(ClassLoader.java:266)

Could not find the main class: com.ibm.wala.examples.drivers.SWTTypeHierarchy. Program will exit.

When I try to execute the PDFTypeHierarchy launcher I get in the console:

Exception in thread "main" com.ibm.wala.util.debug.UnimplementedError: java.util.zip.ZipException: error in opening zip file

at com.ibm.wala.util.debug.Assertions.UNREACHABLE(Assertions.java:55)

at com.ibm.wala.util.config.AnalysisScopeReader.addClassPathToScope(AnalysisScopeReader.java:185)

at com.ibm.wala.util.config.AnalysisScopeReader.makeJavaBinaryAnalysisScope(AnalysisScopeReader.java:160)

at com.ibm.wala.examples.drivers.PDFTypeHierarchy.run(PDFTypeHierarchy.java:74)

at com.ibm.wala.examples.drivers.PDFTypeHierarchy.main(PDFTypeHierarchy.java:67)

Are these known issues? Am I missing something that is not written in the "Getting Started" instructions? Do I have to build anything or install other plugins before calling the launchers?

Thanks,

Oren Zomer

image.png

Manu Sridharan

unread,

Nov 27, 2012, 1:31:49 PM11/27/12

to WALA discussion and Q&A

Hi Oren,

The compile error in com.ibm.wala.ide.tests is probably the root cause of the SWTTypeHierarchy problem. What compile errors are you seeing in that project?

Also, JLex.jar needs to be in the root directory of your Eclipse workspace; is that where you are putting it? Hopefully putting it there will fix the crash in PDFTypeHierarchy, though if you want that launcher to do anything interesting, you'll have to set the pdfview_exe and dot_exe properties in wala.examples.properties.

Thanks,
Manu

-------------------------------------------
Manu Sridharan
IBM T.J. Watson Research Center
http://researcher.ibm.com/view.php?person=us-msridhar

Oren Zomer ---11/26/2012 05:03:52 PM---Hi all, I'm trying to install WALA on my Eclipse Platform 3.7.2.

------------------------------------------------------------------------------ Monitor your physical, virtual and cloud infrastructure from a single web console. Get in-depth insight into apps, servers, databases, vmware, SAP, cloud infrastructure, etc. Download 30-day Free Trial. Pricing starts from $795 for 25 servers or applications!http://p.sf.net/sfu/zoho_dev2dev_nov_______________________________________________ Wala-wala mailing list Wala...@lists.sourceforge.nethttps://lists.sourceforge.net/lists/listinfo/wala-wala

Oren Zomer

unread,

Nov 27, 2012, 5:39:06 PM11/27/12

to WALA discussion and Q&A

I configured the pdfviewer and the dot path, but the problem seems too me like missing jar files and plugins.

I found some of them after googling, like java_cup.jar and js.jar, but there should be more (polygot.jar ?)

Again, I remind that I didn't use eclipse for a long time. Is there a way to automatically download all these missing jars?

Here is the list of eclipse's "Problems" (26 errors, 100 warnings):

Description Resource Path Location Type

Package 'polyglot.ast' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 20 Plug-in Problem

Package 'polyglot.dispatch' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 35 Plug-in Problem

Package 'polyglot.frontend' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 36 Plug-in Problem

Package 'polyglot.lex' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 37 Plug-in Problem

Package 'polyglot.main' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 38 Plug-in Problem

Package 'polyglot.parse' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 39 Plug-in Problem

Package 'polyglot.qq' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 40 Plug-in Problem

Package 'polyglot.types.reflect' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 42 Plug-in Problem

Package 'polyglot.types' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 18 Plug-in Problem

Package 'polyglot.util.typedump' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 44 Plug-in Problem

Package 'polyglot.util' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 19 Plug-in Problem

Package 'polyglot.visit' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.java.polyglot/META-INF line 45 Plug-in Problem

Project 'com.ibm.wala.cast.java.polyglot.test' is missing required library: '/com.ibm.wala.cast.java.polyglot/lib/polyglot.jar' com.ibm.wala.cast.java.polyglot.test Build path Build Path Problem

Project 'com.ibm.wala.cast.java.polyglot' is missing required library: 'lib/polyglot.jar' com.ibm.wala.cast.java.polyglot Build path Build Path Problem

Project 'com.ibm.wala.cast.js.html.nu_validator' is missing required library: 'lib/htmlparser-1.3.1.jar' com.ibm.wala.cast.js.html.nu_validator Build path Build Path Problem

Project 'com.ibm.wala.cast.js' is missing required library: 'lib/jericho-html-3.2.jar' com.ibm.wala.cast.js Build path Build Path Problem

The project cannot be built until build path errors are resolved com.ibm.wala.cast.java.polyglot Unknown Java Problem

The project cannot be built until build path errors are resolved com.ibm.wala.cast.java.polyglot.test Unknown Java Problem

The project cannot be built until build path errors are resolved com.ibm.wala.cast.js Unknown Java Problem

The project cannot be built until build path errors are resolved com.ibm.wala.cast.js.html.nu_validator Unknown Java Problem

The project cannot be built until its prerequisite com.ibm.wala.cast.js.rhino is built. Cleaning and building all projects is recommended com.ibm.wala.cast.js.rhino.test Unknown Java Problem

The project cannot be built until its prerequisite com.ibm.wala.cast.js.test is built. Cleaning and building all projects is recommended com.ibm.wala.ide.tests Unknown Java Problem

The project cannot be built until its prerequisite com.ibm.wala.ide.tests is built. Cleaning and building all projects is recommended com.ibm.wala.ide.jdt.test Unknown Java Problem

The project was not built since it depends on com.ibm.wala.cast.js, which has build path errors com.ibm.wala.cast.js.rhino Unknown Java Problem

The project was not built since it depends on com.ibm.wala.cast.js, which has build path errors com.ibm.wala.cast.js.test Unknown Java Problem

The project was not built since it depends on com.ibm.wala.cast.js, which has build path errors com.ibm.wala.ide.jsdt Unknown Java Problem

'source.lib/js.jar' build entry is missing build.properties /com.ibm.wala.cast.js line 1 Plug-in Problem

'source.lib/polyglot.jar' build entry is missing build.properties /com.ibm.wala.cast.java.polyglot line 1 Plug-in Problem

'source.lib/xalan.jar' build entry is missing build.properties /com.ibm.wala.cast.js line 1 Plug-in Problem

AnonymousGenerics.Ops is a raw type. References to generic type AnonymousGenerics.Ops<E> should be parameterized AnonymousGenerics.java /com.ibm.wala.cast.java.test.data/src/javaonepointfive line 84 Java Problem

ArrayList is a raw type. References to generic type ArrayList<E> should be parameterized BasicsGenerics.java /com.ibm.wala.cast.java.test.data/src/javaonepointfive line 46 Java Problem

ArrayList is a raw type. References to generic type ArrayList<E> should be parameterized EclipseProjectPath.java /com.ibm.wala.ide/src/com/ibm/wala/ide/util line 240 Java Problem

BasicBlockInContext is a raw type. References to generic type BasicBlockInContext<T> should be parameterized ViewIFDSLocalAction.java /com.ibm.wala.ide/src/com/ibm/wala/ide/ui line 115 Java Problem

BitVectorBase is a raw type. References to generic type BitVectorBase<T> should be parameterized PrimitivesTest.java /com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/basic line 895 Java Problem

BitVectorBase is a raw type. References to generic type BitVectorBase<T> should be parameterized PrimitivesTest.java /com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/basic line 964 Java Problem

Build path specifies execution environment J2SE-1.5. There are no JREs installed in the workspace that are strictly compatible with this environment. com.ibm.wala.cast Build path JRE System Library Problem

Build path specifies execution environment J2SE-1.5. There are no JREs installed in the workspace that are strictly compatible with this environment. com.ibm.wala.cast.java Build path JRE System Library Problem

Build path specifies execution environment J2SE-1.5. There are no JREs installed in the workspace that are strictly compatible with this environment. com.ibm.wala.cast.test Build path JRE System Library Problem

Build path specifies execution environment J2SE-1.5. There are no JREs installed in the workspace that are strictly compatible with this environment. com.ibm.wala.core Build path JRE System Library Problem

Build path specifies execution environment J2SE-1.5. There are no JREs installed in the workspace that are strictly compatible with this environment. com.ibm.wala.core.testdata Build path JRE System Library Problem

Build path specifies execution environment J2SE-1.5. There are no JREs installed in the workspace that are strictly compatible with this environment. com.ibm.wala.ide Build path JRE System Library Problem

Build path specifies execution environment J2SE-1.5. There are no JREs installed in the workspace that are strictly compatible with this environment. com.ibm.wala.shrike Build path JRE System Library Problem

Class is a raw type. References to generic type Class<T> should be parameterized ArraysAndSuch.java /com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world line 57 Java Problem

Collection is a raw type. References to generic type Collection<E> should be parameterized JDTJava2CAstTranslator.java /com.ibm.wala.ide.jdt/source/com/ibm/wala/cast/java/translator/jdt line 345 Java Problem

Collection is a raw type. References to generic type Collection<E> should be parameterized JDTTypeDictionary.java /com.ibm.wala.ide.jdt/source/com/ibm/wala/cast/java/translator/jdt line 120 Java Problem

Comparing identical expressions Main.java /com.ibm.wala.cast.java.test.data/src/JLex line 1710 Java Problem

data/ is missing from source.. build.properties /com.ibm.wala.ide.jdt.test line 1 Plug-in Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 150 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 179 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 186 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 200 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 246 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 268 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 284 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 290 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 300 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 307 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 312 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 319 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 350 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 487 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 494 Java Problem

Dead code AbstractInterproceduralCFG.java /com.ibm.wala.core/src/com/ibm/wala/ipa/cfg line 501 Java Problem

Dead code AnalysisScope.java /com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph line 218 Java Problem

Dead code AnalysisScope.java /com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph line 232 Java Problem

Dead code AnalysisScope.java /com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph line 260 Java Problem

Dead code AstSSAPropagationCallGraphBuilder.java /com.ibm.wala.cast/source/java/com/ibm/wala/cast/ipa/callgraph line 609 Java Problem

Dead code BackwardsSupergraph.java /com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS line 93 Java Problem

Dead code BasicRTABuilder.java /com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/rta line 148 Java Problem

Dead code CallFlowEdges.java /com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS line 57 Java Problem

Dead code CallFlowEdges.java /com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS line 113 Java Problem

Dead code CallFlowEdges.java /com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS line 140 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 110 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 123 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 132 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 136 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 155 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 163 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 167 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 176 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 256 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 261 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 270 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 294 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 302 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 422 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 445 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 547 Java Problem

Dead code ClassLoaderImpl.java /com.ibm.wala.core/src/com/ibm/wala/classLoader line 644 Java Problem

Dead code ContainerContextSelector.java /com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/cfa line 121 Java Problem

Dead code CopyOfLoopsAndLabels.java /com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world line 44 Java Problem

Dead code DemandRefinementPointsTo.java /com.ibm.wala.core/src/com/ibm/wala/demandpa/alg line 893 Java Problem

Dead code FileProvider.java /com.ibm.wala.core/src/com/ibm/wala/util/io line 92 Java Problem

Dead code FileProvider.java /com.ibm.wala.core/src/com/ibm/wala/util/io line 138 Java Problem

Dead code Finally1.java /com.ibm.wala.cast.java.test.data/src line 28 Java Problem

Dead code HeapReachingDefs.java /com.ibm.wala.core/src/com/ibm/wala/ipa/slicer line 103 Java Problem

Dead code LocalPathEdges.java /com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS line 128 Java Problem

Dead code LocalPathEdges.java /com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS line 158 Java Problem

Dead code LocalPathEdges.java /com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS line 187 Java Problem

Dead code LocalSummaryEdges.java /com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS line 82 Java Problem

Dead code LoopsAndLabels.java /com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world line 61 Java Problem

Dead code LoopsAndLabels.java /com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world line 68 Java Problem

Dead code LoopsAndLabels.java /com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world line 77 Java Problem

Dead code LoopsAndLabels.java /com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world line 83 Java Problem

Dead code LoopsAndLabels.java /com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world line 95 Java Problem

Dead code LoopsAndLabels.java /com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world line 101 Java Problem

Dead code Main.java /com.ibm.wala.cast.java.test.data/src/JLex line 2951 Java Problem

Dead code Main.java /com.ibm.wala.cast.java.test.data/src/JLex line 3051 Java Problem

Dead code Main.java /com.ibm.wala.cast.java.test.data/src/JLex line 3183 Java Problem

Thanks,

Oren Zomer

53343810.gif

graycol.gif

Manu Sridharan

unread,

Nov 27, 2012, 8:47:40 PM11/27/12

to Oren Zomer, WALA discussion and Q&A

Hi Oren,

I just looked into this, and it seems that on WALA trunk there are some new dependencies from com.ibm.wala.ide.tests that make the code inconsistent with the Getting Started instructions. I will fix this ASAP; in the meantime, you may want to try out the 1.3.4 release (check out the R_1.3.4 branch in git). Will send another email when things are fixed up on trunk.

Thanks,
Manu

-------------------------------------------
Manu Sridharan
IBM T.J. Watson Research Center
http://researcher.ibm.com/view.php?person=us-msridhar

Oren Zomer ---11/27/2012 05:39:38 PM---I configured the pdfviewer and the dot path, but the problem seems too me like missing jar files and

Oren Zomer

unread,

Nov 28, 2012, 6:27:23 AM11/28/12

to Manu Sridharan, WALA discussion and Q&A

Thanks a lot! It's working now, so I can start learning the framework.

I suggest that you add a temporary comment in the wiki.

There're still some building "Problems" though, probably due to missing jars:

Description Resource Path Location Type

Package 'org.mozilla.javascript' does not exist in this plug-in MANIFEST.MF /com.ibm.wala.cast.js.rhino/META-INF line 15 Plug-in Problem

Project 'com.ibm.wala.cast.java.polyglot.test' is missing required library: '/com.ibm.wala.cast.java.polyglot/lib/polyglot.jar' com.ibm.wala.cast.java.polyglot.test Build path Build Path Problem

Project 'com.ibm.wala.cast.java.polyglot' is missing required library: 'lib/java_cup.jar' com.ibm.wala.cast.java.polyglot Build path Build Path Problem

Project 'com.ibm.wala.cast.java.polyglot' is missing required library: 'lib/polyglot.jar' com.ibm.wala.cast.java.polyglot Build path Build Path Problem

Project 'com.ibm.wala.cast.js.html.nu_validator' is missing required library: 'lib/htmlparser-1.3.1.jar' com.ibm.wala.cast.js.html.nu_validator Build path Build Path Problem

Project 'com.ibm.wala.cast.js.rhino' is missing required library: 'lib/js.jar' com.ibm.wala.cast.js.rhino Build path Build Path Problem

Project 'com.ibm.wala.cast.js' is missing required library: 'lib/jericho-html-3.2.jar' com.ibm.wala.cast.js Build path Build Path Problem

The project cannot be built until build path errors are resolved com.ibm.wala.cast.java.polyglot Unknown Java Problem

The project cannot be built until build path errors are resolved com.ibm.wala.cast.java.polyglot.test Unknown Java Problem

The project cannot be built until build path errors are resolved com.ibm.wala.cast.js Unknown Java Problem

The project cannot be built until build path errors are resolved com.ibm.wala.cast.js.html.nu_validator Unknown Java Problem

The project cannot be built until build path errors are resolved com.ibm.wala.cast.js.rhino Unknown Java Problem

The project was not built since it depends on com.ibm.wala.cast.js, which has build path errors com.ibm.wala.cast.js.test Unknown Java Problem

The project was not built since it depends on com.ibm.wala.cast.js.rhino, which has build path errors com.ibm.wala.cast.js.rhino.test Unknown Java Problem

'source.lib/js.jar' build entry is missing build.properties /com.ibm.wala.cast.js line 1 Plug-in Problem

'source.lib/xalan.jar' build entry is missing build.properties /com.ibm.wala.cast.js line 1 Plug-in Problem

ArrayList is a raw type. References to generic type ArrayList<E> should be parameterized BasicsGenerics.java /com.ibm.wala.cast.java.test.data/src/javaonepointfive line 46 Java Problem

ArrayList is a raw type. References to generic type ArrayList<E> should be parameterized EclipseProjectPath.java /com.ibm.wala.ide/src/com/ibm/wala/ide/util line 258 Java Problem

BasicBlockInContext is a raw type. References to generic type BasicBlockInContext<T> should be parameterized ViewIFDSLocalAction.java /com.ibm.wala.ide/src/com/ibm/wala/ide/ui line 115 Java Problem

BitVectorBase is a raw type. References to generic type BitVectorBase<T> should be parameterized PrimitivesTest.java /com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/basic line 895 Java Problem

BitVectorBase is a raw type. References to generic type BitVectorBase<T> should be parameterized PrimitivesTest.java /com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/basic line 964 Java Problem

Build path specifies execution environment J2SE-1.5. There are no JREs installed in the workspace that are strictly compatible with this environment. com.ibm.wala.cast.js.rhino Build path JRE System Library Problem

Build path specifies execution environment J2SE-1.5. There are no JREs installed in the workspace that are strictly compatible with this environment. com.ibm.wala.ide.tests Build path JRE System Library Problem

Build path specifies execution environment J2SE-1.5. There are no JREs installed in the workspace that are strictly compatible with this environment. com.ibm.wala.j2ee Build path JRE System Library Problem

Class is a raw type. References to generic type Class<T> should be parameterized ArraysAndSuch.java /com.ibm.wala.cast.java.test.data/src/foo/bar/hello/world line 57 Java Problem

Collection is a raw type. References to generic type Collection<E> should be parameterized JDTJava2CAstTranslator.java /com.ibm.wala.cast.java.jdt/source/com/ibm/wala/cast/java/translator/jdt line 345 Java Problem

Collection is a raw type. References to generic type Collection<E> should be parameterized JDTTypeDictionary.java /com.ibm.wala.cast.java.jdt/source/com/ibm/wala/cast/java/translator/jdt line 120 Java Problem

Collection is a raw type. References to generic type Collection<E> should be parameterized TopLevelArchiveModule.java /com.ibm.wala.j2ee/src/com/ibm/wala/j2ee/util line 121 Java Problem

Comparable is a raw type. References to generic type Comparable<T> should be parameterized HttpServletResponse.java /com.ibm.wala.j2ee/src/com/ibm/wala/model/javax/servlet/http line 19 Java Problem