38 lines
1016 B
YAML
38 lines
1016 B
YAML
id: "c-guarded-system:001"
|
|
language: c
|
|
project: guarded-system
|
|
version: "1.0.0"
|
|
description: "Command execution guarded by ALLOW_CMD flag (default unreachable)."
|
|
entrypoints:
|
|
- "main(argv)"
|
|
sinks:
|
|
- id: "GuardedSystem::main"
|
|
path: "src/main.c::main"
|
|
kind: "command"
|
|
location:
|
|
file: src/main.c
|
|
line: 26
|
|
notes: "system() only runs when ALLOW_CMD=1."
|
|
environment:
|
|
os_image: "gcc:13-bookworm"
|
|
runtime:
|
|
gcc: "13"
|
|
source_date_epoch: 1730000000
|
|
build:
|
|
command: "./build/build.sh"
|
|
source_date_epoch: 1730000000
|
|
outputs:
|
|
artifact_path: outputs/binary.tar.gz
|
|
coverage_path: outputs/coverage.json
|
|
traces_path: outputs/traces/traces.json
|
|
test:
|
|
command: "./tests/run-tests.sh"
|
|
expected_coverage:
|
|
- outputs/coverage.json
|
|
expected_traces:
|
|
- outputs/traces/traces.json
|
|
ground_truth:
|
|
summary: "Without ALLOW_CMD, the system() sink remains unreachable; with ALLOW_CMD=1, it executes."
|
|
evidence_files:
|
|
- "../../../benchmark/truth/c-guarded-system.json"
|