0xPolygonZero / plonky2

Apache License 2.0
755 stars 278 forks source link

Constrain `syscall` / `exceptions` filter to be boolean #1458

Closed Nashtare closed 8 months ago

Nashtare commented 8 months ago

One auditor noticed these two flags weren't properly constrained to be boolean. All other flags are individually constrained in decode CPU submodule.

sonarcloud[bot] commented 8 months ago

Quality Gate Passed Quality Gate passed

Kudos, no new issues were introduced!

0 New issues
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud