stacks-network / clarity-wasm

`clar2wasm` is a compiler for generating WebAssembly from Clarity.
GNU General Public License v3.0
12 stars 12 forks source link

Verify safety of type-checker map #441

Open obycode opened 2 months ago

obycode commented 2 months ago

Ensure that the change in https://github.com/stacks-network/stacks-core/pull/4967 is safe. This switch from a map to a set was initially made to fix a vulnerability.