Closed thatplguy closed 9 months ago
Adds a new Talos flag, --detect-cavities. When present, Talos will print a list of cavities in a given Daedalus file, including location and whether the cavity is a prefix or suffix.
--detect-cavities
The analysis is context sensitive and flow insensitive. See design notes here: https://docs.google.com/document/d/1Zcrn7_AH1EGbziyQcdNAaYIVljaw5EchNcI1Gp8iUHo
Adds a new Talos flag,
--detect-cavities. When present, Talos will print a list of cavities in a given Daedalus file, including location and whether the cavity is a prefix or suffix.The analysis is context sensitive and flow insensitive. See design notes here: https://docs.google.com/document/d/1Zcrn7_AH1EGbziyQcdNAaYIVljaw5EchNcI1Gp8iUHo