Security Finding - HIGH
Source: Security audit (2026-02-24)
Location: crates/terraphim-automata/src/sharded_extractor.rs:215
Description
DoubleArrayAhoCorasick::deserialize_unchecked(bytes) is called on file data from disk with no integrity verification. If artifact files are tampered with, this could cause undefined behavior.
Remediation
- Add SHA-256 checksum to
ArtifactHeader and validate before deserialization
- Consider using safe
deserialize variant if available in daachorse
- Document trust boundary: artifact files must be generated locally