diff --git a/docs/source/module-list.rst b/docs/source/module-list.rst index c78a82e1b..085a71621 100644 --- a/docs/source/module-list.rst +++ b/docs/source/module-list.rst @@ -81,3 +81,21 @@ Arbitrary Jump The `arbitrary jump module `_ detects `SWC-127 (Arbitrary Jump with Function Type Variable) `_. +**************************** +Transaction Order Dependence +**************************** + +The `transaction order dependence module `_ detects `SWC-114 (Transaction Order Dependence) `_. + +**************************** +Requirement Violation +**************************** + +The `Requirement Violation module `_ detects `SWC-123 (Requirement Violation) `_. + +**************************** +Unexpected Ether balance +**************************** + +The `Unexpected Ether balance module `_ detects `SWC-132 (Unexpected Ether balance) `_. +