search

reprogrammer / keshmesh

Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.
http://keshmesh.cs.illinois.edu/
Other
16 stars 5 forks source link

Make it possible to debug Keshmesh #70

Closed reprogrammer closed 10 years ago

reprogrammer commented 10 years ago

When I run Keshmesh from source rather than its update site, I get the following exception:

!SESSION 2013-12-10 20:11:04.315 -----------------------------------------------
eclipse.buildId=M20100909-0800
java.version=1.6.0_45
java.vendor=Sun Microsystems Inc.
BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=en_US
Framework arguments:  -product org.eclipse.platform.ide
Command-line arguments:  -product org.eclipse.platform.ide -data /home/user/eclipse-workspaces/keshmesh-workspaces/keshmesh-development-workspace/../runtime-keshmesh-workspace -dev file:/home/user/eclipse-workspaces/keshmesh-workspaces/keshmesh-development-workspace/.metadata/.plugins/org.eclipse.pde.core/runtime-keshmesh/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog

!ENTRY edu.umd.cs.findbugs.plugin.eclipse 4 0 2013-12-10 20:11:18.548
!MESSAGE Failed to create temporary detector package for bundle /home/user/git/keshmesh/plug-ins/edu.illinois.keshmesh.ui.findbugs
!STACK 0
java.lang.IllegalStateException: No files in the bundle etc dir!
    at de.tobject.findbugs.DetectorsExtensionHelper.createTemporaryJar(DetectorsExtensionHelper.java:200)
    at de.tobject.findbugs.DetectorsExtensionHelper.resolveRelativePath(DetectorsExtensionHelper.java:151)
    at de.tobject.findbugs.DetectorsExtensionHelper.getContributedDetectors(DetectorsExtensionHelper.java:98)
    at de.tobject.findbugs.FindbugsPlugin.applyCustomDetectors(FindbugsPlugin.java:274)
    at de.tobject.findbugs.builder.FindBugsWorker.work(FindBugsWorker.java:144)
    at de.tobject.findbugs.actions.FindBugsAction$StartedFromViewJob.runWithProgress(FindBugsAction.java:265)
    at de.tobject.findbugs.FindBugsJob.run(FindBugsJob.java:102)
    at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)

!ENTRY edu.umd.cs.findbugs.plugin.eclipse 4 0 2013-12-10 20:11:18.565
!MESSAGE Failed to read contribution for 'edu.umd.cs.findbugs.plugin.eclipse.findbugsPlugins' extension point from edu.illinois.keshmesh.ui.findbugs
!STACK 0
java.lang.IllegalArgumentException: Failed to resolve library path for: edu.illinois.keshmesh.ui.findbugs
    at de.tobject.findbugs.DetectorsExtensionHelper.getContributedDetectors(DetectorsExtensionHelper.java:100)
    at de.tobject.findbugs.FindbugsPlugin.applyCustomDetectors(FindbugsPlugin.java:274)
    at de.tobject.findbugs.builder.FindBugsWorker.work(FindBugsWorker.java:144)
    at de.tobject.findbugs.actions.FindBugsAction$StartedFromViewJob.runWithProgress(FindBugsAction.java:265)
    at de.tobject.findbugs.FindBugsJob.run(FindBugsJob.java:102)
    at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)

!ENTRY edu.umd.cs.findbugs.plugin.eclipse 2 2 2013-12-10 20:11:23.248
!MESSAGE The following classes needed for FindBugs analysis on project LCK01J were missing:
!SUBENTRY 1 edu.umd.cs.findbugs.plugin.eclipse 2 0 2013-12-10 20:11:23.249
!MESSAGE javax.annotation.Nonnull