Skip to content

Commit 655815e

Browse files
author
hypatia-estate-rescan
committed
scan: estate rescan (348 repos, panic-attack refresh)
1 parent bdd1b6c commit 655815e

261 files changed

Lines changed: 24687 additions & 24516 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: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -81,8 +81,8 @@
8181
}
8282
],
8383
"recommended_attacks": [
84-
"cpu",
85-
"memory"
84+
"memory",
85+
"cpu"
8686
],
8787
"dependency_graph": {
8888
"edges": []

‎scans/Axiom.jl.json‎

Lines changed: 77 additions & 77 deletions
Original file line numberDiff line numberDiff line change
@@ -842,13 +842,55 @@
842842
}
843843
],
844844
"recommended_attacks": [
845-
"disk",
846845
"cpu",
847846
"memory",
847+
"disk",
848848
"concurrency"
849849
],
850850
"dependency_graph": {
851851
"edges": [
852+
{
853+
"from": "src/verification/serialization.jl",
854+
"to": "src/verification/certificates.jl",
855+
"relation": "shared_dir:src/verification",
856+
"weight": 1.0
857+
},
858+
{
859+
"from": "src/model_metadata.jl",
860+
"to": "src/model_packaging.jl",
861+
"relation": "shared_dir:src",
862+
"weight": 1.0
863+
},
864+
{
865+
"from": "src/model_packaging.jl",
866+
"to": "src/proof_export.jl",
867+
"relation": "shared_dir:src",
868+
"weight": 1.0
869+
},
870+
{
871+
"from": "zig/src/threading.zig",
872+
"to": "zig/src/bench.zig",
873+
"relation": "shared_dir:zig/src",
874+
"weight": 1.0
875+
},
876+
{
877+
"from": "packages/SMTLib.jl/src/abi/Foreign.idr",
878+
"to": "packages/SMTLib.jl/src/abi/Types.idr",
879+
"relation": "shared_dir:packages/SMTLib.jl/src/abi",
880+
"weight": 1.0
881+
},
882+
{
883+
"from": "src/backends/julia_backend.jl",
884+
"to": "src/backends/abstract.jl",
885+
"relation": "shared_dir:src/backends",
886+
"weight": 1.0
887+
},
888+
{
889+
"from": "src/backends/abstract.jl",
890+
"to": "src/backends/zig_ffi.jl",
891+
"relation": "shared_dir:src/backends",
892+
"weight": 1.0
893+
},
852894
{
853895
"from": "scripts/coprocessor-evidence.jl",
854896
"to": "scripts/model-package-evidence.jl",
@@ -910,15 +952,15 @@
910952
"weight": 1.0
911953
},
912954
{
913-
"from": "src/model_metadata.jl",
914-
"to": "src/model_packaging.jl",
915-
"relation": "shared_dir:src",
955+
"from": "ext/AxiomMetalExt.jl",
956+
"to": "ext/AxiomAMDGPUExt.jl",
957+
"relation": "shared_dir:ext",
916958
"weight": 1.0
917959
},
918960
{
919-
"from": "src/model_packaging.jl",
920-
"to": "src/proof_export.jl",
921-
"relation": "shared_dir:src",
961+
"from": "ext/AxiomAMDGPUExt.jl",
962+
"to": "ext/AxiomCUDAExt.jl",
963+
"relation": "shared_dir:ext",
922964
"weight": 1.0
923965
},
924966
{
@@ -927,6 +969,24 @@
927969
"relation": "shared_dir:src/integrations",
928970
"weight": 1.0
929971
},
972+
{
973+
"from": "src/layers/normalization.jl",
974+
"to": "src/layers/dense.jl",
975+
"relation": "shared_dir:src/layers",
976+
"weight": 1.0
977+
},
978+
{
979+
"from": "src/layers/dense.jl",
980+
"to": "src/layers/abstract.jl",
981+
"relation": "shared_dir:src/layers",
982+
"weight": 1.0
983+
},
984+
{
985+
"from": "src/layers/abstract.jl",
986+
"to": "src/layers/conv.jl",
987+
"relation": "shared_dir:src/layers",
988+
"weight": 1.0
989+
},
930990
{
931991
"from": "test/ci/proof_bundle_reconciliation.jl",
932992
"to": "test/ci/gpu_resilience.jl",
@@ -987,30 +1047,6 @@
9871047
"relation": "shared_dir:test/ci",
9881048
"weight": 1.0
9891049
},
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-
},
10141050
{
10151051
"from": "templates/AxiomQPUExtSkeleton.jl",
10161052
"to": "templates/AxiomTPUExtSkeleton.jl",
@@ -1058,57 +1094,11 @@
10581094
"to": "templates/AxiomDSPExtSkeleton.jl",
10591095
"relation": "shared_dir:templates",
10601096
"weight": 1.0
1061-
},
1062-
{
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",
1066-
"weight": 1.0
1067-
},
1068-
{
1069-
"from": "src/layers/normalization.jl",
1070-
"to": "src/layers/dense.jl",
1071-
"relation": "shared_dir:src/layers",
1072-
"weight": 1.0
1073-
},
1074-
{
1075-
"from": "src/layers/dense.jl",
1076-
"to": "src/layers/abstract.jl",
1077-
"relation": "shared_dir:src/layers",
1078-
"weight": 1.0
1079-
},
1080-
{
1081-
"from": "src/layers/abstract.jl",
1082-
"to": "src/layers/conv.jl",
1083-
"relation": "shared_dir:src/layers",
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": "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": "InputBoundary",
11141104
"sink_axis": "cpu",
@@ -1130,6 +1120,16 @@
11301120
"frameworks": [],
11311121
"relation": "UnsafeFFI->Memory"
11321122
},
1123+
{
1124+
"source_category": "MutationGap",
1125+
"sink_axis": "cpu",
1126+
"severity_value": 2.5,
1127+
"files": [
1128+
"test/ci/backend_parity.jl"
1129+
],
1130+
"frameworks": [],
1131+
"relation": "MutationGap->Cpu"
1132+
},
11331133
{
11341134
"source_category": "ProofDrift",
11351135
"sink_axis": "cpu",

‎scans/BowtieRisk.jl.json‎

Lines changed: 18 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -112,8 +112,8 @@
112112
],
113113
"recommended_attacks": [
114114
"memory",
115-
"disk",
116-
"cpu"
115+
"cpu",
116+
"disk"
117117
],
118118
"dependency_graph": {
119119
"edges": [
@@ -127,35 +127,25 @@
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": "DynamicCodeExecution",
142-
"sink_axis": "memory",
132+
"sink_axis": "cpu",
143133
"severity_value": 3.5,
144134
"files": [
145135
"src/backends/abstract.jl"
146136
],
147137
"frameworks": [],
148-
"relation": "DynamicCodeExecution->Memory"
138+
"relation": "DynamicCodeExecution->Cpu"
149139
},
150140
{
151-
"source_category": "DynamicCodeExecution",
141+
"source_category": "ProofDrift",
152142
"sink_axis": "cpu",
153-
"severity_value": 3.5,
143+
"severity_value": 2.5,
154144
"files": [
155-
"src/backends/abstract.jl"
145+
"test/runtests.jl"
156146
],
157147
"frameworks": [],
158-
"relation": "DynamicCodeExecution->Cpu"
148+
"relation": "ProofDrift->Cpu"
159149
},
160150
{
161151
"source_category": "InputBoundary",
@@ -166,6 +156,16 @@
166156
],
167157
"frameworks": [],
168158
"relation": "InputBoundary->Cpu"
159+
},
160+
{
161+
"source_category": "DynamicCodeExecution",
162+
"sink_axis": "memory",
163+
"severity_value": 3.5,
164+
"files": [
165+
"src/backends/abstract.jl"
166+
],
167+
"frameworks": [],
168+
"relation": "DynamicCodeExecution->Memory"
169169
}
170170
]
171171
}

‎scans/Causals.jl.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -71,8 +71,8 @@
7171
}
7272
],
7373
"recommended_attacks": [
74-
"cpu",
75-
"memory"
74+
"memory",
75+
"cpu"
7676
],
7777
"dependency_graph": {
7878
"edges": []

‎scans/Exnovation.jl.json‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -78,16 +78,6 @@
7878
},
7979
"taint_matrix": {
8080
"rows": [
81-
{
82-
"source_category": "MutationGap",
83-
"sink_axis": "cpu",
84-
"severity_value": 2.5,
85-
"files": [
86-
"test/property_test.jl"
87-
],
88-
"frameworks": [],
89-
"relation": "MutationGap->Cpu"
90-
},
9181
{
9282
"source_category": "InputBoundary",
9383
"sink_axis": "cpu",
@@ -108,6 +98,16 @@
10898
],
10999
"frameworks": [],
110100
"relation": "ProofDrift->Cpu"
101+
},
102+
{
103+
"source_category": "MutationGap",
104+
"sink_axis": "cpu",
105+
"severity_value": 2.5,
106+
"files": [
107+
"test/property_test.jl"
108+
],
109+
"frameworks": [],
110+
"relation": "MutationGap->Cpu"
111111
}
112112
]
113113
}

‎scans/FirmwareAudit.jl.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -48,8 +48,8 @@
4848
}
4949
],
5050
"recommended_attacks": [
51-
"disk",
52-
"cpu"
51+
"cpu",
52+
"disk"
5353
],
5454
"dependency_graph": {
5555
"edges": []

‎scans/HackenbushGames.jl.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -62,8 +62,8 @@
6262
}
6363
],
6464
"recommended_attacks": [
65-
"cpu",
66-
"memory"
65+
"memory",
66+
"cpu"
6767
],
6868
"dependency_graph": {
6969
"edges": []

‎scans/Hyperpolymath.jl.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -80,8 +80,8 @@
8080
}
8181
],
8282
"recommended_attacks": [
83-
"cpu",
84-
"disk"
83+
"disk",
84+
"cpu"
8585
],
8686
"dependency_graph": {
8787
"edges": [

‎scans/InvestigativeJournalist.jl.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -150,8 +150,8 @@
150150
}
151151
],
152152
"recommended_attacks": [
153-
"cpu",
154-
"disk"
153+
"disk",
154+
"cpu"
155155
],
156156
"dependency_graph": {
157157
"edges": [

‎scans/JuliaPackage-Reuse-Audit.jl.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -86,8 +86,8 @@
8686
}
8787
],
8888
"recommended_attacks": [
89-
"cpu",
90-
"disk"
89+
"disk",
90+
"cpu"
9191
],
9292
"dependency_graph": {
9393
"edges": []

0 commit comments

Comments
 (0)