{ "ml": { "v": "7", "eng": "2.4.0-beta.1", "lvl": -1, "conf": 0, "mods": [ { "cls": 0, "raw": 0.0000096360845, "rte": "az", "prob": 0.0000096360845 }, { "cls": 0, "raw": 0.00009968877, "rte": "az/tar", "prob": 0.00009968877 } ], "prob": 0.000013053417, "files": [ { "id": 0, "lvl": -1, "conf": 0, "prob": 0.000013053417205810547, "type": "tar.gz" }, { "id": 1, "lvl": -1, "conf": 0, "prob": 0.000013053417205810547, "type": "javascript" }, { "id": 2, "lvl": -1, "conf": 0, "prob": 0.000010629494681779761, "type": "javascript" }, { "id": 3, "lvl": -1, "conf": 0, "prob": 0.000005801518909720471, "type": "python" }, { "id": 4, "lvl": -1, "conf": 0, "prob": 0.0000080565614553052, "type": "javascript" }, { "id": 5, "lvl": -1, "conf": 0, "prob": 0.0000063081583903112914, "type": "javascript" }, { "id": 6, "lvl": -1, "conf": 0, "prob": 0.00001006325055641355, "type": "javascript" }, { "id": 7, "lvl": -1, "conf": 0, "prob": 0.0000061293444559851196, "type": "javascript" }, { "id": 8, "lvl": -1, "conf": 0, "prob": 0.000007152557373046875, "type": "kotlin" }, { "id": 9, "lvl": -1, "conf": 0, "prob": 0.000006894270427437732, "type": "kotlin" }, { "id": 10, "lvl": -1, "conf": 0, "prob": 0.000006020069122314453, "type": "javascript" }, { "id": 11, "lvl": -1, "conf": 0, "prob": 0.0000067452588154992554, "type": "javascript" }, { "id": 12, "lvl": -1, "conf": 0, "prob": 0.000008493661880493164, "type": "javascript" }, { "id": 13, "lvl": -1, "conf": 0, "prob": 0.000007808208465576172, "type": "javascript" }, { "id": 14, "lvl": -1, "conf": 0, "prob": 0.000005811452865600586, "type": "javascript" }, { "id": 15, "lvl": -1, "conf": 0, "prob": 0.0000056525072977819946, "type": "kotlin" }, { "id": 16, "lvl": -1, "conf": 0, "prob": 0.000006645917892456055, "type": "kotlin" }, { "id": 17, "lvl": -1, "conf": 0, "prob": 0.000006705522537231445, "type": "kotlin" }, { "id": 18, "lvl": -1, "conf": 0, "prob": 0.00000758965825298219, "type": "javascript" }, { "id": 19, "lvl": -1, "conf": 0, "prob": 0.000008265177712019067, "type": "javascript" }, { "id": 20, "lvl": -1, "conf": 0, "prob": 0.000008126099601213355, "type": "javascript" }, { "id": 21, "lvl": -1, "conf": 0, "prob": 0.000007013479716988513, "type": "javascript" }, { "id": 22, "lvl": -1, "conf": 0, "prob": 0.000006934007160452893, "type": "javascript" }, { "id": 23, "lvl": -1, "conf": 0, "prob": 0.000006685654170723865, "type": "python" }, { "id": 24, "lvl": -1, "conf": 0, "prob": 0.00000616908073425293, "type": "javascript" }, { "id": 25, "lvl": -1, "conf": 0, "prob": 0.0000061790146901330445, "type": "javascript" }, { "id": 26, "lvl": -1, "conf": 0, "prob": 0.000006586313247680664, "type": "javascript" }, { "id": 27, "lvl": -1, "conf": 0, "prob": 0.0000061790146901330445, "type": "shell" }, { "id": 28, "lvl": -1, "conf": 0, "prob": 0.000007857878699724097, "type": "javascript" }, { "id": 29, "lvl": -1, "conf": 0, "prob": 0.000007341305263253162, "type": "javascript" }, { "id": 30, "lvl": -1, "conf": 0, "prob": 0.000006427367679862073, "type": "javascript" }, { "id": 31, "lvl": -1, "conf": 0, "prob": 0.000006616115570068359, "type": "kotlin" }, { "id": 32, "lvl": -1, "conf": 0, "prob": 0.000006814797870902112, "type": "kotlin" }, { "id": 33, "lvl": -1, "conf": 0, "prob": 0.00000671545649311156, "type": "kotlin" }, { "id": 34, "lvl": -1, "conf": 0, "prob": 0.0000061790146901330445, "type": "kotlin" }, { "id": 35, "lvl": -1, "conf": 0, "prob": 0.0000066558518483361695, "type": "python" }, { "id": 36, "lvl": -1, "conf": 0, "prob": 0.0000065664448811730836, "type": "kotlin" }, { "id": 37, "lvl": -1, "conf": 0, "prob": 0.0000067452588154992554, "type": "kotlin" }, { "id": 38, "lvl": -1, "conf": 0, "prob": 0.0000056525072977819946, "type": "shell" }, { "id": 39, "lvl": -1, "conf": 0, "prob": 0.000006665786258963635, "type": "kotlin" }, { "id": 40, "lvl": -1, "conf": 0, "prob": 0.000006685654170723865, "type": "kotlin" }, { "id": 41, "lvl": -1, "conf": 0, "prob": 0.000006794929504394531, "type": "kotlin" }, { "id": 42, "lvl": -1, "conf": 0, "prob": 0.000006735324859619141, "type": "kotlin" }, { "id": 43, "lvl": -1, "conf": 0, "prob": 0.000006804863460274646, "type": "kotlin" }, { "id": 44, "lvl": -1, "conf": 0, "prob": 0.000006596247203560779, "type": "kotlin" }, { "id": 45, "lvl": -1, "conf": 0, "prob": 0.000006735324859619141, "type": "kotlin" }, { "id": 46, "lvl": -1, "conf": 0, "prob": 0.000006685654170723865, "type": "kotlin" }, { "id": 47, "lvl": -1, "conf": 0, "prob": 0.0000056127705647668336, "type": "c" }, { "id": 48, "lvl": -1, "conf": 0, "prob": 0.00000667572021484375, "type": "kotlin" }, { "id": 49, "lvl": -1, "conf": 0, "prob": 0.00000714262341716676, "type": "javascript" }, { "id": 50, "lvl": -1, "conf": 0, "prob": 0.000006626049525948474, "type": "json" }, { "id": 51, "lvl": -1, "conf": 0, "prob": 0.0000062187514231482055, "type": "javascript" }, { "id": 52, "lvl": -1, "conf": 0, "prob": 0.000007331371307373047, "type": "text" }, { "id": 53, "lvl": -1, "conf": 0, "prob": 0.000007053216450003674, "type": "markdown" }, { "id": 54, "lvl": -1, "conf": 0, "prob": 0.000007321437351492932, "type": "registry" } ], "version": "v18.18", "analyzed_at": "2026-07-22T23:06:09Z" }, "path": "cryptol-3.5.0.tar.gz", "raw": { "files": [ { "id": 0, "ctx": [ { "b": "abZy80000000zP3x)Q^?K$LEX[HJ(}O[2Mgk^-ogMqpA[w+c=\u003eYD?5:W$V!Q:S+IN+{U*\u0026zteAwkKOJH}:J$=eG=DA?i#60P405m0954#85.%lwmPq^ZfbrsV-#B}cIA8H@G)Dn{\u003e%-OkK(kW", "n": [ { "c": 2, "d": "Archive container path", "i": "metadata/package/files/included::archive-container-path", "o": 0, "z": 20, "cf": 0.949999988079071 } ], "ln": 0 } ], "mol": "O(As)H(Db)", "sha": "7341c026ef83b18d2c784cfedb37003f74d1560605cd9c3107b5b6fc31fb2f84", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz", "risk": 2, "size": 610850, "type": "tar.gz", "facts": { "metrics": { "file": { "size": 610850.0, "entropy": 8.0, "size_bytes": 610850.0 }, "parse": { "error_count": 1.0 }, "binary": { "overall_entropy": 8.0, "peak_region_bytes": 588322.0, "peak_region_entropy": 7.84 } } }, "traits": [ { "id": "metadata/lang/javascript-features::arrow-function", "conf": 0.8999999761581421, "crit": 1, "desc": "ES6 arrow function syntax", "from": [ { "file": 26 } ] }, { "id": "metadata/lang/javascript-features::const-let", "conf": 0.8999999761581421, "crit": 1, "desc": "ES6 const/let declarations", "from": [ { "file": 13 } ], "spans": [ [ 3254, 5 ], [ 7466, 5 ] ] }, { "id": "micro-behaviors/data/source/syntax/keyword::py-keyword-xor", "conf": 0.6000000238418579, "crit": 3, "desc": "Python bitwise XOR operator", "from": [ { "file": 3 } ] }, { "id": "micro-behaviors/data/source/property/computed::js-computed-property-call", "conf": 0.8199999928474426, "crit": 3, "desc": "Calls a property using bracket notation", "from": [ { "file": 1 } ] }, { "id": "metadata/file/string/identity::chunk-token", "conf": 0.949999988079071, "crit": 1, "desc": "Source contains a chunk-related identifier", "from": [ { "file": 26 } ] }, { "id": "objectives/anti-static/obfuscation/syntax::js-sequence-expression-obfuscation", "conf": 0.949999988079071, "crit": 3, "desc": "JS sequence access" } ] }, { "ctx": [ { "b": "eG/AFeIe8tz!a0bwGS9rarR^/arT3(D2N\u003ezy+wXjAaIyIwN/Hdrc-B]o\u003c}#FeIe8jz/x#xx\u003eIa3arR^/arS7xdiHx1f/7ypfFLEdm}3jLx(+*FnP52\u003c3n0?LoLF0FzGxwiarR^HiV]Liq:-zGeIe8tvqfR3vqfQ\u003cAV=F=arUfmD2N\u003ezy^qSwy\u0026s3ee[n*p3n0?Lq/(CSx(4H9C{1jLiV]L:A=lbnB7]MgvqDo5eG^(dA=+-0x(4H9C{2c\u003caAhmtBywS{wEn=\u003eeH8xi", "ln": 1, "col": 2, "line": 1 }, { "b": "x)a5SB-7Yhz/M%BeQW$MeH8xik#6{Ik$su^l$HyMC4BcYy?c%-y?j.leQW$MeH8xik#6{Ik$su^l$HyMC4BS[vrMj5B75J]wGSiHEf%?fwozZ1avyf{Acc2me(WanwKycxv@0X@D2Ns?vq(L@asFviD2Ns?vq)REe?5s]rc-B]B4{7ZefE]jx\u003ep1EA40s\u003edgdguefFUAB7Gxlr81[^x(n06A=+w%BzaSF3lQDxaz\u003eXbvR6O3r80Yxas[TLvq]guefF!rA93:}xIh]Zr81[^zddxTvr(r[r80YbarSiToLFM\u0026c[Wb33lQC", "ln": 370, "col": 17, "line": 12 }, { "b": "z/P}xarR^HarR^HarT6XByu^@vr(r[c$WHrzb1C:vR49cvr(r[rbUDAB95\u0026rx(d*cA=-ADarR^HarR^Havy6+BAhqoe\u003e{n4vpQ=mjuU!Qdgf^aAbP=sarR^HarR^HarR^{vrt{go\u003c@rRwGSynB53T}xLzu%dgcz(y*?yaaxiw}wLDPLaz\u0026lpaBCqGat2=1yAN?mwPzt?arUljAccw8o=$MtiV@nZvg1b1zGP=ir81FTauzLaz6imfeJ$pzz/oC0arUGsz!\u003cGmr81F@iV@hXeJ$p]ayMxAj%iNdD17tcvg1b1vqH3%A-t:QauzLayALh)asG@)D17tcvivc=awDo\u0026vR3V\u003cdiHiaaz\u0026lfat2=1z6il]arU/Ax(v(*o=$MtiV]?Vat2=1vivc=ayMYweJ$p]ayMxAj%jX+vivc=az\u0026lf3lQEkz+K\u003e^Bw$%SiYXy2ayMxAj%j5TyB\u0026)yt)Z]Yaz\u003eLao\u003c@rR", "ln": 812, "col": 4, "line": 30 }, { "b": "asG]$B95K7D2Ns?vq)t$dgdguarR^HarR^HarR^HarR^HarSiTBAg@5auzLao\u003c}#-ts\u0026vpzGGebc}[t@BrBLdAaI:LA3eNr3lQDlarR^HarR^HarR^HarR^Has[TSzF%xazEEu7iYXxTvq)t:z/6iavqF[*AaHduoLFM\u0026axiS9wLDPLayMYaarR^HarR^HarR^Hao", "ln": 3666, "col": 42, "line": 119 }, { "b": "auZ\u0026Uze:Pxr81[^Bz=2lx(mu}auZ\u0026Uze:Pxr81G-3jm)#zGP=ir81GSC{2l)vqYP#toE*ay\u002606BasItPvr9GjC{%7yarR^HarR^HarR^HarR^Has[TMB.\u003e\u003e[o=$\u003cav@DlcBA]qxarR^HarR^HarR^HarR^HarSiTzGP=ir81F-BAg@5aAR(T3lQC", "ln": 3964, "col": 54, "line": 125 }, { "b": "arR^HarSiTd0fIYB$1KRjs}W$z+K\u003e^Bw$%Sz80esas!@H3lQDlat2e/pc{#:BzbxfaAIToA3e$nB7GzncUc}jAbn%dpJx#SAWI#zzF0*czddK2z/dfmarR^HeIe7/nPVt3az#atay/k0vr9G8w/#qeaAIjmB.\u003eOhBAhTHBz\u0026plx)p+xxLzJu3lQDl", "ln": 5077, "col": 23, "line": 154 } ], "depth": 1, "facts": { "imp": [ [ "", "Copyright" ], [ "", "Cryptol.TypeCheck.TypeMap" ], [ "", "TypeMap" ], [ "", "TrieMap" ], [ "", "List" ], [ "", "Data.Maybe" ], [ "", "Just" ], [ "", "mapMaybeWithKeyTM" ], [ "", "Just" ], [ "", "mapMaybeWithKeyTM" ], [ "", "Just" ], [ "", "mapMaybeWithKeyTM" ], [ "", "deriving" ], [ "", "TrieMap" ], [ "", "isNothing" ], [ "", "nullTM" ], [ "", "alterTM" ], [ "", "alterTM" ], [ "", "Just" ], [ "", "Just" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "mapMaybeWithKeyTM" ], [ "", "mapMaybeWithKeyTM" ], [ "", "Just" ], [ "", "go" ], [ "", "TCon" ], [ "", "NominalType" ], [ "", "alterTM" ], [ "", "alterTM" ], [ "", "alterTM" ], [ "", "alterTM" ], [ "", "alterTM" ], [ "", "alterTM" ], [ "", "alterTM" ], [ "", "toListTM" ], [ "", "toListTM" ], [ "", "TRec" ], [ "", "recordFromFields" ], [ "", "toListTM" ], [ "", "toListTM" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "unionTM" ], [ "", "mapMaybeWithKeyTM" ], [ "", "mapMaybeWithKeyTM" ], [ "", "mapWithKeyTM" ], [ "", "mapWithKeyTM" ], [ "", "mapMaybeWithKeyTM" ], [ "", "mapWithKeyTM" ], [ "", "mapWithKeyTM" ], [ "", "mapMaybeWithKeyTM" ], [ "", "TRec" ], [ "", "recordFromFields" ], [ "", "mapWithKeyTM" ], [ "", "mapWithKeyTM" ], [ "", "mapMaybeWithKeyTM" ], [ "", "Show" ], [ "", "showsPrec" ] ], "mbr": [ "Cryptol.TypeCheck", "Cryptol.TypeCheck.TypeMap", "Data.Maybe", "Just.alterTM", "Just.alterTM.fromMaybe", "galois.com", "lookupTM.cons", "lookupTM.tcon", "snd.toListTM" ], "tgt": [ "Copyright", "Cryptol.TypeCheck.TypeMap", "Data.Maybe", "Just", "List", "NominalType", "Show", "TCon", "TRec", "TrieMap", "TypeMap", "alterTM", "deriving", "f", "go", "isNothing", "m", "mapMaybeWithKeyTM", "mapWithKeyTM", "nullTM", "recordFromFields", "showsPrec", "toListTM", "unionTM", "x" ], "funcs": [ [ "k", 1264 ], [ "k", 1335 ], [ "k", 1712 ], [ "k", 1845 ], [ "k", 1988 ], [ "instance", 2209 ], [ "instance", 6599 ] ], "metrics": { "ast": { "op.gt": 11, "op.le": 1, "op.lt": 7, "op.bor": 4, "op.shl": 1, "op.sub": 66, "op.land": 1, "max_depth": 26, "call_count": 82, "node_count": 2264, "member_count": 9, "max_array_len": 3, "op_density.gt": 0, "op_density.le": 0, "op_density.lt": 0, "op_density.bor": 0, "op_density.shl": 0, "op_density.sub": 0.03, "sequence_count": 24, "op_density.land": 0, "member_depth_max": 3, "self_compare_count": 8 }, "file": { "size": 6686, "entropy": 4.43 }, "text": { "lines": 189, "top_char": 97, "max_ws_run": 16, "digit_ratio": 0.01, "space_count": 2257, "char_entropy": 4.43, "unique_chars": 75, "top_char_null": 0, "string_density": 0.01, "top_char_ratio": 0.04, "avg_line_length": 34.38, "max_line_length": 93, "empty_line_ratio": 0.2, "last_line_length": 44, "whitespace_ratio": 0.37, "identifier_density": 3.61, "line_length_stddev": 24.66, "normalized_string_count": 0.07, "repeated_char_sequences": 44, "suspicious_identifier_ratio": 0.13, "normalized_unique_identifiers": 16.79 }, "binds": { "count": 27 }, "binary": { "peak_region_bytes": 1024, "peak_region_entropy": 4.95 }, "strings": { "bytes": 12, "count": 1, "avg_length": 12, "max_length": 12, "avg_entropy": 3.25 }, "functions": { "density": 3.7, "anonymous": 7, "code_ratio": 0.04, "one_liners": 7, "no_params_count": 7, "avg_length_lines": 1, "max_length_lines": 1, "min_length_lines": 1 }, "consistency": { "extension_content_mismatch": 1, "extension_content_mismatch.script_as_unknown": 1 }, "identifiers": { "count": 682, "unique": 127, "avg_length": 6.17, "max_length": 22, "min_length": 1, "avg_entropy": 2.04, "reuse_ratio": 0.19, "length_stddev": 4.47, "has_digit_ratio": 0.02, "sequential_names": 16, "single_char_count": 16, "single_char_ratio": 0.13, "high_entropy_count": 4, "high_entropy_ratio": 0.03, "all_lowercase_ratio": 0.4, "all_uppercase_ratio": 0.06, "numeric_suffix_count": 3, "underscore_prefix_count": 1 } } }, "id": 1, "mol": "Md(Pa)", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/TypeCheck/TypeMap.hs", "pid": 0, "risk": 2, "sha": "76d1676e99a86e7caaa1157ddd373cebab18a8fd344af11a7c83c52c5c788ac5", "size": 6686, "traits": [ { "id": "metadata/lang/natural::lang-english--atom-2", "conf": 0.8, "crit": 1, "desc": "English function-word token \"and\"" }, { "id": "metadata/lang/natural::lang-english--atom-7", "conf": 0.8, "crit": 1, "desc": "English function-word token \"this\"" }, { "id": "metadata/package/files/runtime::typescript-source-tree-artifact", "conf": 0.95, "crit": 3, "desc": "Source file under src" }, { "id": "metadata/file/string/count::few-string-literals", "conf": 0.4, "crit": 3, "desc": "File has very few string literals" } ], "type": "javascript" }, { "ctx": [ { "b": "eIe8)3n0?Lo(BM+y?j.iarR^HiV]LjA^qRCz!}49D2NsZxK$W?e\u003eY[@wc%[uavy6^D2^RixMLvtauyR/c$sXGgb7BseIY1mhxUH#y\u0026s3eefEJ4v\u003eF9ueG^-3v}xL0wGS9rarSY/avo0{gytY=awDoUzGGr3zE)\u0026hauyR/v@=\u003clBz\u003e$XxjkQ{x(+[pz/2?keG+", "n": [ { "c": 2, "d": "Haskell source file extension", "i": "metadata/file/extension/identity::haskell-source-basename", "o": 0, "z": 7, "cf": 1.0 }, { "c": 2, "d": "Copyright notice", "i": "metadata/package/license::copyright-word", "o": 49, "z": 9, "cf": 0.6000000238418579 } ], "ln": 0, "col": 1, "line": 1 }, { "b": "wO#Qhar@E^3n0?Lq!oI.ph+k=ax{B0x(mB0ze:r5By^4DzFpXwvruQ5A=b}vvqYP#x(Xl9w{5i7vR/P#Aa9\u003cgwPzWft{9\u003c0avyf{Acc2me(WanwKycxv@0X@D2Ns\u003evrq\u003c6eH8xlp/H1Zpe+H\u0026njaHKs8I}dx(mB0ze:r5By^4DzFpXwvruQ5A=b{", "n": [ { "c": 2, "d": "Contains common English function words", "i": "metadata/file/profile/language::lang-english", "o": 309, "z": 3, "cf": 0.800000011920929 } ], "ln": 261, "col": 24, "line": 10 }, { "b": "vj\u003en.D17tkw].*bo\u003c@rRwH}Lpn{bh%dgf^aAbP=sarR^HarR^HarR^{vrt{gmS\u0026PUBzkVhc#S#L3tBu@z/P}xarR^HarR^HarT6XByu!3wQ5qtc@:=5BsvMhze:AlBrzXGarR^HarR^HlVl\u003c:A=k+Do(B]TwghOry?mWeenYuxB-P9Cz/OM6Cw7M9dgczl", "n": [ { "c": 2, "d": "Function constructor keyword", "i": "micro-behaviors/data/source/syntax/keyword::js-keyword-function-constructor", "o": 1704, "z": 8, "cf": 0.699999988079071 } ], "ln": 1656, "col": 21, "line": 48 }, { "b": "CxwaHwPGEhzE[3lD2Ns.wPzHdvpB4:auzLac@Ukdx(mMmax}Vft}3a#wP@lwAaIBGA+PY9vR/P#jQJqOc)fZKwP@lwAaHj2arSiTttN+defE+Rze.3Gp/z7vzE)uCze.3Gp*dBJz.92coMaMTv\u003en:0qFy2Yt).X%dgcz(xK$W?mq^l+auzLap+CgOB.%JTv@9n.vqPM#eJ$pKvr(r[axh]%BrAe0aw3D.wPyG/ph:#-zEEuXD2Ns4v}YB-yEJb-z6iz2az\u003eNQauZ5Oay]yky?mYhCPYc(p+DrOvqPM#wN(b\u003carR^Hc[5IBf!u*MzGvJYen62MauRj#v@Dg1wN/*Lz^^E6as4pparQ", "n": [ { "c": 3, "d": "JS sequence access", "i": "objectives/anti-static/obfuscation/syntax::js-sequence-expression-obfuscation", "o": 7083, "z": 90, "cf": 0.949999988079071 } ], "ln": 7019, "col": 18, "line": 193 }, { "b": "arR^PwmYm!vrb{\u0026en]SzwPz\u0026vauZ\u0026*Abolgl3aj$y?mG%Bz8!9B0\u0026yVvrc143lQDlarU/Ay?mWeasHVowfrpDx(Ec/Bz8^BjV$kpc#AyiazUXewku!Wvri!BayPq6B14", "n": [ { "c": 1, "d": "References the JavaScript .length property", "i": "metadata/lang/scripted::length-prop", "o": 13242, "z": 6, "cf": 1.0 } ], "ln": 13210, "col": 7, "line": 340 }, { "b": "c%[IFBtki!js}X1x([2/p*[xMzf3*=y\u002613ls7#FYlT+1CB0bKlxK#3?p*[xMz6i4*as57uz:OhHv@24?AaHelazRrbarR^HA+funA=90FBw=WVB.LV5aAPs!3jpoRwN/HLvrb^[wPRH7lVl\u003c-BAg/7zGG}xiYXx/oM6", "n": [ { "c": 1, "d": "Mastercard detection in billing marker", "i": "objectives/credential-access/financial/credit-card::mastercard-billing-marker", "o": 14095, "z": 34, "cf": 0.8199999928474426 } ], "ln": 14063, "col": 6, "line": 367 }, { "b": "yFXCWvqQ6dvriMkB1[1AarR^HarUGiBrCTEauZ\u0026[x(Ch6B0bNCg72cDarR^HaAhxRauRj#zddxTasHSknP5P\u003evqZg3vru6Wu)6JkdiH3XB3\u003c\u003e-B98Chx(n3laAR)I", "n": [ { "c": 1, "d": "IP interface command string in hook-like JS", "i": "objectives/supply-chain/install-hook/scripts/hook-file::postinstall-ip-command-marker", "o": 18194, "z": 4, "cf": 0.9200000166893005 } ], "ln": 18162, "col": 19, "line": 480 } ], "depth": 1, "facts": { "imp": [ [ "", "Copyright" ], [ "", "Cryptol.TypeCheck.Kind" ], [ "", "InferM" ], [ "", "checkSchema" ], [ "", "checkSchema" ], [ "", "doCheckType" ], [ "", "newPs" ], [ "", "concatMap" ], [ "", "Forall" ], [ "", "tRebuild" ], [ "", "rng" ], [ "", "Located" ], [ "", "collectGoals" ], [ "", "lp" ], [ "", "inRange" ], [ "", "thing" ], [ "", "TCon" ], [ "", "pure" ], [ "", "recordError" ], [ "", "mbDoc" ], [ "", "cvtK" ], [ "", "thing" ], [ "", "mp" ], [ "", "inRange" ], [ "", "checkTySyn" ], [ "", "mbD" ], [ "", "collectGoals" ], [ "", "withTParams" ], [ "", "tsName" ], [ "", "tsParams" ], [ "", "tsConstraints" ], [ "", "map" ], [ "", "tsDef" ], [ "", "tsDoc" ], [ "", "checkPropSyn" ], [ "", "mbD" ], [ "", "collectGoals" ], [ "", "as" ], [ "", "map" ], [ "", "tRebuild" ], [ "", "checkNewtype" ], [ "", "mbDoc" ], [ "", "inRange" ], [ "", "name" ], [ "", "constraints" ], [ "", "Struct" ], [ "", "ntFixity" ], [ "", "ntDoc" ], [ "", "newtypes.newtypeDerivable" ], [ "", "newtypeDerivable" ], [ "", "mbD" ], [ "", "ed" ], [ "", "inRange" ], [ "", "nominalParam" ], [ "", "forM" ], [ "", "forM" ], [ "", "P.eCons" ], [ "", "con" ], [ "", "cname" ], [ "", "kInRange" ], [ "", "kInRange" ], [ "", "mapM" ], [ "", "mapM" ], [ "", "ecName" ], [ "", "ecNumber" ], [ "", "ecFields" ], [ "", "ecPublic" ], [ "", "ecDoc" ], [ "", "name" ], [ "", "constraints" ], [ "", "enumDerivable" ], [ "", "concatMap" ], [ "", "zipWith" ], [ "", "zipWith" ], [ "", "EnumCtorField" ], [ "", "ntName" ], [ "", "ntParams" ], [ "", "ntKind" ], [ "", "ntConstraints" ], [ "", "ntDef" ], [ "", "ntDeriving" ], [ "", "ntFixity" ], [ "", "ntDoc" ], [ "", "enums.enumDerivable" ], [ "", "enumDerivable" ], [ "", "InferM" ], [ "", "declName" ], [ "", "derivName" ], [ "", "derivRange" ], [ "", "Just" ], [ "", "pc" ], [ "", "Map.insertLookupWithKey" ], [ "", "when" ], [ "", "recordErrorLoc" ], [ "", "getParamConstraints" ], [ "", "buildSolverCtxt" ], [ "", "derivRange" ], [ "", "missingSuperclasses" ], [ "", "Set.difference" ], [ "", "Set.difference" ], [ "", "unless" ], [ "", "recordErrorLoc" ], [ "", "pc" ], [ "", "goals" ], [ "", "map" ], [ "", "TCon" ], [ "", "Right" ], [ "", "either" ], [ "", "unsolvable" ], [ "", "here.recordErrorLoc" ], [ "", "InferM" ], [ "", "not" ], [ "", "mdo" ], [ "", "mapM.lookup" ], [ "", "mapM" ], [ "", "mapM" ], [ "", "mapM" ], [ "", "mapM" ], [ "", "recordWarning" ], [ "", "tp" ], [ "", "nm" ], [ "", "tp" ], [ "", "' [] _ = []\n zip'" ], [ "", "cvtK" ], [ "", "ds" ], [ "", "groupBy" ], [ "", "compare" ], [ "", "P.KNum" ], [ "", "KNum.KType" ], [ "", "KType.KProp" ], [ "", "KProp" ], [ "", "appTy" ], [ "", "appTy" ], [ "", "tysyn" ], [ "", "appTy" ], [ "", "su" ], [ "", "mapM" ], [ "", "mapM" ], [ "", "mapM" ], [ "", "CtPartialTypeFun" ], [ "", "kInstantiateT" ], [ "", "checkKind" ], [ "", "ntDef" ], [ "", "appTy" ], [ "", "ps" ], [ "", "pure" ], [ "", "need" ], [ "", "have" ], [ "", "when" ], [ "", "kRecordError" ], [ "", "TooFewTyParams" ], [ "", "TooFewTyParams" ], [ "", "su" ], [ "", "listSubst" ], [ "", "map" ], [ "", "kNewGoals" ], [ "", "kNewGoals" ], [ "", "CtPartialTypeFun" ], [ "", "ty" ], [ "", "otherwise" ], [ "", "appTy" ], [ "", "su" ], [ "", "mapM" ], [ "", "mapM" ], [ "", "mapM" ], [ "", "mapM" ], [ "", "CtPartialTypeFun" ], [ "", "paramNeed" ], [ "", "paramNeed" ], [ "", "kRecordError" ], [ "", "TooFewTyParams" ], [ "", "src" ], [ "", "mapM" ], [ "", "mapM" ], [ "", "mapM" ], [ "", "otherwise" ], [ "", "kRecordError" ], [ "", "kRecordError" ], [ "", "TooManyTySynParams" ], [ "", "paramHave" ], [ "", "paramNeed" ], [ "", "ty" ], [ "", "tpVar" ], [ "", "tpVar" ], [ "", "appTy" ], [ "", "kRecordError" ], [ "", "unless" ], [ "", "\"Kind.checkTUser.checkModuleParam\".Unexpected parameters" ], [ "", "unless" ], [ "", "TVar" ], [ "", "TVar" ], [ "", "checkKind" ], [ "", "TVar" ], [ "", "checkKind" ], [ "", "TVar" ], [ "", "checkScopedVarUse" ], [ "", "unless" ], [ "", "unless" ], [ "", "KindM" ], [ "", "rest" ], [ "", "k1" ], [ "", "appTy" ], [ "", "appTy" ], [ "", "doCheckType" ], [ "", "doCheckType" ], [ "", "appTy" ], [ "", "appTy" ], [ "", "appTy" ], [ "", "TooManyTypeParams" ], [ "", "Expected" ], [ "", "kRecordWarning" ], [ "", "tcon" ], [ "", "tcon" ], [ "", "tcon" ], [ "", "tcon" ], [ "", "TC" ], [ "", "tcon" ], [ "", "TC" ], [ "", "tcon" ], [ "", "TC" ], [ "", "TCTuple" ], [ "", "checkTUser" ], [ "", "unless" ], [ "", "unless" ], [ "", "kRecordError" ], [ "", "pure" ], [ "", "pure" ], [ "", "pure" ], [ "", "doCheckType" ], [ "", "nm" ], [ "", "checkProp" ], [ "", "Expected" ], [ "", "kRecordError" ] ], "mbr": [ "Cryptol.TypeCheck", "Cryptol.TypeCheck.Kind", "Cryptol.TypeCheck.TypePat", "DefaultingKind.KNum", "DefaultingWildType.KNum", "KNum.KType", "KType.KProp", "Map.insertLookupWithKey", "Map.keysSet", "Map.traverseMaybeWithKey", "P.CType", "P.Forall", "P.KFun", "P.KNum", "P.Newtype", "P.ParameterType", "P.Prop", "P.PropSyn", "P.Public", "P.Schema", "P.TChar", "P.TFun", "P.TLocated", "P.TNum", "P.TParam", "P.TParens", "P.TRecord", "P.TTuple", "P.TTyApp", "P.TUser", "P.TWild", "P.TySyn", "P.Type", "P.eCons", "P.eDeriving", "P.eName", "P.eParams", "P.ecFields", "P.ecName", "P.ptDoc", "P.ptKind", "P.ptName", "P.tlDoc", "P.tlExport", "P.tlValue", "P.tpKind", "P.tpName", "Set.difference", "Set.toList", "TCon.User", "Validate.doCheckType", "application.appTy", "argument.This", "compare().tpName", "conditions.let", "constant.tcon", "constraints.checkSchema", "correctly.where", "declaration.We", "declaration.checkNewtype", "declaration.checkPropSyn", "declaration.checkTySyn", "derived.let", "doing.We", "duplicates.let", "e.g", "e.g.goals", "each.let", "either().These", "enums.enumDerivable", "expectations.checkKind", "galois.com", "here.recordErrorLoc", "hold.checkDeriving", "kNewType.kindOf", "kNewType.kindOf.tpVar", "kind.checkKind", "kinds.someKind", "known.zip", "mapM()()()().lookup", "newtypes.newtypeDerivable", "or.checkParameterType", "proposition.checkProp", "pure().TInfix", "signature.Returns", "solver.paramConstraints", "tRebuild.goal", "variable.checkTUser" ], "tgt": [ "Copyright", "Cryptol.TypeCheck.Kind", "CtPartialTypeFun", "EnumCtorField", "Expected", "Forall", "InferM", "Just", "KProp", "KindM", "Located", "Map.insertLookupWithKey", "P.eCons", "Right", "Set.difference", "Set.difference()", "TC", "TCTuple", "TCon", "TVar", "TooFewTyParams", "TooFewTyParams()", "TooManyTySynParams", "TooManyTypeParams", "_", "_n", "_nm", "appTy", "appTy()", "appTy()()", "as", "buildSolverCtxt", "checkKind", "checkNewtype", "checkProp", "checkPropSyn", "checkSchema", "checkSchema()", "checkTUser", "checkTySyn", "collectGoals", "compare", "concatMap", "cvtK", "declName", "doCheckType", "doCheckType()", "ds", "ed", "either", "enumDerivable", "enums.enumDerivable", "f", "forM", "forM()", "groupBy", "here.recordErrorLoc", "inRange", "k", "kInRange", "kInRange()", "kInstantiateT", "kNewGoals", "kNewGoals()", "kRecordError", "kRecordError()", "kRecordWarning", "listSubst", "map", "mapM", "mapM()", "mapM()()", "mapM()()()", "mapM()()()().lookup", "mdo", "newtypes.newtypeDerivable", "nominalParam", "not", "pc", "pure", "pure()", "recordError", "recordErrorLoc", "recordWarning", "t", "tRebuild", "tcon", "thing", "tp", "tpVar", "tpVar()", "unless", "unless()", "unsolvable", "v", "when", "withTParams", "x", "zipWith", "zipWith()" ], "metrics": { "ast": { "op.eq": 4.0, "op.gt": 29.0, "op.lt": 47.0, "op.bor": 20.0, "op.mul": 1.0, "op.shr": 1.0, "op.sub": 141.0, "op.xor": 20.0, "op.bnot": 1.0, "max_depth": 53.0, "bind_count": 78.0, "call_count": 189.0, "node_count": 6246.0, "member_count": 88.0, "op_density.eq": 0.0, "op_density.gt": 0.0, "op_density.lt": 0.01, "op_density.bor": 0.0, "op_density.mul": 0.0, "op_density.shr": 0.0, "op_density.sub": 0.02, "op_density.xor": 0.0, "sequence_count": 34.0, "op_density.bnot": 0.0, "identifier_count": 690.0, "member_depth_max": 3.0, "self_compare_count": 1.0, "string_literal_count": 24.0, "array_literal_max_length": 6.0 }, "file": { "size": 24263.0, "entropy": 4.43, "size_bytes": 24263.0 }, "text": { "digit_ratio": 0.01, "space_count": 7901.0, "total_lines": 651.0, "char_entropy": 4.43, "unique_chars": 86.0, "string_density": 0.04, "avg_line_length": 36.27, "max_line_length": 93.0, "empty_line_ratio": 0.12, "last_line_length": 26.0, "whitespace_ratio": 0.35, "most_common_ratio": 0.06, "identifier_density": 3.8, "line_length_stddev": 22.73, "normalized_string_count": 0.94, "repeated_char_sequences": 224.0, "most_common_char_is_null": 0.0, "max_inline_whitespace_run": 17.0, "most_common_char_codepoint": 101.0, "suspicious_identifier_ratio": 0.04, "normalized_unique_identifiers": 73.82 }, "binds": { "count": 78.0 }, "calls": { "count": 189.0 }, "binary": { "overall_entropy": 4.43, "peak_region_bytes": 6855.0, "peak_region_entropy": 4.89 }, "members": { "count": 88.0 }, "strings": { "total": 24.0, "avg_length": 13.29, "max_length": 67.0, "avg_entropy": 2.6, "total_bytes": 319.0, "entropy_stddev": 0.91 }, "consistency": { "extension_content_mismatch": 1.0, "extension_content_mismatch.script_as_unknown": 1.0 }, "identifiers": { "count": 690.0, "total": 2472.0, "avg_length": 6.73, "max_length": 27.0, "min_length": 1.0, "avg_entropy": 2.29, "reuse_ratio": 0.28, "unique_count": 690.0, "length_stddev": 4.04, "has_digit_ratio": 0.02, "sequential_names": 24.0, "single_char_count": 21.0, "single_char_ratio": 0.03, "high_entropy_count": 23.0, "high_entropy_ratio": 0.03, "all_lowercase_ratio": 0.51, "all_uppercase_ratio": 0.01, "numeric_suffix_count": 14.0, "keyboard_pattern_names": 1.0, "underscore_prefix_count": 5.0 } } }, "id": 2, "mol": "O(As)", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/TypeCheck/Kind.hs", "pid": 0, "risk": 1, "sha": "e9df2540a263620d89b159c870b9c00ae8009a545f6d0b5ede45ded18a8af337", "size": 24263, "traits": [ { "id": "objectives/anti-static/obfuscation/syntax::js-sequence-expression-obfuscation", "conf": 0.949999988079071, "crit": 3, "desc": "JS sequence access", "spans": [ [ 7083, 90 ] ] } ], "type": "javascript" }, { "ctx": [ { "b": "DO3v/3jo:Cx(+zlz!a0bwGUI{vqH0cCwhejazCXiz/P@vaA7\u003cmzE))hwN({2z!a0bwPF$xkXU7Oz/P}xB9g@ez!a0bwK4W%3rgXMB0bgraz(4qwGUG3ze:r5CP.9wvqWi4BrCBmxj#xfB7F{1ayPvmw[=pbBrC47v{%I3wGV8kaAz4mz!%Pdao", "n": [ { "c": 3, "d": "Python bitwise XOR operator", "i": "micro-behaviors/data/source/syntax/keyword::py-keyword-xor", "o": 0, "z": 17, "cf": 0.6000000238418579 } ], "ln": 0, "col": 1, "line": 1 } ], "depth": 1, "facts": { "imp": [ [ "", "modules" ], [ "", "Cryptol.ModuleSystem.Renamer.Imports" ], [ "", "ResolvedModule" ], [ "", "ModKind" ], [ "", "Data.Maybe" ], [ "", "Data.Set" ], [ "", "Set\nimport Data.Map" ], [ "", "Map\nimport Data.List" ], [ "", "Control.Monad" ], [ "", "M\n\n\nimport Cryptol.Utils.PP(pp)\nimport Cryptol.Utils.Panic(panic)\nimport Cryptol.Utils.Ident" ], [ "", "M\n\n\nimport Cryptol.Utils.PP(pp)\nimport Cryptol.Utils.Panic" ], [ "", "M\n\n\nimport Cryptol.Utils.PP" ], [ "", "ModPath" ], [ "", "Namespace" ], [ "", "OrigName" ], [ "", "Located" ], [ "", "ImportG" ], [ "", "ModuleInstanceArgs" ], [ "", "ImpName" ], [ "", "Mod" ], [ "", "TopDef" ], [ "", "ModKind" ], [ "", "Names" ], [ "", "NamingEnv" ], [ "", "algorithm" ], [ "", "algorithm" ], [ "", "ResolvedModule" ], [ "", "ResolvedModule" ], [ "", "ImpName" ], [ "", "Map" ], [ "", "where" ], [ "", "curMod" ], [ "", "Map.singleton" ], [ "", "Map.insert" ], [ "", "Map.insert" ], [ "", "toNest" ], [ "", "Mod" ], [ "", "fmap" ], [ "", "things" ], [ "", "null" ], [ "", "Map.null" ], [ "", "Map.null" ], [ "", "doneModules = Map.insert" ], [ "", "s0" ], [ "", "Map.keys" ], [ "", "let" ], [ "", "s1" ], [ "", "Map.toList" ], [ "", "Map.keysSet" ], [ "", "modImported" ], [ "", "modState" ], [ "", "Mod" ], [ "", "rmodImports" ], [ "", "Mod" ], [ "", "curMod" ], [ "", "HasCurScope" ], [ "", "changing" ], [ "", "go" ], [ "", "lookupNS" ], [ "", "Maybe" ], [ "", "Just" ], [ "", "externalMod" ], [ "", "ImportG" ], [ "", "fromMaybe" ], [ "", "updCur" ], [ "", "knownImpName" ], [ "", "s1" ], [ "", "modImports" ], [ "", "ImpName" ], [ "", "Maybe" ], [ "", "mn" ], [ "", "Nested" ], [ "", "Nested" ], [ "", "mn" ], [ "", "pushInst" ], [ "", "Just" ], [ "", "Map.insert" ], [ "", "pure" ], [ "", "runSupplyT" ], [ "", "zipByTextName" ], [ "", "Set.toList" ], [ "", "show" ], [ "", "SupplyT" ], [ "", "M.StateT" ], [ "", "Set" ], [ "", "when" ], [ "", "when" ], [ "", "M.lift" ], [ "", "M.sets_" ], [ "", "Set.insert" ], [ "", "s0" ], [ "", "modInstances" ], [ "", "Map.keysSet" ], [ "", "Map.keysSet" ], [ "", "modImported" ], [ "", "s0" ] ], "mbr": [ "Control.Monad", "Cryptol.ModuleSystem", "Cryptol.ModuleSystem.Renamer", "Cryptol.ModuleSystem.Renamer.Imports", "Data.Maybe", "Data.Set", "M.StateT", "M.StateT().Id", "M.Utils", "M.Utils.PP", "M.Utils.PP().Utils", "M.Utils.PP().Utils.Panic", "M.Utils.PP().Utils.Panic().Utils", "M.Utils.PP().Utils.Panic().Utils.Ident", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem.Binds", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem.Binds().ModuleSystem", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem.Binds().ModuleSystem.Name", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem.Binds().ModuleSystem.Name().ModuleSystem", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem.Binds().ModuleSystem.Name().ModuleSystem.Names", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem.Binds().ModuleSystem.Name().ModuleSystem.Names().ModuleSystem", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem.Binds().ModuleSystem.Name().ModuleSystem.Names().ModuleSystem.NamingEnv", "M.lift", "M.runStateT", "M.sets_", "Map.List", "Map.foldlWithKey", "Map.fromList", "Map.insert", "Map.keys", "Map.keysSet", "Map.lookup", "Map.null", "Map.singleton", "Map.toList", "Set.Map", "Set.Map().Map", "Set.empty", "Set.foldl", "Set.fromList", "Set.insert", "Set.map", "Set.toList", "Set.unions", "algorithm().For", "arguments.Thus", "caching.tryInstanceMaybe", "case.lookup", "doInstancesStep.doStep", "doModulesStep.doStep", "doneModules.insert", "e.g", "environment.Otherwise", "error.forceResolveMod", "errors.To", "field.Otherwise", "functor.However", "functor.If", "functor.ModPath", "functor.Note", "functor.This", "generated.An", "i.e", "imports.External", "imports.These", "instantiated.data", "instantiations.doInstancesStep", "later.tryImport", "modInstances.empty", "module.doModulesStep", "module.forget", "module.type", "modules().This", "modules.These", "name.doInstantiateByName", "name.tryModule", "names.Note", "on.This", "processing.doModuleStep", "referes.Even", "signature.Note", "signaure.The", "through.that", "time.In" ], "tgt": [ "Control.Monad", "Cryptol.ModuleSystem.Renamer.Imports", "Data.Maybe", "Data.Set", "HasCurScope", "ImpName", "ImportG", "Just", "Located", "M.StateT", "M.Utils.PP", "M.Utils.PP().Utils.Panic", "M.Utils.PP().Utils.Panic().Utils.Ident", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem.Binds", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem.Binds().ModuleSystem.Name", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem.Binds().ModuleSystem.Name().ModuleSystem.Names", "M.Utils.PP().Utils.Panic().Utils.Ident().Parser.Position().Parser.AST().ModuleSystem.Binds().ModuleSystem.Name().ModuleSystem.Names().ModuleSystem.NamingEnv", "M.lift", "M.sets_", "Map", "Map.List", "Map.insert", "Map.insert()", "Map.keys", "Map.keysSet", "Map.null", "Map.singleton", "Map.toList", "Maybe", "Mod", "ModKind", "ModPath", "ModuleInstanceArgs", "Names", "Namespace", "NamingEnv", "Nested", "Nested()", "OrigName", "ResolvedModule", "ResolvedModule()", "Set", "Set.Map", "Set.insert", "Set.toList", "SupplyT", "TopDef", "algorithm", "changing", "curMod", "doneModules.insert", "externalMod", "fmap", "fromMaybe", "go", "knownImpName", "let", "lookupNS", "mn", "modImported", "modImports", "modInstances", "modState", "modules", "null", "pure", "pushInst", "rmodImports", "runSupplyT", "s", "s()", "s0", "s1", "show", "things", "toNest", "updCur", "when", "when()", "where", "y", "zipByTextName" ], "metrics": { "ast": { "op.bor": 6.0, "op.div": 3.0, "op.lor": 4.0, "op.mul": 6.0, "op.sub": 293.0, "op.xor": 4.0, "op.band": 2.0, "op.land": 9.0, "max_depth": 101.0, "call_count": 117.0, "node_count": 5231.0, "member_count": 88.0, "op_density.bor": 0.0, "op_density.div": 0.0, "op_density.lor": 0.0, "op_density.mul": 0.0, "op_density.sub": 0.06, "op_density.xor": 0.0, "op_density.band": 0.0, "op_density.land": 0.0, "identifier_count": 529.0, "member_depth_max": 19.0, "self_compare_count": 4.0, "string_literal_count": 23.0, "array_literal_max_length": 12.0 }, "file": { "size": 19418.0, "entropy": 4.51, "size_bytes": 19418.0 }, "text": { "digit_ratio": 0.0, "space_count": 5262.0, "total_lines": 579.0, "char_entropy": 4.51, "unique_chars": 81.0, "string_density": 0.04, "ascii_art_lines": 3.0, "avg_line_length": 32.54, "max_line_length": 80.0, "empty_line_ratio": 0.2, "last_line_length": 28.0, "whitespace_ratio": 0.3, "most_common_ratio": 0.07, "identifier_density": 3.6, "line_length_stddev": 25.12, "encoded_string_ratio": 0.04, "normalized_string_count": 0.96, "repeated_char_sequences": 95.0, "most_common_char_is_null": 0.0, "suspicious_comment_ratio": 0.5, "max_inline_whitespace_run": 15.0, "trailing_whitespace_lines": 1.0, "most_common_char_codepoint": 101.0, "suspicious_identifier_ratio": 0.05, "normalized_unique_identifiers": 57.64 }, "calls": { "count": 117.0 }, "binary": { "overall_entropy": 4.51, "peak_region_bytes": 8192.0, "peak_region_entropy": 4.97 }, "members": { "count": 88.0 }, "strings": { "total": 23.0, "avg_length": 11.83, "max_length": 35.0, "avg_entropy": 2.52, "total_bytes": 272.0, "entropy_stddev": 1.42, "base64_candidates": 1.0 }, "comments": { "chars": 81.0, "lines": 2.0, "total": 2.0, "to_code_ratio": 0.0, "base64_in_comments": 1.0 }, "consistency": { "extension_content_mismatch": 1.0, "extension_content_mismatch.script_as_unknown": 1.0 }, "identifiers": { "count": 529.0, "total": 2083.0, "avg_length": 6.18, "max_length": 19.0, "min_length": 1.0, "avg_entropy": 2.19, "reuse_ratio": 0.25, "unique_count": 529.0, "length_stddev": 3.27, "has_digit_ratio": 0.01, "sequential_names": 24.0, "single_char_count": 23.0, "single_char_ratio": 0.04, "high_entropy_count": 4.0, "high_entropy_ratio": 0.01, "all_lowercase_ratio": 0.64, "all_uppercase_ratio": 0.02, "numeric_suffix_count": 3.0, "underscore_prefix_count": 2.0 } } }, "id": 3, "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/ModuleSystem/Renamer/Imports.hs", "pid": 0, "risk": 1, "sha": "8ba9dfd384159c261d196385bfaf9a9935f62c6627eab0c8158c8d705de3843f", "size": 19418, "traits": [ { "id": "micro-behaviors/data/source/syntax/keyword::py-keyword-xor", "conf": 0.6000000238418579, "crit": 3, "desc": "Python bitwise XOR operator", "spans": [ [ 0, 17 ] ] } ], "type": "python" }, { "ctx": [ { "b": "DO3D+oKR*KBZX]]ax8YXwH[%4vqY\u003cQrc-B]B1wCdB.(elp*[xMzb+!1wKyoxB8$]lar@E^3vsuHawuiYxlvS}wGTD+zEW^5z/f01l$HsGzE^r@v}/H}ar@E^3vsuHawuiYxlvS}wGTDUwQ4]#y?lgQB97\u0026dv}xZ7bq1rJDO3D+oKR*KBZX]]axiS9wKZ9Bx(4G{B1wClzE^r*x\u003egTYy?lgQB97\u0026dv}xZ7bq1rJDO3D+oKR*KBZX]]axiS9wLWnRA::6dA=SuFeQW$yz!a0bwGTuXD2N\u003ezy+w.fx(4\u0026yp*[D/wPzWfaA}HgA+bN+x(d*cA=-A\u003ez/fVqz!}42z/e#]c#rQfBwjr5x\u003ezDYgaV\u003cMekp52vpShJB-O@-e?5t:BZYr3dgf^aAbP=saAqKjy?WG}wN(]Jz/fVqz!}42z/e#]e\u003efn-y-\u0026", "ln": 0, "col": 1, "line": 1 }, { "b": "Bzk]fc{.V\u003ewPzV%Bzk]fc[Wb3dgcA1wP@lwAaHd^vru0)ayVDRawDo^v}V#kw]zY#y?$kme*bfSeJ$p9vJWl^aAw[NeJ$p$dgcz@zGx]dzEWl2mS\u0026PUBz(gxo\u003c@cNxDRIjwPzt?arUokvq)tLaz++7Bwi8Hx(n0lvqYN^avf%=y?Wx/Bzk]fawDo^v}W0exK#i}3lQEgB-I4ovivY", "ln": 376, "col": 23, "line": 10 }, { "b": "Accvj3tBy0Byx5%wGToPBy/GgvrujbwGTYQByO#bCw7MdwEoL5wO(ydC{2l)o\u003c@cNxDOMytYaE5uMZ{:az#98arTx!ByO#bz6g@*j%iNdByO#bzxI7+o\u003c@cNxDOMytYaE5D1z4teJ$p]asIaIzF{UywPGpyD1z473tBy0Byx5%wGTY=zEE6Ly\u0026%!wo\u003c@cNxDRIjwPzt?3uQK", "ln": 816, "col": 14, "line": 27 }, { "b": "E0^v=iYXxWvrrS2ayVDBj%iWgBrC0mvJWl^aw=G*ayMy43udbnE0^5RauZ\u0026Lvivc=aAeDiauU3naAnJj3jnvpaBCq0xK$W?aARp9BrC0mC42ifwGV55Bzk/dx\u003equdzfoVpx(E)1aAg+hBy/GgB1N!KeG^J3AV!}rvqP$1wH[%jzxHciB0q-CvruQ5A=91lB09Z@uTB{5cmf\u003cOdl]G)c)*n/diHVjaw=G*ayMy4at2=1p*[C*vix55eJ$pNvrrS2asHXIv\u003c}+7asnAZaAnI!ay5s$eJ$p[x\u003ezDYg9v$@diH3TayMYwc#*wrdgczleG/A-o\u003c@cNxDQ.aC42ifwH[%jzE:(bz!9M]C{4ixwGV28B9hqve^:1Qj$dQniV}mcBrC0mvJWl^asHXweJ$p!diHiaaw=G*ayMy53udbpj%jCWjS[0rat2=1w/%hYj%j!!vg0t[eG/A-o\u003c@cNxDQ.aC42ifwH[%jzE:(gwPS6nzxK4mwGUS1C4CLlA+frmy\u0026*1jETTEfauzLap*[C*vix24eJ$p!", "ln": 1009, "col": 3, "line": 38 }, { "b": "ayO[\u003ex(n0layMymB-qedefCoKeG=eUzddi]zF782aAIa7z/f8dvruQ5ze:OtCwhejaARpdaA?gfB.bRpB9z5iAaJM5x\u003ewGfxK@q#x(Xopazb4@y\u0026.iozddJ@xJ6a-A3dh5asHUHayMYweJ$pNvrrRuvjSKfdiJ7xeJ$pKvru0)ayUW{vru0)q*hU?", "ln": 2299, "col": 40, "line": 89 } ], "depth": 1, "facts": { "imp": [ [ "", "MonadPlus" ], [ "", "Alternative" ], [ "", "Match" ], [ "", "is" ], [ "", "Pat" ], [ "", "liftM2" ], [ "", "liftM2" ], [ "", "liftM2" ], [ "", "result" ], [ "", "Pat" ], [ "", "guard" ], [ "", "checkThat" ], [ "", "matchDefault" ], [ "", "matchDefault" ], [ "", "matchMaybe" ], [ "", "fails.matchSwap" ], [ "", "Pat" ], [ "", "matchSwap" ], [ "", "list" ], [ "", "Pat" ], [ "", "Pat" ] ], "mbr": [ "Cryptol.Utils", "Cryptol.Utils.Patterns", "fails.matchSwap", "faliure.match", "forall.r", "instance.MonadFail", "pattern.Crashes", "pattern.__", "pattern.succeed", "succeed.return", "value.lit", "valure.matchDefault" ], "tgt": [ "Alternative", "Match", "MonadPlus", "Pat", "a", "checkThat", "fails.matchSwap", "guard", "is", "liftM2", "list", "m", "matchDefault", "matchMaybe", "matchSwap", "n", "p", "result" ], "funcs": [ [ "a", 1811 ] ], "metrics": { "ast": { "op.eq": 1, "op.gt": 19, "op.lt": 9, "op.bor": 1, "op.lor": 1, "op.sub": 47, "op.bnot": 6, "op.land": 2, "max_depth": 15, "call_count": 28, "node_count": 1575, "member_count": 12, "max_array_len": 2, "op_density.eq": 0, "op_density.gt": 0.01, "op_density.lt": 0.01, "op_density.bor": 0, "op_density.lor": 0, "op_density.sub": 0.03, "sequence_count": 8, "op_density.bnot": 0, "op_density.land": 0, "member_depth_max": 3, "self_compare_count": 4 }, "file": { "size": 3842, "entropy": 4.52 }, "text": { "lines": 144, "top_char": 97, "max_ws_run": 5, "digit_ratio": 0.04, "space_count": 1140, "char_entropy": 4.52, "unique_chars": 72, "top_char_null": 0, "string_density": 0.01, "top_char_ratio": 0.08, "avg_line_length": 25.68, "max_line_length": 72, "empty_line_ratio": 0.24, "last_line_length": 48, "whitespace_ratio": 0.33, "identifier_density": 3.72, "line_length_stddev": 18.31, "normalized_string_count": 0.17, "repeated_char_sequences": 12, "trailing_whitespace_lines": 1, "suspicious_identifier_ratio": 0.13, "normalized_unique_identifiers": 18.27 }, "binds": { "count": 14 }, "binary": { "peak_region_bytes": 3072, "peak_region_entropy": 4.7 }, "strings": { "bytes": 24, "count": 2, "avg_length": 12, "max_length": 22, "avg_entropy": 2.38, "entropy_stddev": 1.38 }, "functions": { "density": 0.69, "anonymous": 1, "code_ratio": 0.01, "one_liners": 1, "no_params_count": 1, "avg_length_lines": 1, "max_length_lines": 1, "min_length_lines": 1 }, "consistency": { "extension_content_mismatch": 1, "extension_content_mismatch.script_as_unknown": 1 }, "identifiers": { "count": 535, "unique": 131, "avg_length": 5.44, "max_length": 22, "min_length": 1, "avg_entropy": 1.95, "reuse_ratio": 0.24, "length_stddev": 3.83, "has_digit_ratio": 0.05, "sequential_names": 17, "single_char_count": 13, "single_char_ratio": 0.1, "high_entropy_count": 2, "high_entropy_ratio": 0.02, "all_lowercase_ratio": 0.62, "all_uppercase_ratio": 0.02, "numeric_suffix_count": 7, "underscore_prefix_count": 3 } } }, "id": 4, "mol": "Md(Pa)", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Utils/Patterns.hs", "pid": 0, "risk": 2, "sha": "f3c58d5b9ddaf62f4a9bd5c8b58843505921e993a4973efa5eff8d0cbb61eacb", "size": 3842, "traits": [ { "id": "metadata/lang/natural::lang-english--atom-1", "conf": 0.8, "crit": 1, "desc": "English function-word token \"the\"" }, { "id": "metadata/lang/natural::lang-english--atom-2", "conf": 0.8, "crit": 1, "desc": "English function-word token \"and\"" }, { "id": "metadata/lang/natural::lang-english--atom-3", "conf": 0.8, "crit": 1, "desc": "English function-word token \"that\"" }, { "id": "metadata/lang/natural::lang-english--atom-5", "conf": 0.8, "crit": 1, "desc": "English function-word token \"for\"" }, { "id": "metadata/lang/natural::lang-english--atom-6", "conf": 0.8, "crit": 1, "desc": "English function-word token \"with\"" }, { "id": "metadata/package/files/runtime::typescript-source-tree-artifact", "conf": 0.95, "crit": 3, "desc": "Source file under src" }, { "id": "metadata/file/string/count::few-string-literals", "conf": 0.4, "crit": 3, "desc": "File has very few string literals" } ], "type": "javascript" }, { "ctx": [ { "b": "eIe8)3n0?Lo(BM+y?j.iarR^HiV]LjA^qRCz!}49D2NsZxK$W?e(=!6w{B.neG^A0AcVFrxj#xfarSY/asH.GatLS9gC7vof/ydAvqG\u003c@B1wC9zEUpaeIe8sx\u003e7Z(B7DEparR^/arT0Hl]bf4eG^+@x(n33x(mH5arSY/ay/CqAcc2mkXBIwz!TnBv@Dh\u003eeIe8zBywS)y?X0parR^/arUSzz*2\u0026ox(v($yZI:Caw=#%BywS)y?X0pauyR/AbP=svpB4:3jqbiboPU", "ln": 0, "col": 1, "line": 1 }, { "b": "ar@E^3vsuHawt6@m].\u0026BmiC0fA+PYdmS\u0026PUBz(gJavG^Yx)a5TwO#71x\u003e5Xpl$HyMC4A%SC%=yRB8@DGeQW$MeH8xik#6{Ik$su^ltQNIyE8#NB.$YcBAn#QpJ*q\u0026y\u0026r-)wN[.YA+PA7B08XVEf%?fwozZ1avyf{Acc2me(WanwKycxv@0X%zFrZdaA}HgA+bN+x(d*cA=-A\u003ez/fVqz!}3]wO2*VwPoa[mNQWbvjqK$ze:AlBrB7AlOp(uzE)\u003c5v@\u003c4*wO#71x\u003e5O03tBu@z/P}xlVND\u003eBz\u003e$Frc-B]lUH4vyC4[Kr0)s", "ln": 272, "col": 41, "line": 10 }, { "b": "3jpG:AbP=saw^8\u0026y\u0026%o1asFVCx(d*cA=-B2A+f6fwmWwXz/6D4Bp5vbeG/A-ra]?=zeTGqazkn6wPzi}aA.Now[+*%azC)tvixSlvSMT9BAIXtz/cXazE:\u003e#aAIaoaA7\u003cmv@DmaBAg/7zGG}beIe8-zxJzbB-7.jC42A9vpB4:B1N/wD2Nsqo?ehajS(dKBZ/Alel+}\u003ez/w#h3jp)2AaHd\u0026wPJ0gBrC0mjS)*Dx(){bax{l\u003cvruflrC(I.x\u003e7N[x(v(TA=M8sdp1683jp/@zC\u003e4!B.(dxiYXxYwPJ0gBrC0meJ$p9vjSK9c@st]xE)e3x\u003ez6?vruj4zBFO^z/Npjdgg9rzC\u003e4!B.(dxjS[=/zDy\u003c)By/F13s)N!viwM/x\u003ez6?vruj4zBFO^z/MgcauZ\u0026EzFr6}AaI:TB8tucv}V#:D2Nsqrc-B]3lQEsaxrq[okeoOo\u003e!V=vru0)ao", "ln": 775, "col": 33, "line": 26 }, { "b": "zE^/hr90BFax}/wvrb^[t).X%D(#Bbx?\u0026O:p\u0026ye}axhxIAV!tbAaGv-B-7[ZA=M8sauzLap*[DVat2=1rC(I.x\u003e7N[x(v(TA=M8sat2=1qE%](y\u0026*^]m]Y[szFqKWA=k$vA3eZmjS[@?x(){basH/rAccw1m].8.tpsCwwHQ[l3jmbTwP@lwAaHd*vruf9jS)NfBz8!3p*[DVmqMKLwO#P}3lQE4wPzHdx(mMac@T!$CpVl}zE)\u003c5v\u003epwAl$7gCdgcz)vrt{2p*[DVmqI", "ln": 1230, "col": 19, "line": 45 }, { "b": "3jpuYAccw1m]ZV)iV}c!rsiqOAccw1m]ZV{asH/rAccw7BZ/AlefFe5dgcz)z+S-4auzLarc-B]at2=1rc-B]at2=1qE%](y\u0026*^]m]Y[bz+S-4aAPsXBts$4az\u003e+laAzysBwMy/xDRyKaAPvC3t\u003cA#auzLap*[DVat2=1rc-B]at2=1rc-B]at2=1qE%](y\u0026*^]m]Y)6zd^#luMZ:@rDz.(ay^bGBAoeVuNW9Cr8[0JAV!\u003cEaARVWayuM8arV4Ov\u003e/8?jS[k\u0026asnATBAoeVjV%{fB21\u003cXjS[=RBAIRwaz2ze", "ln": 1743, "col": 1, "line": 69 }, { "b": "aAg+hxDRznaARpdaz++kBAnNDxK#44wO=Kh3t\u003cA#o\u003c}{+auzLap*[DVat2=1ttO:IxK8-jj%j6eD2Nt2at2=1tu2(!wNcAgj%i:mB9hqvawCva3t\u003cA#o\u003c}{+ayul#ax@a]tu@vmaAz4nB-IvxwO(ydC$*!e3t\u003cA#o\u003c}{+aAeCKA4%y)B15jWBtj[0aARVVdiH3Xg9wR2", "ln": 3243, "col": 23, "line": 124 }, { "b": "zH0vzayumkf^7M[auZ\u0026\u0026zFqKWA=k$vA3czGrC(IID2Ns*wO$jRB8tucv}V#ky?mG%Bz8!sf!1j[y?mG%Bz8!sgarLZeG!d$sumM@aARphzFHw7C{4ixx(+zoz!T9haARpdaAR)FwPF#nxM53fwftL]C4z!9wO2:4yIvV%ay/7@v@2T^ed9%XaAIDzBzblawGV5cz/](bayX[8zF{Umx(!c1ByO#}B0bWvBz8!sxK@r5wO#d5xMC^Ue^.{)vRGZ\u003cr:*1\u003eiYXxWvruf9eJ$pRr:*1\u003eeJ$pRD2NsqeJ$pPwPJ0gBrBpFrsf7xx(mDZvr9F$aB21SBwu:OB7GwmeJ$pRr:*1\u003eC{%7yaBCqRau.\u003egC{1jLarR^HarR^HarR^HarR^HarR^\u0026aAz4nB-IvxwO(ydC$*!e3jplRzE=^RAV/rzC0EDPrZH.EzE:(pEjkHCarR^HarR^HasItbz=H\u003c\u0026AV=}$axhxIAV/JWkQYPjmSJ6KaBwI=diH+@vRGZ\u003cr:*1\u003eA3frUasHh\u0026vr9Gldgcz\u003ex(mDZvr9GfaA*0#r8#t7B-7.jDWNs=Bp6ckD)0hEjV%{6x(mDSw/#grjS[DJazS8.jS)x)B.}EdarR^HarR^H", "ln": 3550, "col": 6, "line": 131 }, { "b": "jS[JOzE=KPaA!80vRGZ\u003cr:*1\u003euM:OUc@:kpA+e/8uM:PeaB4%qz/xnguNW9CBwu:OB7GwmeJ$pRr:*1\u003eC%A=SrZ}avwGUt5D21KFB7occwGUtedgdguD)0VPv@Dr$ayFbVBs}oGp\u0026ZF[wPyZ(vSMa5pI9#SD2)FlAaHNyCXXA+jS]2=auZ5OarR!EwPS6nzxHuIzEWu\u003ev@2T^q!ZbZy?lK/vSMSlC{1Imr:*1\u003e", "ln": 4225, "col": 11, "line": 149 } ], "depth": 1, "facts": { "imp": [ [ "", "Copyright" ], [ "", "writer" ], [ "", "deriving" ], [ "", "deriving" ], [ "", "isRootPath" ], [ "", "extPath" ], [ "", "Path" ], [ "", "mgu" ], [ "", "mgu" ], [ "", "mgu" ], [ "", "mgu" ], [ "", "mgu" ], [ "", "mgu" ], [ "", "mgu" ], [ "", "mgu" ], [ "", "TCon" ], [ "", "TCon" ], [ "", "extPath" ], [ "", "mgu" ], [ "", "mgu" ], [ "", "TCon" ], [ "", "TCon" ], [ "", "TCon" ], [ "", "TCon" ], [ "", "mgu" ], [ "", "mgu" ], [ "", "extPath" ], [ "", "mguMany" ], [ "", "mguMany" ], [ "", "mgu" ], [ "", "mgu" ], [ "", "extPath" ], [ "", "not" ], [ "", "mguMany" ], [ "", "mguMany" ], [ "", "mguMany" ], [ "", "mguMany" ], [ "", "mgu" ], [ "", "mguMany" ], [ "", "mguMany" ], [ "", "UniTypeLenMismatch" ], [ "", "UniTypeLenMismatch" ], [ "", "bindVar" ], [ "", "bindVar" ], [ "", "bindVar" ], [ "", "bindVar" ], [ "", "then" ], [ "", "bindVar" ], [ "", "bindVar" ], [ "", "xscope" ], [ "", "uncheckedSingleSubst" ], [ "", "Left" ], [ "", "Left" ], [ "", "braces" ], [ "", "optParens" ], [ "", "brackets" ], [ "", "optParens" ], [ "", "parens" ], [ "", "commaSep" ], [ "", "replicate" ], [ "", "justPrefix" ], [ "", "justPrefix" ], [ "", "kindArity" ], [ "", "justPrefix" ], [ "", "justPrefix" ], [ "", "length" ], [ "", "pp" ], [ "", "nameIdent" ], [ "", "optParens" ], [ "", "optParens" ], [ "", "hsep" ], [ "", "replicate" ], [ "", "ppPrec" ], [ "", "ppPrec" ], [ "", "prec" ] ], "mbr": [ "Cryptol.TypeCheck", "Cryptol.TypeCheck.Unify", "because.bindVar", "galois.com", "variables.type" ], "tgt": [ "Copyright", "Left", "Path", "TCon", "UniTypeLenMismatch", "bindVar", "braces", "brackets", "commaSep", "deriving", "extPath", "hsep", "isRootPath", "justPrefix", "k", "kindArity", "length", "mgu", "mguMany", "nameIdent", "not", "optParens", "parens", "pp", "ppPrec", "prec", "replicate", "then", "uncheckedSingleSubst", "writer", "xscope" ], "metrics": { "ast": { "op.eq": 17, "op.gt": 20, "op.lt": 18, "op.add": 11, "op.bor": 25, "op.sub": 45, "op.bnot": 1, "op.land": 2, "max_depth": 47, "call_count": 82, "node_count": 2534, "member_count": 5, "max_array_len": 2, "op_density.eq": 0.01, "op_density.gt": 0.01, "op_density.lt": 0.01, "op_density.add": 0, "op_density.bor": 0.01, "op_density.sub": 0.02, "sequence_count": 20, "op_density.bnot": 0, "op_density.land": 0, "max_concat_chain": 5, "member_depth_max": 3, "self_compare_count": 1 }, "file": { "size": 6331, "entropy": 4.95 }, "text": { "lines": 216, "top_char": 116, "max_ws_run": 22, "digit_ratio": 0.04, "space_count": 1463, "char_entropy": 4.95, "unique_chars": 82, "top_char_null": 0, "string_density": 0.06, "top_char_ratio": 0.06, "ascii_art_lines": 1, "avg_line_length": 28.31, "max_line_length": 80, "non_ascii_ratio": 0, "empty_line_ratio": 0.24, "last_line_length": 45, "whitespace_ratio": 0.27, "identifier_density": 3.67, "line_length_stddev": 22.3, "normalized_string_count": 0.95, "repeated_char_sequences": 12, "suspicious_identifier_ratio": 0.09, "normalized_unique_identifiers": 33.27 }, "binds": { "count": 48 }, "binary": { "peak_region_bytes": 5120, "peak_region_entropy": 5.11 }, "strings": { "bytes": 41, "count": 14, "avg_length": 2.93, "max_length": 20, "avg_entropy": 0.62, "entropy_stddev": 1.02 }, "consistency": { "extension_content_mismatch": 1, "extension_content_mismatch.script_as_unknown": 1 }, "identifiers": { "count": 792, "unique": 258, "avg_length": 5.72, "max_length": 20, "min_length": 1, "avg_entropy": 2.05, "reuse_ratio": 0.33, "length_stddev": 3.67, "has_digit_ratio": 0.09, "sequential_names": 23, "single_char_count": 15, "single_char_ratio": 0.06, "high_entropy_count": 7, "high_entropy_ratio": 0.03, "all_lowercase_ratio": 0.47, "all_uppercase_ratio": 0.04, "repeated_char_names": 1, "numeric_suffix_count": 23, "underscore_prefix_count": 1 } } }, "id": 5, "mol": "H(Db)Md(Pa)", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/TypeCheck/Unify.hs", "pid": 0, "risk": 2, "sha": "786f9ed414437e273cdf4c6f1da70689b9f7965e21eb02bb422e2fccc4e491a2", "size": 6331, "traits": [ { "id": "metadata/lang/natural::lang-english--atom-1", "conf": 0.8, "crit": 1, "desc": "English function-word token \"the\"" }, { "id": "metadata/lang/natural::lang-english--atom-2", "conf": 0.8, "crit": 1, "desc": "English function-word token \"and\"" }, { "id": "metadata/lang/natural::lang-english--atom-4", "conf": 0.8, "crit": 1, "desc": "English function-word token \"have\"" }, { "id": "metadata/lang/natural::lang-english--atom-6", "conf": 0.8, "crit": 1, "desc": "English function-word token \"with\"" }, { "id": "metadata/lang/natural::lang-english--atom-7", "conf": 0.8, "crit": 1, "desc": "English function-word token \"this\"" }, { "id": "metadata/package/files/runtime::typescript-source-tree-artifact", "conf": 0.95, "crit": 3, "desc": "Source file under src" }, { "id": "micro-behaviors/data/serialize/envelope::result-assignment-key", "conf": 0.4, "crit": 1, "desc": "Result field or assignment key" }, { "id": "micro-behaviors/data/source/property/read::result-dot-member-read", "conf": 0.9, "crit": 3, "desc": "Reads result through dot or arrow access" } ], "type": "javascript" }, { "id": 6, "sha": "af56dfdc98cb1d13bcdfd842308c00ea8e69083a491b19e9cf92e6eecc732ae2", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/TypeCheck/Solver/Selector.hs", "risk": 1, "size": 7091, "type": "javascript", "depth": 1 }, { "id": 7, "sha": "40d03aec7f7b0b582af7b6a8722be808bc525f5019f92a61f979a28d1b051877", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/TypeCheck/Solver/SMT.hs", "risk": 1, "size": 13823, "type": "javascript", "depth": 1 }, { "id": 8, "sha": "b4e7615ab09915fb6100a13cdf73e25968e2cc942e4c596d902ced9b79cb4b16", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs", "size": 14428, "type": "kotlin", "depth": 1 }, { "id": 9, "sha": "e4a6135e2922acab2e9f6ae3f53e2a02d6c73d3ca57b1111f8f508eeaf6a26d8", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs", "size": 2826, "type": "kotlin", "depth": 1 }, { "id": 10, "sha": "44e5d6724f736ce8c65bdf3cdbda5ab4c8389a44a89be1006111a66d48dd4936", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/TypeCheck/Solver/Improve.hs", "risk": 1, "size": 7858, "type": "javascript", "depth": 1 }, { "id": 11, "sha": "385ff1ab72a7a99a10a0c2efd75dac2e5c983a16590d4626a43d23b9a885debe", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/TypeCheck/Solve.hs", "risk": 1, "size": 14023, "type": "javascript", "depth": 1 }, { "id": 12, "sha": "7ba26c78e154a1f195a0cf1a8b04da4a49b13cb83ac64e16b306429a54dff3ff", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/TypeCheck/Module.hs", "risk": 1, "size": 17690, "type": "javascript", "depth": 1 }, { "id": 13, "sha": "d1d663acb2757c916f3783ef2d6e6cb2e2af0a621bed4009d9f9c66c301be10a", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/TypeCheck/Default.hs", "risk": 1, "size": 9110, "type": "javascript", "depth": 1 }, { "id": 14, "sha": "6066e24811587c4afd77582889bc187302cb679113e58402f32345c9927e0326", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Transform/Specialize.hs", "risk": 1, "size": 14303, "type": "javascript", "depth": 1 }, { "id": 15, "sha": "0c37b2d346b7ee898d0fb216beb5d38d792cf67609a76725ce79236ab34b0b05", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Symbolic/What4.hs", "risk": 1, "size": 30293, "type": "kotlin", "depth": 1 }, { "id": 16, "sha": "35f37a0a7a605419d426b06013b5278de8d7698c010f09ee88e5cd1d2e4d3f6f", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Symbolic/SBV.hs", "risk": 1, "size": 25914, "type": "kotlin", "depth": 1 }, { "id": 17, "sha": "1a827cdba806c1b6c6de2252eaa2c86bb3602794ed6bbb8741ca002aa45f06f9", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Symbolic.hs", "size": 17582, "type": "kotlin", "depth": 1 }, { "id": 18, "sha": "4fcc4e1c1e4f53220fb30e7efa0855144b8b8a4f39b8f81db6ad3c0ef4216801", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/REPL/Help.hs", "risk": 1, "size": 13614, "type": "javascript", "depth": 1 }, { "id": 19, "sha": "36316ac5584f657347f6a4bc85c9dc9c468c79b012c286768a78fb6e4068be66", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Project.hs", "risk": 1, "size": 9016, "type": "javascript", "depth": 1 }, { "id": 20, "sha": "f12a6fb5ab27752afffa91853d2523d716b057ff844bff35adccf54022438bcc", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Parser/Unlit.hs", "risk": 1, "size": 5562, "type": "javascript", "depth": 1 }, { "id": 21, "sha": "6c41745301fd289fe5459bd85b344089d9cf242c0b56f9c86b7364b6b88102b2", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Parser/NoPat.hs", "risk": 1, "size": 26039, "type": "javascript", "depth": 1 }, { "id": 22, "sha": "5548977613e24bcafcbcfae7dc96979693892224aeedd4a1b70f119e08f22296", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Parser/Names.hs", "risk": 1, "size": 12397, "type": "javascript", "depth": 1 }, { "id": 23, "sha": "a2c784a2fe40ce5667cb78ca2329b11005fe40f79ed025bedbbe49c0a6bcee7f", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Parser/ExpandPropGuards.hs", "risk": 1, "size": 10030, "type": "python", "depth": 1 }, { "id": 24, "sha": "cfbd56de89ace86fcec4ff329f497d2ff30bae79dd99c55999dda3afa0622dce", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Parser/AST/Builder.hs", "risk": 1, "size": 2355, "type": "javascript", "depth": 1 }, { "id": 25, "sha": "3b95d81c49c4a2be420041b27b87157876752802c8507a15d4a50b43e2ceb11b", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/ModuleSystem/Renamer/ImplicitImports.hs", "risk": 1, "size": 3764, "type": "javascript", "depth": 1 }, { "id": 26, "sha": "1848300a74aee7450989bb902583b96e45e9d714cc511c891b4dca6e4acbd655", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/ModuleSystem/NamingEnv.hs", "risk": 1, "size": 12859, "type": "javascript", "depth": 1 }, { "id": 27, "sha": "4155faa5b94c8dce79303dabd6e112198d8c8408a3340b6fd067dd91a5cef46b", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/ModuleSystem/Exports.hs", "risk": 1, "size": 3323, "type": "shell", "depth": 1 }, { "id": 28, "sha": "a002878218f8b7cf3367b87f56f6d9e65289d087424b2f71d8d7a4517bda3245", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/IR/TraverseNames.hs", "risk": 1, "size": 11075, "type": "javascript", "depth": 1 }, { "id": 29, "sha": "f1acb615aa21c8d7bc920a1a05ceb326f21413c56c9001862d5c491522b39eaa", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/IR/FreeVars.hs", "risk": 1, "size": 6910, "type": "javascript", "depth": 1 }, { "id": 30, "sha": "d4e49cd4c062a88604e3ffeeec1ccb2f81202b30caa835f431d2646d9c208b00", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/IR/Builder.hs", "risk": 1, "size": 3796, "type": "javascript", "depth": 1 }, { "id": 31, "sha": "fcf63af9c98381c85ea704c8565847b82f76ef403e9de154ffd83c63db164d47", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Eval/Value.hs", "risk": 1, "size": 23622, "type": "kotlin", "depth": 1 }, { "id": 32, "sha": "7ba32d9caa1cac0afdfb8b242aef6e5e0c9e06fc1966b35487e92ec958a8f098", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Eval/SBV.hs", "size": 6424, "type": "kotlin", "depth": 1 }, { "id": 33, "sha": "3c1ff2a6bba7f3fd95a9a3c4c2e4ba0007d02f93baa073dff7a5dfee289f5de9", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Eval/Prims.hs", "size": 1581, "type": "kotlin", "depth": 1 }, { "id": 34, "sha": "f3255cafb2332b460f0c5b0b8b2474325070254473950971d73def21c909587b", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Eval/Generic.hs", "risk": 1, "size": 78442, "type": "kotlin", "depth": 1 }, { "id": 35, "sha": "bd298f494b0e2d52997f53191c91d745fd6d2472f5ea87145f68b003f9eef65a", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Eval/FFI/ForeignSrc.hs", "risk": 1, "size": 8783, "type": "python", "depth": 1 }, { "id": 36, "sha": "c57824bddb9651208fb665d91ac23c8545ea265807c2327f233c6cd2cdefe01b", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Eval/FFI/C.hs", "risk": 1, "size": 15240, "type": "kotlin", "depth": 1 }, { "id": 37, "sha": "4908e22c0a4cdc69b431f745b814fe03f6b65887d06c5d2bb2f9fe20360660cb", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Eval/FFI/Abstract/Export.hs", "size": 8093, "type": "kotlin", "depth": 1 }, { "id": 38, "sha": "8945438d181750e003bf1b6cf958bcaba2f22c2e0fb01c8231623f32fe341752", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Eval/FFI/Abstract/Call.hsc", "risk": 1, "size": 3730, "type": "shell", "depth": 1 }, { "id": 39, "sha": "4aae7c553f68ff69cfd0bbed1633f45072ea2a5d05174fc9f6f9d61529c2580d", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Eval/FFI.hs", "size": 3265, "type": "kotlin", "depth": 1 }, { "id": 40, "sha": "b4be1623722433b8720811dca7e58ee935ecee3f985409f31957e56b584ccbf8", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Eval/Env.hs", "size": 2969, "type": "kotlin", "depth": 1 }, { "id": 41, "sha": "9702ee32dab35b7c818a66fbdc667928c14ed434e32163760599cd021b23b78c", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Eval.hs", "risk": 1, "size": 27685, "type": "kotlin", "depth": 1 }, { "id": 42, "sha": "0fd97991ed24b933bb1ff1cefbae8057b29b40634c0438b1055ca32ab4c094d7", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Backend/WordValue.hs", "risk": 1, "size": 26413, "type": "kotlin", "depth": 1 }, { "id": 43, "sha": "6cb8c7bdcc7ec2525b5ae368ee5750e240b4aa937319172dfa6b0f79d76af6af", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Backend/What4.hs", "risk": 1, "size": 23083, "type": "kotlin", "depth": 1 }, { "id": 44, "sha": "965e65f885039e6726f556f2c5ed2398d42d230e80205e9556dcf692038f9bd4", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Backend/SeqMap.hs", "risk": 1, "size": 10196, "type": "kotlin", "depth": 1 }, { "id": 45, "sha": "c7325d2401e98355404f505eed600ab46076cf3cee0720da16af763b387ebb8b", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Backend/SBV.hs", "risk": 1, "size": 16383, "type": "kotlin", "depth": 1 }, { "id": 46, "sha": "b44a29c72c44c8d9ec666d0b64194f277e6bf5304915448873de188131114e71", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/src/Cryptol/Backend.hs", "risk": 1, "size": 25767, "type": "kotlin", "depth": 1 }, { "id": 47, "sha": "7fed7edb98cab313f69c80ece2475f5f81b9583bb32fffafdc86badfd37ac795", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/lib/cry_ffi.h", "risk": 1, "size": 4934, "type": "c", "depth": 1 }, { "id": 48, "sha": "a629fdadbd1fd7b5ea1074f18bf76172ffa6635048f3dea6c98badc71f932860", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/lib/Array.cry", "size": 2117, "type": "kotlin", "depth": 1 }, { "id": 49, "sha": "b99823cdb26d5460af77a6d210094137e4aa242043a194787969f81c255eeb84", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/cryptol/CheckExercises.hs", "risk": 1, "size": 15193, "type": "javascript", "depth": 1 }, { "id": 50, "sha": "637c24a71993966326901dbec274af0f34e71e01c3d9049fcb4aa69a5dfe817d", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/cryptol.buildinfo.json", "risk": 1, "size": 54, "type": "json", "depth": 1 }, { "id": 51, "sha": "21910d41b289ae18eb073de08fe5b5902f2ced64b9e8dba7d379da7c8bc8702b", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/api-tests/Main.hs", "risk": 1, "size": 4596, "type": "javascript", "depth": 1 }, { "id": 52, "sha": "8e1eb736a94c75eaa47b99ddd1cce0137adb52d500afcec6f5f51ae69cc621e7", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/LICENSE", "risk": 1, "size": 1504, "type": "text", "depth": 1 }, { "id": 53, "sha": "695347eb7a7fec4c2a9477c764745a417b0a5137b8670a21bbbe53db42df9d28", "path": "/data/samples/unknown/foraged/macos/brew.sh/_/cryptol/cryptol-3.5.0.tar.gz!!cryptol-3.5.0/CHANGES.md", "risk": 1, "size": 35546, "type": "markdown", "depth": 1 }, { "id": 54, "sha": "7f5b5df3327a72d1fccef7473508caabaac14a6bab53162fdc90cef96ee64804", "path": "cryptol@3.5.0.registry.json", "size": 857, "type": "registry", "depth": 1 } ], "omitted_files": 49, "rev": "3926a", "v": "8" } }