{"data":{"allSidebarItems":{"edges":[{"node":{"label":"Introduction","link":"/","items":null,"id":"a1a9d37b-2212-5d61-a022-55e43426492b"}},{"node":{"label":"Scope","link":"/scope","items":null,"id":"50806a4d-e971-5389-95ef-db30f88e34f1"}},{"node":{"label":"Compilation","link":"/compilation","items":null,"id":"0f590c5f-89e7-5338-852b-bedc32e282ae"}},{"node":{"label":"Static Analysis","link":"/static-analysis","items":null,"id":"664ad3f5-8aef-558d-be2d-668f77ff60ae"}},{"node":{"label":"Manual Review","link":"/manual-review","items":null,"id":"deea1990-9a27-56ea-a53a-ae24d0171542"}},{"node":{"label":"Code Style","link":"/code-style","items":null,"id":"262ae63f-a60f-5d13-ad70-d08fdf6165ab"}},{"node":{"label":"Manual Review","link":null,"items":[{"label":"HedgeVault.sol (HVT-M)","link":"/manual-review/HedgeVault-HVT"}],"id":"416f98d5-a24a-5067-aa9f-571359876149"}},{"node":{"label":"Code Style","link":null,"items":[{"label":"HedgeVault.sol (HVT-C)","link":"/code-style/HedgeVault-HVT"}],"id":"8073ee32-59f2-5a4a-b7f4-59891d4c76ad"}},{"node":{"label":"Appendix","link":null,"items":[{"label":"Finding Types","link":"/appendix/finding-types"},{"label":"Severity Definition","link":"/appendix/severity-definition"},{"label":"Disclaimer","link":"/appendix/disclaimer"}],"id":"596c754e-cc0c-593e-8286-02aef4727b01"}},{"node":{"label":"External Sources","link":null,"items":[{"label":"Source Code","link":"https://github.com/PlutusDao/plvHEDGE-omniscia/tree/af825042545286763ff278116f8bead8d9cbc57b"}],"id":"05581ac5-4e0f-517a-9b3e-6f647f64a9da"}}]},"site":{"siteMetadata":{"basePath":"/"}}}}