gh repo create mirva-controller --public -d 'Controller for MRVA'

An error occurred while setting up the controller repository: Controller
repository "hohn/mirva-controller" not found.

mkdir -p ~/local/mirva-controller && cd ~/local/mirva-controller 
echo "* mirva-controller" >> README.org
git init
git add README.org
git commit -m "first commit"
git branch -M master
git remote add origin git@github.com:hohn/mirva-controller.git
git push -u origin master

Variant analysis failed because the controller repository hohn/mirva-controller
does not have a branch 'master'. Please create a 'master' branch by clicking here
and re-run the variant analysis query. 

{
    "version": 1,
    "databases": {
        "variantAnalysis": {
            "repositoryLists": [
                {
                    "name": "mirva-list",
                    "repositories": [
                        "google/flatbuffers",
                        "psycopg/psycopg2"
                    ]
                }
            ],
            "owners": [],
            "repositories": []
        }
    },
    "selected": {
        "kind": "variantAnalysisUserDefinedList",
        "listName": "mirva-list"
    }
}

{
    "version": 1,
    "databases": {
        "variantAnalysis": {
            "repositoryLists": [
                {
                    "name": "mirva-list",
                    "repositories": [
                        "google/flatbuffers"
                    ]
                }
            ],
            "owners": [],
            "repositories": []
        }
    },
    "selected": {
        "kind": "variantAnalysisUserDefinedList",
        "listName": "mirva-list"
    }
}

Run actions/checkout@v4
with:
    repository: github/codeql-variant-analysis-action
    ref: main
    token: ***
    ssh-strict: true
    persist-credentials: true
    clean: true
    sparse-checkout-cone-mode: true
    fetch-depth: 1
    fetch-tags: false
    show-progress: true
    lfs: false
    submodules: false
    set-safe-directory: true
    env:
        CODEQL_ENABLE_EXPERIMENTAL_FEATURES_SWIFT: true

# Build the client
cd ~/work-gh/mrva/gh-mrva

go clean
go build . # go build -gcflags="all=-N -l" . 

./gh-mrva -h

# Set up the configuration -- check your paths
cat > ~/.config/gh-mrva/config.yml <<eof
       # The following options are supported
       # codeql_path: Path to CodeQL distribution (checkout of codeql repo)
       # controller: NWO of the MRVA controller to use
       # list_file: Path to the JSON file containing the target repos

       # git checkout codeql-cli/v2.15.5
       codeql_path: /Users/hohn/local/codeql-lib
       controller: hohn/mirva-controller
       list_file: /Users/hohn/work-gh/mrva/gh-mrva/mirva-list-databases.json

eof

# Define utility functions
submit (){
    SN=$1
    cd ~/work-gh/mrva/gh-mrva
    ./gh-mrva submit --language cpp --session mirva-session-$SN     \
              --list mirva-list                                     \
              --query /Users/hohn/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql >& log-submit-$SN.log &
    sleep 1 && em log-submit-$SN.log
}

sessstatus (){
    SN=$1
    cd ~/work-gh/mrva/gh-mrva
    ./gh-mrva status --session mirva-session-$SN >& log-$SN-status.log &
    sleep 1 && em log-$SN-status.log
}

# Download the sarif files and CodeQL dbs when finished
dl (){
    SN=$1
    cd ~/work-gh/mrva/gh-mrva
    ./gh-mrva download --session mirva-session-$SN \
              --download-dbs \
              --output-dir mirva-session-$SN-sarif \
              >& log-download-$SN.log &
    sleep 1 && em log-download-$SN.log 
}

# Just download sarif / bqrs zip file
dl (){
    SN=$1
    cd ~/work-gh/mrva/gh-mrva
    ./gh-mrva download --session mirva-session-$SN \
              --output-dir mirva-session-$SN-sarif \
              >& log-download-$SN.log &
    sleep 1 && em log-download-$SN.log 
}


submit      211
sessstatus  211
dl          211

# Use the delve debugger to find sigsev

# compile debugging binaries with -gcflags="all=-N -l" on Go 1.10 or later
go build -gcflags="all=-N -l" .

# Check the status
dlv debug -- status --session mirva-session-$SN
# Type 'help' for list of commands.
# (dlv) c

# dlv debug builds, so the above build may be redundant
dlv debug -- download --session mirva-session-$SN \
    --download-dbs \
    --output-dir mirva-session-$SN-sarif 

# dlv may say 'no sources', but this works anyay
b main.main    
l

# This inline use of dlv may fail; attaching to a process is more reliable