Skip to content

Commit 1edd01a

Browse files
author
hypatia-estate-rescan
committed
scan: estate rescan (330 repos, panic-attack refresh)
1 parent b2c182a commit 1edd01a

248 files changed

Lines changed: 25509 additions & 24239 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: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -89,6 +89,16 @@
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: 141 additions & 141 deletions
Original file line numberDiff line numberDiff line change
@@ -850,81 +850,15 @@
850850
"dependency_graph": {
851851
"edges": [
852852
{
853-
"from": "src/model_metadata.jl",
854-
"to": "src/model_packaging.jl",
855-
"relation": "shared_dir:src",
856-
"weight": 1.0
857-
},
858-
{
859-
"from": "src/model_packaging.jl",
860-
"to": "src/proof_export.jl",
861-
"relation": "shared_dir:src",
862-
"weight": 1.0
863-
},
864-
{
865-
"from": "packages/SMTLib.jl/src/abi/Foreign.idr",
866-
"to": "packages/SMTLib.jl/src/abi/Types.idr",
867-
"relation": "shared_dir:packages/SMTLib.jl/src/abi",
868-
"weight": 1.0
869-
},
870-
{
871-
"from": "scripts/coprocessor-evidence.jl",
872-
"to": "scripts/model-package-evidence.jl",
873-
"relation": "shared_dir:scripts",
874-
"weight": 1.0
875-
},
876-
{
877-
"from": "scripts/model-package-evidence.jl",
878-
"to": "scripts/npu-strict-evidence.jl",
879-
"relation": "shared_dir:scripts",
880-
"weight": 1.0
881-
},
882-
{
883-
"from": "scripts/npu-strict-evidence.jl",
884-
"to": "scripts/gpu-performance-evidence.jl",
885-
"relation": "shared_dir:scripts",
886-
"weight": 1.0
887-
},
888-
{
889-
"from": "scripts/gpu-performance-evidence.jl",
890-
"to": "scripts/optimization-evidence.jl",
891-
"relation": "shared_dir:scripts",
892-
"weight": 1.0
893-
},
894-
{
895-
"from": "scripts/optimization-evidence.jl",
896-
"to": "scripts/tpu-strict-evidence.jl",
897-
"relation": "shared_dir:scripts",
898-
"weight": 1.0
899-
},
900-
{
901-
"from": "scripts/tpu-strict-evidence.jl",
902-
"to": "scripts/proof-bundle-evidence.jl",
903-
"relation": "shared_dir:scripts",
904-
"weight": 1.0
905-
},
906-
{
907-
"from": "scripts/proof-bundle-evidence.jl",
908-
"to": "scripts/coprocessor-resilience-evidence.jl",
909-
"relation": "shared_dir:scripts",
910-
"weight": 1.0
911-
},
912-
{
913-
"from": "scripts/coprocessor-resilience-evidence.jl",
914-
"to": "scripts/dsp-strict-evidence.jl",
915-
"relation": "shared_dir:scripts",
916-
"weight": 1.0
917-
},
918-
{
919-
"from": "scripts/dsp-strict-evidence.jl",
920-
"to": "scripts/verification-telemetry-evidence.jl",
921-
"relation": "shared_dir:scripts",
853+
"from": "ext/AxiomMetalExt.jl",
854+
"to": "ext/AxiomAMDGPUExt.jl",
855+
"relation": "shared_dir:ext",
922856
"weight": 1.0
923857
},
924858
{
925-
"from": "scripts/verification-telemetry-evidence.jl",
926-
"to": "scripts/math-strict-evidence.jl",
927-
"relation": "shared_dir:scripts",
859+
"from": "ext/AxiomAMDGPUExt.jl",
860+
"to": "ext/AxiomCUDAExt.jl",
861+
"relation": "shared_dir:ext",
928862
"weight": 1.0
929863
},
930864
{
@@ -993,60 +927,12 @@
993927
"relation": "shared_dir:test/ci",
994928
"weight": 1.0
995929
},
996-
{
997-
"from": "ext/AxiomMetalExt.jl",
998-
"to": "ext/AxiomAMDGPUExt.jl",
999-
"relation": "shared_dir:ext",
1000-
"weight": 1.0
1001-
},
1002-
{
1003-
"from": "ext/AxiomAMDGPUExt.jl",
1004-
"to": "ext/AxiomCUDAExt.jl",
1005-
"relation": "shared_dir:ext",
1006-
"weight": 1.0
1007-
},
1008-
{
1009-
"from": "src/layers/normalization.jl",
1010-
"to": "src/layers/dense.jl",
1011-
"relation": "shared_dir:src/layers",
1012-
"weight": 1.0
1013-
},
1014-
{
1015-
"from": "src/layers/dense.jl",
1016-
"to": "src/layers/abstract.jl",
1017-
"relation": "shared_dir:src/layers",
1018-
"weight": 1.0
1019-
},
1020-
{
1021-
"from": "src/layers/abstract.jl",
1022-
"to": "src/layers/conv.jl",
1023-
"relation": "shared_dir:src/layers",
1024-
"weight": 1.0
1025-
},
1026-
{
1027-
"from": "src/verification/serialization.jl",
1028-
"to": "src/verification/certificates.jl",
1029-
"relation": "shared_dir:src/verification",
1030-
"weight": 1.0
1031-
},
1032930
{
1033931
"from": "zig/src/threading.zig",
1034932
"to": "zig/src/bench.zig",
1035933
"relation": "shared_dir:zig/src",
1036934
"weight": 1.0
1037935
},
1038-
{
1039-
"from": "src/backends/julia_backend.jl",
1040-
"to": "src/backends/abstract.jl",
1041-
"relation": "shared_dir:src/backends",
1042-
"weight": 1.0
1043-
},
1044-
{
1045-
"from": "src/backends/abstract.jl",
1046-
"to": "src/backends/zig_ffi.jl",
1047-
"relation": "shared_dir:src/backends",
1048-
"weight": 1.0
1049-
},
1050936
{
1051937
"from": "templates/AxiomQPUExtSkeleton.jl",
1052938
"to": "templates/AxiomTPUExtSkeleton.jl",
@@ -1094,21 +980,125 @@
1094980
"to": "templates/AxiomDSPExtSkeleton.jl",
1095981
"relation": "shared_dir:templates",
1096982
"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+
},
990+
{
991+
"from": "scripts/coprocessor-evidence.jl",
992+
"to": "scripts/model-package-evidence.jl",
993+
"relation": "shared_dir:scripts",
994+
"weight": 1.0
995+
},
996+
{
997+
"from": "scripts/model-package-evidence.jl",
998+
"to": "scripts/npu-strict-evidence.jl",
999+
"relation": "shared_dir:scripts",
1000+
"weight": 1.0
1001+
},
1002+
{
1003+
"from": "scripts/npu-strict-evidence.jl",
1004+
"to": "scripts/gpu-performance-evidence.jl",
1005+
"relation": "shared_dir:scripts",
1006+
"weight": 1.0
1007+
},
1008+
{
1009+
"from": "scripts/gpu-performance-evidence.jl",
1010+
"to": "scripts/optimization-evidence.jl",
1011+
"relation": "shared_dir:scripts",
1012+
"weight": 1.0
1013+
},
1014+
{
1015+
"from": "scripts/optimization-evidence.jl",
1016+
"to": "scripts/tpu-strict-evidence.jl",
1017+
"relation": "shared_dir:scripts",
1018+
"weight": 1.0
1019+
},
1020+
{
1021+
"from": "scripts/tpu-strict-evidence.jl",
1022+
"to": "scripts/proof-bundle-evidence.jl",
1023+
"relation": "shared_dir:scripts",
1024+
"weight": 1.0
1025+
},
1026+
{
1027+
"from": "scripts/proof-bundle-evidence.jl",
1028+
"to": "scripts/coprocessor-resilience-evidence.jl",
1029+
"relation": "shared_dir:scripts",
1030+
"weight": 1.0
1031+
},
1032+
{
1033+
"from": "scripts/coprocessor-resilience-evidence.jl",
1034+
"to": "scripts/dsp-strict-evidence.jl",
1035+
"relation": "shared_dir:scripts",
1036+
"weight": 1.0
1037+
},
1038+
{
1039+
"from": "scripts/dsp-strict-evidence.jl",
1040+
"to": "scripts/verification-telemetry-evidence.jl",
1041+
"relation": "shared_dir:scripts",
1042+
"weight": 1.0
1043+
},
1044+
{
1045+
"from": "scripts/verification-telemetry-evidence.jl",
1046+
"to": "scripts/math-strict-evidence.jl",
1047+
"relation": "shared_dir:scripts",
1048+
"weight": 1.0
1049+
},
1050+
{
1051+
"from": "packages/SMTLib.jl/src/abi/Foreign.idr",
1052+
"to": "packages/SMTLib.jl/src/abi/Types.idr",
1053+
"relation": "shared_dir:packages/SMTLib.jl/src/abi",
1054+
"weight": 1.0
1055+
},
1056+
{
1057+
"from": "src/layers/normalization.jl",
1058+
"to": "src/layers/dense.jl",
1059+
"relation": "shared_dir:src/layers",
1060+
"weight": 1.0
1061+
},
1062+
{
1063+
"from": "src/layers/dense.jl",
1064+
"to": "src/layers/abstract.jl",
1065+
"relation": "shared_dir:src/layers",
1066+
"weight": 1.0
1067+
},
1068+
{
1069+
"from": "src/layers/abstract.jl",
1070+
"to": "src/layers/conv.jl",
1071+
"relation": "shared_dir:src/layers",
1072+
"weight": 1.0
1073+
},
1074+
{
1075+
"from": "src/model_metadata.jl",
1076+
"to": "src/model_packaging.jl",
1077+
"relation": "shared_dir:src",
1078+
"weight": 1.0
1079+
},
1080+
{
1081+
"from": "src/model_packaging.jl",
1082+
"to": "src/proof_export.jl",
1083+
"relation": "shared_dir:src",
1084+
"weight": 1.0
1085+
},
1086+
{
1087+
"from": "src/backends/julia_backend.jl",
1088+
"to": "src/backends/abstract.jl",
1089+
"relation": "shared_dir:src/backends",
1090+
"weight": 1.0
1091+
},
1092+
{
1093+
"from": "src/backends/abstract.jl",
1094+
"to": "src/backends/zig_ffi.jl",
1095+
"relation": "shared_dir:src/backends",
1096+
"weight": 1.0
10971097
}
10981098
]
10991099
},
11001100
"taint_matrix": {
11011101
"rows": [
1102-
{
1103-
"source_category": "UnsafeFFI",
1104-
"sink_axis": "memory",
1105-
"severity_value": 2.5,
1106-
"files": [
1107-
"src/backends/zig_ffi.jl"
1108-
],
1109-
"frameworks": [],
1110-
"relation": "UnsafeFFI->Memory"
1111-
},
11121102
{
11131103
"source_category": "MutationGap",
11141104
"sink_axis": "cpu",
@@ -1119,17 +1109,6 @@
11191109
"frameworks": [],
11201110
"relation": "MutationGap->Cpu"
11211111
},
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-
},
11331112
{
11341113
"source_category": "ProofDrift",
11351114
"sink_axis": "cpu",
@@ -1149,6 +1128,27 @@
11491128
],
11501129
"frameworks": [],
11511130
"relation": "ProofDrift->Cpu"
1131+
},
1132+
{
1133+
"source_category": "UnsafeFFI",
1134+
"sink_axis": "memory",
1135+
"severity_value": 2.5,
1136+
"files": [
1137+
"src/backends/zig_ffi.jl"
1138+
],
1139+
"frameworks": [],
1140+
"relation": "UnsafeFFI->Memory"
1141+
},
1142+
{
1143+
"source_category": "InputBoundary",
1144+
"sink_axis": "cpu",
1145+
"severity_value": 2.5,
1146+
"files": [
1147+
"src/verification/serialization.jl",
1148+
"test/verification/serialization_tests.jl"
1149+
],
1150+
"frameworks": [],
1151+
"relation": "InputBoundary->Cpu"
11521152
}
11531153
]
11541154
}

0 commit comments

Comments
 (0)