Evaluating data flow.md

94 - Evaluating data flow

Evaluating Data flow analyzes the transfer of data across and within smart contracts

1. Interprocedural data flow is evaluated by analyzing the data (variables/constants) used as argument values for function parameters at call sites
2. Intraprocedural data flow is evaluated by analyzing the assignment and use of (state/memory/calldata) variables/constants along the control flow paths within functions.
3. Both intra and interprocedural data flow analysis help track the flow of global/local storage/memory changes in smart contracts

---

Slide Screenshot

---

Slide Text

• Transfer of Data: Execution Context
• Variables & Constants
• Function Arguments & Return Values
• Storage/Memory/Stack/Calldata

---

References

• Youtube Reference

---

Tags