符号自动机

符号自动机:工具箱。符号自动机工具箱将经典的自动机分析提升到富含模的字母表理论中。它使用最先进的约束求解器来进行自动机分析,这种分析既有表现力又有效率,即使对于大型有限字母表上的自动机也是如此。该工具包支持有限符号自动机和字符串上的传感器的分析。它还处理带有寄存器的传感器。在构造和最小化自动机时使用约束求解,并将自动机内化为理论,从而获得更深入、更强大的集成。微软研究中心(microsoftsearch)免费提供的这个工具包最近被用于web安全环境中,用于分析Unicode字符上潜在的恶意数据。