{ "ml": { "v": "7", "id": 126, "lvl": -1, "conf": 0, "prob": 0.000011245409950788599, "type": "rust", "version": "v18.18", "analyzed_at": "2026-09-22T03:36:24Z" }, "path": "rucc-safety-0.10.69.crate", "raw": { "rev": "75c9b", "files": [ { "id": 146, "mol": "H₃(Cm₂DbPo)Md₂(InPa)", "pid": 2, "rel": "fetched", "sha": "ca2eada58b580fc489bac0414d9fcbee7e85b9d8c2fa0df4b127b6a0dab11385", "via": "https://static.crates.io/crates/rucc-safety/rucc-safety-0.10.69.crate", "path": "pkg:cargo/rucc-safety@0.10.69", "risk": 6, "size": 127038, "type": "crate", "depth": 2, "facts": { "metrics": { "file": { "size": 127038, "entropy": 8 }, "parse": { "error_count": 1 }, "binary": { "peak_region_bytes": 126976, "peak_region_entropy": 7.86 } } }, "ident": { "name": { "value": "rucc-safety", "source": "crate.name", "verified": false }, "urls": [ { "url": "https://github.com/tamnd/rucc", "kind": "repository", "source": "crate.repository" }, { "url": "https://github.com/tamnd/rucc", "kind": "homepage", "source": "crate.homepage" } ], "trust": "unsigned", "emails": [ "tamnd87@gmail.com" ], "authors": [ { "name": "tamnd", "role": "author", "email": "tamnd87@gmail.com", "source": "crate.authors" } ], "version": { "value": "0.10.69", "source": "crate.version", "verified": false }, "identifier": { "value": "rucc-safety", "source": "crate.name", "verified": false } }, "traits": [ { "id": "metadata/import/rust/summary/summary::summary/summary", "conf": 0.95, "crit": 2, "desc": "imports summary::Summary", "from": [ { "file": 9 } ] }, { "id": "metadata/lang/natural::lang-english--atom-7", "conf": 0.8, "crit": 1, "desc": "English function-word token \"this\"", "from": [ { "file": 4 } ] }, { "id": "metadata/import/rust/rucc_base/symbol::rucc_base/symbol", "conf": 0.95, "crit": 2, "desc": "imports rucc_base::Symbol", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/rucc_ir/funcid::rucc_ir/funcid", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::FuncId", "from": [ { "file": 6 } ] }, { "id": "metadata/lang/natural::lang-english--atom-2", "conf": 0.8, "crit": 1, "desc": "English function-word token \"and\"", "from": [ { "file": 4 } ] }, { "id": "metadata/import/rust/rucc_ir/callinfo::rucc_ir/callinfo", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::CallInfo", "from": [ { "file": 5 } ] }, { "id": "metadata/lang/natural::lang-english--atom-3", "conf": 0.8, "crit": 1, "desc": "English function-word token \"that\"", "from": [ { "file": 4 } ] }, { "id": "metadata/import/rust/rucc_session/races::rucc_session/races", "conf": 0.95, "crit": 2, "desc": "imports rucc_session::Races", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/crate/promise::crate/promise", "conf": 0.95, "crit": 2, "desc": "imports crate::Promise", "from": [ { "file": 10 } ] }, { "id": "metadata/import/rust/rucc_ir/func::rucc_ir/func", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Func", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/rucc_ir/metanode::rucc_ir/metanode", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::MetaNode", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/rucc_ir/extra::rucc_ir/extra", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Extra", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/rucc_session/subobject::rucc_session/subobject", "conf": 0.95, "crit": 2, "desc": "imports rucc_session::Subobject", "from": [ { "file": 9 } ] }, { "id": "metadata/package/name/convention::cargo-readme-field", "conf": 0.85, "crit": 2, "desc": "Cargo package declares readme" }, { "id": "micro-behaviors/communications/http/url/forge::public-code-forge-url", "conf": 0.9, "crit": 3, "desc": "References a public code-forge URL", "from": [ { "file": 4 } ] }, { "id": "metadata/import/rust/rucc_target/env::rucc_target/env", "conf": 0.95, "crit": 2, "desc": "imports rucc_target::Env", "from": [ { "file": 5 } ] }, { "id": "metadata/package/version::cargo-package-version", "conf": 0.85, "crit": 2, "desc": "Cargo package has version" }, { "id": "metadata/import/rust/wrap/prefix::wrap/prefix", "conf": 0.95, "crit": 2, "desc": "imports wrap::PREFIX", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/rucc_ir/intpred::rucc_ir/intpred", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::IntPred", "from": [ { "file": 13 } ] }, { "id": "metadata/lang/natural::lang-english--atom-4", "conf": 0.8, "crit": 1, "desc": "English function-word token \"have\"", "from": [ { "file": 4 } ] }, { "id": "metadata/import/rust/rucc_ir/memorder::rucc_ir/memorder", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::MemOrder", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/crate/boundary/sites::crate/boundary/sites", "conf": 0.95, "crit": 2, "desc": "imports crate::boundary::Sites", "from": [ { "file": 15 } ] }, { "id": "metadata/import/rust/rucc_ir/instdata::rucc_ir/instdata", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::InstData", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/crate/wrap/interposed::crate/wrap/interposed", "conf": 0.95, "crit": 2, "desc": "imports crate::wrap::INTERPOSED", "from": [ { "file": 15 } ] }, { "id": "metadata/import/rust/std/collections/hashset::std/collections/hashset", "conf": 0.95, "crit": 2, "desc": "imports std::collections::HashSet", "from": [ { "file": 6 } ] }, { "id": "metadata/import/rust/rucc_ir/planenode::rucc_ir/planenode", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::PlaneNode", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/crate/races::crate/races", "conf": 0.95, "crit": 2, "desc": "imports crate::Races", "from": [ { "file": 10 } ] }, { "id": "metadata/import/rust/plane/plane::plane/plane", "conf": 0.95, "crit": 2, "desc": "imports plane::Plane", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/rucc_ir/meta::rucc_ir/meta", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Meta", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/rucc_ir/block::rucc_ir/block", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Block", "from": [ { "file": 13 } ] }, { "id": "metadata/import/rust/super/checks::super/checks", "conf": 0.95, "crit": 2, "desc": "imports super::checks", "from": [ { "file": 6 } ] }, { "id": "metadata/import/rust/rucc_ir/verify_func::rucc_ir/verify_func", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::verify_func", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/rucc_target/triple::rucc_target/triple", "conf": 0.95, "crit": 2, "desc": "imports rucc_target::Triple", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/std/collections/hashmap::std/collections/hashmap", "conf": 0.95, "crit": 2, "desc": "imports std::collections::HashMap", "from": [ { "file": 8 } ] }, { "id": "metadata/import/rust/rucc_ir/value::rucc_ir/value", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Value", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/rucc_ir/inst::rucc_ir/inst", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Inst", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/boundary/sites::boundary/sites", "conf": 0.95, "crit": 2, "desc": "imports boundary::Sites", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/rucc_target/targetinfo::rucc_target/targetinfo", "conf": 0.95, "crit": 2, "desc": "imports rucc_target::TargetInfo", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/promise/kept::promise/kept", "conf": 0.95, "crit": 2, "desc": "imports promise::Kept", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/wrap/interposed::wrap/interposed", "conf": 0.95, "crit": 2, "desc": "imports wrap::INTERPOSED", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/rucc_ir/def::rucc_ir/def", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Def", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/crate/plane::crate/plane", "conf": 0.95, "crit": 2, "desc": "imports crate::plane", "from": [ { "file": 10 } ] }, { "id": "metadata/import/rust/rucc_ir/print_func::rucc_ir/print_func", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::print_func", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/lower/descriptor::lower/descriptor", "conf": 0.95, "crit": 2, "desc": "imports lower::Descriptor", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/crate/handover::crate/handover", "conf": 0.95, "crit": 2, "desc": "imports crate::handover", "from": [ { "file": 15 } ] }, { "id": "metadata/import/rust/rucc_ir/meminfo::rucc_ir/meminfo", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::MemInfo", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/crate/handover/frame::crate/handover/frame", "conf": 0.95, "crit": 2, "desc": "imports crate::handover::Frame", "from": [ { "file": 15 } ] }, { "id": "metadata/import/rust/rucc_ir/global::rucc_ir/global", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Global", "from": [ { "file": 10 } ] }, { "id": "metadata/import/rust/rucc_ir/signature::rucc_ir/signature", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Signature", "from": [ { "file": 5 } ] }, { "id": "metadata/package/testing/harness/unit::rust-cfg-test", "conf": 0.9, "crit": 2, "desc": "#[cfg(test)] attribute", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/crate/frame/args::crate/frame/args", "conf": 0.95, "crit": 2, "desc": "imports crate::frame::ARGS", "from": [ { "file": 8 } ] }, { "id": "metadata/import/rust/rucc_ir/imm::rucc_ir/imm", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Imm", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/lower/lower::lower/lower", "conf": 0.95, "crit": 2, "desc": "imports lower::lower", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/rucc_target/arch::rucc_target/arch", "conf": 0.95, "crit": 2, "desc": "imports rucc_target::Arch", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/super::super", "conf": 0.95, "crit": 2, "desc": "imports super::*", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/rucc_ir/flags::rucc_ir/flags", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Flags", "from": [ { "file": 9 } ] }, { "id": "micro-behaviors/process/create/vcs/git::public-forge-git-clone", "atk": "T1105", "conf": 0.92, "crit": 3, "desc": "Git clones a public code forge", "from": [ { "off": 6200, "file": 150, "line": 64 } ], "uses": [ 14, 66 ] }, { "id": "metadata/import/rust/super/ends::super/ends", "conf": 0.95, "crit": 2, "desc": "imports super::ENDS", "from": [ { "file": 6 } ] }, { "id": "metadata/package/name/convention::cargo-license-field", "conf": 0.85, "crit": 2, "desc": "Cargo package declares license" }, { "id": "metadata/import/rust/rucc_ir/opcode::rucc_ir/opcode", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Opcode", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/crate/origin::crate/origin", "conf": 0.95, "crit": 2, "desc": "imports crate::origin", "from": [ { "file": 6 } ] }, { "id": "metadata/import/rust/rucc_ir/verify::rucc_ir/verify", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::verify", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/crate/insert::crate/insert", "conf": 0.95, "crit": 2, "desc": "imports crate::insert", "from": [ { "file": 10 } ] }, { "id": "micro-behaviors/communications/http/request/tasking::http-task-liveness-field", "atk": "T1071.001", "mbc": "C0002", "conf": 0.9, "crit": 3, "desc": "Structured object contains a liveness field", "from": [ { "file": 11 } ] }, { "id": "metadata/import/rust/rucc_ir/linkage::rucc_ir/linkage", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Linkage", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/rucc_ir/rmwop::rucc_ir/rmwop", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::RmwOp", "from": [ { "file": 9 } ] }, { "id": "micro-behaviors/process/create/vcs/git::git-clone-command", "atk": "T1105", "conf": 0.9, "crit": 3, "desc": "Git clone command", "from": [ { "file": 4 } ] }, { "id": "metadata/import/rust/rucc_ir/module::rucc_ir/module", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Module", "from": [ { "file": 5 } ] }, { "id": "metadata/package/testing/harness/unit::rust-test", "conf": 0.95, "crit": 3, "desc": "Rust test marker or harness", "from": [ { "file": 5 } ], "uses": [ 49, 94 ] }, { "id": "metadata/import/rust/crate/slot::crate/slot", "conf": 0.95, "crit": 2, "desc": "imports crate::slot", "from": [ { "file": 7 } ] }, { "id": "metadata/lang/natural::lang-english--atom-1", "conf": 0.8, "crit": 1, "desc": "English function-word token \"the\"", "from": [ { "file": 4 } ] }, { "id": "metadata/import/rust/crate/subobject::crate/subobject", "conf": 0.95, "crit": 2, "desc": "imports crate::Subobject", "from": [ { "file": 10 } ] }, { "id": "metadata/import/rust/rucc_ir/restrict::rucc_ir/restrict", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Restrict", "from": [ { "file": 7 } ] }, { "id": "metadata/import/rust/boundary/witness::boundary/witness", "conf": 0.95, "crit": 2, "desc": "imports boundary::WITNESS", "from": [ { "file": 9 } ] }, { "id": "metadata/package/name/convention::cargo-repository-field", "conf": 0.85, "crit": 2, "desc": "Cargo package declares repository" }, { "id": "metadata/import/rust/wrap/redirect::wrap/redirect", "conf": 0.95, "crit": 2, "desc": "imports wrap::redirect", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/lower/section::lower/section", "conf": 0.95, "crit": 2, "desc": "imports lower::SECTION", "from": [ { "file": 9 } ] }, { "id": "micro-behaviors/data/control-flow/loop::block-unbounded-loop-header", "conf": 1.0, "crit": 3, "desc": "Contains an unbounded block loop", "from": [ { "file": 11 } ] }, { "id": "metadata/package/name/convention::cargo-package-name", "conf": 0.85, "crit": 2, "desc": "Cargo package has name" }, { "id": "metadata/import/rust/rucc_target/os::rucc_target/os", "conf": 0.95, "crit": 3, "desc": "imports rucc_target::Os", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/rucc_ir/type::rucc_ir/type", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Type", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/summary/frames::summary/frames", "conf": 0.95, "crit": 2, "desc": "imports summary::Frames", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/rucc_ir/tbaanode::rucc_ir/tbaanode", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::TbaaNode", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/promise/promise::promise/promise", "conf": 0.95, "crit": 2, "desc": "imports promise::promise", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/rucc_ir/builder::rucc_ir/builder", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Builder", "from": [ { "file": 5 } ] }, { "id": "metadata/lang/natural::lang-english--atom-5", "conf": 0.8, "crit": 1, "desc": "English function-word token \"for\"", "from": [ { "file": 4 } ] }, { "id": "metadata/import/rust/summary/summarize::summary/summarize", "conf": 0.95, "crit": 2, "desc": "imports summary::summarize", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/std/collections/btreemap::std/collections/btreemap", "conf": 0.95, "crit": 2, "desc": "imports std::collections::BTreeMap", "from": [ { "file": 13 } ] }, { "id": "metadata/import/rust/crate/counts::crate/counts", "conf": 0.95, "crit": 2, "desc": "imports crate::Counts", "from": [ { "file": 15 } ] }, { "id": "metadata/import/rust/rucc_session/promise::rucc_session/promise", "conf": 0.95, "crit": 2, "desc": "imports rucc_session::Promise", "from": [ { "file": 9 } ] }, { "id": "metadata/import/rust/rucc_ir/datum::rucc_ir/datum", "conf": 0.95, "crit": 2, "desc": "imports rucc_ir::Datum", "from": [ { "file": 10 } ] }, { "id": "metadata/package/name/convention::cargo-meaningful-description", "conf": 0.78, "crit": 2, "desc": "Cargo package has meaningful description" }, { "id": "metadata/import/rust/rucc_base/interner::rucc_base/interner", "conf": 0.95, "crit": 2, "desc": "imports rucc_base::Interner", "from": [ { "file": 5 } ] }, { "id": "metadata/lang/natural::lang-english--atom-6", "conf": 0.8, "crit": 1, "desc": "English function-word token \"with\"", "from": [ { "file": 4 } ] }, { "id": "metadata/package/testing/harness/unit::rust-test-attr", "conf": 0.9, "crit": 2, "desc": "#[test] attribute", "from": [ { "file": 5 } ] }, { "id": "metadata/build/archive::archive-cargo-toml-entry", "conf": 0.9, "crit": 2, "desc": "Archive contains Cargo.toml" } ] } ] } }