{ "ml": { "v": "7", "eng": "2.13.0", "lvl": -1, "conf": 0, "prob": 0.004766842, "files": [ { "id": 0, "lvl": -1, "conf": 0, "prob": 0.004766841884702444, "type": "crate" }, { "id": 2, "lvl": -1, "conf": 0, "prob": 0.0000241696834564209, "type": "markdown" }, { "id": 3, "lvl": -1, "conf": 0, "prob": 0.00001808007618819829, "type": "cargo.toml" }, { "id": 4, "lvl": -1, "conf": 0, "prob": 0.000015715757399448194, "type": "text" }, { "id": 5, "lvl": -1, "conf": 0, "prob": 0.000026146570235141553, "type": "rust" } ], "version": "v18.18", "analyzed_at": "2026-10-26T10:22:57Z" }, "path": "prusto-macros@0.2.1", "raw": { "files": [ { "id": 0, "mol": "H(Cm)Md(Pt)", "sha": "ac871caceb559c1714e61bce3c391994c6e080c605166d5419ec704b83efa9fb", "path": "prusto-macros-0.2.1.crate", "risk": 5, "size": 3068, "type": "crate", "facts": { "metrics": { "file": { "size": 3068, "entropy": 7.94 }, "binary": { "peak_region_bytes": 3068, "peak_region_entropy": 7.82 } } }, "ident": { "name": { "value": "prusto-macros", "source": "crate.name", "verified": false }, "urls": [ { "url": "https://github.com/nooberfsh/prusto", "kind": "repository", "source": "crate.repository" }, { "url": "https://github.com/nooberfsh/prusto", "kind": "homepage", "source": "crate.homepage" } ], "trust": "unsigned", "emails": [ "nooberfsh@gmail.com" ], "authors": [ { "name": "nooberfsh", "role": "author", "email": "nooberfsh@gmail.com", "source": "crate.authors" } ], "version": { "value": "0.2.1", "source": "crate.version", "verified": false }, "identifier": { "value": "prusto-macros", "source": "crate.name", "verified": false }, "description": { "value": "prusto macros", "source": "crate.description", "verified": false } }, "traits": [ { "id": "metadata/lang/source/declaration::rust-proc-macro-entrypoint", "conf": 0.92, "crit": 3, "desc": "Rust procedural-macro entrypoint declaration" }, { "id": "micro-behaviors/communications/email/address::gmail-com-email-domain-suffix", "conf": 0.55, "crit": 3, "desc": "Email address suffix @gmail.com", "from": [ { "file": 4 } ] }, { "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": 2 } ] }, { "id": "metadata/build/archive::archive-cargo-toml-entry", "conf": 0.9, "crit": 2, "desc": "Archive contains Cargo.toml" }, { "id": "metadata/build/config::cargo-proc-macro-target", "conf": 0.85, "crit": 2, "desc": "Cargo declares a procedural-macro library target" }, { "id": "metadata/file/extension/identity::doc-or-config-extension", "conf": 1.0, "crit": 2, "desc": "Text, document, or config extension", "from": [ { "file": 2 } ] }, { "id": "metadata/file/extension/identity::json-txt-md-basename", "conf": 1.0, "crit": 2, "desc": "JSON, text, or markdown filename extension", "from": [ { "file": 1 } ] }, { "id": "metadata/file/extension/identity::markdown-file-basename", "conf": 1.0, "crit": 2, "desc": "Markdown or documentation file extension", "from": [ { "file": 2 } ] }, { "id": "metadata/file/extension/identity::rust-source-extension", "conf": 0.98, "crit": 2, "desc": "Rust source filename extension", "from": [ { "file": 5 } ] }, { "id": "metadata/file/extension/identity::web-asset-extension", "conf": 1.0, "crit": 2, "desc": "Common web or JSON file extension", "from": [ { "file": 1 } ] }, { "id": "metadata/file/extension/package::rust-crate-basename", "conf": 0.95, "crit": 2, "desc": "Archive basename has a .crate suffix" }, { "id": "metadata/file/format/conformance::json-document-opening", "conf": 0.95, "crit": 2, "desc": "File begins with a JSON document", "from": [ { "file": 1 } ] }, { "id": "metadata/file/format/structured::valid", "conf": 0.6, "crit": 2, "desc": "File contains valid JSON data", "from": [ { "file": 1 } ] }, { "id": "metadata/file/profile/structured::cargo-core-fields-present", "conf": 0.88, "crit": 2, "desc": "Cargo name/version and another project field are present", "from": [ { "file": 3 } ], "uses": [ 19, 22, 23, 25, 27 ] }, { "id": "metadata/import/rust/proc_macro2::proc_macro2", "conf": 0.95, "crit": 2, "desc": "imports proc_macro2::*", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/quote::quote", "conf": 0.95, "crit": 2, "desc": "imports quote::*", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/syn/spanned/spanned::syn/spanned/spanned", "conf": 0.95, "crit": 2, "desc": "imports syn::spanned::Spanned", "from": [ { "file": 5 } ] }, { "id": "metadata/import/rust/syn::syn", "conf": 0.95, "crit": 2, "desc": "imports syn::*", "from": [ { "file": 5 } ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english", "conf": 0.8, "crit": 2, "desc": "Contains common English function words", "from": [ { "off": 83, "file": 2, "line": 5 }, { "off": 353, "file": 4, "line": 13 }, { "off": 1783, "file": 5, "line": 51 } ], "uses": [ 32, 33, 34, 35 ] }, { "id": "metadata/package/documentation/source::cargo-readme-field-present", "conf": 0.85, "crit": 2, "desc": "Cargo readme field is populated" }, { "id": "metadata/package/documentation/source::changelog-document-basename", "conf": 0.99, "crit": 2, "desc": "Package changelog or release notes document", "from": [ { "file": 2 } ] }, { "id": "metadata/package/documentation/source::package-doc-reference-basename", "conf": 0.9, "crit": 2, "desc": "Package documentation basename", "from": [ { "file": 4 } ] }, { "id": "metadata/package/license::cargo-license-field-present", "conf": 0.85, "crit": 2, "desc": "Cargo license field is populated" }, { "id": "metadata/package/name/identity::cargo-package-name-present", "conf": 0.85, "crit": 2, "desc": "Cargo package name field is populated" }, { "id": "metadata/package/repository::cargo-repository-code-forge-host", "conf": 0.85, "crit": 2, "desc": "Cargo repository names a common code-forge host" }, { "id": "metadata/package/repository::cargo-repository-field-present", "conf": 0.85, "crit": 2, "desc": "Cargo repository field is populated" }, { "id": "metadata/package/version::cargo-conventional-version", "conf": 0.85, "crit": 2, "desc": "Cargo package uses conventional version" }, { "id": "metadata/package/version::cargo-package-version", "conf": 0.85, "crit": 2, "desc": "Cargo package has version" }, { "id": "metadata/permission/telemetry::gecko-data-collection-omitted", "conf": 0.95, "crit": 2, "desc": "Firefox extension omits data collection" }, { "id": "micro-behaviors/data/collection/create::rust-collect-call", "conf": 0.85, "crit": 2, "desc": "Rust materializes an iterator with .collect()", "from": [ { "file": 5 } ] }, { "id": "metadata/lang/generated::automatically-generated-text", "conf": 0.85, "crit": 1, "desc": "Bare automatically-generated provenance phrase", "from": [ { "file": 3 } ] }, { "id": "metadata/lang/natural/vocabulary/content-word::data-transfer-verb-token", "conf": 0.88, "crit": 1, "desc": "Data-transfer verb token", "from": [ { "file": 5 } ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-1", "conf": 0.8, "crit": 1, "desc": "English function-word token \"the\"", "from": [ { "file": 2 } ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-2", "conf": 0.8, "crit": 1, "desc": "English function-word token \"and\"", "from": [ { "file": 2 } ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-5", "conf": 0.8, "crit": 1, "desc": "English function-word token \"for\"", "from": [ { "file": 2 } ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-7", "conf": 0.8, "crit": 1, "desc": "English function-word token \"this\"", "from": [ { "file": 2 } ] }, { "id": "micro-behaviors/data/serialize/envelope::result-assignment-key", "conf": 0.4, "crit": 1, "desc": "Result field or assignment key", "from": [ { "file": 5 } ] } ] }, { "ctx": [ { "b": "boPu!vqYZ?y\u0026r}[3peGAaz#atvpB4:ay/7[zF9K4aARJABzbxfaAhvtygQ)%aA}Koy-)g#ay]z2B.$YcBy!#9x(k5nxLzJgw[=6)e^.}+xK@q#z/PY6BrCpsayX=2wN({4zxJdRwO2*6viv{JvqYZ?y\u0026r@(c$)ZAAc15[fkCcgAa9l\u0026vqYZ?y\u0026r@sv@DiqwO%dQe?![ifdwBVvqYP#BzbxfaAhvtygQ)%ayO!]wPzv6aARJAtt]9IvqZg3v\u003c1/-A=U@kzFs03t{%xdBz#pZfe4xTzfxGhe]L=yflq8zv\u003eS0Xe?![ie[/uzy:*$z3l{=rtubMYwO+{^B7F(/3jn15ax{JLga\u003ep!c$)ZAAc15[fk20vxMW=pv@DiqzF%D5wPzy7xFjsBB-RUyfjO{qAa9=#fk$@OB98sLzdc{{z/WHNfFkakfFj$gAb{8xBz\u0026:FvpKs@B1IL?e\u002624ldiHh+gb7EueIP1jfG6mBbo[AQpJQnYATAd9aAIWAAbP=saA.SCBz\u0026oTg9ygywO+)#azbLjax9x5BZ]Jm3i", "ln": 0, "col": 1, "line": 1 } ], "depth": 1, "facts": { "metrics": { "file": { "size": 433, "entropy": 4.95 }, "text": { "lines": 14, "top_char": 101, "digit_ratio": 0.08, "space_count": 37, "char_entropy": 4.95, "unique_chars": 48, "top_char_null": 0, "top_char_ratio": 0.07, "avg_line_length": 29.93, "max_line_length": 112, "empty_line_ratio": 0.43, "last_line_length": 37, "whitespace_ratio": 0.12, "line_length_stddev": 38.17, "max_whitespace_run": 1 }, "binary": { "peak_region_bytes": 433, "peak_region_entropy": 4.95 } } }, "id": 2, "mol": "H(Cm)", "path": "prusto-macros-0.2.1.crate!!prusto-macros-0.2.1/CHANGELOG.md", "pid": 0, "risk": 2, "sha": "423216eebfa1e6a3f7c836ddf8c3f3f53923524735cf4a75c91bfd5f0a3bd6fe", "size": 433, "traits": [ { "id": "micro-behaviors/communications/http/url/forge::public-code-forge-url", "conf": 0.9, "crit": 3, "desc": "References a public code-forge URL", "spans": [ [ 281, 19 ] ] }, { "id": "metadata/file/extension/identity::doc-or-config-extension", "conf": 1.0, "crit": 2, "desc": "Text, document, or config extension" }, { "id": "metadata/file/extension/identity::json-txt-md-basename", "conf": 1.0, "crit": 2, "desc": "JSON, text, or markdown filename extension" }, { "id": "metadata/file/extension/identity::markdown-file-basename", "conf": 1.0, "crit": 2, "desc": "Markdown or documentation file extension" }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english", "conf": 0.8, "crit": 2, "desc": "Contains common English function words", "uses": [ 6, 7, 8, 9 ], "spans": [ [ 421, 0 ] ] }, { "id": "metadata/package/documentation/source::changelog-document-basename", "conf": 0.99, "crit": 2, "desc": "Package changelog or release notes document" }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-1", "conf": 0.8, "crit": 1, "desc": "English function-word token \"the\"", "spans": [ [ 83, 0 ] ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-2", "conf": 0.8, "crit": 1, "desc": "English function-word token \"and\"", "spans": [ [ 164, 0 ] ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-5", "conf": 0.8, "crit": 1, "desc": "English function-word token \"for\"", "spans": [ [ 421, 0 ] ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-7", "conf": 0.8, "crit": 1, "desc": "English function-word token \"this\"", "spans": [ [ 36, 0 ] ] } ], "type": "markdown" }, { "ctx": [ { "b": "boP@RnMc:3nLzL}nMc-$rA8:*k#ZAyk$\u003c%Pav!\u003c}mn=AJmmnm+sS*6$qB:H\u0026bmkUrs7(e.aA.Ttz^^f\u003czF784A::63B0bNyaARpdaAz4ax(!xpC{2E.A+xqkCwg(fayPzmz/5{8x\u003e7N/y\u003cuvjar\u003eYwA=2l3x)KtmavxNTxkYzAz/6qkw[=6)B0b7kAV/jcCXI26y-)kaze-{9x\u003c$^)x([RcboRhABz8!9y?$kqwPz\u003caz/fRsz!paVvrc10ayPd#ayP8czY\u003c7iCxdztwGUx1vruf\u003cay]55wO#3\u0026zEWx(A%:cmBz\u0026pxwOkZ#BAhTHc$L2ze?wbPA::63B1RfBdiJejAaJ]$wO#0(wPGEhbmkUrnOf8\u003cz/)ghA+cwlwNPa-zF78lxLzJgw[=6)ayX[8vrVd2wGV8dvrrSlxK@r8A+Pf2zEEu7lT+1Fz.ucIzeoL7aA}Koy-)LdyH}scaz+$myAN!iA^n^rx\u003ey%*A+fcgasHVowft-iv}W04z/PziA+eW2z/e#)y?k4F3l{V(wN##Kvrc10e{82Gy+xTDx\u003eFM2z/M$xxK@r8A+Pf2zEEu7v@DmbwO#Qhe^.}\u0026Aa9l(vp%dS3t0:ZBzkVhauZ?\u003egb7Era{@i@zdK?Mar\u003e=BB-RUyeP1{aA=l1y3u*03B7]MgauZ?\u003efFkakf^l%kB-.qnA=Su^ax{4cz/o8@A+oxaauTKWz^)o#w]?SJxkI6\u003ey+xjoz9xdH3sXc(y?aUKazb4#B7CX!B-.Lrx\u003c@hFazb4#B7CX!B-.Lhx(m#mjS[uBy\u0026:d{vrDWgwQ4T2Abo9bauZ\u0026VvqH0@3sO70z//MiBAnM/azb4#B7CX!B-.LhwO#0\u003ewPF$Sazb4#B7CX?wPIv4x(Ffdz/cWXar\u003e=BB-RUyaz\u003eK%A=l1y3tsu{wPh6\u003cwGTbUb4#7uAc15[fk20vxMW=pv@DiqzF%D5wPzy7xFjsBB-RUya{}\u003e0v%8T1zGGrex(v(ijS\u003e}ZBAzFyiXJc%z!0\u0026vA=S)MA=(CBzZ2KewNPa^wGTbUw)]H%wEri:D3sgEwoe\u003eRax]f}arR^JAb]JhBz\u0026uO3lQDlar\u003e=BwPI%iB8=1uedbU\u0026y?Wx\u003czGxwijS\u003e}ynMl(vA+fidB7]-mA^n=\u003car\u003eGvBz#pZfe3%LBzb/ae[n*pfk+YDvR6N(B7^jCA=(CBzZ2I}twO1.t)+ETzdK?Mar\u003e=BB-RUyuU%jYA=l1y3ufA}xDPCXb6d^mfkLuie](1S3ug37v\u003ezLav@=GgjS[\u0026!B.7)!tv.q:wO#3\u0026zEWx(B1RALz^$wovpKs@gf\u003elgwPz\u003caz/cWXar\u0026J)fD{\u0026htv.q:wO#3\u0026zEWx(B1RDPz//L@3u*03B7]MgauZ?\u003ef!Ld73jp0FwPhi#wmYT*x\u003equrB9RUe3u*03B7]MgauZ?\u003ef!Ld73t9\u003cTBAIRnB09Q*tm8F}arR\u003eswObv[y\u0026*\u003cL3lQDlar\u003exwBAg!wBAg/7BAnSS3lQDlar\u003eAuy?$pD3s9#", "ln": 0, "col": 1, "line": 1 } ], "depth": 1, "facts": { "metrics": { "file": { "size": 1183, "entropy": 4.95 }, "binary": { "peak_region_bytes": 1183, "peak_region_entropy": 4.94 } } }, "id": 3, "path": "prusto-macros-0.2.1.crate!!prusto-macros-0.2.1/Cargo.toml", "pid": 0, "refs": [ { "to": "pkg:cargo/proc-macro2?version_requirement=1.0", "kind": "dependency" }, { "to": "pkg:cargo/quote?version_requirement=1.0", "kind": "dependency" }, { "to": "pkg:cargo/syn?version_requirement=1.0", "kind": "dependency" }, { "to": "src/lib.rs", "off": 973, "file": 5, "kind": "local" }, { "to": "pkg:github/nooberfsh/prusto", "off": 729, "kind": "repository" } ], "risk": 2, "sha": "af5f5b7eeaa797adf103f7bef0e057231a2c30ec1cdd9857d599ac493e897c0c", "size": 1183, "traits": [ { "id": "metadata/build/config::cargo-proc-macro-target", "conf": 0.85, "crit": 2, "desc": "Cargo declares a procedural-macro library target" }, { "id": "metadata/file/profile/structured::cargo-core-fields-present", "conf": 0.88, "crit": 2, "desc": "Cargo name/version and another project field are present", "uses": [ 2, 3, 4, 6, 8 ] }, { "id": "metadata/package/documentation/source::cargo-readme-field-present", "conf": 0.85, "crit": 2, "desc": "Cargo readme field is populated" }, { "id": "metadata/package/license::cargo-license-field-present", "conf": 0.85, "crit": 2, "desc": "Cargo license field is populated" }, { "id": "metadata/package/name/identity::cargo-package-name-present", "conf": 0.85, "crit": 2, "desc": "Cargo package name field is populated" }, { "id": "metadata/package/repository::cargo-repository-code-forge-host", "conf": 0.85, "crit": 2, "desc": "Cargo repository names a common code-forge host" }, { "id": "metadata/package/repository::cargo-repository-field-present", "conf": 0.85, "crit": 2, "desc": "Cargo repository field is populated" }, { "id": "metadata/package/version::cargo-conventional-version", "conf": 0.85, "crit": 2, "desc": "Cargo package uses conventional version" }, { "id": "metadata/package/version::cargo-package-version", "conf": 0.85, "crit": 2, "desc": "Cargo package has version" }, { "id": "metadata/lang/generated::automatically-generated-text", "conf": 0.85, "crit": 1, "desc": "Bare automatically-generated provenance phrase", "spans": [ [ 15, 0 ] ] } ], "type": "cargo.toml" }, { "ctx": [ { "b": "tx11XyHH\u003c!t)+ETzdK?Mar\u003e=BB-RUyeP1{aA=l1y3u*03B7]MgauZ?\u003efFkakf^l%kB-.qnA=Su^ax{4cz/o8@A+oxaauTKWz^)o#w]?SJxkI6\u003ey+xjoz9xdH3t0:ZBzkVhauZ?\u003egb7Era{}\u003c(B7ol8Acb/jzxI7+b5?NBB98syzdc{{z/W9fy?Wx\u003czGxwijS\u003e}ynMl(vA+fidB7]-mA^n=\u003car\u003eGvBz#pZfe3%LBzb/ae[n*pfk+YDvR6N(B7^jCA=(CBzZ2K4z/668vp%c]jS\u003e}ZBAzFyiXJd0x([3hvLheez7/^Bz^)o#w]?SsAb{8xBz\u0026ugwn+$2zdNQbvruj4zxI7+b4#7uAc15[fjY0hB1RGOfk$@OB98sA3tTi#Cw?IjB09Q*toX3bwPI%ia$K\u0026XAb]JhBz(kuy:9c(3l{V(wO003z/PziyH}^jayPd#aARpdx(UtbwObT]x([6czGu}eBrCmsBz#pZfe3\u003cOv\u003eI!AB960IvqYZgz/PFzv{%y\u003cz.Dcxw[u0]zEWlhzddr@w[u49e[/uzyZHINy?Wu:3ug37v\u003ezLav@=GgjS[\u0026!B.7)!tv.q:wO#3\u0026zEWx(B6Pb]D2s-/aBwoyA=U@kzxI7+a#7Y7a$K\u003cGwNPX6A+fqmjS)@MwmYvYB.(dzefDcFCYW$meP=2wx([zuefDcGB.\u003e\u003eru4061B-hwkauZ?\u003ef!Ld73ug37v\u003ezLav@=GyauZ?\u003ef!Ld73i", "ln": 0, "col": 1, "line": 1 } ], "depth": 1, "facts": { "metrics": { "file": { "size": 581, "entropy": 4.86 }, "binary": { "peak_region_bytes": 581, "peak_region_entropy": 4.86 }, "consistency": { "extension_content_mismatch": 1, "extension_content_mismatch.text_as_unknown": 1 } } }, "id": 4, "path": "prusto-macros-0.2.1.crate!!prusto-macros-0.2.1/Cargo.toml.orig", "pid": 0, "risk": 1, "sha": "672e4b1a97331a26c6398b27bf73734760dc9ee767b25798a7af7cfdb1ce7d84", "size": 581, "traits": [ { "id": "micro-behaviors/communications/email/address::gmail-com-email-domain-suffix", "conf": 0.55, "crit": 3, "desc": "Email address suffix @gmail.com", "spans": [ [ 83, 10 ] ] }, { "id": "metadata/package/documentation/source::package-doc-reference-basename", "conf": 0.9, "crit": 2, "desc": "Package documentation basename" }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-2", "conf": 0.8, "crit": 1, "desc": "English function-word token \"and\"", "spans": [ [ 353, 0 ] ] } ], "type": "text" }, { "ctx": [ { "b": "B-RapAb](buU%jYA=iY]iX0h#B-RapADMhwwJz\u003e4i%{aKwGV5tzAo?1Aa9T4wN)?.q/De.zE)uu3uZA3aAI*CiYX-L3jn1ZAb](buU%jYA=kq}wPzHdwHHw}wPI%idp0p1BZ=F9zxJF3A+PYdc#0NrB-YU!Ab](buU%jYA=j01rbVL-zC$T$wNPB8at2=1Ab](buU%jYA=j01rbVK", "ln": 0, "col": 1, "line": 1 }, { "b": "3lQDlarR^HavZ6Ry?dPFi.\u003ca2wN)i1diH=qay)9xvqPN^e[]iBz^Nj2wPxgFe[n*oy?m9#c[cXOarR^HarR^HmRMBIwof^)rC(X.zdNlawgnS:j%j(SBAIRwavQr\u003ec}ee%z/N)1zE[2uwg?}xvqWFxefDcGx\u003eq9\u003eaz(mxBrC47az$R8wN(#ldj+/GarR^H", "ln": 560, "col": 49, "line": 20 }, { "b": "z/fbmdlv\u003eVarR!FwO2yVxjU%(A+P38e]UltvqQ6rAclknc#-QnB7FY#B-hwkaT!ZBvjrS!3lQDlaz+RhasIqxwN]dZze:q#xjU%(A+P38efG1BwN]d\u0026D0+h}zE)\u003c5", "ln": 1368, "col": 45, "line": 41 }, { "b": "wO#71x\u003e8ibiY.k2B-RUyiY.wdAaK8Ki-6\u003cdB98syw]zYjbw{}bwGSjtD0+h}zE)\u003c5v@\u0026+qCw7MdwNw}-vrDT5aBsCrarR^HarR^HarR!GD2Nsqr://!wMi}]wJRs", "ln": 1751, "col": 21, "line": 51 }, { "b": "cTQpCdgdguarR^HarR^HarR^HarSm1auzM8ByWA[A+frmy\u0026?Z0qE%](y\u0026?=/dj=PGk@}4}A=M8sj%kgVarR^HarR^HarR^HarR^HzddJ@xDR21CP.tuarR^HarR^HarR^", "ln": 5792, "col": 146, "line": 148 } ], "depth": 1, "facts": { "imp": [ [ "", "derive_impl" ], [ "", "d.into" ], [ "", "e.to_compile_error.into" ], [ "", "e.to_compile_error" ], [ "", "d.named.into_iter.collect" ], [ "", "d.named.into_iter" ], [ "", "Err" ], [ "", "Error::new" ], [ "", "d.span" ], [ "", "Err" ], [ "", "Error::new" ], [ "", "data.span" ], [ "", "Ident::new" ], [ "", "Span::call_site" ], [ "", "fields.iter.map" ], [ "", "fields.iter" ], [ "", "f.ident.as_ref.unwrap" ], [ "", "f.ident.as_ref" ], [ "", "keys.clone.map" ], [ "", "keys.clone" ], [ "", "LitStr::new" ], [ "", "ident.span" ], [ "", "fields.iter.map" ], [ "", "fields.iter" ], [ "", "types.clone" ], [ "", "keys.clone" ], [ "", "types.clone" ], [ "", "types.clone" ], [ "", "data.generics.split_for_impl" ], [ "", "data.generics.clone" ], [ "", "seed_generics.params.push" ], [ "", "seed_generics.split_for_impl" ], [ "", "seed_generics.clone" ], [ "", "seed_de_generics.params.push" ], [ "", "seed_de_generics.split_for_impl" ], [ "", "access_seq" ], [ "", "Ok" ], [ "", "fields.len" ], [ "", "LitInt::new" ], [ "", "fields.iter.map" ], [ "", "fields.iter" ], [ "", "f.ident.as_ref.unwrap" ], [ "", "f.ident.as_ref" ], [ "", "fields.iter.map" ], [ "", "fields.iter" ], [ "", "generics.split_for_impl" ], [ "", "Ok" ], [ "", "proc_macro2::*" ], [ "", "quote::*" ], [ "", "syn::spanned::Spanned" ], [ "", "syn::*" ] ], "mbr": [ "d.into", "d.named", "d.named.into_iter", "d.named.into_iter.collect", "d.span", "data.fields", "data.generics", "data.generics.clone", "data.generics.split_for_impl", "data.ident", "data.span", "data.vis", "e.to_compile_error", "e.to_compile_error.into", "f.ident", "f.ident.as_ref", "f.ident.as_ref.unwrap", "f.ty", "fields.iter", "fields.iter.map", "fields.len", "generics.split_for_impl", "ident.span", "keys.clone", "keys.clone.map", "seed_de_generics.params", "seed_de_generics.params.push", "seed_de_generics.split_for_impl", "seed_generics.clone", "seed_generics.params", "seed_generics.params.push", "seed_generics.split_for_impl", "types.clone" ], "tgt": [ "Err", "Error::new", "Ident::new", "LitInt::new", "LitStr::new", "Ok", "Span::call_site", "access_seq", "d.into", "d.named.into_iter", "d.named.into_iter.collect", "d.span", "data.generics.clone", "data.generics.split_for_impl", "data.span", "derive_impl", "e.to_compile_error", "e.to_compile_error.into", "f.ident.as_ref", "f.ident.as_ref.unwrap", "fields.iter", "fields.iter.map", "fields.len", "generics.split_for_impl", "ident.span", "keys.clone", "keys.clone.map", "seed_de_generics.params.push", "seed_de_generics.split_for_impl", "seed_generics.clone", "seed_generics.params.push", "seed_generics.split_for_impl", "types.clone" ], "funcs": [ [ "derive", 103 ], [ "derive_impl", 348 ], [ "access_seq", 5175 ] ], "metrics": { "ast": { "max_depth": 15, "call_count": 49, "node_count": 1933, "member_count": 33, "max_member_depth": 4 }, "file": { "size": 6589, "entropy": 4.42 }, "text": { "lines": 170, "top_char": 101, "digit_ratio": 0, "space_count": 1999, "char_entropy": 4.42, "unique_chars": 70, "top_char_null": 0, "import_density": 2.35, "string_density": 0.07, "top_char_ratio": 0.08, "avg_line_length": 37.76, "max_line_length": 150, "empty_line_ratio": 0.17, "last_line_length": 1, "whitespace_ratio": 0.33, "identifier_density": 2.86, "line_length_stddev": 33.35, "max_whitespace_run": 2, "normalized_import_count": 0.31, "normalized_string_count": 0.92, "repeated_char_sequences": 75, "normalized_function_count": 0.23, "imports_to_functions_ratio": 1.33, "strings_to_functions_ratio": 4, "suspicious_identifier_ratio": 0.04, "normalized_unique_identifiers": 18.76, "identifiers_to_functions_ratio": 46.33 }, "binds": { "count": 22 }, "binary": { "peak_region_bytes": 3072, "peak_region_entropy": 4.81 }, "source": { "function_count": 3 }, "imports": { "count": 4, "wildcard": 3, "third_party_count": 4, "third_party_ratio": 1 }, "strings": { "bytes": 220, "count": 12, "avg_length": 18.33, "max_length": 44, "avg_entropy": 2.99, "entropy_stddev": 0.96 }, "functions": { "count": 3, "density": 1.76, "avg_params": 1.67, "code_ratio": 0.95, "max_params": 3, "length_stddev": 49.69, "over_100_lines": 1, "avg_name_length": 9, "avg_length_lines": 54, "max_length_lines": 123, "min_length_lines": 8, "avg_param_name_length": 5.4 }, "identifiers": { "count": 486, "unique": 139, "avg_length": 6.94, "max_length": 21, "min_length": 1, "avg_entropy": 2.27, "reuse_ratio": 0.29, "length_stddev": 4.16, "has_digit_ratio": 0.04, "sequential_names": 6, "single_char_count": 6, "single_char_ratio": 0.04, "high_entropy_count": 1, "high_entropy_ratio": 0.01, "all_lowercase_ratio": 0.7, "all_uppercase_ratio": 0.01, "numeric_suffix_count": 5, "underscore_prefix_count": 5 } } }, "id": 5, "mol": "Md(Pt)", "path": "prusto-macros-0.2.1.crate!!prusto-macros-0.2.1/src/lib.rs", "pid": 0, "risk": 2, "sha": "f0d30611b3f0009fcf4bfe243047d003d9f2c92a8f46235b283428a7477e3072", "size": 6589, "traits": [ { "id": "metadata/lang/source/declaration::rust-proc-macro-entrypoint", "conf": 0.92, "crit": 3, "desc": "Rust procedural-macro entrypoint declaration" }, { "id": "metadata/file/extension/identity::rust-source-extension", "conf": 0.98, "crit": 2, "desc": "Rust source filename extension" }, { "id": "metadata/import/rust/proc_macro2::proc_macro2", "conf": 0.95, "crit": 2, "desc": "imports proc_macro2::*", "spans": [ [ 4, 0 ] ] }, { "id": "metadata/import/rust/quote::quote", "conf": 0.95, "crit": 2, "desc": "imports quote::*", "spans": [ [ 24, 0 ] ] }, { "id": "metadata/import/rust/syn/spanned/spanned::syn/spanned/spanned", "conf": 0.95, "crit": 2, "desc": "imports syn::spanned::Spanned", "spans": [ [ 38, 0 ] ] }, { "id": "metadata/import/rust/syn::syn", "conf": 0.95, "crit": 2, "desc": "imports syn::*", "spans": [ [ 65, 0 ] ] }, { "id": "micro-behaviors/data/collection/create::rust-collect-call", "conf": 0.85, "crit": 2, "desc": "Rust materializes an iterator with .collect()", "spans": [ [ 608, 0 ] ] }, { "id": "metadata/lang/natural/vocabulary/content-word::data-transfer-verb-token", "conf": 0.88, "crit": 1, "desc": "Data-transfer verb token", "spans": [ [ 1400, 0 ] ] }, { "id": "metadata/lang/natural/vocabulary/function-word::lang-english--atom-5", "conf": 0.8, "crit": 1, "desc": "English function-word token \"for\"", "spans": [ [ 1783, 0 ] ] }, { "id": "micro-behaviors/data/serialize/envelope::result-assignment-key", "conf": 0.4, "crit": 1, "desc": "Result field or assignment key", "spans": [ [ 5824, 0 ] ] } ], "type": "rust" } ], "rev": "76e61", "v": "8" } }