Skip to content

Commit 0b22768

Browse files
author
hypatia-estate-rescan
committed
scan: estate rescan (346 repos, panic-attack refresh)
1 parent 54d594a commit 0b22768

262 files changed

Lines changed: 28339 additions & 36178 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: 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": "memory",
95+
"severity_value": 3.5,
96+
"files": [
97+
"src/AcceleratorGate.jl"
98+
],
99+
"frameworks": [],
100+
"relation": "DynamicCodeExecution->Memory"
101+
},
92102
{
93103
"source_category": "ProofDrift",
94104
"sink_axis": "cpu",
@@ -110,16 +120,6 @@
110120
],
111121
"frameworks": [],
112122
"relation": "DynamicCodeExecution->Cpu"
113-
},
114-
{
115-
"source_category": "DynamicCodeExecution",
116-
"sink_axis": "memory",
117-
"severity_value": 3.5,
118-
"files": [
119-
"src/AcceleratorGate.jl"
120-
],
121-
"frameworks": [],
122-
"relation": "DynamicCodeExecution->Memory"
123123
}
124124
]
125125
}

‎scans/Axiom.jl.json‎

Lines changed: 104 additions & 104 deletions
Original file line numberDiff line numberDiff line change
@@ -842,13 +842,19 @@
842842
}
843843
],
844844
"recommended_attacks": [
845-
"cpu",
845+
"memory",
846846
"concurrency",
847847
"disk",
848-
"memory"
848+
"cpu"
849849
],
850850
"dependency_graph": {
851851
"edges": [
852+
{
853+
"from": "zig/src/threading.zig",
854+
"to": "zig/src/bench.zig",
855+
"relation": "shared_dir:zig/src",
856+
"weight": 1.0
857+
},
852858
{
853859
"from": "test/ci/proof_bundle_reconciliation.jl",
854860
"to": "test/ci/gpu_resilience.jl",
@@ -909,96 +915,6 @@
909915
"relation": "shared_dir:test/ci",
910916
"weight": 1.0
911917
},
912-
{
913-
"from": "scripts/coprocessor-evidence.jl",
914-
"to": "scripts/model-package-evidence.jl",
915-
"relation": "shared_dir:scripts",
916-
"weight": 1.0
917-
},
918-
{
919-
"from": "scripts/model-package-evidence.jl",
920-
"to": "scripts/npu-strict-evidence.jl",
921-
"relation": "shared_dir:scripts",
922-
"weight": 1.0
923-
},
924-
{
925-
"from": "scripts/npu-strict-evidence.jl",
926-
"to": "scripts/gpu-performance-evidence.jl",
927-
"relation": "shared_dir:scripts",
928-
"weight": 1.0
929-
},
930-
{
931-
"from": "scripts/gpu-performance-evidence.jl",
932-
"to": "scripts/optimization-evidence.jl",
933-
"relation": "shared_dir:scripts",
934-
"weight": 1.0
935-
},
936-
{
937-
"from": "scripts/optimization-evidence.jl",
938-
"to": "scripts/tpu-strict-evidence.jl",
939-
"relation": "shared_dir:scripts",
940-
"weight": 1.0
941-
},
942-
{
943-
"from": "scripts/tpu-strict-evidence.jl",
944-
"to": "scripts/proof-bundle-evidence.jl",
945-
"relation": "shared_dir:scripts",
946-
"weight": 1.0
947-
},
948-
{
949-
"from": "scripts/proof-bundle-evidence.jl",
950-
"to": "scripts/coprocessor-resilience-evidence.jl",
951-
"relation": "shared_dir:scripts",
952-
"weight": 1.0
953-
},
954-
{
955-
"from": "scripts/coprocessor-resilience-evidence.jl",
956-
"to": "scripts/dsp-strict-evidence.jl",
957-
"relation": "shared_dir:scripts",
958-
"weight": 1.0
959-
},
960-
{
961-
"from": "scripts/dsp-strict-evidence.jl",
962-
"to": "scripts/verification-telemetry-evidence.jl",
963-
"relation": "shared_dir:scripts",
964-
"weight": 1.0
965-
},
966-
{
967-
"from": "scripts/verification-telemetry-evidence.jl",
968-
"to": "scripts/math-strict-evidence.jl",
969-
"relation": "shared_dir:scripts",
970-
"weight": 1.0
971-
},
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-
},
996-
{
997-
"from": "packages/SMTLib.jl/src/abi/Foreign.idr",
998-
"to": "packages/SMTLib.jl/src/abi/Types.idr",
999-
"relation": "shared_dir:packages/SMTLib.jl/src/abi",
1000-
"weight": 1.0
1001-
},
1002918
{
1003919
"from": "templates/AxiomQPUExtSkeleton.jl",
1004920
"to": "templates/AxiomTPUExtSkeleton.jl",
@@ -1047,6 +963,18 @@
1047963
"relation": "shared_dir:templates",
1048964
"weight": 1.0
1049965
},
966+
{
967+
"from": "ext/AxiomMetalExt.jl",
968+
"to": "ext/AxiomAMDGPUExt.jl",
969+
"relation": "shared_dir:ext",
970+
"weight": 1.0
971+
},
972+
{
973+
"from": "ext/AxiomAMDGPUExt.jl",
974+
"to": "ext/AxiomCUDAExt.jl",
975+
"relation": "shared_dir:ext",
976+
"weight": 1.0
977+
},
1050978
{
1051979
"from": "src/layers/normalization.jl",
1052980
"to": "src/layers/dense.jl",
@@ -1078,9 +1006,75 @@
10781006
"weight": 1.0
10791007
},
10801008
{
1081-
"from": "src/verification/serialization.jl",
1082-
"to": "src/verification/certificates.jl",
1083-
"relation": "shared_dir:src/verification",
1009+
"from": "scripts/coprocessor-evidence.jl",
1010+
"to": "scripts/model-package-evidence.jl",
1011+
"relation": "shared_dir:scripts",
1012+
"weight": 1.0
1013+
},
1014+
{
1015+
"from": "scripts/model-package-evidence.jl",
1016+
"to": "scripts/npu-strict-evidence.jl",
1017+
"relation": "shared_dir:scripts",
1018+
"weight": 1.0
1019+
},
1020+
{
1021+
"from": "scripts/npu-strict-evidence.jl",
1022+
"to": "scripts/gpu-performance-evidence.jl",
1023+
"relation": "shared_dir:scripts",
1024+
"weight": 1.0
1025+
},
1026+
{
1027+
"from": "scripts/gpu-performance-evidence.jl",
1028+
"to": "scripts/optimization-evidence.jl",
1029+
"relation": "shared_dir:scripts",
1030+
"weight": 1.0
1031+
},
1032+
{
1033+
"from": "scripts/optimization-evidence.jl",
1034+
"to": "scripts/tpu-strict-evidence.jl",
1035+
"relation": "shared_dir:scripts",
1036+
"weight": 1.0
1037+
},
1038+
{
1039+
"from": "scripts/tpu-strict-evidence.jl",
1040+
"to": "scripts/proof-bundle-evidence.jl",
1041+
"relation": "shared_dir:scripts",
1042+
"weight": 1.0
1043+
},
1044+
{
1045+
"from": "scripts/proof-bundle-evidence.jl",
1046+
"to": "scripts/coprocessor-resilience-evidence.jl",
1047+
"relation": "shared_dir:scripts",
1048+
"weight": 1.0
1049+
},
1050+
{
1051+
"from": "scripts/coprocessor-resilience-evidence.jl",
1052+
"to": "scripts/dsp-strict-evidence.jl",
1053+
"relation": "shared_dir:scripts",
1054+
"weight": 1.0
1055+
},
1056+
{
1057+
"from": "scripts/dsp-strict-evidence.jl",
1058+
"to": "scripts/verification-telemetry-evidence.jl",
1059+
"relation": "shared_dir:scripts",
1060+
"weight": 1.0
1061+
},
1062+
{
1063+
"from": "scripts/verification-telemetry-evidence.jl",
1064+
"to": "scripts/math-strict-evidence.jl",
1065+
"relation": "shared_dir:scripts",
1066+
"weight": 1.0
1067+
},
1068+
{
1069+
"from": "packages/SMTLib.jl/src/abi/Foreign.idr",
1070+
"to": "packages/SMTLib.jl/src/abi/Types.idr",
1071+
"relation": "shared_dir:packages/SMTLib.jl/src/abi",
1072+
"weight": 1.0
1073+
},
1074+
{
1075+
"from": "src/integrations/huggingface.jl",
1076+
"to": "src/integrations/interop.jl",
1077+
"relation": "shared_dir:src/integrations",
10841078
"weight": 1.0
10851079
},
10861080
{
@@ -1094,6 +1088,12 @@
10941088
"to": "src/backends/zig_ffi.jl",
10951089
"relation": "shared_dir:src/backends",
10961090
"weight": 1.0
1091+
},
1092+
{
1093+
"from": "src/verification/serialization.jl",
1094+
"to": "src/verification/certificates.jl",
1095+
"relation": "shared_dir:src/verification",
1096+
"weight": 1.0
10971097
}
10981098
]
10991099
},
@@ -1120,25 +1120,25 @@
11201120
"relation": "ProofDrift->Cpu"
11211121
},
11221122
{
1123-
"source_category": "InputBoundary",
1124-
"sink_axis": "cpu",
1123+
"source_category": "UnsafeFFI",
1124+
"sink_axis": "memory",
11251125
"severity_value": 2.5,
11261126
"files": [
1127-
"src/verification/serialization.jl",
1128-
"test/verification/serialization_tests.jl"
1127+
"src/backends/zig_ffi.jl"
11291128
],
11301129
"frameworks": [],
1131-
"relation": "InputBoundary->Cpu"
1130+
"relation": "UnsafeFFI->Memory"
11321131
},
11331132
{
1134-
"source_category": "UnsafeFFI",
1135-
"sink_axis": "memory",
1133+
"source_category": "InputBoundary",
1134+
"sink_axis": "cpu",
11361135
"severity_value": 2.5,
11371136
"files": [
1138-
"src/backends/zig_ffi.jl"
1137+
"src/verification/serialization.jl",
1138+
"test/verification/serialization_tests.jl"
11391139
],
11401140
"frameworks": [],
1141-
"relation": "UnsafeFFI->Memory"
1141+
"relation": "InputBoundary->Cpu"
11421142
},
11431143
{
11441144
"source_category": "MutationGap",

‎scans/BowtieRisk.jl.json‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -127,16 +127,6 @@
127127
},
128128
"taint_matrix": {
129129
"rows": [
130-
{
131-
"source_category": "InputBoundary",
132-
"sink_axis": "cpu",
133-
"severity_value": 2.5,
134-
"files": [
135-
"src/BowtieRisk.jl"
136-
],
137-
"frameworks": [],
138-
"relation": "InputBoundary->Cpu"
139-
},
140130
{
141131
"source_category": "DynamicCodeExecution",
142132
"sink_axis": "memory",
@@ -157,6 +147,16 @@
157147
"frameworks": [],
158148
"relation": "ProofDrift->Cpu"
159149
},
150+
{
151+
"source_category": "InputBoundary",
152+
"sink_axis": "cpu",
153+
"severity_value": 2.5,
154+
"files": [
155+
"src/BowtieRisk.jl"
156+
],
157+
"frameworks": [],
158+
"relation": "InputBoundary->Cpu"
159+
},
160160
{
161161
"source_category": "DynamicCodeExecution",
162162
"sink_axis": "cpu",

‎scans/Causals.jl.json‎

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -71,25 +71,14 @@
7171
}
7272
],
7373
"recommended_attacks": [
74-
"memory",
75-
"cpu"
74+
"cpu",
75+
"memory"
7676
],
7777
"dependency_graph": {
7878
"edges": []
7979
},
8080
"taint_matrix": {
8181
"rows": [
82-
{
83-
"source_category": "ProofDrift",
84-
"sink_axis": "cpu",
85-
"severity_value": 2.5,
86-
"files": [
87-
"test/runtests.jl",
88-
"test/e2e_test.jl"
89-
],
90-
"frameworks": [],
91-
"relation": "ProofDrift->Cpu"
92-
},
9382
{
9483
"source_category": "DynamicCodeExecution",
9584
"sink_axis": "cpu",
@@ -109,6 +98,17 @@
10998
],
11099
"frameworks": [],
111100
"relation": "DynamicCodeExecution->Memory"
101+
},
102+
{
103+
"source_category": "ProofDrift",
104+
"sink_axis": "cpu",
105+
"severity_value": 2.5,
106+
"files": [
107+
"test/runtests.jl",
108+
"test/e2e_test.jl"
109+
],
110+
"frameworks": [],
111+
"relation": "ProofDrift->Cpu"
112112
}
113113
]
114114
}

0 commit comments

Comments
 (0)