Skip to content

Commit 1624632

Browse files
hyperpolymathhypatia-estate-rescan
hyperpolymath
and
hypatia-estate-rescan
authored
scan: estate rescan (run 30517233195) (#66)
Automated estate rescan from hyperpolymath/hypatia run 30517233195. Squash-merged: it is the only merge method that satisfies required_signatures + required_linear_history on this repo. Co-authored-by: hypatia-estate-rescan <hypatia-bot@users.noreply.github.com>
1 parent 41bea9e commit 1624632

248 files changed

Lines changed: 18717 additions & 18770 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎scans/0patch-lsa-sentinel.json‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -92,9 +92,9 @@
9292
}
9393
],
9494
"recommended_attacks": [
95-
"concurrency",
9695
"memory",
97-
"cpu"
96+
"cpu",
97+
"concurrency"
9898
],
9999
"dependency_graph": {
100100
"edges": [
@@ -124,6 +124,16 @@
124124
"frameworks": [],
125125
"relation": "UnsafeCode->Memory"
126126
},
127+
{
128+
"source_category": "UnboundedAllocation",
129+
"sink_axis": "cpu",
130+
"severity_value": 2.5,
131+
"files": [
132+
"host-rust/src/collectors/opatch.rs"
133+
],
134+
"frameworks": [],
135+
"relation": "UnboundedAllocation->Cpu"
136+
},
127137
{
128138
"source_category": "UnsafeCode",
129139
"sink_axis": "concurrency",
@@ -143,16 +153,6 @@
143153
],
144154
"frameworks": [],
145155
"relation": "UnboundedAllocation->Memory"
146-
},
147-
{
148-
"source_category": "UnboundedAllocation",
149-
"sink_axis": "cpu",
150-
"severity_value": 2.5,
151-
"files": [
152-
"host-rust/src/collectors/opatch.rs"
153-
],
154-
"frameworks": [],
155-
"relation": "UnboundedAllocation->Cpu"
156156
}
157157
]
158158
}

‎scans/AcceleratorGate.jl.json‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -81,14 +81,24 @@
8181
}
8282
],
8383
"recommended_attacks": [
84-
"cpu",
85-
"memory"
84+
"memory",
85+
"cpu"
8686
],
8787
"dependency_graph": {
8888
"edges": []
8989
},
9090
"taint_matrix": {
9191
"rows": [
92+
{
93+
"source_category": "DynamicCodeExecution",
94+
"sink_axis": "cpu",
95+
"severity_value": 3.5,
96+
"files": [
97+
"src/AcceleratorGate.jl"
98+
],
99+
"frameworks": [],
100+
"relation": "DynamicCodeExecution->Cpu"
101+
},
92102
{
93103
"source_category": "DynamicCodeExecution",
94104
"sink_axis": "memory",
@@ -110,16 +120,6 @@
110120
],
111121
"frameworks": [],
112122
"relation": "ProofDrift->Cpu"
113-
},
114-
{
115-
"source_category": "DynamicCodeExecution",
116-
"sink_axis": "cpu",
117-
"severity_value": 3.5,
118-
"files": [
119-
"src/AcceleratorGate.jl"
120-
],
121-
"frameworks": [],
122-
"relation": "DynamicCodeExecution->Cpu"
123123
}
124124
]
125125
}

‎scans/Axiom.jl.json‎

Lines changed: 74 additions & 74 deletions
Original file line numberDiff line numberDiff line change
@@ -914,13 +914,25 @@
914914
}
915915
],
916916
"recommended_attacks": [
917-
"memory",
918-
"disk",
917+
"concurrency",
919918
"cpu",
920-
"concurrency"
919+
"disk",
920+
"memory"
921921
],
922922
"dependency_graph": {
923923
"edges": [
924+
{
925+
"from": "src/verification/signing.jl",
926+
"to": "src/verification/certificates.jl",
927+
"relation": "shared_dir:src/verification",
928+
"weight": 1.0
929+
},
930+
{
931+
"from": "src/verification/certificates.jl",
932+
"to": "src/verification/serialization.jl",
933+
"relation": "shared_dir:src/verification",
934+
"weight": 1.0
935+
},
924936
{
925937
"from": "scripts/optimization-evidence.jl",
926938
"to": "scripts/gpu-performance-evidence.jl",
@@ -981,6 +993,24 @@
981993
"relation": "shared_dir:scripts",
982994
"weight": 1.0
983995
},
996+
{
997+
"from": "src/model_metadata.jl",
998+
"to": "src/proof_export.jl",
999+
"relation": "shared_dir:src",
1000+
"weight": 1.0
1001+
},
1002+
{
1003+
"from": "src/proof_export.jl",
1004+
"to": "src/model_packaging.jl",
1005+
"relation": "shared_dir:src",
1006+
"weight": 1.0
1007+
},
1008+
{
1009+
"from": "zig/src/bench.zig",
1010+
"to": "zig/src/threading.zig",
1011+
"relation": "shared_dir:zig/src",
1012+
"weight": 1.0
1013+
},
9841014
{
9851015
"from": "src/layers/abstract.jl",
9861016
"to": "src/layers/conv.jl",
@@ -1000,57 +1030,45 @@
10001030
"weight": 1.0
10011031
},
10021032
{
1003-
"from": "src/backends/abstract.jl",
1004-
"to": "src/backends/zig_ffi.jl",
1005-
"relation": "shared_dir:src/backends",
1006-
"weight": 1.0
1007-
},
1008-
{
1009-
"from": "src/backends/zig_ffi.jl",
1010-
"to": "src/backends/julia_backend.jl",
1011-
"relation": "shared_dir:src/backends",
1012-
"weight": 1.0
1013-
},
1014-
{
1015-
"from": "src/model_metadata.jl",
1016-
"to": "src/proof_export.jl",
1017-
"relation": "shared_dir:src",
1033+
"from": "ext/AxiomCUDAExt.jl",
1034+
"to": "ext/AxiomAMDGPUExt.jl",
1035+
"relation": "shared_dir:ext",
10181036
"weight": 1.0
10191037
},
10201038
{
1021-
"from": "src/proof_export.jl",
1022-
"to": "src/model_packaging.jl",
1023-
"relation": "shared_dir:src",
1039+
"from": "ext/AxiomAMDGPUExt.jl",
1040+
"to": "ext/AxiomMetalExt.jl",
1041+
"relation": "shared_dir:ext",
10241042
"weight": 1.0
10251043
},
10261044
{
1027-
"from": "test/verification/proof_export_tests.jl",
1028-
"to": "test/verification/soundness_tests.jl",
1029-
"relation": "shared_dir:test/verification",
1045+
"from": "src/integrations/huggingface.jl",
1046+
"to": "src/integrations/interop.jl",
1047+
"relation": "shared_dir:src/integrations",
10301048
"weight": 1.0
10311049
},
10321050
{
1033-
"from": "zig/src/bench.zig",
1034-
"to": "zig/src/threading.zig",
1035-
"relation": "shared_dir:zig/src",
1051+
"from": "src/backends/abstract.jl",
1052+
"to": "src/backends/zig_ffi.jl",
1053+
"relation": "shared_dir:src/backends",
10361054
"weight": 1.0
10371055
},
10381056
{
1039-
"from": "ext/AxiomCUDAExt.jl",
1040-
"to": "ext/AxiomAMDGPUExt.jl",
1041-
"relation": "shared_dir:ext",
1057+
"from": "src/backends/zig_ffi.jl",
1058+
"to": "src/backends/julia_backend.jl",
1059+
"relation": "shared_dir:src/backends",
10421060
"weight": 1.0
10431061
},
10441062
{
1045-
"from": "ext/AxiomAMDGPUExt.jl",
1046-
"to": "ext/AxiomMetalExt.jl",
1047-
"relation": "shared_dir:ext",
1063+
"from": "packages/SMTLib.jl/src/abi/Types.idr",
1064+
"to": "packages/SMTLib.jl/src/abi/Foreign.idr",
1065+
"relation": "shared_dir:packages/SMTLib.jl/src/abi",
10481066
"weight": 1.0
10491067
},
10501068
{
1051-
"from": "src/integrations/huggingface.jl",
1052-
"to": "src/integrations/interop.jl",
1053-
"relation": "shared_dir:src/integrations",
1069+
"from": "test/verification/proof_export_tests.jl",
1070+
"to": "test/verification/soundness_tests.jl",
1071+
"relation": "shared_dir:test/verification",
10541072
"weight": 1.0
10551073
},
10561074
{
@@ -1113,12 +1131,6 @@
11131131
"relation": "shared_dir:test/ci",
11141132
"weight": 1.0
11151133
},
1116-
{
1117-
"from": "packages/SMTLib.jl/src/abi/Types.idr",
1118-
"to": "packages/SMTLib.jl/src/abi/Foreign.idr",
1119-
"relation": "shared_dir:packages/SMTLib.jl/src/abi",
1120-
"weight": 1.0
1121-
},
11221134
{
11231135
"from": "templates/AxiomNPUExtSkeleton.jl",
11241136
"to": "templates/AxiomTPUExtSkeleton.jl",
@@ -1166,33 +1178,11 @@
11661178
"to": "templates/AxiomDSPExtSkeleton.jl",
11671179
"relation": "shared_dir:templates",
11681180
"weight": 1.0
1169-
},
1170-
{
1171-
"from": "src/verification/signing.jl",
1172-
"to": "src/verification/certificates.jl",
1173-
"relation": "shared_dir:src/verification",
1174-
"weight": 1.0
1175-
},
1176-
{
1177-
"from": "src/verification/certificates.jl",
1178-
"to": "src/verification/serialization.jl",
1179-
"relation": "shared_dir:src/verification",
1180-
"weight": 1.0
11811181
}
11821182
]
11831183
},
11841184
"taint_matrix": {
11851185
"rows": [
1186-
{
1187-
"source_category": "MutationGap",
1188-
"sink_axis": "cpu",
1189-
"severity_value": 2.5,
1190-
"files": [
1191-
"test/ci/backend_parity.jl"
1192-
],
1193-
"frameworks": [],
1194-
"relation": "MutationGap->Cpu"
1195-
},
11961186
{
11971187
"source_category": "UnsafeCode",
11981188
"sink_axis": "memory",
@@ -1203,16 +1193,6 @@
12031193
"frameworks": [],
12041194
"relation": "UnsafeCode->Memory"
12051195
},
1206-
{
1207-
"source_category": "UnsafeCode",
1208-
"sink_axis": "concurrency",
1209-
"severity_value": 3.5,
1210-
"files": [
1211-
"crypto/src/lib.rs"
1212-
],
1213-
"frameworks": [],
1214-
"relation": "UnsafeCode->Concurrency"
1215-
},
12161196
{
12171197
"source_category": "ProofDrift",
12181198
"sink_axis": "cpu",
@@ -1257,6 +1237,26 @@
12571237
],
12581238
"frameworks": [],
12591239
"relation": "InputBoundary->Cpu"
1240+
},
1241+
{
1242+
"source_category": "MutationGap",
1243+
"sink_axis": "cpu",
1244+
"severity_value": 2.5,
1245+
"files": [
1246+
"test/ci/backend_parity.jl"
1247+
],
1248+
"frameworks": [],
1249+
"relation": "MutationGap->Cpu"
1250+
},
1251+
{
1252+
"source_category": "UnsafeCode",
1253+
"sink_axis": "concurrency",
1254+
"severity_value": 3.5,
1255+
"files": [
1256+
"crypto/src/lib.rs"
1257+
],
1258+
"frameworks": [],
1259+
"relation": "UnsafeCode->Concurrency"
12601260
}
12611261
]
12621262
}

‎scans/BowtieRisk.jl.json‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -129,43 +129,43 @@
129129
"rows": [
130130
{
131131
"source_category": "DynamicCodeExecution",
132-
"sink_axis": "cpu",
132+
"sink_axis": "memory",
133133
"severity_value": 3.5,
134134
"files": [
135135
"src/backends/abstract.jl"
136136
],
137137
"frameworks": [],
138-
"relation": "DynamicCodeExecution->Cpu"
138+
"relation": "DynamicCodeExecution->Memory"
139139
},
140140
{
141-
"source_category": "ProofDrift",
141+
"source_category": "InputBoundary",
142142
"sink_axis": "cpu",
143143
"severity_value": 2.5,
144144
"files": [
145-
"test/runtests.jl"
145+
"src/BowtieRisk.jl"
146146
],
147147
"frameworks": [],
148-
"relation": "ProofDrift->Cpu"
148+
"relation": "InputBoundary->Cpu"
149149
},
150150
{
151151
"source_category": "DynamicCodeExecution",
152-
"sink_axis": "memory",
152+
"sink_axis": "cpu",
153153
"severity_value": 3.5,
154154
"files": [
155155
"src/backends/abstract.jl"
156156
],
157157
"frameworks": [],
158-
"relation": "DynamicCodeExecution->Memory"
158+
"relation": "DynamicCodeExecution->Cpu"
159159
},
160160
{
161-
"source_category": "InputBoundary",
161+
"source_category": "ProofDrift",
162162
"sink_axis": "cpu",
163163
"severity_value": 2.5,
164164
"files": [
165-
"src/BowtieRisk.jl"
165+
"test/runtests.jl"
166166
],
167167
"frameworks": [],
168-
"relation": "InputBoundary->Cpu"
168+
"relation": "ProofDrift->Cpu"
169169
}
170170
]
171171
}

‎scans/Causals.jl.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -71,8 +71,8 @@
7171
}
7272
],
7373
"recommended_attacks": [
74-
"cpu",
75-
"memory"
74+
"memory",
75+
"cpu"
7676
],
7777
"dependency_graph": {
7878
"edges": []

0 commit comments

Comments
 (0)