CI / Check (pull_request) Successful in 5m53s
CI / Detect Changes (pull_request) Has been skipped
CI / Deploy Agent (pull_request) Has been skipped
CI / Deploy Dashboard (pull_request) Has been skipped
CI / Deploy Docs (pull_request) Has been skipped
CI / Deploy MCP (pull_request) Has been skipped
CODESYS does not export libraries to PLCopen XML, so the control application's dependencies live in the .projectarchive — which is a ZIP bundling the project, its referenced libraries, and the target runtime. Each library is an entry named `Name, X.Y.Z.W (Company)` and the runtime is a device-descriptor entry `CODESYS Control … <version> …`, so the SBOM needs no binary parsing: enumerate the zip entries. - plc::sbom::projectarchive_sbom: parses library + runtime components from a .projectarchive's entry names into SbomEntry rows (package_manager `codesys`, purl `pkg:codesys/<name>@<ver>`). Verified against a real 9.9 MB archive (Proemion/codesys-examples, Apache-2.0): 37 components incl. Standard/Util/ CmpCodeMeter/3SLicense and the CODESYS Control for Linux ARM SL 4.17.0.0 runtime. - run_plc_scan: after control-logic findings, extract the SBOM from the PlcProject artifact and persist it via persist_control_app_sbom — scoped to package_manager `codesys` (coexists with firmware/source SBOM) and matched against known CVEs (the Cmp*/3SLicense components carry real CODESYS advisories). Implements #166. Follow-ons: CVE notifications for the PLC SBOM, and ingesting a .projectarchive committed in a git repo (see the git-ingest discussion). Tracker #167. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
192 lines
7.3 KiB
Rust
192 lines
7.3 KiB
Rust
//! Control-application dependency SBOM from a CODESYS `.projectarchive`.
|
|
//!
|
|
//! A `.projectarchive` is a ZIP that bundles the project plus its referenced
|
|
//! libraries and the target runtime. Each referenced library is an entry whose
|
|
//! path segment follows the CODESYS convention
|
|
//! `Name, Major.Minor.Patch.Build (Company)` (e.g. `Standard, 3.5.18.0 (System)`,
|
|
//! `CSV Utility SL, 1.9.0.0 (CODESYS)`); the runtime appears as a device-descriptor
|
|
//! entry `CODESYS Control … <version> …`. We enumerate those entries — no binary
|
|
//! parsing — and emit SBOM components tagged `pkg:codesys/…`, so the CVE pipeline
|
|
//! can match them (the runtime `Cmp*` / `3SLicense` components carry real CODESYS
|
|
//! CVEs).
|
|
|
|
use std::collections::BTreeSet;
|
|
use std::path::Path;
|
|
|
|
use compliance_core::models::SbomEntry;
|
|
|
|
/// Extract CODESYS library + runtime components from a `.projectarchive` (a zip).
|
|
/// Best-effort: returns empty if the file is not a readable zip (e.g. a bare
|
|
/// `.st`/`.xml` project, which carries no library manifest).
|
|
pub fn projectarchive_sbom(archive: &Path, repo_id: &str) -> Vec<SbomEntry> {
|
|
let Ok(file) = std::fs::File::open(archive) else {
|
|
return Vec::new();
|
|
};
|
|
let Ok(mut zip) = zip::ZipArchive::new(file) else {
|
|
return Vec::new();
|
|
};
|
|
let mut seen: BTreeSet<(String, String)> = BTreeSet::new();
|
|
let mut entries = Vec::new();
|
|
for i in 0..zip.len() {
|
|
let Ok(entry) = zip.by_index(i) else {
|
|
continue;
|
|
};
|
|
// Entry paths use `\` (Windows-authored) and/or `/` separators; the
|
|
// component id is one path segment.
|
|
for seg in entry.name().split(['/', '\\']) {
|
|
if let Some((name, version)) = parse_library(seg).or_else(|| parse_runtime(seg)) {
|
|
if seen.insert((name.clone(), version.clone())) {
|
|
let mut e = SbomEntry::new(
|
|
repo_id.to_string(),
|
|
name.clone(),
|
|
version.clone(),
|
|
"codesys".to_string(),
|
|
);
|
|
e.purl = Some(format!(
|
|
"pkg:codesys/{}@{version}",
|
|
name.replace(' ', "%20")
|
|
));
|
|
entries.push(e);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
entries
|
|
}
|
|
|
|
/// `Name, X.Y.Z.W (Company)` → (name, version).
|
|
fn parse_library(seg: &str) -> Option<(String, String)> {
|
|
let seg = seg.trim();
|
|
// Company is the trailing "(…)".
|
|
let open = seg.rfind(" (")?;
|
|
let rest = &seg[open + 2..];
|
|
let close = rest.find(')')?;
|
|
if rest[..close].trim().is_empty() {
|
|
return None;
|
|
}
|
|
let head = seg[..open].trim(); // "Name, X.Y.Z.W"
|
|
let comma = head.rfind(", ")?;
|
|
let name = head[..comma].trim().to_string();
|
|
let version = head[comma + 2..].trim().to_string();
|
|
if name.is_empty() || !is_dotted_version(&version) {
|
|
return None;
|
|
}
|
|
Some((name, version))
|
|
}
|
|
|
|
/// Device-descriptor entry `CODESYS Control … X.Y.Z.W …` → (runtime name, version).
|
|
fn parse_runtime(seg: &str) -> Option<(String, String)> {
|
|
let seg = seg.trim();
|
|
if !seg.starts_with("CODESYS Control") {
|
|
return None;
|
|
}
|
|
let version = seg
|
|
.split_whitespace()
|
|
.find(|t| is_dotted_version(t))?
|
|
.to_string();
|
|
// The runtime name is the first field, before the run of padding spaces that
|
|
// precede the descriptor's numeric columns.
|
|
let name = seg.split(" ").next().unwrap_or(seg).trim().to_string();
|
|
if name.is_empty() {
|
|
return None;
|
|
}
|
|
Some((name, version))
|
|
}
|
|
|
|
/// A dotted numeric version with at least 3 components (`3.5.18.0`, `4.17.0.0`).
|
|
fn is_dotted_version(s: &str) -> bool {
|
|
let parts: Vec<&str> = s.split('.').collect();
|
|
parts.len() >= 3
|
|
&& parts
|
|
.iter()
|
|
.all(|p| !p.is_empty() && p.chars().all(|c| c.is_ascii_digit()))
|
|
}
|
|
|
|
#[cfg(test)]
|
|
mod tests {
|
|
use super::*;
|
|
use std::collections::HashMap;
|
|
use std::io::Write;
|
|
|
|
/// Build a synthetic `.projectarchive` (zip) mirroring the real CODESYS entry
|
|
/// naming (verified against Proemion/codesys-examples): a native `.project`,
|
|
/// referenced libraries as `Name, Version (Company)` segments, and a runtime
|
|
/// device descriptor.
|
|
fn synthetic_archive(dir: &Path) -> std::path::PathBuf {
|
|
let path = dir.join("App.projectarchive");
|
|
let file = std::fs::File::create(&path).expect("create");
|
|
let mut zip = zip::ZipWriter::new(file);
|
|
let opts: zip::write::SimpleFileOptions = Default::default();
|
|
let names = [
|
|
"App.project",
|
|
r"{b0b5}\App.Device.Plc.compileinfo",
|
|
r"{e179}\Standard, 3.5.18.0 (System) standard.compiled-library-v3",
|
|
r"{e179}\Util, 3.5.21.0 (System) util.compiled-library-v3",
|
|
r"{e179}\CSV Utility SL, 1.9.0.0 (CODESYS) csv utility sl.compiled-library-v3",
|
|
r"{e179}\3SLicense, 3.5.20.0 (CODESYS) 3slicense.compiled-library-v3",
|
|
r"{0c63}\CODESYS Control for Linux ARM SL 0000 0006 4.17.0.0 4096 .zip",
|
|
];
|
|
for n in names {
|
|
zip.start_file(n, opts).expect("start");
|
|
zip.write_all(b"x").expect("write");
|
|
}
|
|
zip.finish().expect("finish");
|
|
path
|
|
}
|
|
|
|
#[test]
|
|
fn extracts_libraries_and_runtime_from_projectarchive() {
|
|
let tmp = std::env::temp_dir().join(format!("cs-plc-sbom-{}", uuid::Uuid::new_v4()));
|
|
std::fs::create_dir_all(&tmp).expect("mkdir");
|
|
let archive = synthetic_archive(&tmp);
|
|
|
|
let entries = projectarchive_sbom(&archive, "plc-target");
|
|
let by_name: HashMap<&str, &SbomEntry> =
|
|
entries.iter().map(|e| (e.name.as_str(), e)).collect();
|
|
|
|
// Libraries with their versions.
|
|
assert_eq!(
|
|
by_name.get("Standard").map(|e| e.version.as_str()),
|
|
Some("3.5.18.0")
|
|
);
|
|
assert_eq!(
|
|
by_name.get("Util").map(|e| e.version.as_str()),
|
|
Some("3.5.21.0")
|
|
);
|
|
assert_eq!(
|
|
by_name.get("CSV Utility SL").map(|e| e.version.as_str()),
|
|
Some("1.9.0.0"),
|
|
"multi-word library names must parse"
|
|
);
|
|
assert!(by_name.contains_key("3SLicense"));
|
|
|
|
// The runtime, from the device descriptor.
|
|
assert_eq!(
|
|
by_name
|
|
.get("CODESYS Control for Linux ARM SL")
|
|
.map(|e| e.version.as_str()),
|
|
Some("4.17.0.0")
|
|
);
|
|
|
|
// Every component is CODESYS-tagged with a purl the CVE pipeline can match,
|
|
// and the native `.project` / compileinfo are not mistaken for components.
|
|
for e in &entries {
|
|
assert_eq!(e.package_manager, "codesys");
|
|
assert!(e.purl.as_deref().unwrap_or("").starts_with("pkg:codesys/"));
|
|
}
|
|
assert!(!by_name.contains_key("App"));
|
|
|
|
let _ = std::fs::remove_dir_all(&tmp);
|
|
}
|
|
|
|
#[test]
|
|
fn non_zip_file_yields_no_sbom() {
|
|
let tmp = std::env::temp_dir().join(format!("cs-plc-sbom-st-{}", uuid::Uuid::new_v4()));
|
|
std::fs::create_dir_all(&tmp).expect("mkdir");
|
|
let st = tmp.join("prog.st");
|
|
std::fs::write(&st, "PROGRAM P\nVAR x : INT; END_VAR\nEND_PROGRAM\n").expect("write");
|
|
assert!(projectarchive_sbom(&st, "t").is_empty());
|
|
let _ = std::fs::remove_dir_all(&tmp);
|
|
}
|
|
}
|