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

reduce cache duration to 0; adjust for demo

Browse Source
This commit is contained in:
michael hohn
2025-12-04 10:48:07 -08:00
committed by =michael hohn
parent c312717421
commit 8024d1dfdd
5 changed files with 55 additions and 51 deletions
Download Patch File Download Diff File Expand all files Collapse all files

73
README.org
View File

@@ -172,6 +172,7 @@
#* Start the containers
cd ~/work-gh/mrva/mrva-docker/
docker-compose -f docker-compose-demo.yml down
docker ps
docker-compose -f docker-compose-demo.yml up
@@ -576,48 +577,50 @@
*** Create repository selection list
#+BEGIN_SRC sh
# Create a directory and generate the JSON file specifying repositories
mkdir -p ~/work-gh/mrva/gh-mrva
cat > ~/work-gh/mrva/gh-mrva/gh-mrva-selection.json <<eof
{
"mirva-list": [
"Serial-Studio/Serial-Studio",
"UEFITool/UEFITool",
"aircrack-ng/aircrack-ng",
"bulk-builder/bulk-builder",
"tesseract/tesseract"
]
}
eof
# Create a directory and generate the JSON file specifying repositories
mkdir -p ~/work-gh/mrva/gh-mrva
# <<insert db-selector-gui output below>>
cat > ~/work-gh/mrva/gh-mrva/gh-mrva-selection.json <<eof
{
"mirva-list": [
"Apktool/Apktool",
"JCTools/JCTools",
"UEFITool/UEFITool",
"inotify-tools/inotify-tools",
"languagetool/languagetool",
"powertools-lambda-python/powertools-lambda-python",
"toolbelt/toolbelt"
]
}
eof
#+END_SRC
*** Create and submit the first query (FlatBuffersFunc.ql)
#+BEGIN_SRC sh
# Generate a sample CodeQL query for functions of interest
cat > ~/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql <<eof
/**
,* @name pickfun
,* @description Pick function from FlatBuffers
,* @kind problem
,* @id cpp-flatbuffer-func
,* @problem.severity warning
,*/
# Generate a sample CodeQL query for functions of interest
cat > ~/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql <<eof
/**
,* @name pickfun
,* @description Pick function from FlatBuffers
,* @kind problem
,* @id cpp-flatbuffer-func
,* @problem.severity warning
,*/
import cpp
import cpp
from Function f
where
f.getName() = "MakeBinaryRegion" or
f.getName() = "microprotocols_add"
select f, "definition of MakeBinaryRegion"
eof
from Function f
where
f.getName() = "MakeBinaryRegion" or
f.getName() = "microprotocols_add"
select f, "definition of MakeBinaryRegion"
eof
# Submit the MRVA job with the first query
cd ~/work-gh/mrva/gh-mrva/
gh-mrva submit --language cpp --session mirva-session-1172 \
--list mirva-list \
--query ~/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql
# Submit the MRVA job with the first query
cd ~/work-gh/mrva/gh-mrva/
gh-mrva submit --language cpp --session mirva-session-1172 \
--list mirva-list \
--query ~/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql
#+END_SRC

16
bin/ma.send-request
View File

@@ -28,11 +28,11 @@ mkdir -p ~/work-gh/mrva/gh-mrva
cat > ~/work-gh/mrva/gh-mrva/gh-mrva-selection.json <<eof
{
"mirva-list": [
"Serial-Studio/Serial-Studio",
"UEFITool/UEFITool",
"aircrack-ng/aircrack-ng",
"bulk-builder/bulk-builder",
"tesseract/tesseract"
"inotify-tools/inotify-tools",
"loongcollector/loongcollector",
"mongoose/mongoose",
"xrootd/xrootd"
]
}
eof
@@ -59,20 +59,20 @@ eof
# Submit the MRVA job with the first query
cd ~/work-gh/mrva/gh-mrva/
gh-mrva submit --language cpp --session mirva-session-4789 \
gh-mrva submit --language cpp --session mirva-session-4890 \
--list mirva-list \
--query ~/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql
# Check the status of the submitted session
gh-mrva status --session mirva-session-4789
gh-mrva status --session mirva-session-4890
# Download SARIF files and databases if there are results. For the current
# query / database combination there are zero result hence no downloads
cd ~/work-gh/mrva/gh-mrva/
gh-mrva download --session mirva-session-4789 \
gh-mrva download --session mirva-session-4890 \
--download-dbs \
--output-dir mirva-session-4789
--output-dir mirva-session-4890
#* Set up QLPack for the next query

2
containers/hepc/README.org
View File

@@ -23,7 +23,7 @@
# shell in hepc
docker run -ti mrva-hepc-container:0.4.0 /bin/bash
# Test server; also when running via compose
# Test server from host. From container, change url to http://hepc:8070/
curl 127.0.0.1:8070/index -o - 2>/dev/null | wc -l
curl 127.0.0.1:8070/api/v1/latest_results/codeql-all \

6
docker-compose-demo.yml
View File

@@ -66,7 +66,7 @@ services:
- /home/hohn/work-gh/mrva/mrvahepc/db-collection-host.tmp:/home/hohn/work-gh/mrva/mrvahepc/db-collection-host.tmp:ro
- /home/hohn/work-gh/mrva/mrva-open-source-download:/home/hohn/work-gh/mrva/mrva-open-source-download:ro
command: >-
host-hepc-serve --codeql-db-dir db-collection-host.tmp
host-hepc-serve --codeql-db-dir /home/hohn/work-gh/mrva/mrvahepc/db-collection-host.tmp
--host "0.0.0.0"
--port "8070"
networks:
@@ -111,7 +111,7 @@ services:
POSTGRES_HOST: postgres
POSTGRES_PORT: 5432
MRVA_HEPC_ENDPOINT: http://hepc:8070
MRVA_HEPC_CACHE_DURATION: "60"
MRVA_HEPC_CACHE_DURATION: "0"
SERVER_HOST: server
SERVER_PORT: "8080"
networks:
@@ -142,7 +142,7 @@ services:
env_file: ./.env.container
environment:
- MRVA_HEPC_ENDPOINT=http://hepc:8070
- MRVA_HEPC_CACHE_DURATION=60
- MRVA_HEPC_CACHE_DURATION=0
networks:
- backend

9
mrva-docker.code-workspace
View File

@@ -1,8 +1,9 @@
{
"folders": [
{
"path": "."
}
],
{
"name": "mrva-docker",
"path": "."
}
],
"settings": {}
}