Skip to content

Commit 3bb23b9

Browse files
author
hypatia-estate-rescan
committed
scan: estate rescan (348 repos, panic-attack refresh)
1 parent 97704cd commit 3bb23b9

263 files changed

Lines changed: 25653 additions & 25723 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-
"memory",
85-
"cpu"
84+
"cpu",
85+
"memory"
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: 136 additions & 136 deletions
Original file line numberDiff line numberDiff line change
@@ -842,17 +842,89 @@
842842
}
843843
],
844844
"recommended_attacks": [
845-
"memory",
846-
"concurrency",
847845
"disk",
848-
"cpu"
846+
"cpu",
847+
"memory",
848+
"concurrency"
849849
],
850850
"dependency_graph": {
851851
"edges": [
852852
{
853-
"from": "zig/src/threading.zig",
854-
"to": "zig/src/bench.zig",
855-
"relation": "shared_dir:zig/src",
853+
"from": "scripts/coprocessor-evidence.jl",
854+
"to": "scripts/model-package-evidence.jl",
855+
"relation": "shared_dir:scripts",
856+
"weight": 1.0
857+
},
858+
{
859+
"from": "scripts/model-package-evidence.jl",
860+
"to": "scripts/npu-strict-evidence.jl",
861+
"relation": "shared_dir:scripts",
862+
"weight": 1.0
863+
},
864+
{
865+
"from": "scripts/npu-strict-evidence.jl",
866+
"to": "scripts/gpu-performance-evidence.jl",
867+
"relation": "shared_dir:scripts",
868+
"weight": 1.0
869+
},
870+
{
871+
"from": "scripts/gpu-performance-evidence.jl",
872+
"to": "scripts/optimization-evidence.jl",
873+
"relation": "shared_dir:scripts",
874+
"weight": 1.0
875+
},
876+
{
877+
"from": "scripts/optimization-evidence.jl",
878+
"to": "scripts/tpu-strict-evidence.jl",
879+
"relation": "shared_dir:scripts",
880+
"weight": 1.0
881+
},
882+
{
883+
"from": "scripts/tpu-strict-evidence.jl",
884+
"to": "scripts/proof-bundle-evidence.jl",
885+
"relation": "shared_dir:scripts",
886+
"weight": 1.0
887+
},
888+
{
889+
"from": "scripts/proof-bundle-evidence.jl",
890+
"to": "scripts/coprocessor-resilience-evidence.jl",
891+
"relation": "shared_dir:scripts",
892+
"weight": 1.0
893+
},
894+
{
895+
"from": "scripts/coprocessor-resilience-evidence.jl",
896+
"to": "scripts/dsp-strict-evidence.jl",
897+
"relation": "shared_dir:scripts",
898+
"weight": 1.0
899+
},
900+
{
901+
"from": "scripts/dsp-strict-evidence.jl",
902+
"to": "scripts/verification-telemetry-evidence.jl",
903+
"relation": "shared_dir:scripts",
904+
"weight": 1.0
905+
},
906+
{
907+
"from": "scripts/verification-telemetry-evidence.jl",
908+
"to": "scripts/math-strict-evidence.jl",
909+
"relation": "shared_dir:scripts",
910+
"weight": 1.0
911+
},
912+
{
913+
"from": "src/model_metadata.jl",
914+
"to": "src/model_packaging.jl",
915+
"relation": "shared_dir:src",
916+
"weight": 1.0
917+
},
918+
{
919+
"from": "src/model_packaging.jl",
920+
"to": "src/proof_export.jl",
921+
"relation": "shared_dir:src",
922+
"weight": 1.0
923+
},
924+
{
925+
"from": "src/integrations/huggingface.jl",
926+
"to": "src/integrations/interop.jl",
927+
"relation": "shared_dir:src/integrations",
856928
"weight": 1.0
857929
},
858930
{
@@ -915,6 +987,30 @@
915987
"relation": "shared_dir:test/ci",
916988
"weight": 1.0
917989
},
990+
{
991+
"from": "zig/src/threading.zig",
992+
"to": "zig/src/bench.zig",
993+
"relation": "shared_dir:zig/src",
994+
"weight": 1.0
995+
},
996+
{
997+
"from": "src/backends/julia_backend.jl",
998+
"to": "src/backends/abstract.jl",
999+
"relation": "shared_dir:src/backends",
1000+
"weight": 1.0
1001+
},
1002+
{
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/verification/serialization.jl",
1010+
"to": "src/verification/certificates.jl",
1011+
"relation": "shared_dir:src/verification",
1012+
"weight": 1.0
1013+
},
9181014
{
9191015
"from": "templates/AxiomQPUExtSkeleton.jl",
9201016
"to": "templates/AxiomTPUExtSkeleton.jl",
@@ -964,15 +1060,9 @@
9641060
"weight": 1.0
9651061
},
9661062
{
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",
1063+
"from": "packages/SMTLib.jl/src/abi/Foreign.idr",
1064+
"to": "packages/SMTLib.jl/src/abi/Types.idr",
1065+
"relation": "shared_dir:packages/SMTLib.jl/src/abi",
9761066
"weight": 1.0
9771067
},
9781068
{
@@ -994,161 +1084,71 @@
9941084
"weight": 1.0
9951085
},
9961086
{
997-
"from": "src/model_metadata.jl",
998-
"to": "src/model_packaging.jl",
999-
"relation": "shared_dir:src",
1000-
"weight": 1.0
1001-
},
1002-
{
1003-
"from": "src/model_packaging.jl",
1004-
"to": "src/proof_export.jl",
1005-
"relation": "shared_dir:src",
1006-
"weight": 1.0
1007-
},
1008-
{
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",
1078-
"weight": 1.0
1079-
},
1080-
{
1081-
"from": "src/backends/julia_backend.jl",
1082-
"to": "src/backends/abstract.jl",
1083-
"relation": "shared_dir:src/backends",
1084-
"weight": 1.0
1085-
},
1086-
{
1087-
"from": "src/backends/abstract.jl",
1088-
"to": "src/backends/zig_ffi.jl",
1089-
"relation": "shared_dir:src/backends",
1087+
"from": "ext/AxiomMetalExt.jl",
1088+
"to": "ext/AxiomAMDGPUExt.jl",
1089+
"relation": "shared_dir:ext",
10901090
"weight": 1.0
10911091
},
10921092
{
1093-
"from": "src/verification/serialization.jl",
1094-
"to": "src/verification/certificates.jl",
1095-
"relation": "shared_dir:src/verification",
1093+
"from": "ext/AxiomAMDGPUExt.jl",
1094+
"to": "ext/AxiomCUDAExt.jl",
1095+
"relation": "shared_dir:ext",
10961096
"weight": 1.0
10971097
}
10981098
]
10991099
},
11001100
"taint_matrix": {
11011101
"rows": [
11021102
{
1103-
"source_category": "ProofDrift",
1103+
"source_category": "MutationGap",
11041104
"sink_axis": "cpu",
11051105
"severity_value": 2.5,
11061106
"files": [
1107-
"packages/SMTLib.jl/test/runtests.jl",
1108-
"test/test_invertible.jl",
1109-
"test/runtests.jl",
1110-
"test/ci/coprocessor_strategy.jl",
1111-
"test/ci/math_required_mode.jl",
1112-
"test/ci/coprocessor_resilience.jl",
1113-
"test/ci/tpu_required_mode.jl",
1114-
"test/ci/interop_smoke.jl",
1115-
"test/ci/npu_required_mode.jl",
1116-
"test/ci/dsp_required_mode.jl",
1117-
"test/ci/optimization_passes.jl"
1107+
"test/ci/backend_parity.jl"
11181108
],
11191109
"frameworks": [],
1120-
"relation": "ProofDrift->Cpu"
1110+
"relation": "MutationGap->Cpu"
11211111
},
11221112
{
1123-
"source_category": "UnsafeFFI",
1124-
"sink_axis": "memory",
1113+
"source_category": "InputBoundary",
1114+
"sink_axis": "cpu",
11251115
"severity_value": 2.5,
11261116
"files": [
1127-
"src/backends/zig_ffi.jl"
1117+
"src/verification/serialization.jl",
1118+
"test/verification/serialization_tests.jl"
11281119
],
11291120
"frameworks": [],
1130-
"relation": "UnsafeFFI->Memory"
1121+
"relation": "InputBoundary->Cpu"
11311122
},
11321123
{
1133-
"source_category": "InputBoundary",
1134-
"sink_axis": "cpu",
1124+
"source_category": "UnsafeFFI",
1125+
"sink_axis": "memory",
11351126
"severity_value": 2.5,
11361127
"files": [
1137-
"src/verification/serialization.jl",
1138-
"test/verification/serialization_tests.jl"
1128+
"src/backends/zig_ffi.jl"
11391129
],
11401130
"frameworks": [],
1141-
"relation": "InputBoundary->Cpu"
1131+
"relation": "UnsafeFFI->Memory"
11421132
},
11431133
{
1144-
"source_category": "MutationGap",
1134+
"source_category": "ProofDrift",
11451135
"sink_axis": "cpu",
11461136
"severity_value": 2.5,
11471137
"files": [
1148-
"test/ci/backend_parity.jl"
1138+
"packages/SMTLib.jl/test/runtests.jl",
1139+
"test/test_invertible.jl",
1140+
"test/runtests.jl",
1141+
"test/ci/coprocessor_strategy.jl",
1142+
"test/ci/math_required_mode.jl",
1143+
"test/ci/coprocessor_resilience.jl",
1144+
"test/ci/tpu_required_mode.jl",
1145+
"test/ci/interop_smoke.jl",
1146+
"test/ci/npu_required_mode.jl",
1147+
"test/ci/dsp_required_mode.jl",
1148+
"test/ci/optimization_passes.jl"
11491149
],
11501150
"frameworks": [],
1151-
"relation": "MutationGap->Cpu"
1151+
"relation": "ProofDrift->Cpu"
11521152
}
11531153
]
11541154
}

0 commit comments

Comments
 (0)