SSB: Smart Contract Security Detection Tool Suitable for Industrial Control Scenarios

. 2025 Jul 30;25(15):4695. doi: 10.3390/s25154695

Algorithm 5 The robotic arm needs to run for five seconds when calling

c o o r d i n a t e ()

Require: Smart contract deployment address:

S C A d d r

, Smart Contract Owner:

o w n e r

, Address of device:

d 1 A d d r

Ensure: All cases

λ

1:
$s t a r t T i m e \leftarrow g e t E n v (t i m e s t a m p)$ ▷ Get the timestamp of $d 1 A d d r$ runtime
2:
$s t a r t H e i g h t \leftarrow g e t E n v (h e i g h t)$ ▷ Get the block height of $d 1 A d d r$ runtime
3:
$c a l l F u n c t i o n (S C A d d r, u p d a t e S t a t u s (d 1 A d d r, R u n n i n g))$
4:
$ξ \leftarrow b u i l t I n (0 < t i m e < 5)$ ▷ Generate a random set of parameters on request
5:
$Failed cases ω \leftarrow \emptyset$
6:
$Succeed cases Ω \leftarrow \emptyset$
7:
for $t i m e \in ξ$ do ▷ Create a new case
8:
$f i n i s h T i m e \leftarrow e x p r e s s i o n (s t a r t T i m e + t i m e)$
9:
$f i n i s h H e i g h t \leftarrow e x p r e s s i o n (s t a r t H e i g h t + t i m e / 2)$
10:
$s e t E n v (t i m e s t a m p, f i n i s h T i m e)$ ▷ Set the timestamp
11:
$s e t E n v (h e i g h t, f i n i s h H e i g h t)$ ▷ Set the block
12:
$r e s u l t \leftarrow c a l l F u n c t i o n (S C A d d r, c o o r d i n a t e ())$
13:
if $r e s u l t$ == false then
14:
$Ω \leftarrow Case \cup Ω$ ▷ Add Case to the success collection
15:
else
16:
$ω \leftarrow Case \cup ω$ ▷ Add Case to the failed collection
17:
end if
18:
end for
19:
return All cases $λ \leftarrow Ω \cup ω$