Skip to content

Commit 325f511

Browse files
author
hypatia-estate-rescan
committed
scan: estate rescan (326 repos, panic-attack refresh)
1 parent 415028b commit 325f511

243 files changed

Lines changed: 23478 additions & 23835 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/Axiology.jl.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@
1717
}
1818
],
1919
"statistics": {
20-
"total_lines": 3499,
20+
"total_lines": 4123,
2121
"unsafe_blocks": 0,
2222
"panic_sites": 0,
2323
"unwrap_calls": 0,

‎scans/Axiom.jl.json‎

Lines changed: 100 additions & 100 deletions
Original file line numberDiff line numberDiff line change
@@ -181,7 +181,7 @@
181181
}
182182
],
183183
"statistics": {
184-
"total_lines": 36159,
184+
"total_lines": 36173,
185185
"unsafe_blocks": 39,
186186
"panic_sites": 0,
187187
"unwrap_calls": 0,
@@ -842,35 +842,17 @@
842842
}
843843
],
844844
"recommended_attacks": [
845-
"concurrency",
846845
"cpu",
846+
"disk",
847847
"memory",
848-
"disk"
848+
"concurrency"
849849
],
850850
"dependency_graph": {
851851
"edges": [
852852
{
853-
"from": "src/integrations/huggingface.jl",
854-
"to": "src/integrations/interop.jl",
855-
"relation": "shared_dir:src/integrations",
856-
"weight": 1.0
857-
},
858-
{
859-
"from": "packages/SMTLib.jl/src/abi/Foreign.idr",
860-
"to": "packages/SMTLib.jl/src/abi/Types.idr",
861-
"relation": "shared_dir:packages/SMTLib.jl/src/abi",
862-
"weight": 1.0
863-
},
864-
{
865-
"from": "src/model_metadata.jl",
866-
"to": "src/model_packaging.jl",
867-
"relation": "shared_dir:src",
868-
"weight": 1.0
869-
},
870-
{
871-
"from": "src/model_packaging.jl",
872-
"to": "src/proof_export.jl",
873-
"relation": "shared_dir:src",
853+
"from": "src/verification/serialization.jl",
854+
"to": "src/verification/certificates.jl",
855+
"relation": "shared_dir:src/verification",
874856
"weight": 1.0
875857
},
876858
{
@@ -933,6 +915,12 @@
933915
"relation": "shared_dir:scripts",
934916
"weight": 1.0
935917
},
918+
{
919+
"from": "src/integrations/huggingface.jl",
920+
"to": "src/integrations/interop.jl",
921+
"relation": "shared_dir:src/integrations",
922+
"weight": 1.0
923+
},
936924
{
937925
"from": "src/layers/normalization.jl",
938926
"to": "src/layers/dense.jl",
@@ -952,15 +940,63 @@
952940
"weight": 1.0
953941
},
954942
{
955-
"from": "zig/src/threading.zig",
956-
"to": "zig/src/bench.zig",
957-
"relation": "shared_dir:zig/src",
943+
"from": "src/model_metadata.jl",
944+
"to": "src/model_packaging.jl",
945+
"relation": "shared_dir:src",
958946
"weight": 1.0
959947
},
960948
{
961-
"from": "src/verification/serialization.jl",
962-
"to": "src/verification/certificates.jl",
963-
"relation": "shared_dir:src/verification",
949+
"from": "src/model_packaging.jl",
950+
"to": "src/proof_export.jl",
951+
"relation": "shared_dir:src",
952+
"weight": 1.0
953+
},
954+
{
955+
"from": "templates/AxiomQPUExtSkeleton.jl",
956+
"to": "templates/AxiomTPUExtSkeleton.jl",
957+
"relation": "shared_dir:templates",
958+
"weight": 1.0
959+
},
960+
{
961+
"from": "templates/AxiomTPUExtSkeleton.jl",
962+
"to": "templates/AxiomFPGAExtSkeleton.jl",
963+
"relation": "shared_dir:templates",
964+
"weight": 1.0
965+
},
966+
{
967+
"from": "templates/AxiomFPGAExtSkeleton.jl",
968+
"to": "templates/AxiomPPUExtSkeleton.jl",
969+
"relation": "shared_dir:templates",
970+
"weight": 1.0
971+
},
972+
{
973+
"from": "templates/AxiomPPUExtSkeleton.jl",
974+
"to": "templates/AxiomVPUExtSkeleton.jl",
975+
"relation": "shared_dir:templates",
976+
"weight": 1.0
977+
},
978+
{
979+
"from": "templates/AxiomVPUExtSkeleton.jl",
980+
"to": "templates/AxiomCryptoExtSkeleton.jl",
981+
"relation": "shared_dir:templates",
982+
"weight": 1.0
983+
},
984+
{
985+
"from": "templates/AxiomCryptoExtSkeleton.jl",
986+
"to": "templates/AxiomNPUExtSkeleton.jl",
987+
"relation": "shared_dir:templates",
988+
"weight": 1.0
989+
},
990+
{
991+
"from": "templates/AxiomNPUExtSkeleton.jl",
992+
"to": "templates/AxiomMathExtSkeleton.jl",
993+
"relation": "shared_dir:templates",
994+
"weight": 1.0
995+
},
996+
{
997+
"from": "templates/AxiomMathExtSkeleton.jl",
998+
"to": "templates/AxiomDSPExtSkeleton.jl",
999+
"relation": "shared_dir:templates",
9641000
"weight": 1.0
9651001
},
9661002
{
@@ -975,6 +1011,30 @@
9751011
"relation": "shared_dir:src/backends",
9761012
"weight": 1.0
9771013
},
1014+
{
1015+
"from": "ext/AxiomMetalExt.jl",
1016+
"to": "ext/AxiomAMDGPUExt.jl",
1017+
"relation": "shared_dir:ext",
1018+
"weight": 1.0
1019+
},
1020+
{
1021+
"from": "ext/AxiomAMDGPUExt.jl",
1022+
"to": "ext/AxiomCUDAExt.jl",
1023+
"relation": "shared_dir:ext",
1024+
"weight": 1.0
1025+
},
1026+
{
1027+
"from": "zig/src/threading.zig",
1028+
"to": "zig/src/bench.zig",
1029+
"relation": "shared_dir:zig/src",
1030+
"weight": 1.0
1031+
},
1032+
{
1033+
"from": "packages/SMTLib.jl/src/abi/Foreign.idr",
1034+
"to": "packages/SMTLib.jl/src/abi/Types.idr",
1035+
"relation": "shared_dir:packages/SMTLib.jl/src/abi",
1036+
"weight": 1.0
1037+
},
9781038
{
9791039
"from": "test/ci/proof_bundle_reconciliation.jl",
9801040
"to": "test/ci/gpu_resilience.jl",
@@ -1034,71 +1094,21 @@
10341094
"to": "test/ci/dsp_required_mode.jl",
10351095
"relation": "shared_dir:test/ci",
10361096
"weight": 1.0
1037-
},
1038-
{
1039-
"from": "templates/AxiomQPUExtSkeleton.jl",
1040-
"to": "templates/AxiomTPUExtSkeleton.jl",
1041-
"relation": "shared_dir:templates",
1042-
"weight": 1.0
1043-
},
1044-
{
1045-
"from": "templates/AxiomTPUExtSkeleton.jl",
1046-
"to": "templates/AxiomFPGAExtSkeleton.jl",
1047-
"relation": "shared_dir:templates",
1048-
"weight": 1.0
1049-
},
1050-
{
1051-
"from": "templates/AxiomFPGAExtSkeleton.jl",
1052-
"to": "templates/AxiomPPUExtSkeleton.jl",
1053-
"relation": "shared_dir:templates",
1054-
"weight": 1.0
1055-
},
1056-
{
1057-
"from": "templates/AxiomPPUExtSkeleton.jl",
1058-
"to": "templates/AxiomVPUExtSkeleton.jl",
1059-
"relation": "shared_dir:templates",
1060-
"weight": 1.0
1061-
},
1062-
{
1063-
"from": "templates/AxiomVPUExtSkeleton.jl",
1064-
"to": "templates/AxiomCryptoExtSkeleton.jl",
1065-
"relation": "shared_dir:templates",
1066-
"weight": 1.0
1067-
},
1068-
{
1069-
"from": "templates/AxiomCryptoExtSkeleton.jl",
1070-
"to": "templates/AxiomNPUExtSkeleton.jl",
1071-
"relation": "shared_dir:templates",
1072-
"weight": 1.0
1073-
},
1074-
{
1075-
"from": "templates/AxiomNPUExtSkeleton.jl",
1076-
"to": "templates/AxiomMathExtSkeleton.jl",
1077-
"relation": "shared_dir:templates",
1078-
"weight": 1.0
1079-
},
1080-
{
1081-
"from": "templates/AxiomMathExtSkeleton.jl",
1082-
"to": "templates/AxiomDSPExtSkeleton.jl",
1083-
"relation": "shared_dir:templates",
1084-
"weight": 1.0
1085-
},
1086-
{
1087-
"from": "ext/AxiomMetalExt.jl",
1088-
"to": "ext/AxiomAMDGPUExt.jl",
1089-
"relation": "shared_dir:ext",
1090-
"weight": 1.0
1091-
},
1092-
{
1093-
"from": "ext/AxiomAMDGPUExt.jl",
1094-
"to": "ext/AxiomCUDAExt.jl",
1095-
"relation": "shared_dir:ext",
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+
},
11021112
{
11031113
"source_category": "ProofDrift",
11041114
"sink_axis": "cpu",
@@ -1130,16 +1140,6 @@
11301140
"frameworks": [],
11311141
"relation": "InputBoundary->Cpu"
11321142
},
1133-
{
1134-
"source_category": "UnsafeFFI",
1135-
"sink_axis": "memory",
1136-
"severity_value": 2.5,
1137-
"files": [
1138-
"src/backends/zig_ffi.jl"
1139-
],
1140-
"frameworks": [],
1141-
"relation": "UnsafeFFI->Memory"
1142-
},
11431143
{
11441144
"source_category": "MutationGap",
11451145
"sink_axis": "cpu",

‎scans/BowtieRisk.jl.json‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -111,8 +111,8 @@
111111
}
112112
],
113113
"recommended_attacks": [
114-
"cpu",
115114
"disk",
115+
"cpu",
116116
"memory"
117117
],
118118
"dependency_graph": {
@@ -137,6 +137,16 @@
137137
"frameworks": [],
138138
"relation": "DynamicCodeExecution->Memory"
139139
},
140+
{
141+
"source_category": "ProofDrift",
142+
"sink_axis": "cpu",
143+
"severity_value": 2.5,
144+
"files": [
145+
"test/runtests.jl"
146+
],
147+
"frameworks": [],
148+
"relation": "ProofDrift->Cpu"
149+
},
140150
{
141151
"source_category": "DynamicCodeExecution",
142152
"sink_axis": "cpu",
@@ -156,16 +166,6 @@
156166
],
157167
"frameworks": [],
158168
"relation": "InputBoundary->Cpu"
159-
},
160-
{
161-
"source_category": "ProofDrift",
162-
"sink_axis": "cpu",
163-
"severity_value": 2.5,
164-
"files": [
165-
"test/runtests.jl"
166-
],
167-
"frameworks": [],
168-
"relation": "ProofDrift->Cpu"
169169
}
170170
]
171171
}

‎scans/Causals.jl.json‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -79,17 +79,6 @@
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)