tdaylan / NoiseScope

git clone https://github.com/tdaylan/NoiseScope.git

A control instrument for handshake state machines - lint protocol models, replay transcripts, and fly deterministic mutations until a trace diverges.