The following lists security vulnerabilities that were found using the properties. If you found a security vulnerability using crytic/properties, please submit a PR with the relevant information.
| Project | Vulnerability | Date |
|---|---|---|
| Pods Finance | C-03 The vault can be drained one share at a time | March 2023 |
| Pods Finance | H-03 Rounding up in minting shares | March 2023 |