Comments (2)
Error log:
15:55:14,688 ERROR CpgDocumentService Analysis error:
java.util.concurrent.ExecutionException: java.lang.IllegalStateException: The file is locked: nio:/codyze/graph-cache-overflow.bin [1.4.199/7]
at java.util.concurrent.CompletableFuture.reportGet(CompletableFuture.java:395) ~[?:?]
at java.util.concurrent.CompletableFuture.get(CompletableFuture.java:2022) ~[?:?]
at de.fraunhofer.aisec.crymlin.connectors.lsp.CpgDocumentService.analyze(CpgDocumentService.java:143) ~[codyze.jar:?]
at de.fraunhofer.aisec.crymlin.connectors.lsp.CpgDocumentService.didOpen(CpgDocumentService.java:248) ~[codyze.jar:?]
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) ~[?:?]
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) ~[?:?]
at jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) ~[?:?]
at java.lang.reflect.Method.invoke(Method.java:566) ~[?:?]
at org.eclipse.lsp4j.jsonrpc.services.GenericEndpoint.lambda$null$0(GenericEndpoint.java:65) ~[org.eclipse.lsp4j.jsonrpc-0.9.0.jar:?]
at org.eclipse.lsp4j.jsonrpc.services.GenericEndpoint.notify(GenericEndpoint.java:152) [org.eclipse.lsp4j.jsonrpc-0.9.0.jar:?]
at org.eclipse.lsp4j.jsonrpc.RemoteEndpoint.handleNotification(RemoteEndpoint.java:220) [org.eclipse.lsp4j.jsonrpc-0.9.0.jar:?]
at org.eclipse.lsp4j.jsonrpc.RemoteEndpoint.consume(RemoteEndpoint.java:187) [org.eclipse.lsp4j.jsonrpc-0.9.0.jar:?]
at org.eclipse.lsp4j.jsonrpc.json.StreamMessageProducer.handleMessage(StreamMessageProducer.java:194) [org.eclipse.lsp4j.jsonrpc-0.9.0.jar:?]
at org.eclipse.lsp4j.jsonrpc.json.StreamMessageProducer.listen(StreamMessageProducer.java:94) [org.eclipse.lsp4j.jsonrpc-0.9.0.jar:?]
at org.eclipse.lsp4j.jsonrpc.json.ConcurrentMessageProcessor.run(ConcurrentMessageProcessor.java:113) [org.eclipse.lsp4j.jsonrpc-0.9.0.jar:?]
at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:515) [?:?]
at java.util.concurrent.FutureTask.run(FutureTask.java:264) [?:?]
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128) [?:?]
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628) [?:?]
at java.lang.Thread.run(Thread.java:834) [?:?]
Caused by: java.lang.IllegalStateException: The file is locked: nio:/codyze/graph-cache-overflow.bin [1.4.199/7]
at org.h2.mvstore.DataUtils.newIllegalStateException(DataUtils.java:883) ~[h2-mvstore-1.4.199.jar:1.4.199]
at org.h2.mvstore.FileStore.open(FileStore.java:166) ~[h2-mvstore-1.4.199.jar:1.4.199]
at org.h2.mvstore.MVStore.<init>(MVStore.java:390) ~[h2-mvstore-1.4.199.jar:1.4.199]
at org.h2.mvstore.MVStore$Builder.open(MVStore.java:3343) ~[h2-mvstore-1.4.199.jar:1.4.199]
at overflowdb.storage.OdbStorage.initializeMVStore(OdbStorage.java:142) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at overflowdb.storage.OdbStorage.getNodesMVMap(OdbStorage.java:131) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at overflowdb.storage.OdbStorage.allNodes(OdbStorage.java:122) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at overflowdb.OdbGraph.initElementCollections(OdbGraph.java:112) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at overflowdb.OdbGraph.<init>(OdbGraph.java:100) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at overflowdb.OdbGraph.open(OdbGraph.java:81) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at de.fraunhofer.aisec.crymlin.connectors.db.OverflowDatabase.connect(OverflowDatabase.java:176) ~[codyze.jar:?]
at de.fraunhofer.aisec.analysis.server.AnalysisServer.persistToODB(AnalysisServer.java:442) ~[codyze.jar:?]
at de.fraunhofer.aisec.analysis.server.AnalysisServer.lambda$analyze$0(AnalysisServer.java:216) ~[codyze.jar:?]
at java.util.concurrent.CompletableFuture$UniApply.tryFire(CompletableFuture.java:642) ~[?:?]
at java.util.concurrent.CompletableFuture.postComplete(CompletableFuture.java:506) ~[?:?]
at java.util.concurrent.CompletableFuture$AsyncSupply.run(CompletableFuture.java:1705) ~[?:?]
... 1 more
Caused by: java.nio.channels.OverlappingFileLockException
at sun.nio.ch.FileLockTable.checkList(FileLockTable.java:229) ~[?:?]
at sun.nio.ch.FileLockTable.add(FileLockTable.java:123) ~[?:?]
at sun.nio.ch.FileChannelImpl.tryLock(FileChannelImpl.java:1154) ~[?:?]
at org.h2.store.fs.FileNio.tryLock(FilePathNio.java:121) ~[h2-mvstore-1.4.199.jar:1.4.199]
at java.nio.channels.FileChannel.tryLock(FileChannel.java:1165) ~[?:?]
at org.h2.mvstore.FileStore.open(FileStore.java:163) ~[h2-mvstore-1.4.199.jar:1.4.199]
at org.h2.mvstore.MVStore.<init>(MVStore.java:390) ~[h2-mvstore-1.4.199.jar:1.4.199]
at org.h2.mvstore.MVStore$Builder.open(MVStore.java:3343) ~[h2-mvstore-1.4.199.jar:1.4.199]
at overflowdb.storage.OdbStorage.initializeMVStore(OdbStorage.java:142) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at overflowdb.storage.OdbStorage.getNodesMVMap(OdbStorage.java:131) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at overflowdb.storage.OdbStorage.allNodes(OdbStorage.java:122) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at overflowdb.OdbGraph.initElementCollections(OdbGraph.java:112) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at overflowdb.OdbGraph.<init>(OdbGraph.java:100) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at overflowdb.OdbGraph.open(OdbGraph.java:81) ~[overflowdb-tinkerpop3-0.128.jar:0.128]
at de.fraunhofer.aisec.crymlin.connectors.db.OverflowDatabase.connect(OverflowDatabase.java:176) ~[codyze.jar:?]
at de.fraunhofer.aisec.analysis.server.AnalysisServer.persistToODB(AnalysisServer.java:442) ~[codyze.jar:?]
at de.fraunhofer.aisec.analysis.server.AnalysisServer.lambda$analyze$0(AnalysisServer.java:216) ~[codyze.jar:?]
at java.util.concurrent.CompletableFuture$UniApply.tryFire(CompletableFuture.java:642) ~[?:?]
at java.util.concurrent.CompletableFuture.postComplete(CompletableFuture.java:506) ~[?:?]
at java.util.concurrent.CompletableFuture$AsyncSupply.run(CompletableFuture.java:1705) ~[?:?]
... 1 more
from codyze.
It seems that maybe Overflow tries to initialise the DB that is already there? it is definitely a weird error.
Also not quite sure why the connect
method is called again. The database connection should already be open.
from codyze.
Related Issues (20)
- Trouble using Codyze on IntelliJ HOT 1
- Incorrect template type evaluation when matching MARK ops
- Mark tests do not handle spaces in filepath
- Duplicate conditions in MARK rules
- ScopeManager Error
- No output files produced: CLI mode
- Windows Path Issues for ConfigLoadTest HOT 3
- Transition towards Java SE 17 (LTS) HOT 1
- Executors as part of SARIF output HOT 1
- Rework integration of Spotless HOT 1
- Consistent versioning scheme for v3 HOT 1
- Populate Manifest for artifacts
- Rework codyze.io website
- Create workflow for codyze.io generation
- Reimplement MARK for v3 in Kotlin HOT 1
- Enable maven publish for v3 artefacts HOT 2
- Support pass registration for executors of specification languages
- Publish sources and docs for Maven artifacts HOT 1
- Generate AST for C/C++ Source HOT 1
- Execution via gradlew broken HOT 1
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 codyze.