Merge pull request #19 from crytic/add-trophies-page

Added a trophies page listing security vulnerabilities found using the properties
crytic · Mar 27, 2023 · bb1b785 · bb1b785
2 parents e47e55e + 3742d83
commit bb1b785
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -14,6 +14,7 @@
     - [Clamping](#clamping)
 - [HEVM cheat codes support](#hevm-cheat-codes-support)
   - [Usage example](#usage-example)
+- [Trophies](#trophies)
 - [How to contribute to this repo?](#how-to-contribute-to-this-repo)
 
 
@@ -418,5 +419,9 @@ contract TestProperties {
 
 ```
 
+# Trophies
+
+A list of security vulnerabilities that were found using the properties can be found on the [trophies page](Trophies.md#properties-trophies).
+
 # How to contribute to this repo?
 Contributions are welcome! You can read more about the contribution guidelines and directory structure in the [CONTRIBUTING.md](CONTRIBUTING.md) file. 
diff --git a/Trophies.md b/Trophies.md
@@ -0,0 +1,10 @@
+# Properties Trophies
+
+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](https://github.com/pods-finance/yield-contracts/blob/main/audits/2022-11-15_OpenZeppelin_Pods.pdf) | C-03 The vault can be drained one share at a time | March 2023
+[Pods Finance](https://github.com/pods-finance/yield-contracts/blob/main/audits/2022-11-15_OpenZeppelin_Pods.pdf) | H-03 Rounding up in minting shares | March 2023