rqdmap
博客
/
Posts
算法
/
ACM
漫评
/
Anime
归档
/
Archive
关于
/
About
日志
/
Changelog
统计
/
Statistics
博客
/
Posts
算法
/
ACM
漫评
/
Anime
归档
/
Archive
关于
/
About
日志
/
Changelog
统计
/
Statistics
协议分析技术
Promela初探
2021.11.29 18:44
2023.06.20 21:58
技术
spin
Promela
协议分析技术
1457字
由于要处理协议分析的大作业,接触了spin和Promela,下面整理一些内容作为记录。 基础语法 参考资料: Promela-维基百科 Promela-Manual 数据类型 内置的基础类型有:bit(u1), bool(u1), byte(u8), short(16), int(32)等, 这里前缀u表示无符号数。 声明一个变量可以类Ctypename name [ = anyexpr ]), 也可以使用这种语法unsigned name : constant [ = anyexpr ], 这样将声明一个占用conststant位的无符号数。当初始化的值超出了数据类型能表示的范围后,数值将会被截断造成信息的损失,spin只会在随机或指定的模拟下会警告该情况。 ...
创建时间
修改时间
字数