Startup issue of 3.5.0 on linux

Bug #1821164 reported by Jiri Srba on 2019-03-21
10
This bug affects 2 people
Affects Status Importance Assigned to Milestone
TAPAAL
Critical
Kenneth Yrke Jørgensen
3.5
Critical
Kenneth Yrke Jørgensen

Bug Description

I cannot get 3.5.0 to open on my machine. I've included what info I could find

3.4.2)

Exception in thread "main" java.lang.NullPointerException
    at java.base/java.util.regex.Matcher.getTextLength(Matcher.java:1769)
    at java.base/java.util.regex.Matcher.reset(Matcher.java:416)
    at java.base/java.util.regex.Matcher.<init>(Matcher.java:253)
    at java.base/java.util.regex.Pattern.matcher(Pattern.java:1130)
    at dk.aau.cs.verification.VerifyTAPN.VerifyTAPN.readVersionNumberFrom(VerifyTAPN.java:121)
    at dk.aau.cs.verification.VerifyTAPN.VerifyTAPN.getVersion(VerifyTAPN.java:97)
    at dk.aau.cs.verification.VerifyTAPN.VerifyTAPN.isCorrectVersion(VerifyTAPN.java:141)
    at dk.aau.cs.verification.VerifyTAPN.VerifyTAPN.trySetup(VerifyTAPN.java:246)
    at pipe.gui.CreateGui.init(CreateGui.java:158)
    at net.tapaal.TAPAAL.main(TAPAAL.java:53)

Application opens and can be used

3.5.0)

Exception in thread "main" java.lang.NullPointerException
    at java.base/java.util.regex.Matcher.getTextLength(Matcher.java:1769)
    at java.base/java.util.regex.Matcher.reset(Matcher.java:416)
    at java.base/java.util.regex.Matcher.<init>(Matcher.java:253)
    at java.base/java.util.regex.Pattern.matcher(Pattern.java:1130)
    at dk.aau.cs.verification.VerifyTAPN.VerifyTAPN.readVersionNumberFrom(VerifyTAPN.java:119)
    at dk.aau.cs.verification.VerifyTAPN.VerifyTAPN.getVersion(VerifyTAPN.java:95)
    at dk.aau.cs.verification.VerifyTAPN.VerifyTAPN.isCorrectVersion(VerifyTAPN.java:139)
    at dk.aau.cs.verification.VerifyTAPN.VerifyTAPN.trySetup(VerifyTAPN.java:244)
    at pipe.gui.GuiFrame.<init>(GuiFrame.java:246)
    at pipe.gui.CreateGui.init(CreateGui.java:20)
    at net.tapaal.TAPAAL.main(TAPAAL.java:53)

Application doesn't open

Information about my system:

uname -a

Linux zenbook 5.0.2-arch1-1-ARCH #1 SMP PREEMPT Thu Mar 14 18:47:49 UTC 2019 x86_64 GNU/Linux

java -version

version "10.0.2" 2018-07-17
OpenJDK Runtime Environment (build 10.0.2+13)
OpenJDK 64-Bit Server VM (build 10.0.2+13, mixed mode)

output from dmesg when Tapaal (both versions) is run

[ 992.965793] verifytapn64[3847] vsyscall attempted with vsyscall=none ip:ffffffffff600400 cs:33 sp:7ffc2b17a218 ax:ffffffffff600400 si:7ffc2b17a4c8 di:0
[ 992.965797] verifytapn64[3847]: segfault at ffffffffff600400 ip ffffffffff600400 sp 00007ffc2b17a218 error 15
[ 992.965798] Code: Bad RIP value.
[ 992.965836] audit: type=1701 audit(1553159633.498:77): auid=1000 uid=1000 gid=100 ses=3 pid=3847 comm="verifytapn64" exe="/home/mathias/Downloads/tapaal-3.5.0-linux64/bin/verifytapn64" sig=11 res=1
[ 992.983133] audit: type=1130 audit(1553159633.515:78): pid=1 uid=0 auid=4294967295 ses=4294967295 msg='unit=systemd-coredump@3-3848-0 comm="systemd" exe="/usr/lib/systemd/systemd" hostname=? addr=? terminal=? res=success'
[ 993.216883] audit: type=1131 audit(1553159633.748:79): pid=1 uid=0 auid=4294967295 ses=4294967295 msg='unit=systemd-coredump@3-3848-0 comm="systemd" exe="/usr/lib/systemd/systemd" hostname=? addr=? terminal=? res=success'

Related branches

Jiri Srba (srba) on 2019-03-21
Changed in tapaal:
assignee: nobody → Kenneth Yrke Jørgensen (yrke)
Kenneth Yrke Jørgensen (yrke) wrote :

output from my machine (AdoptOpenJDK):
C:\Users\kyrke>java -version
openjdk version "1.8.0_202"
OpenJDK Runtime Environment (AdoptOpenJDK)(build 1.8.0_202-b08)
OpenJDK 64-Bit Server VM (AdoptOpenJDK)(build 25.202-b08, mixed mode)

Kenneth Yrke Jørgensen (yrke) wrote :

ahh.. not a java issue... seems to be when parsing VerifyTAPN

Kenneth Yrke Jørgensen (yrke) wrote :

seems to be verifytapn64 that segfaults when running versioncheck (-v)

Jiri Srba (srba) wrote :

It is now confirmed that the issues in the binary of the engine. However, the GUI
should be more graceful and not just crash if it cannot parse the output from the engine
(and perhaps still run but say that there is an issue with one of the engines).

Changed in tapaal:
status: New → Confirmed
Jiri Srba (srba) wrote :

The fix pushed to trunk has some issues:

Does not completely fix the problem. To reproduce:

Run the GUI and check a location of e.g. verifypn file. Close the GUI.
Replace verifypn with some bogus (but executable) file. Run the GUI again
and go to Tools/Engine Selection. Now it throws NPE that is not handled:

Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException
 at java.util.regex.Matcher.getTextLength(Matcher.java:1234)
 at java.util.regex.Matcher.reset(Matcher.java:308)
 at java.util.regex.Matcher.<init>(Matcher.java:228)
 at java.util.regex.Pattern.matcher(Pattern.java:1088)
....

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers