Model configuration
dragonfly.spthy
Nonce misuse configuration
ReuseOnce
ReuseAlways
LeakOnce
LeakAlways
Model Nonce(...) format
Simple
Role
Options
# options:
2
+
-
Name (a-zA-Z0-9_) :
Macros (separated by commas) :
Name (a-zA-Z0-9_) :
Macros (separated by commas) :
Generated files
dragonfly_basic.spthy
dragonfly_leak_always_0.spthy
dragonfly_leak_always_1.spthy
dragonfly_reuse_once_0_0.spthy
dragonfly_reuse_once_0_1.spthy
dragonfly_reuse_once_1_1.spthy
dragonfly_reuse_always_0.spthy
dragonfly_reuse_always_1.spthy
dragonfly_basic_results.spthy
dragonfly_leak_always_1_results.spthy
dragonfly_reuse_once_0_0_results.spthy
dragonfly_reuse_once_0_1_results.spthy
dragonfly_reuse_once_1_1_results.spthy
dragonfly_reuse_always_0_results.spthy
dragonfly_reuse_always_1_results.spthy
dragonfly_basic_results.spthy
dragonfly_leak_always_1_results.spthy
dragonfly_reuse_once_0_0_results.spthy
dragonfly_reuse_once_0_1_results.spthy
dragonfly_reuse_once_1_1_results.spthy
dragonfly_reuse_always_0_results.spthy
dragonfly_reuse_always_1_results.spthy
dragonfly_leak_always_0_results.spthy
dragonfly_leak_always_0_results.spthy