SNPSFuzzer: A Fast Greybox Fuzzer for Stateful Network Protocols Using Snapshots