Files
cocos/manager/qemu/vm_test.go
T
Danko Miladinovic 81fe0b11b5
CI / lint (push) Has been cancelled
CI / test (agent) (push) Has been cancelled
CI / test (cli) (push) Has been cancelled
CI / test (cmd) (push) Has been cancelled
CI / test (internal) (push) Has been cancelled
CI / test (manager, true) (push) Has been cancelled
CI / test (pkg) (push) Has been cancelled
CI / upload-coverage (push) Has been cancelled
COCOS-432 - FDE support (#553)
* initial FDE setup

* add Manager support

* fix igvmmeasure build

* rebase on main

* add tests

* NOISSUE - Allow interoperability with CC Attestation Agent (#568)

* feat: Add Confidential Containers attestation agent as an alternative attestation backend with new proto definitions and build system integration.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* fix: Update protoc-gen-go and protoc-gen-go-grpc versions in CI workflow

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: Add mock implementation for AttestationAgentServiceClient and corresponding tests

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* fix: Add missing periods to test function comments in provider_test.go

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

---------

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* NOISSUE - Agent Pull mode for remote resources (#575)

* feat(kbs): implement KBS client for attestation and resource retrieval

- Added KBS client implementation in pkg/kbs/client.go with methods for attestation and resource retrieval.
- Introduced necessary data structures for requests and responses.
- Implemented error handling for various scenarios.

test(kbs): add unit tests for KBS client

- Created comprehensive tests for the KBS client in pkg/kbs/client_test.go.
- Included tests for attestation success and failure cases, as well as resource retrieval.

feat(registry): introduce HTTP and S3 registry implementations

- Added HTTPRegistry for downloading resources over HTTP/HTTPS with retry logic in pkg/registry/http.go.
- Implemented S3Registry for downloading resources from AWS S3 and S3-compatible services in pkg/registry/s3.go.
- Included error handling and configuration options for both registries.

chore(registry): define registry interface and configuration

- Created registry interface and configuration struct in pkg/registry/registry.go.
- Added default configuration settings for registry clients.

docs(cvms): update README for CVMS server configuration and usage

- Enhanced documentation for CVMS server with detailed command-line flags and usage examples.
- Clarified direct upload and remote resource modes, including KBS integration.

fix(cvms): integrate KBS for remote resource handling in main.go

- Updated main.go to support remote datasets and algorithms using KBS.
- Added validation for command-line flags to ensure proper configuration.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* fix: Move ifeq conditional outside define block in attestation-service.mk

Make conditionals cannot be evaluated inside define...endef blocks
when used as recipe bodies. Restructured to define the
ATTESTATION_SERVICE_INSTALL_INIT_SYSTEMD block conditionally based
on BR2_PACKAGE_CC_ATTESTATION_AGENT configuration.

* feat: Implement remote resource downloading for algorithms and datasets using AWS S3/MinIO credentials.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: Add comprehensive documentation and agent support for testing remote resource download with KBS attestation.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: Improve agent logging for remote resource configuration and KBS status, and add a testing guide for remote resource downloads with KBS attestation.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: Add a comprehensive guide for testing remote resource download with KBS attestation and update multiple package versions to a specific commit.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: Add failure transitions for resource reception states and a comprehensive guide for testing remote resource downloads with KBS attestation.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: Implement remote resource download with KBS attestation in the agent and add a comprehensive testing guide.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* test: Add comprehensive guide for testing remote resource download with KBS attestation and include a debug log in the attestation client.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: Delegate KBS attestation and token retrieval to a new attestation-agent service and document remote resource testing.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* client fixes

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* raw evidence

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* fix: Build all Go files in cmd directories, not just main.go

This fixes the issue where fetch_raw_evidence.go wasn't being included
in the attestation-service build.

* fix: Wrap binary evidence in JSON for KBS compatibility

Fixes 'invalid character' error by wrapping raw binary evidence
in a JSON structure with base64 encoding, as expected by KBS.

* chore: Update buildroot packages to c28cefae

Includes fixes for:
1. attestation-service build (including fetch_raw_evidence.go)
2. Agent KBS evidence format (wrapping binary in JSON)

* fix: Implement KBS RCAR handshake with cookies

Fixes 'cookie not found' error (401) from KBS by:
1. Adding CookieJar support to KBS client
2. Implementing GetChallenge() to perform /auth handshake and capture session cookie
3. Updating Agent to get challenge, decode nonce, and use it for evidence generation
4. Regenerating mocks

* chore: Update buildroot packages to f6981ac5

Includes KBS RCAR handshake fix (cookie support + GetChallenge loop)

* fix: Update KBS client JSON tags to kebab-case

Fixes deserialization error (401) from KBS by:
1. Using kebab-case (e.g. extra-params) for JSON tags as per protocol.
2. Initializing ExtraParams as empty object {} instead of null/omitted.

* fix: Wrap attestation evidence in primary_evidence format

Updates Agent to construct 'tee-evidence' payload with:
- primary_evidence: containing the actual quote/data
- additional_evidence: empty JSON object

This matches the Confidential Containers KBS Attestation Protocol requirements.

* fix: Update KBS protocol version to 0.4.0

KBS rejected 0.1.0 with a version mismatch error. Bumping to 0.4.0 to match server expectation.

* fix: Generate ephemeral key for KBS RuntimeData

Updates RuntimeData to include a valid ephemeral EC P-256 public key in JWK format, as required by the KBS RCAR protocol.
Also fixes the KBS client struct to support TEEPubKey as an object.

* fix: Update sample attestation quote to valid JSON

The default attestation.bin was binary, but the KBS Sample Verifier expects a valid JSON quote containing 'svn' and 'report_data'.
Updated the embedded bin file to contain this JSON structure.

* fix: Generate dynamic JSON quote for Sample TEE in FetchRawEvidence

The KBS Sample Verifier expects a JSON object with 'svn' and 'report_data'.
Previously, we were returning raw binary data (reportData+nonce).
This commit updates FetchRawEvidence to return a marshaled JSON structure with:
- svn: "1"
- report_data: base64(req.ReportData)

* refactor: Delegate Sample Attestation to Provider

Refactored sample attestation logic:
- Moved JSON Quote generation into EmptyProvider (standalone mode).
- Updated FetchRawEvidence to call provider.TeeAttestation instead of manual generation.
This enables using the real CC Attestation Agent for UNSPECIFIED platform if configured.

* feat: Add comprehensive debug logging and enforce CC AA usage

Changes:
- Updated EmptyProvider to return error instead of generating mock data
  This forces proper use of CC Attestation Agent's sample attester
- Added detailed logging to attestation-service FetchRawEvidence:
  * Hex dump of evidence (first 200 bytes)
  * String preview of evidence
  * Total evidence length
- Added detailed logging to agent service:
  * Raw evidence hex and string previews
  * KBS evidence JSON preview (first 500 bytes)
  * Evidence lengths at each transformation step

This logging will help diagnose why KBS Sample Verifier is rejecting evidence.

* fix: Enable CC AA by default and add attestation-service log forwarding

Changes:
- Set USE_CC_ATTESTATION_AGENT=true by default in systemd service
- Added StandardOutput/StandardError to forward logs to /var/log/cocos/
- Updated HAL makefile to handle new default value
- This ensures attestation-service uses CC AA's sample attester
- Logs will now be visible in CVMS output for debugging

* feat: Add gRPC log forwarding to attestation-service

Implemented the same log forwarding mechanism used by the agent:
- Added ProtoHandler to write logs to both stdout and logQueue
- Connected to log client (/run/cocos/log.sock) for gRPC forwarding
- Added goroutine to forward logs to CVMS via log client
- Logs will now appear in CVMS output during computation runs

This enables visibility into attestation-service debug output including:
- CC AA connection status
- Evidence generation details (hex dumps, string previews)
- Any errors from providers

* fix: Parse sample evidence JSON instead of base64-encoding it

The attestation-service returns sample evidence as JSON:
{"svn":"1","report_data":"base64..."}

The agent was incorrectly base64-encoding this JSON string again.
KBS Sample Verifier expects the parsed JSON object directly.

Fixed by:
- Parsing the JSON evidence from attestation-service
- Passing the parsed object directly in primary_evidence.evidence
- This matches what KBS Sample Verifier expects

* debug: Increase KBS evidence logging preview to 1000 bytes

Show the complete JSON structure being sent to KBS to debug
the attestation failure.

* debug: Add comprehensive CC AA configuration logging

Added debug logs to show:
- Whether CC AA is enabled in config
- CC AA address being used
- Connection success/failure
- Which provider is ultimately selected
- Warning when falling back to EmptyProvider

This will help diagnose why EmptyProvider is being used
instead of CC Attestation Agent.

* debug: Add startup logging for log client connection

Added log message to show if log client connection succeeds
at attestation-service startup. This will help diagnose why
logs aren't appearing in CVMS output.

* feat: Add retry logic with exponential backoff to log client

Added simple retry mechanism to handle concurrent log requests:
- 3 retry attempts with exponential backoff (10ms, 20ms, 40ms)
- Applies to both SendLog and SendEvent methods
- Centralized in log client so all services benefit
- Should eliminate 'failed to send log' errors from concurrent requests

This fixes the issue where attestation-service logs weren't
appearing in CVMS output due to dropped messages.

* fix: Flatten sample evidence fields in primary_evidence for KBS

KBS Sample Verifier expects svn and report_data at the top level
of primary_evidence, not nested under an 'evidence' key.

Changed structure from:
{"primary_evidence": {"tee": "sample", "evidence": {"svn": "1", ...}}}

To:
{"primary_evidence": {"tee": "sample", "svn": "1", "report_data": "...", ...}}

This matches what KBS expects when deserializing the Quote structure.

* fix: Use sample quote directly as primary_evidence per KBS protocol

According to KBS attestation protocol spec, for sample TEE type,
primary_evidence should be the sample quote JSON directly:
{"svn": "1", "report_data": "..."}

Removed extra 'tee' and 'platform' fields that were causing KBS
to fail deserializing the Quote structure. The 'tee' field is
already sent in the Request payload during RCAR handshake.

Refs:
- https://github.com/confidential-containers/trustee/blob/main/kbs/docs/kbs_attestation_protocol.md
- https://github.com/confidential-containers/guest-components/blob/main/attestation-agent/attester/src/sample/mod.rs

* fix: Make CC AA required for sample attestation when configured

When USE_CC_ATTESTATION_AGENT=true, attestation-service now
requires AA to be available for NoCC/sample platform. This ensures
sample evidence always comes from AA with the correct KBS format.

Changes:
- Error out if AA connection fails for NoCC platform when AA is configured
- Only use EmptyProvider if AA is explicitly NOT configured
- Prevents incorrect sample evidence format from EmptyProvider

This ensures attestation-service delegates to AA for sample evidence
generation instead of creating it itself.

* fix: Implement proper RCAR protocol with tee-pubkey and runtime-data hash

Fixed KBS attestation error 'REPORT_DATA is different from that in Sample Quote'

Changes:
1. Generate ephemeral EC key pair BEFORE getting evidence from AA
2. Create runtime-data with nonce + tee-pubkey (JWK format)
3. Hash runtime-data (SHA-256) and use as report_data for AA
4. This binds the tee-pubkey to the TEE evidence per RCAR protocol

The report_data in the evidence now matches what KBS expects:
hash(runtime-data) instead of computation ID.

This completes the full RCAR protocol implementation:
- Request → Challenge → Attestation (with bound tee-pubkey) → Response

* fix(agent): use simple nonce for Sample attestation report_data

For Sample/NoCC attestation, use the raw nonce bytes directly as
report_data instead of hashing runtime-data. This avoids JSON
serialization mismatches with the KBS Sample verifier.

Real TEEs (TDX/SNP) still use runtime-data hash binding to
cryptographically bind the ephemeral tee-pubkey to the evidence.

* fix(agent): use RFC 8785 canonical JSON for runtime-data hashing

The KBS Sample attestation verifier (and likely others) expects the
report_data to be the SHA-256 hash of the *canonical* JSON serialization
(RFC 8785) of the runtime-data. Standard Go JSON marshaling does not
guarantee key ordering, leading to hash mismatches.

This change uses github.com/gowebpki/jcs to canonicalize the runtime-data
before hashing, ensuring compatibility with the KBS RCAR implementation.
Also reverted the temporary 'simple nonce' workaround.

* feat(hal): add CoCo Keyprovider and Skopeo packages

- Add coco-keyprovider buildroot package with systemd service
- Add skopeo buildroot package for OCI image handling
- Add ocicrypt_keyprovider.conf for encrypted image decryption
- Update Config.in to include new packages

This enables standard CoCo ecosystem integration for encrypted
OCI images instead of custom S3/HTTP registry clients.

* feat(oci): add OCI image handling package with Skopeo integration

- Add pkg/oci/types.go with ResourceSource and ImageManifest types
- Add pkg/oci/skopeo.go with Skopeo wrapper for pull/decrypt
- Add pkg/oci/extract.go for extracting algorithms and datasets from layers

This package provides OCI image handling using Skopeo and CoCo
Keyprovider for encrypted image decryption, replacing custom
S3/HTTP registry clients.

* chore: regenerate protobuf files for updated cvms.proto

* refactor(agent): replace S3/HTTP/KBS with OCI package

- Remove pkg/kbs and pkg/registry imports
- Add pkg/oci import for OCI image handling
- Replace downloadAndDecryptResource with OCI-based implementation
- Use Skopeo + CoCo Keyprovider for automatic decryption
- Reduce code from ~240 lines to ~70 lines

This eliminates custom KBS RCAR handshake, S3/HTTP registry clients,
and manual decryption logic. CoCo Keyprovider handles all decryption
automatically via ocicrypt protocol.

* chore: remove obsolete pkg/kbs and pkg/registry packages

- Delete pkg/kbs/ (custom KBS client, ~300 lines)
- Delete pkg/registry/ (S3/HTTP registry clients, ~400 lines)
- Remove unused imports from agent/service.go
- Run go mod tidy to clean up dependencies

These packages have been replaced by pkg/oci with Skopeo and
CoCo Keyprovider for standard CoCo ecosystem integration.

* fix(agent): update ResourceSource struct to include type and encryption fields

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* fix(hal): update CoCo Keyprovider to v0.16.0 and fix build path

- Update version from v0.11.0 to v0.16.0 (matches attestation agent)
- Fix install path: target is at repo root, not in coco_keyprovider subdir
- This fixes the build error where coco_keyprovider binary wasn't found

The cargo workspace in guest-components builds to a shared target/
directory at the repository root, not within each crate's subdirectory.

* feat: Update remote resources testing guide to use kbs-client and coco-keyprovider for key management and encryption, enable insecure TLS for Skopeo, and enhance CVMS with

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: Update component versions, revise image encryption documentation, and sanitize OCI image paths for Skopeo compatibility.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: Add `decompress` option to Dataset and `algo_type`/`algo_args` to Algorithm protobuf messages, updating client, test, and build configurations.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* Update multiple package versions and enhance OCI image extraction error reporting for missing algorithm files.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* chore: Bump package versions, improve OCI image extraction debugging by returning seen files, and remove unused dataset type parsing from test code.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* refactor: Migrate OCI extraction to use structured logging with `slog` and `context`, and update package versions.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: Bump multiple component versions, add encrypted status for computation inputs and algorithms, and refine OCI layer extraction warnings.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* logging

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: Add `Encrypted` field to algorithm and dataset resource sources and update all component versions.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: update component versions, integrate coco-keyprovider service, and configure ocicrypt key provider.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: add support for KBS parameters and dataset/algorithm hash calculations in CVMS

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: update resource download and extraction logic to support requirements.txt and improve hash verification

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* chore: Update dependencies, improve code style, and add GetRawEvidence to attestation client mocks.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* Refactor code structure for improved readability and maintainability

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* fix: update golangci configuration to include errcheck for build path and remove unnecessary exclusions

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* fix: streamline kernel command line handling in QEMU args construction

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* feat: add attestation binary and update checksum tests and policy structure

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* Add unit tests for attestation agent, attestation, log, crypto, OCI, and Skopeo clients

- Implement tests for the attestation agent client including Unix socket and TCP address handling, token retrieval, and error scenarios.
- Enhance attestation client tests to cover fetching raw evidence for various platforms (SNP, TDX, VTPM, SNPvTPM) and validate error handling.
- Introduce log client tests to verify retry behavior for sending logs and events.
- Create comprehensive tests for crypto package focusing on AES-GCM decryption, encrypted resource parsing, and key unwrapping.
- Add tests for OCI package to validate algorithm and dataset extraction, including JSON serialization of OCILayout.
- Implement Skopeo client tests to ensure proper functionality for image pulling, inspecting, and resource source handling.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* fix: handle JSON marshal errors in test cases for decrypt and extract functions

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* test: add comprehensive tests for algorithm and dataset extraction with various scenarios

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* refactor: replace hardcoded Python script content with constant variable

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* fix: remove redundant mock expectation for SendAgentConfig in TestCreateVMWithAaKbsParams

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* test: add tests for event sending failure, dataset extraction with path traversal, and Skopeo client behavior

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* test: add tests for download and decryption of resources with various URL formats

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* refactor: Introduce OCIClient interface for agent service to improve testability of OCI image operations and enhance related tests.

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* refactor: Change `get_uint64_from_tcb` to accept `TcbVersion` by value and use `u64::from` for type conversions.

---------

Signed-off-by: Sammy Oina <sammyoina@gmail.com>

* initial FDE setup

* add Manager support

* add cloud-init script

* rebase onto main

* add blank lines

* add tdx rtmr support

* add FDE flow

* use DiskConfig.Format instead of fixed values

* add tests and expand Manager README.md

* add curl command

* add encrypted partition support

* remove nbd

* add dm-verity

* fix manager boot sequence

---------

Signed-off-by: Sammy Oina <sammyoina@gmail.com>
Co-authored-by: ultraviolet <cocosai@worker-52.local.pragmatic-it.com>
Co-authored-by: Sammy Kerata Oina <44265300+SammyOina@users.noreply.github.com>
2026-05-08 14:59:13 +02:00

539 lines
12 KiB
Go

// Copyright (c) Ultraviolet
// SPDX-License-Identifier: Apache-2.0
package qemu
import (
"fmt"
"log/slog"
"os"
"os/exec"
"path/filepath"
"strings"
"testing"
"github.com/stretchr/testify/assert"
"github.com/ultravioletrs/cocos/manager/vm/mocks"
pkgmanager "github.com/ultravioletrs/cocos/pkg/manager"
)
const testComputationID = "test-computation"
func cleanupStrayQcow2(t *testing.T) {
t.Helper()
wd, err := os.Getwd()
if err != nil {
t.Fatalf("failed to get working directory: %v", err)
}
t.Cleanup(func() {
_ = os.Remove(filepath.Join(wd, "qcow2"))
})
}
func requireTempFile(t *testing.T, path string) {
t.Helper()
f, err := os.Create(path)
if err != nil {
t.Fatalf("failed to create temp file %s: %v", path, err)
}
if err := f.Close(); err != nil {
t.Fatalf("failed to close temp file %s: %v", path, err)
}
}
func TestNewVM(t *testing.T) {
config := VMInfo{Config: Config{}}
vm := NewVM(config, testComputationID, slog.Default())
assert.NotNil(t, vm)
assert.IsType(t, &qemuVM{}, vm)
}
func TestStart(t *testing.T) {
// Create a temporary file for testing
tmpFile, err := os.CreateTemp("", "test-ovmf-vars")
assert.NoError(t, err)
defer os.Remove(tmpFile.Name())
config := VMInfo{Config: Config{
OVMFVarsConfig: OVMFVarsConfig{
File: tmpFile.Name(),
},
QemuBinPath: "echo",
KernelConfig: KernelConfig{
KernelFile: "img/bzImage",
RootFsFile: "img/rootfs.cpio.gz",
},
}}
vm := NewVM(config, testComputationID, slog.Default()).(*qemuVM)
err = vm.Start()
assert.NoError(t, err)
assert.NotNil(t, vm.cmd)
_ = vm.Stop()
}
func TestStartSudo(t *testing.T) {
// Create a temporary file for testing
tmpFile, err := os.CreateTemp("", "test-ovmf-vars")
assert.NoError(t, err)
defer os.Remove(tmpFile.Name())
config := VMInfo{Config: Config{
OVMFVarsConfig: OVMFVarsConfig{
File: tmpFile.Name(),
},
QemuBinPath: "echo",
UseSudo: true,
KernelConfig: KernelConfig{
KernelFile: "img/bzImage",
RootFsFile: "img/rootfs.cpio.gz",
},
}}
vm := NewVM(config, testComputationID, slog.Default()).(*qemuVM)
err = vm.Start()
assert.NoError(t, err)
assert.NotNil(t, vm.cmd)
_ = vm.Stop()
}
func TestStart_EnableDisk(t *testing.T) {
cleanupStrayQcow2(t)
toolsDir := t.TempDir()
convertLogFile := filepath.Join(toolsDir, "qemu-img-convert.log")
resizeLogFile := filepath.Join(toolsDir, "qemu-img-resize.log")
srcDiskFile := filepath.Join(toolsDir, "enc_os.qcow2")
requireTempFile(t, srcDiskFile)
writeFakeExecutable(t, toolsDir, "qemu-img", fmt.Sprintf(`#!/bin/sh
case "$1" in
info)
printf '%%s' '{"virtual-size":2147483648}'
;;
convert)
printf '%%s\n' "$@" > %q
dst="$7"
: > "$dst"
;;
resize)
printf '%%s\n' "$@" > %q
;;
*)
echo "unexpected subcommand: $1" >&2
exit 2
;;
esac
`, convertLogFile, resizeLogFile))
writeFakeExecutable(t, toolsDir, "fake-qemu", `#!/bin/sh
trap 'exit 0' TERM INT
while :; do
sleep 1
done
`)
prependPath(t, toolsDir)
config := VMInfo{Config: Config{
EnableTDX: true,
EnableDisk: true,
QemuBinPath: "fake-qemu",
DiskConfig: DiskConfig{
SrcFile: srcDiskFile,
ID: "disk0",
Format: "qcow2",
SCSIID: "scsi0",
},
}}
vm := NewVM(config, testComputationID, slog.Default()).(*qemuVM)
err := vm.Start()
assert.NoError(t, err)
assert.NotNil(t, vm.cmd)
assert.Contains(t, vm.vmi.Config.DstFile, filepath.Join(tmpDir, diskDstName))
_, err = os.Stat(vm.vmi.Config.DstFile)
assert.NoError(t, err)
loggedArgs, err := os.ReadFile(convertLogFile)
assert.NoError(t, err)
assert.Equal(t, []string{
"convert",
"-f",
"qcow2",
"-O",
"qcow2",
srcDiskFile,
vm.vmi.Config.DstFile,
}, strings.Fields(string(loggedArgs)))
loggedArgs, err = os.ReadFile(resizeLogFile)
assert.NoError(t, err)
assert.Equal(t, []string{
"resize",
vm.vmi.Config.DstFile,
"3G",
}, strings.Fields(string(loggedArgs)))
err = vm.Stop()
assert.NoError(t, err)
_, err = os.Stat(vm.vmi.Config.DstFile)
assert.Error(t, err)
assert.True(t, os.IsNotExist(err))
}
func TestStart_EnableDiskCreateError(t *testing.T) {
cleanupStrayQcow2(t)
toolsDir := t.TempDir()
srcDiskFile := filepath.Join(toolsDir, "enc_os.qcow2")
requireTempFile(t, srcDiskFile)
writeFakeExecutable(t, toolsDir, "qemu-img", `#!/bin/sh
case "$1" in
info)
printf '%s' '{"virtual-size":2147483648}'
;;
convert)
echo 'disk create failed' >&2
exit 1
;;
resize)
exit 0
;;
*)
echo "unexpected subcommand: $1" >&2
exit 2
;;
esac
`)
prependPath(t, toolsDir)
config := VMInfo{Config: Config{
EnableTDX: true,
EnableDisk: true,
QemuBinPath: "fake-qemu",
DiskConfig: DiskConfig{
SrcFile: srcDiskFile,
},
}}
vm := NewVM(config, testComputationID, slog.Default()).(*qemuVM)
err := vm.Start()
assert.Error(t, err)
assert.ErrorContains(t, err, "qemu-img convert failed")
assert.ErrorContains(t, err, "disk create failed")
assert.Nil(t, vm.cmd)
}
func TestStop(t *testing.T) {
t.Run("success", func(t *testing.T) {
cmd := exec.Command("echo", "test")
err := cmd.Start()
assert.NoError(t, err)
sm := new(mocks.StateMachine)
sm.On("Transition", pkgmanager.StopComputationRun).Return(nil)
vm := &qemuVM{
cmd: &exec.Cmd{
Process: cmd.Process,
},
StateMachine: sm,
}
err = vm.Stop()
assert.NoError(t, err)
})
t.Run("transition error", func(t *testing.T) {
cmd := exec.Command("echo", "test")
err := cmd.Start()
assert.NoError(t, err)
sm := new(mocks.StateMachine)
sm.On("Transition", pkgmanager.StopComputationRun).Return(assert.AnError)
sm.On("State").Return(pkgmanager.Stopped.String())
vm := &qemuVM{
cmd: &exec.Cmd{
Process: cmd.Process,
},
StateMachine: sm,
}
err = vm.Stop()
assert.NoError(t, err)
})
t.Run("disk enable", func(t *testing.T) {
dir := t.TempDir()
dst := filepath.Join(dir, "disk.qcow2")
f, err := os.Create(dst)
if err != nil {
t.Fatal(err)
}
if err := f.Close(); err != nil {
t.Fatal(err)
}
cmd := exec.Command("echo", "test")
err = cmd.Start()
assert.NoError(t, err)
sm := new(mocks.StateMachine)
sm.On("Transition", pkgmanager.StopComputationRun).Return(nil)
vm := &qemuVM{
vmi: VMInfo{
Config: Config{
EnableDisk: true,
DiskConfig: DiskConfig{
DstFile: dst,
},
},
},
cmd: &exec.Cmd{
Process: cmd.Process,
},
StateMachine: sm,
}
err = vm.Stop()
assert.NoError(t, err)
})
}
func TestSetProcess(t *testing.T) {
vm := &qemuVM{
vmi: VMInfo{
Config: Config{
QemuBinPath: "echo", // Use 'echo' as a dummy QEMU binary
KernelConfig: KernelConfig{
KernelFile: "img/bzImage",
RootFsFile: "img/rootfs.cpio.gz",
},
},
},
}
err := vm.SetProcess(os.Getpid()) // Use current process as a dummy
assert.NoError(t, err)
assert.NotNil(t, vm.cmd)
assert.NotNil(t, vm.cmd.Process)
}
func TestGetProcess(t *testing.T) {
expectedPid := 12345
vm := &qemuVM{
cmd: &exec.Cmd{
Process: &os.Process{Pid: expectedPid},
},
}
pid := vm.GetProcess()
assert.Equal(t, expectedPid, pid)
}
func TestGetConfig(t *testing.T) {
expectedConfig := VMInfo{
Config: Config{
QemuBinPath: "echo",
},
}
vm := &qemuVM{
vmi: expectedConfig,
}
config := vm.GetConfig()
assert.Equal(t, expectedConfig, config)
}
func TestSEVSNPEnabled(t *testing.T) {
t.Run("cpuinfo and kvm param correct", func(t *testing.T) {
assert.True(t, SEVSNPEnabled("flags: sev_snp abc", "Y"))
})
t.Run("missing sev_snp in cpuinfo", func(t *testing.T) {
assert.False(t, SEVSNPEnabled("flags: abc", "1"))
})
t.Run("kernel param not enabled", func(t *testing.T) {
assert.False(t, SEVSNPEnabled("flags: sev_snp", "0"))
})
}
func TestTDXEnabled(t *testing.T) {
t.Run("cpuinfo and kvm param correct", func(t *testing.T) {
assert.True(t, TDXEnabled("flags: tdx_host_platform abc", "Y"))
})
t.Run("missing tdx_host_platform in cpuinfo", func(t *testing.T) {
assert.False(t, TDXEnabled("flags: abc", "1"))
})
t.Run("kernel param not enabled", func(t *testing.T) {
assert.False(t, TDXEnabled("flags: tdx_host_platform", "0"))
})
}
func TestSEVSNPEnabledOnHost(t *testing.T) {
cpuinfo, cpuErr := os.ReadFile("/proc/cpuinfo")
kernelParam, kernelErr := os.ReadFile("/sys/module/kvm_amd/parameters/sev_snp")
expected := false
if cpuErr == nil && kernelErr == nil {
expected = SEVSNPEnabled(string(cpuinfo), string(kernelParam))
}
assert.Equal(t, expected, SEVSNPEnabledOnHost())
}
func TestTDXEnabledOnHost(t *testing.T) {
cpuinfo, cpuErr := os.ReadFile("/proc/cpuinfo")
kernelParam, kernelErr := os.ReadFile("/sys/module/kvm_intel/parameters/tdx")
expected := false
if cpuErr == nil && kernelErr == nil {
expected = TDXEnabled(string(cpuinfo), string(kernelParam))
}
assert.Equal(t, expected, TDXEnabledOnHost())
}
func TestGetVirtualSizeBytes_Success(t *testing.T) {
cleanup := writeFakeQemuImg(t, `{"virtual-size":2147483648}`, 0) // 2 GiB
defer cleanup()
got, err := GetVirtualSizeBytes("whatever.qcow2")
if err != nil {
t.Fatalf("expected nil error, got %v", err)
}
if got != 2147483648 {
t.Fatalf("expected 2147483648, got %d", got)
}
}
func TestGetVirtualSizeBytes_CommandFailure(t *testing.T) {
cleanup := writeFakeQemuImg(t, `{"virtual-size":2147483648}`, 1) // non-zero exit
defer cleanup()
_, err := GetVirtualSizeBytes("whatever.qcow2")
if err == nil {
t.Fatalf("expected error, got nil")
}
if !strings.Contains(err.Error(), "qemu-img info failed") {
t.Fatalf("expected wrapped error to contain %q, got %q", "qemu-img info failed", err.Error())
}
}
func TestGetVirtualSizeBytes_InvalidJSON(t *testing.T) {
cleanup := writeFakeQemuImg(t, `not-json`, 0)
defer cleanup()
_, err := GetVirtualSizeBytes("whatever.qcow2")
if err == nil {
t.Fatalf("expected error, got nil")
}
if !strings.Contains(err.Error(), "failed to parse qemu-img JSON") {
t.Fatalf("expected error to contain %q, got %q", "failed to parse qemu-img JSON", err.Error())
}
}
func TestGetVirtualSizeBytes_InvalidVirtualSize(t *testing.T) {
cleanup := writeFakeQemuImg(t, `{"virtual-size":0}`, 0)
defer cleanup()
_, err := GetVirtualSizeBytes("whatever.qcow2")
if err == nil {
t.Fatalf("expected error, got nil")
}
if !strings.Contains(err.Error(), "invalid virtual size") {
t.Fatalf("expected error to contain %q, got %q", "invalid virtual size", err.Error())
}
}
func TestGetVirtualSizeGB_RoundsUp(t *testing.T) {
tests := []struct {
name string
virtualSz int64
wantGB int
}{
{"exact_1GiB", 1 << 30, 1},
{"one_byte_over", (1 << 30) + 1, 2},
{"just_under_2GiB", (2 << 30) - 1, 2},
{"exact_2GiB", 2 << 30, 2},
}
for _, tc := range tests {
t.Run(tc.name, func(t *testing.T) {
cleanup := writeFakeQemuImg(t, fmt.Sprintf(`{"virtual-size":%d}`, tc.virtualSz), 0)
defer cleanup()
got, err := GetVirtualSizeGB("whatever.qcow2")
if err != nil {
t.Fatalf("expected nil error, got %v", err)
}
if got != tc.wantGB {
t.Fatalf("expected %d, got %d", tc.wantGB, got)
}
})
}
}
func writeFakeQemuImg(t *testing.T, stdout string, exitCode int) func() {
dir := t.TempDir()
fake := filepath.Join(dir, "qemu-img")
script := fmt.Sprintf(`#!/bin/sh
# Minimal fake for: qemu-img info --output=json <path>
if [ "$1" != "info" ]; then
echo "unexpected subcommand: $1" >&2
exit 2
fi
# always print provided stdout, even if empty
printf '%s' %q
exit %d
`, stdout, stdout, exitCode)
if err := os.WriteFile(fake, []byte(script), 0o755); err != nil {
t.Fatalf("failed to write fake qemu-img: %v", err)
}
oldPath := os.Getenv("PATH")
if err := os.Setenv("PATH", dir+string(os.PathListSeparator)+oldPath); err != nil {
t.Fatalf("failed to set PATH: %v", err)
}
return func() {
_ = os.Setenv("PATH", oldPath)
}
}
func writeFakeExecutable(t *testing.T, dir, name, script string) {
t.Helper()
path := filepath.Join(dir, name)
if err := os.WriteFile(path, []byte(script), 0o755); err != nil {
t.Fatalf("failed to write fake executable %q: %v", name, err)
}
}
func prependPath(t *testing.T, dir string) {
t.Helper()
oldPath := os.Getenv("PATH")
if err := os.Setenv("PATH", dir+string(os.PathListSeparator)+oldPath); err != nil {
t.Fatalf("failed to set PATH: %v", err)
}
t.Cleanup(func() {
_ = os.Setenv("PATH", oldPath)
})
}