Skip to content

Commit df20898

Browse files
author
hypatia-estate-rescan
committed
scan: estate rescan (333 repos, panic-attack refresh)
1 parent 5fa7361 commit df20898

252 files changed

Lines changed: 27069 additions & 26503 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/AcceleratorGate.jl.json‎

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -81,14 +81,26 @@
8181
}
8282
],
8383
"recommended_attacks": [
84-
"memory",
85-
"cpu"
84+
"cpu",
85+
"memory"
8686
],
8787
"dependency_graph": {
8888
"edges": []
8989
},
9090
"taint_matrix": {
9191
"rows": [
92+
{
93+
"source_category": "ProofDrift",
94+
"sink_axis": "cpu",
95+
"severity_value": 2.5,
96+
"files": [
97+
"test/runtests.jl",
98+
"test/property_test.jl",
99+
"test/e2e_test.jl"
100+
],
101+
"frameworks": [],
102+
"relation": "ProofDrift->Cpu"
103+
},
92104
{
93105
"source_category": "DynamicCodeExecution",
94106
"sink_axis": "cpu",
@@ -108,18 +120,6 @@
108120
],
109121
"frameworks": [],
110122
"relation": "DynamicCodeExecution->Memory"
111-
},
112-
{
113-
"source_category": "ProofDrift",
114-
"sink_axis": "cpu",
115-
"severity_value": 2.5,
116-
"files": [
117-
"test/runtests.jl",
118-
"test/property_test.jl",
119-
"test/e2e_test.jl"
120-
],
121-
"frameworks": [],
122-
"relation": "ProofDrift->Cpu"
123123
}
124124
]
125125
}

‎scans/Axiom.jl.json‎

Lines changed: 95 additions & 95 deletions
Original file line numberDiff line numberDiff line change
@@ -842,31 +842,13 @@
842842
}
843843
],
844844
"recommended_attacks": [
845-
"concurrency",
846-
"memory",
847845
"cpu",
848-
"disk"
846+
"concurrency",
847+
"disk",
848+
"memory"
849849
],
850850
"dependency_graph": {
851851
"edges": [
852-
{
853-
"from": "ext/AxiomMetalExt.jl",
854-
"to": "ext/AxiomAMDGPUExt.jl",
855-
"relation": "shared_dir:ext",
856-
"weight": 1.0
857-
},
858-
{
859-
"from": "ext/AxiomAMDGPUExt.jl",
860-
"to": "ext/AxiomCUDAExt.jl",
861-
"relation": "shared_dir:ext",
862-
"weight": 1.0
863-
},
864-
{
865-
"from": "src/integrations/huggingface.jl",
866-
"to": "src/integrations/interop.jl",
867-
"relation": "shared_dir:src/integrations",
868-
"weight": 1.0
869-
},
870852
{
871853
"from": "test/ci/proof_bundle_reconciliation.jl",
872854
"to": "test/ci/gpu_resilience.jl",
@@ -927,66 +909,6 @@
927909
"relation": "shared_dir:test/ci",
928910
"weight": 1.0
929911
},
930-
{
931-
"from": "zig/src/threading.zig",
932-
"to": "zig/src/bench.zig",
933-
"relation": "shared_dir:zig/src",
934-
"weight": 1.0
935-
},
936-
{
937-
"from": "templates/AxiomQPUExtSkeleton.jl",
938-
"to": "templates/AxiomTPUExtSkeleton.jl",
939-
"relation": "shared_dir:templates",
940-
"weight": 1.0
941-
},
942-
{
943-
"from": "templates/AxiomTPUExtSkeleton.jl",
944-
"to": "templates/AxiomFPGAExtSkeleton.jl",
945-
"relation": "shared_dir:templates",
946-
"weight": 1.0
947-
},
948-
{
949-
"from": "templates/AxiomFPGAExtSkeleton.jl",
950-
"to": "templates/AxiomPPUExtSkeleton.jl",
951-
"relation": "shared_dir:templates",
952-
"weight": 1.0
953-
},
954-
{
955-
"from": "templates/AxiomPPUExtSkeleton.jl",
956-
"to": "templates/AxiomVPUExtSkeleton.jl",
957-
"relation": "shared_dir:templates",
958-
"weight": 1.0
959-
},
960-
{
961-
"from": "templates/AxiomVPUExtSkeleton.jl",
962-
"to": "templates/AxiomCryptoExtSkeleton.jl",
963-
"relation": "shared_dir:templates",
964-
"weight": 1.0
965-
},
966-
{
967-
"from": "templates/AxiomCryptoExtSkeleton.jl",
968-
"to": "templates/AxiomNPUExtSkeleton.jl",
969-
"relation": "shared_dir:templates",
970-
"weight": 1.0
971-
},
972-
{
973-
"from": "templates/AxiomNPUExtSkeleton.jl",
974-
"to": "templates/AxiomMathExtSkeleton.jl",
975-
"relation": "shared_dir:templates",
976-
"weight": 1.0
977-
},
978-
{
979-
"from": "templates/AxiomMathExtSkeleton.jl",
980-
"to": "templates/AxiomDSPExtSkeleton.jl",
981-
"relation": "shared_dir:templates",
982-
"weight": 1.0
983-
},
984-
{
985-
"from": "src/verification/serialization.jl",
986-
"to": "src/verification/certificates.jl",
987-
"relation": "shared_dir:src/verification",
988-
"weight": 1.0
989-
},
990912
{
991913
"from": "scripts/coprocessor-evidence.jl",
992914
"to": "scripts/model-package-evidence.jl",
@@ -1047,12 +969,84 @@
1047969
"relation": "shared_dir:scripts",
1048970
"weight": 1.0
1049971
},
972+
{
973+
"from": "src/integrations/huggingface.jl",
974+
"to": "src/integrations/interop.jl",
975+
"relation": "shared_dir:src/integrations",
976+
"weight": 1.0
977+
},
978+
{
979+
"from": "zig/src/threading.zig",
980+
"to": "zig/src/bench.zig",
981+
"relation": "shared_dir:zig/src",
982+
"weight": 1.0
983+
},
984+
{
985+
"from": "ext/AxiomMetalExt.jl",
986+
"to": "ext/AxiomAMDGPUExt.jl",
987+
"relation": "shared_dir:ext",
988+
"weight": 1.0
989+
},
990+
{
991+
"from": "ext/AxiomAMDGPUExt.jl",
992+
"to": "ext/AxiomCUDAExt.jl",
993+
"relation": "shared_dir:ext",
994+
"weight": 1.0
995+
},
1050996
{
1051997
"from": "packages/SMTLib.jl/src/abi/Foreign.idr",
1052998
"to": "packages/SMTLib.jl/src/abi/Types.idr",
1053999
"relation": "shared_dir:packages/SMTLib.jl/src/abi",
10541000
"weight": 1.0
10551001
},
1002+
{
1003+
"from": "templates/AxiomQPUExtSkeleton.jl",
1004+
"to": "templates/AxiomTPUExtSkeleton.jl",
1005+
"relation": "shared_dir:templates",
1006+
"weight": 1.0
1007+
},
1008+
{
1009+
"from": "templates/AxiomTPUExtSkeleton.jl",
1010+
"to": "templates/AxiomFPGAExtSkeleton.jl",
1011+
"relation": "shared_dir:templates",
1012+
"weight": 1.0
1013+
},
1014+
{
1015+
"from": "templates/AxiomFPGAExtSkeleton.jl",
1016+
"to": "templates/AxiomPPUExtSkeleton.jl",
1017+
"relation": "shared_dir:templates",
1018+
"weight": 1.0
1019+
},
1020+
{
1021+
"from": "templates/AxiomPPUExtSkeleton.jl",
1022+
"to": "templates/AxiomVPUExtSkeleton.jl",
1023+
"relation": "shared_dir:templates",
1024+
"weight": 1.0
1025+
},
1026+
{
1027+
"from": "templates/AxiomVPUExtSkeleton.jl",
1028+
"to": "templates/AxiomCryptoExtSkeleton.jl",
1029+
"relation": "shared_dir:templates",
1030+
"weight": 1.0
1031+
},
1032+
{
1033+
"from": "templates/AxiomCryptoExtSkeleton.jl",
1034+
"to": "templates/AxiomNPUExtSkeleton.jl",
1035+
"relation": "shared_dir:templates",
1036+
"weight": 1.0
1037+
},
1038+
{
1039+
"from": "templates/AxiomNPUExtSkeleton.jl",
1040+
"to": "templates/AxiomMathExtSkeleton.jl",
1041+
"relation": "shared_dir:templates",
1042+
"weight": 1.0
1043+
},
1044+
{
1045+
"from": "templates/AxiomMathExtSkeleton.jl",
1046+
"to": "templates/AxiomDSPExtSkeleton.jl",
1047+
"relation": "shared_dir:templates",
1048+
"weight": 1.0
1049+
},
10561050
{
10571051
"from": "src/layers/normalization.jl",
10581052
"to": "src/layers/dense.jl",
@@ -1083,6 +1077,12 @@
10831077
"relation": "shared_dir:src",
10841078
"weight": 1.0
10851079
},
1080+
{
1081+
"from": "src/verification/serialization.jl",
1082+
"to": "src/verification/certificates.jl",
1083+
"relation": "shared_dir:src/verification",
1084+
"weight": 1.0
1085+
},
10861086
{
10871087
"from": "src/backends/julia_backend.jl",
10881088
"to": "src/backends/abstract.jl",
@@ -1099,16 +1099,6 @@
10991099
},
11001100
"taint_matrix": {
11011101
"rows": [
1102-
{
1103-
"source_category": "MutationGap",
1104-
"sink_axis": "cpu",
1105-
"severity_value": 2.5,
1106-
"files": [
1107-
"test/ci/backend_parity.jl"
1108-
],
1109-
"frameworks": [],
1110-
"relation": "MutationGap->Cpu"
1111-
},
11121102
{
11131103
"source_category": "ProofDrift",
11141104
"sink_axis": "cpu",
@@ -1129,6 +1119,17 @@
11291119
"frameworks": [],
11301120
"relation": "ProofDrift->Cpu"
11311121
},
1122+
{
1123+
"source_category": "InputBoundary",
1124+
"sink_axis": "cpu",
1125+
"severity_value": 2.5,
1126+
"files": [
1127+
"src/verification/serialization.jl",
1128+
"test/verification/serialization_tests.jl"
1129+
],
1130+
"frameworks": [],
1131+
"relation": "InputBoundary->Cpu"
1132+
},
11321133
{
11331134
"source_category": "UnsafeFFI",
11341135
"sink_axis": "memory",
@@ -1140,15 +1141,14 @@
11401141
"relation": "UnsafeFFI->Memory"
11411142
},
11421143
{
1143-
"source_category": "InputBoundary",
1144+
"source_category": "MutationGap",
11441145
"sink_axis": "cpu",
11451146
"severity_value": 2.5,
11461147
"files": [
1147-
"src/verification/serialization.jl",
1148-
"test/verification/serialization_tests.jl"
1148+
"test/ci/backend_parity.jl"
11491149
],
11501150
"frameworks": [],
1151-
"relation": "InputBoundary->Cpu"
1151+
"relation": "MutationGap->Cpu"
11521152
}
11531153
]
11541154
}

‎scans/BowtieRisk.jl.json‎

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -111,9 +111,9 @@
111111
}
112112
],
113113
"recommended_attacks": [
114-
"memory",
115114
"cpu",
116-
"disk"
115+
"disk",
116+
"memory"
117117
],
118118
"dependency_graph": {
119119
"edges": [
@@ -127,16 +127,6 @@
127127
},
128128
"taint_matrix": {
129129
"rows": [
130-
{
131-
"source_category": "ProofDrift",
132-
"sink_axis": "cpu",
133-
"severity_value": 2.5,
134-
"files": [
135-
"test/runtests.jl"
136-
],
137-
"frameworks": [],
138-
"relation": "ProofDrift->Cpu"
139-
},
140130
{
141131
"source_category": "InputBoundary",
142132
"sink_axis": "cpu",
@@ -149,23 +139,33 @@
149139
},
150140
{
151141
"source_category": "DynamicCodeExecution",
152-
"sink_axis": "cpu",
142+
"sink_axis": "memory",
153143
"severity_value": 3.5,
154144
"files": [
155145
"src/backends/abstract.jl"
156146
],
157147
"frameworks": [],
158-
"relation": "DynamicCodeExecution->Cpu"
148+
"relation": "DynamicCodeExecution->Memory"
149+
},
150+
{
151+
"source_category": "ProofDrift",
152+
"sink_axis": "cpu",
153+
"severity_value": 2.5,
154+
"files": [
155+
"test/runtests.jl"
156+
],
157+
"frameworks": [],
158+
"relation": "ProofDrift->Cpu"
159159
},
160160
{
161161
"source_category": "DynamicCodeExecution",
162-
"sink_axis": "memory",
162+
"sink_axis": "cpu",
163163
"severity_value": 3.5,
164164
"files": [
165165
"src/backends/abstract.jl"
166166
],
167167
"frameworks": [],
168-
"relation": "DynamicCodeExecution->Memory"
168+
"relation": "DynamicCodeExecution->Cpu"
169169
}
170170
]
171171
}

0 commit comments

Comments
 (0)