mrva/mrva-docker
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

note cleanup

Browse Source
This commit is contained in:
Michael Hohn
2025-03-19 14:42:39 -07:00
committed by =Michael Hohn
parent 172c99b41a
commit 3ca2fa62fd
1 changed files with 0 additions and 112 deletions
Download Patch File Download Diff File Expand all files Collapse all files

112
README.org
View File

@@ -391,118 +391,6 @@
*** Submit the analysis job
: Fprintf.ql > right click > run variant analysis
*** XX: post-interface reload <2025-03-12 Wed>
#+BEGIN_SRC text
No orphaned databases found.
Reading query history
Reading cached query history from '/home/coder/.local/share/code-server/User/workspaceStorage/579340b4/GitHub.vscode-codeql/workspace-query-history.json'.
Successfully finished extension initialization.
Variant analysis view loaded
#+END_SRC
*** XX: bug: <2025-02-19 Wed>
#+BEGIN_SRC text
+lle1Oo44XUE87h82ShEVmzTAe02Csf9HKt7kLw2xPU0mt3mYNtbaFEsO3HQNh3tWNS7B+lFoaLw/9t2t9r1//h4P/z1P77+fP35+vP15xb//D9DrYDfAKi6AA==","repositories":["Serial-Studio/Serial-Studio","UEFITool/UEFITool","aircrack-ng/aircrack-ng","bulk-builder/bulk-builder","tesseract/tesseract"]}
Fetch request URL: http://server:8080/repositories/0/code-scanning/codeql/variant-analyses
Response status: 200
Response data: [object Object]
Variant analysis findPrintf submitted for processing
Variant analysis view loaded
Unhandled error: Error saving query history to /home/coder/.local/share/code-server/User/workspaceStorage/579340b4/GitHub.vscode-codeql/workspace-query-history.json: Internal error: exhaustivity checking failure
Error: Error saving query history to /home/coder/.local/share/code-server/User/workspaceStorage/579340b4/GitHub.vscode-codeql/workspace-query-history.json: Internal error: exhaustivity checking failure
at writeQueryHistoryToFile (/home/coder/.local/share/code-server/extensions/github.vscode-codeql-1.13.2-dev.2024.12.10.23.51.57/out/extension.js:115146:11)
at QueryHistoryManager.writeQueryHistory (/home/coder/.local/share/code-server/extensions/github.vscode-codeql-1.13.2-dev.2024.12.10.23.51.57/out/extension.js:115818:5)
at QueryHistoryManager.refreshTreeView (/home/coder/.local/share/code-server/extensions/github.vscode-codeql-1.13.2-dev.2024.12.10.23.51.57/out/extension.js:116309:5)
at n.value (/home/coder/.local/share/code-server/extensions/github.vscode-codeql-1.13.2-dev.2024.12.10.23.51.57/out/extension.js:115770:11)
#+END_SRC
After adding console.logs to extension.js, restart container so they take
effect:
#+BEGIN_SRC sh
docker compose -f docker-compose-demo.yml restart code-server
#+END_SRC
This plugin is literally retarded. It reports this error as fatal, but all
the UI functionality is present...
- [ ] monkey-patch the writeQueryHistoryToFile() function?
[[file:~/work-gh/mrva/vscode-codeql/extensions/ql-vscode/src/query-history/store/query-history-store.ts::import { pathExists, remove, mkdir, writeFile, readJson } from "fs-extra";]]
#+BEGIN_SRC text
. Edit the assertNever Function
Find the function assertNever in the extension files.
It's likely in:
swift
Copy
Edit
/home/coder/.local/share/code-server/extensions/github.vscode-codeql-*/out/extension.js
Modify:
js
Copy
Edit
export function assertNever(value: never): never {
throw new ExhaustivityCheckingError(value);
}
to:
js
Copy
Edit
export function assertNever(value: never): never {
console.warn("Bypassing assertNever for value:", value);
return undefined as never;
}
This will log the issue instead of crashing.
#+END_SRC
*** XX: bug:
#+BEGIN_SRC text
Could not download the results for variant analysis with id: 1. Error: request to
http://localhost:8080/download/eyJTZXNzaW9uSUQiOjEsIk93bmVyIjoidGVzc2VyYWN0IiwiUmVwbyI6InRlc3NlcmFjdCJ9
failed, reason: connect ECONNREFUSED 127.0.0.1:8080
(codeQL.autoDownloadVariantAnalysisResult) Error: Could not download the results
for variant analysis with id: 1. Error: request to
http://localhost:8080/download/eyJTZXNzaW9uSUQiOjEsIk93bmVyIjoidGVzc2VyYWN0IiwiUmVwbyI6InRlc3NlcmFjdCJ9
failed, reason: connect ECONNREFUSED 127.0.0.1:8080
#+END_SRC
#+BEGIN_SRC sh
#* Try download from gh-mrva: works
docker exec -it mrva-docker-client-ghmrva-1 bash
curl http://localhost:8080/download/eyJTZXNzaW9uSUQiOjEsIk93bmVyIjoiU2VyaWFsLVN0dWRpbyIsIlJlcG8iOiJTZXJpYWwtU3R1ZGlvIn0=
root@66ca60f7ce3b:/app# curl http://localhost:8080/download/eyJTZXNzaW9uSUQiOjEsIk93bmVyIjoiU2VyaWFsLVN0dWRpbyIsIlJlcG8iOiJTZXJpYWwtU3R1ZGlvIn0=
Warning: Binary output can mess up your terminal. Use "--output -" to tell curl to output it to your terminal anyway, or
Warning: consider "--output <FILE>" to save to a file.
curl http://server:8080/download/eyJTZXNzaW9uSUQiOjEsIk93bmVyIjoiU2VyaWFsLVN0dWRpbyIsIlJlcG8iOiJTZXJpYWwtU3R1ZGlvIn0=
root@66ca60f7ce3b:/app# curl http://server:8080/download/eyJTZXNzaW9uSUQiOjEsIk93bmVyIjoiU2VyaWFsLVN0dWRpbyIsIlJlcG8iOiJTZXJpYWwtU3R1ZGlvIn0=
Warning: Binary output can mess up your terminal. Use "--output -" to tell curl to output it to your terminal anyway, or
Warning: consider "--output <FILE>" to save to a file.
#* Try download from vs-codeql: works for http://server:8080
docker exec -it mrva-docker-code-server-1 bash
curl http://localhost:8080/download/eyJTZXNzaW9uSUQiOjEsIk93bmVyIjoiU2VyaWFsLVN0dWRpbyIsIlJlcG8iOiJTZXJpYWwtU3R1ZGlvIn0=
coder@924c44460749:~$ curl http://localhost:8080/download/eyJTZXNzaW9uSUQiOjEsIk93bmVyIjoiU2VyaWFsLVN0dWRpbyIsIlJlcG8iOiJTZXJpYWwtU3R1ZGlvIn0=
curl: (7) Failed to connect to localhost port 8080 after 0 ms: Couldn't connect to server
curl http://server:8080/download/eyJTZXNzaW9uSUQiOjEsIk93bmVyIjoiU2VyaWFsLVN0dWRpbyIsIlJlcG8iOiJTZXJpYWwtU3R1ZGlvIn0=
coder@924c44460749:~$ curl http://server:8080/download/eyJTZXNzaW9uSUQiOjEsIk93bmVyIjoiU2VyaWFsLVN0dWRpbyIsIlJlcG8iOiJTZXJpYWwtU3R1ZGlvIn0=
Warning: Binary output can mess up your terminal. Use "--output -" to tell
Warning: curl to output it to your terminal anyway, or consider "--output
Warning: <FILE>" to save to a file.
#+END_SRC
*** XX: ?fixed? via
- SERVER_HOST=server
- SERVER_PORT=8080
But have to go through the sequence again:
- restart
- patch binaries
* Update Container Images
XX:
#+BEGIN_SRC sh