Focus on one execution path.

pirapira / dry-analyzer

Dr. Y's Ethereum Contract Analyzer

GNU Lesser General Public License v2.1

42 stars 10 forks source link

Open pirapira opened 7 years ago

pirapira commented 7 years ago

[ ] design a url scheme for specifying a specific execution path (a sequence of booleans?)
[ ] encode and decode such url scheme
[ ] use the decode scheme to narrow down the execution path
[ ] use the encode scheme to show links for "investigate this path."