Fig. 6From: An enhanced state-aware model learning approach for security analysis in lightweight protocol implementationsMemory variables tracking architectureBack to article page