
Contract C1
+-------------+-------------------------+--------------------------+
| Function    | State variables written | Conditions on msg.sender |
+-------------+-------------------------+--------------------------+
| constructor |                      [] |                       [] |
| fallback    |                      [] |                       [] |
+-------------+-------------------------+--------------------------+

Contract C2
+-------------+-------------------------+--------------------------+
| Function    | State variables written | Conditions on msg.sender |
+-------------+-------------------------+--------------------------+
| constructor |                      [] |                       [] |
| fallback    |                      [] |                       [] |
+-------------+-------------------------+--------------------------+

Contract C3
+-------------+-------------------------+--------------------------+
| Function    | State variables written | Conditions on msg.sender |
+-------------+-------------------------+--------------------------+
| constructor |                      [] |                       [] |
| f           |                      [] |                       [] |
+-------------+-------------------------+--------------------------+

Contract C4
+-------------------+-------------------------+--------------------------+
| Function          | State variables written | Conditions on msg.sender |
+-------------------+-------------------------+--------------------------+
| hasArgs           |                      [] |                       [] |
| hasReturns        |                      [] |                       [] |
| hasArgsAndReturns |                      [] |                       [] |
+-------------------+-------------------------+--------------------------+

Contract C5
+--------------+-------------------------+--------------------------+
| Function     | State variables written | Conditions on msg.sender |
+--------------+-------------------------+--------------------------+
| payableFunc  |                      [] |                       [] |
| externalFunc |                      [] |                       [] |
| publicFunc   |                      [] |                       [] |
| internalFunc |                      [] |                       [] |
| privateFunc  |                      [] |                       [] |
| pureFunc     |                      [] |                       [] |
| viewFunc     |                      [] |                       [] |
| abstractFunc |                      [] |                       [] |
+--------------+-------------------------+--------------------------+

