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

change outline characters

Browse Source
This commit is contained in:
Michael Hohn
2025-01-15 14:26:39 -08:00
committed by =Michael Hohn
parent 8d5973067a
commit e5030ac5b0
1 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
README.org
View File

@@ -29,14 +29,14 @@
** Use gh-mrva container to send request via cli
#+BEGIN_SRC sh
# %% Start container and check gh-mrva tool
#* Start container and check gh-mrva tool
# Start an interactive bash shell inside the running Docker container
docker exec -it mrva-docker-client-ghmrva-1 bash
# Check if the gh-mrva tool is installed and accessible
gh-mrva -h
# %% Set up gh-mrva configuration
#* Set up gh-mrva configuration
# Create configuration directory and generate config file for gh-mrva
mkdir -p ~/.config/gh-mrva
cat > ~/.config/gh-mrva/config.yml <<eof
@@ -50,7 +50,7 @@
list_file: $HOME/work-gh/mrva/gh-mrva/gh-mrva-selection.json
eof
# %% Create repository selection list
#* Create repository selection list
# 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
@@ -71,7 +71,7 @@
}
eof
# %% Create and submit the first query (FlatBuffersFunc.ql)
#* Create and submit the first query (FlatBuffersFunc.ql)
# Generate a sample CodeQL query for functions of interest
cat > ~/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql <<eof
/**
@@ -97,7 +97,7 @@
--list mirva-list \
--query ~/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql
# %% Check status and download results for the first session
#* Check status and download results for the first session
# Check the status of the submitted session
gh-mrva status --session mirva-session-1160
@@ -108,9 +108,9 @@
--download-dbs \
--output-dir mirva-session-1160
# %% Next, run a query with results
#* Next, run a query with results
# %% Set up QLPack for the next query
#** Set up QLPack for the next query
# Create a qlpack.yml file required for the next query
cat > ~/work-gh/mrva/gh-mrva/qlpack.yml <<eof
library: false
@@ -120,7 +120,7 @@
codeql/cpp-all: 0.5.3
eof
# %% Create and submit the second query (Fprintf.ql)
#** Create and submit the second query (Fprintf.ql)
# Generate a CodeQL query to find calls to fprintf
cat > ~/work-gh/mrva/gh-mrva/Fprintf.ql <<eof
/**
@@ -141,19 +141,19 @@
# Submit a new MRVA job with the second query
cd ~/work-gh/mrva/gh-mrva/
gh-mrva submit --language cpp --session mirva-session-1260 \
gh-mrva submit --language cpp --session mirva-session-1360 \
--list mirva-list \
--query ~/work-gh/mrva/gh-mrva/Fprintf.ql
# %% Check status and download results for the second session
#* Check status and download results for the second session
# Check the status of the second session
gh-mrva status --session mirva-session-1260
gh-mrva status --session mirva-session-1360
# Download SARIF files and databases for the second query
cd ~/work-gh/mrva/gh-mrva/
gh-mrva download --session mirva-session-1260 \
gh-mrva download --session mirva-session-1360 \
--download-dbs \
--output-dir mirva-session-1260
--output-dir mirva-session-1360
#+END_SRC
** Send request via gui, using vs code
The following sequence works when run from a local vs code with the custom