Skip to content

Commit f0e0cd7

Browse files
author
hypatia-estate-rescan
committed
scan: estate rescan (326 repos, panic-attack refresh)
1 parent 8d27692 commit f0e0cd7

247 files changed

Lines changed: 24519 additions & 23992 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/Axiom.jl.json‎

Lines changed: 130 additions & 130 deletions
Large diffs are not rendered by default.

‎scans/BowtieRisk.jl.json‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -137,6 +137,16 @@
137137
"frameworks": [],
138138
"relation": "DynamicCodeExecution->Memory"
139139
},
140+
{
141+
"source_category": "InputBoundary",
142+
"sink_axis": "cpu",
143+
"severity_value": 2.5,
144+
"files": [
145+
"src/BowtieRisk.jl"
146+
],
147+
"frameworks": [],
148+
"relation": "InputBoundary->Cpu"
149+
},
140150
{
141151
"source_category": "ProofDrift",
142152
"sink_axis": "cpu",
@@ -156,16 +166,6 @@
156166
],
157167
"frameworks": [],
158168
"relation": "DynamicCodeExecution->Cpu"
159-
},
160-
{
161-
"source_category": "InputBoundary",
162-
"sink_axis": "cpu",
163-
"severity_value": 2.5,
164-
"files": [
165-
"src/BowtieRisk.jl"
166-
],
167-
"frameworks": [],
168-
"relation": "InputBoundary->Cpu"
169169
}
170170
]
171171
}

‎scans/Exnovation.jl.json‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -79,25 +79,25 @@
7979
"taint_matrix": {
8080
"rows": [
8181
{
82-
"source_category": "ProofDrift",
82+
"source_category": "MutationGap",
8383
"sink_axis": "cpu",
8484
"severity_value": 2.5,
8585
"files": [
86-
"test/runtests.jl",
87-
"test/e2e_test.jl"
86+
"test/property_test.jl"
8887
],
8988
"frameworks": [],
90-
"relation": "ProofDrift->Cpu"
89+
"relation": "MutationGap->Cpu"
9190
},
9291
{
93-
"source_category": "MutationGap",
92+
"source_category": "ProofDrift",
9493
"sink_axis": "cpu",
9594
"severity_value": 2.5,
9695
"files": [
97-
"test/property_test.jl"
96+
"test/runtests.jl",
97+
"test/e2e_test.jl"
9898
],
9999
"frameworks": [],
100-
"relation": "MutationGap->Cpu"
100+
"relation": "ProofDrift->Cpu"
101101
},
102102
{
103103
"source_category": "InputBoundary",

‎scans/HackenbushGames.jl.json‎

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -62,25 +62,14 @@
6262
}
6363
],
6464
"recommended_attacks": [
65-
"cpu",
66-
"memory"
65+
"memory",
66+
"cpu"
6767
],
6868
"dependency_graph": {
6969
"edges": []
7070
},
7171
"taint_matrix": {
7272
"rows": [
73-
{
74-
"source_category": "DynamicCodeExecution",
75-
"sink_axis": "cpu",
76-
"severity_value": 3.5,
77-
"files": [
78-
"src/HackenbushGames.jl",
79-
"src/backends/abstract.jl"
80-
],
81-
"frameworks": [],
82-
"relation": "DynamicCodeExecution->Cpu"
83-
},
8473
{
8574
"source_category": "ProofDrift",
8675
"sink_axis": "cpu",
@@ -101,6 +90,17 @@
10190
],
10291
"frameworks": [],
10392
"relation": "DynamicCodeExecution->Memory"
93+
},
94+
{
95+
"source_category": "DynamicCodeExecution",
96+
"sink_axis": "cpu",
97+
"severity_value": 3.5,
98+
"files": [
99+
"src/HackenbushGames.jl",
100+
"src/backends/abstract.jl"
101+
],
102+
"frameworks": [],
103+
"relation": "DynamicCodeExecution->Cpu"
104104
}
105105
]
106106
}

‎scans/HardwareResilience.jl.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -38,8 +38,8 @@
3838
}
3939
],
4040
"recommended_attacks": [
41-
"disk",
42-
"cpu"
41+
"cpu",
42+
"disk"
4343
],
4444
"dependency_graph": {
4545
"edges": []

‎scans/KRLAdapter.jl.json‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -159,10 +159,10 @@
159159
}
160160
],
161161
"recommended_attacks": [
162-
"network",
162+
"disk",
163163
"cpu",
164164
"memory",
165-
"disk"
165+
"network"
166166
],
167167
"dependency_graph": {
168168
"edges": []
@@ -198,23 +198,23 @@
198198
},
199199
{
200200
"source_category": "DynamicCodeExecution",
201-
"sink_axis": "cpu",
201+
"sink_axis": "memory",
202202
"severity_value": 3.5,
203203
"files": [
204204
"test/verisim_integration_test.jl"
205205
],
206206
"frameworks": [],
207-
"relation": "DynamicCodeExecution->Cpu"
207+
"relation": "DynamicCodeExecution->Memory"
208208
},
209209
{
210210
"source_category": "DynamicCodeExecution",
211-
"sink_axis": "memory",
211+
"sink_axis": "cpu",
212212
"severity_value": 3.5,
213213
"files": [
214214
"test/verisim_integration_test.jl"
215215
],
216216
"frameworks": [],
217-
"relation": "DynamicCodeExecution->Memory"
217+
"relation": "DynamicCodeExecution->Cpu"
218218
}
219219
]
220220
}

‎scans/KnotTheory.jl.json‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -163,14 +163,15 @@
163163
"taint_matrix": {
164164
"rows": [
165165
{
166-
"source_category": "DynamicCodeExecution",
166+
"source_category": "ProofDrift",
167167
"sink_axis": "cpu",
168-
"severity_value": 3.5,
168+
"severity_value": 2.5,
169169
"files": [
170-
"src/backends/abstract.jl"
170+
"test/runtests.jl",
171+
"test/e2e_test.jl"
171172
],
172173
"frameworks": [],
173-
"relation": "DynamicCodeExecution->Cpu"
174+
"relation": "ProofDrift->Cpu"
174175
},
175176
{
176177
"source_category": "DynamicCodeExecution",
@@ -183,15 +184,14 @@
183184
"relation": "DynamicCodeExecution->Memory"
184185
},
185186
{
186-
"source_category": "ProofDrift",
187+
"source_category": "DynamicCodeExecution",
187188
"sink_axis": "cpu",
188-
"severity_value": 2.5,
189+
"severity_value": 3.5,
189190
"files": [
190-
"test/runtests.jl",
191-
"test/e2e_test.jl"
191+
"src/backends/abstract.jl"
192192
],
193193
"frameworks": [],
194-
"relation": "ProofDrift->Cpu"
194+
"relation": "DynamicCodeExecution->Cpu"
195195
}
196196
]
197197
}

‎scans/Lithoglyph.jl.json‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -91,16 +91,6 @@
9191
},
9292
"taint_matrix": {
9393
"rows": [
94-
{
95-
"source_category": "UnsafeFFI",
96-
"sink_axis": "memory",
97-
"severity_value": 2.5,
98-
"files": [
99-
"src/Lithoglyph.jl"
100-
],
101-
"frameworks": [],
102-
"relation": "UnsafeFFI->Memory"
103-
},
10494
{
10595
"source_category": "ProofDrift",
10696
"sink_axis": "cpu",
@@ -122,6 +112,16 @@
122112
],
123113
"frameworks": [],
124114
"relation": "InsecureProtocol->Network"
115+
},
116+
{
117+
"source_category": "UnsafeFFI",
118+
"sink_axis": "memory",
119+
"severity_value": 2.5,
120+
"files": [
121+
"src/Lithoglyph.jl"
122+
],
123+
"frameworks": [],
124+
"relation": "UnsafeFFI->Memory"
125125
}
126126
]
127127
}

‎scans/PolyglotFormalisms.jl.json‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -149,16 +149,6 @@
149149
},
150150
"taint_matrix": {
151151
"rows": [
152-
{
153-
"source_category": "ProofDrift",
154-
"sink_axis": "cpu",
155-
"severity_value": 2.5,
156-
"files": [
157-
"test/conditional_tests.jl"
158-
],
159-
"frameworks": [],
160-
"relation": "ProofDrift->Cpu"
161-
},
162152
{
163153
"source_category": "DynamicCodeExecution",
164154
"sink_axis": "cpu",
@@ -175,6 +165,16 @@
175165
"frameworks": [],
176166
"relation": "DynamicCodeExecution->Cpu"
177167
},
168+
{
169+
"source_category": "ProofDrift",
170+
"sink_axis": "cpu",
171+
"severity_value": 2.5,
172+
"files": [
173+
"test/conditional_tests.jl"
174+
],
175+
"frameworks": [],
176+
"relation": "ProofDrift->Cpu"
177+
},
178178
{
179179
"source_category": "DynamicCodeExecution",
180180
"sink_axis": "memory",

‎scans/PostDisciplinary.jl.json‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -109,8 +109,8 @@
109109
}
110110
],
111111
"recommended_attacks": [
112-
"disk",
113-
"cpu"
112+
"cpu",
113+
"disk"
114114
],
115115
"dependency_graph": {
116116
"edges": []

0 commit comments

Comments
 (0)