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

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

Algorithm 4 ProductionLine task

1:
Require: Define the source code path of the smart contract: $p a t h$
2:
Ensure: All the results of the implementation of the rules: $λ$
3:
$S C A d d r, d e p \leftarrow depSC (path)$ ▷ Deploy the smart contract
4:
$u 1 A d d r \leftarrow s e t U s e r ()$ ▷ Call the "setUser" operation to create a user on the blockchain
5:
$u 2 A d d r \leftarrow s e t U s e r ()$
6:
$d 1 A d d r \leftarrow s e t U s e r ()$ ▷ Call the "setUser" operation to create a device on the blockchain
7:
$d 2 A d d r \leftarrow s e t U s e r ()$
8:
$c a l l F u n c t i o n (S C A d d r, a d d D e v i c e (d 1 A d d r))$ ▷ Add devices to the smart contract
9:
$c a l l F u n c t i o n (S C A d d r, a d d D e v i c e (d 2 A d d r))$
10:
$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, I d l e))$ ▷ Initialize the status of the devices on the blockchain
11:
$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 2 A d d r, R u n n i n g))$
12:
Define the output sets resulting from the execution of rule1: $Ω$
13:
$Ω \leftarrow R u l e 1 (u 1 A d d r, d 1 A d d r, S C A d d r)$ ▷ Execute rules detection
14:
Define the output sets resulting from the execution of rule2: $ω$
15:
$ω \leftarrow R u l e 2 (u 1 A d d r, d 1 A d d r, d 2 A d d r, S C A d d r)$
16:
return All the results of the implementation of the rules: $λ \leftarrow ω \cup Ω$