Comments (6)
I have found the problem and it appears to be a bug in the Ubuntu JVM. The root cause is that the build of Chart19f fails to build a valid version of lib/itext-2.0.6.jar:
markro ~/defects4j/Chart19f]$ jar -tf lib/itext-2.0.6.jar
java.util.zip.ZipException: error in opening zip file
at java.util.zip.ZipFile.open(Native Method)
at java.util.zip.ZipFile.(ZipFile.java:225)
at java.util.zip.ZipFile.(ZipFile.java:155)
at java.util.zip.ZipFile.(ZipFile.java:126)
at sun.tools.jar.Main.list(Main.java:1115)
at sun.tools.jar.Main.run(Main.java:293)
at sun.tools.jar.Main.main(Main.java:1288)
markro ~/defects4j/Chart19f]$
If you remove this jar from CLASSPATH all works fine. If you leave the bad jar in the classpath both CentOS and Fedora still work fine and output the message:
CLASSPATH component /home/markro/defects4j/Chart19f/lib/itext-2.0.6.jar: java.util.zip.ZipException: error in opening zip file
Ubuntu core dumps instead => I think its a bug in Ubuntu JVM.
Bottom line: remove itext-2.0.6.jar from classpath and/or run on Fedora instead.
from daikon.
I am unable to reproduce this problem. I followed your steps and all looks ok:
[markro@buffalo Chart19f]$ java -cp /scratch/markro/clones/daikon/daikon.jar:build/:build-tests/:$CLASSPATH:. daikon.DynComp '--ppt-select-pattern=^org.jfree.chart.plot.CategoryPlot' --output-dir=ft_invariants_files0 TestRunner org.jfree.chart.plot.junit.CategoryPlotTests::testGetRangeAxisIndex org.jfree.chart.plot.junit.CategoryPlotTests::testGetDomainAxisIndex
SUCCESS
SUCCESS
[markro@buffalo Chart19f]$ l -rt ft_invariants_files0
total 4148
drwxr-xr-x 14 markro rtech_cs 4096 May 25 12:23 ..
drwxr-xr-x 2 markro rtech_cs 4096 May 25 12:23 .
-rw-r--r-- 1 markro rtech_cs 4237887 May 25 12:27 TestRunner.decls-DynComp
[markro@buffalo Chart19f]$
I am using Daikon #338.
from daikon.
Thank you for your reply. Here is my machine info:
Distributor ID: Ubuntu
Description: Ubuntu 18.04.2 LTS
Release: 18.04
Codename: bionic
I can always reproduce it on this machine. I'll try if the problem could be reproduced on other machines and update it here.
from daikon.
I was able to reproduce on Ubuntu 18.04. I haven't tried 20.04. Are you able to try 20.04?
from daikon.
Yes, my 20.04 is a windows subsystem, it is a little bit slow. It is compiling DynComp now, I will update it later.
from daikon.
I can reproduce it on Ubuntu 20.04.
bo@LAPTOP-E1MFF41S:/mnt/c/Users/boyan/projects/APR_Projects/Chart19f$ java -cp $DAIKONDIR/daikon.jar:build/:build-tests/:$CLASSPATH:. daikon.DynComp '--ppt-select-pattern=^org.jfree.chart.plot.CategoryPlot' --output-dir=ft_invariants_files0 TestRunner org.jfree.chart.plot.junit.CategoryPlotTests::testGetRangeAxisIndex org.jfree.chart.plot.junit.CategoryPlotTests::testGetDomainAxisIndex
java.lang.ClassNotFoundException
- klass: 'java/lang/ClassNotFoundException'
#
# A fatal error has been detected by the Java Runtime Environment:
#
# Internal Error (exceptions.cpp:460), pid=8591, tid=0x00007fc1e8b6f700
# fatal error: ExceptionMark constructor expects no pending exceptions
#
# JRE version: OpenJDK Runtime Environment (8.0_292-b10) (build 1.8.0_292-8u292-b10-0ubuntu1~20.04-b10)
# Java VM: OpenJDK 64-Bit Server VM (25.292-b10 mixed mode linux-amd64 compressed oops)
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
# An error report file with more information is saved as:
# /mnt/c/Users/boyan/projects/APR_Projects/Chart19f/hs_err_pid8591.log
#
# If you would like to submit a bug report, please visit:
# http://bugreport.java.com/bugreport/crash.jsp
#
bo@LAPTOP-E1MFF41S:/mnt/c/Users/boyan/projects/APR_Projects/Chart19f$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description: Ubuntu 20.04.1 LTS
Release: 20.04
Codename: focal
from daikon.
Related Issues (20)
- Junit with Daikon HOT 4
- DynComp: a fatal error has been detected by the Java Runtime Environment HOT 2
- -DO_DIFFS should be true HOT 1
- Trouble terminating when running 'runcluster.pl' and help with inputs for daikon HOT 1
- Getting InaccessibleObjectException while using AnnotateNullable HOT 4
- Extend front ends to output more variable values HOT 3
- Minor user manual (documentation) issues HOT 1
- DynComp does not work for command line inputs HOT 3
- `daikon.bashrc` Should Not Add JAVA_HOME to $PATH HOT 1
- Inferring invariants with hierarchical dataflow
- Daikon compilation failure (missing dependency requirements, pdf failure during compilation, etc.) HOT 1
- Chicory regression regarding unmodifiable derived variables HOT 1
- NoClassDefFoundError when executing Java program with DynComp HOT 2
- Daikon DynComp IllegalArgumentException on a Defects4J Project HOT 10
- Daikon Failed to Execute when Using runcluster.pl with kmeans Option
- Inconsistent documentation for compiling Daikon locally
- Daikon crash on some benchmarks in NJR dataset HOT 2
- java.lang.RuntimeException: Can't find parent variable HOT 1
- Evosuite tests - IllegalArgumentException Duplicate method name "equals" HOT 3
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 daikon.