Comments (7)
@cos if you have time to see if you get this failure, that would be great.
from wala.
I have 1.7.0_71, and it seems to work. I'll try to get _72 and check...
-- Julian
From: Manu Sridharan [email protected]
To: wala/WALA [email protected]
Cc: Julian Dolby/Watson/IBM@IBMUS
Date: 11/11/2014 02:11 PM
Subject: [WALA] Java7CallGraphTest.testOcamlHelloHash() failing (#60)
This regression test fails for me when running on JDK 1.7.0_72. I wonder if
the JDK update caused the problem? @juliandolby can you reproduce?
—
Reply to this email directly or view it on GitHub.
from wala.
I have Java 8 on my system so it is a bit harder to test locally. Still, the #59 pull request has passed on JDK 1.7.0_72:
https://travis-ci.org/cos/wala/builds/40612103
so the problem doesn't seem to be strictly caused by _72.
The exception is: java.lang.VerifyError: Bad type on operand stack
. This heavily upvoted stackoverflow answer says it is usually caused by a runtime library which is different from the compile-time one.
The exception is thrown here:
It means the resources from the URLClassLoader
are somehow corrupted. Is there any guarantee that all jars are recreated cleanly between runs? Maybe it worked for my Travis instance because it was fresh, with nothing created in previous runs. I have another branch (with some refactoring which should pass; a fixing #58), which now also fails on Travis with the same error in the same spot:
https://travis-ci.org/cos/wala/builds/40615655
There's also an open class loader there. I'll try closing it and see how it goes.
from wala.
Ugh. I would think that each run on Travis boots a fresh instance? I
think this must have something to do with a recent Travis change, as I
tried re-running build 190, corresponding to Julian's latest commit, and
that failed too:
https://travis-ci.org/wala/WALA/builds/40020629 (note the output is from
the successful run for some reason)
Anyway, I was unable to reproduce locally, and I really don't understand
how the build at https://travis-ci.org/cos/wala/builds/40612103 managed to
pass. Let me know if there's some way I can help narrow things down.
On Tue, Nov 11, 2014 at 4:38 PM, Cosmin Radoi [email protected]
wrote:
I have Java 8 on my system so it is a bit harder to test locally. Still,
the #59 #59 pull request has passed on
JDK 1.7.0_72:
https://travis-ci.org/cos/wala/builds/40612103
so the problem doesn't seem to be strictly caused by _72.The exception is: java.lang.VerifyError: Bad type on operand stack. This
heavily upvoted stackoverflow answer
http://stackoverflow.com/questions/100107/reasons-of-getting-a-java-lang-verifyerror/2518002#2518002
says it is usually caused by a runtime library which is different from the
compile-time one.The exception is thrown here:
It means the resources from the URLClassLoader are somehow corrupted. Is
there any guarantee that all jars are recreated cleanly between runs? Maybe
it worked for my Travis instance because it was fresh, with nothing created
in previous runs. I have another branch (with some refactoring which should
pass; a fixing #58 #58), which now
also fails on Travis with the same error in the same spot:
https://travis-ci.org/cos/wala/builds/40615655There's also an open class loader there. I'll try closing it and see how
it goes.—
Reply to this email directly or view it on GitHub
#60 (comment).
from wala.
@juliandolby, did you fix this one? It looks like commit 71f16d4 is related
from wala.
I don't know... hard to tell because this bug only happens sometimes
anyway.
From: Manu Sridharan [email protected]
To: wala/WALA [email protected]
Cc: Julian Dolby/Watson/IBM@IBMUS
Date: 11/11/2014 09:33 PM
Subject: Re: [WALA] Java7CallGraphTest.testOcamlHelloHash() failing (#60)
Julian, did you fix this one? It looks like commit 71f16d4 is related
—
Reply to this email directly or view it on GitHub.
from wala.
Closing as this seems to be working on Travis now.
from wala.
Related Issues (20)
- failed to load impl class com.ibm.wala.cast.java.translator.polyglot.PolyglotSourceLoaderImpl HOT 1
- Unable to Download WALA Tutorial PDF HOT 1
- Request for WALA Slicer Tutorial HOT 2
- broken logo URL in top-level README
- Dalvik tests do not pass on JDK 21 HOT 1
- Figure out how to update Eclipse version dependence HOT 2
- A crash bug about points-to analysis in ZeroCFA HOT 1
- How can I get call graph of multiple js files? HOT 1
- Question about control flow graph for synchronized statement HOT 3
- Found bug in JUnitEntryPoints HOT 2
- Clarification Needed on Nodes in JavaScript Call Graph Using Field-Based Algorithm
- A bug about the class hierarchy
- `com.ibm.wala.core.util.ref.ReferenceCleanser.clearSoftCaches()` throws `java.util.ConcurrentModificationException` HOT 10
- `AbstractScriptEntity.toString()` should call `AbstractScriptEntity.getName()` HOT 1
- Unexpected results in call graph constuction
- An inconsistent behaviour between different call graphs
- A Wala crash bug when I set entry point
- A runtime crash of points to analysis HOT 2
- CHA missed an invocation about interface HOT 1
- False positive of RTA points-to analysis
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from wala.