Spin 安全漏洞

Spin is an open source software verification tool. It is used for explicit stateful logic model checking. A security vulnerability exists in Spin versions prior to 2.4.3, which stems from a specially configured Spin application that uses "self" requests without specifying URL permissions, and may...