Control Flow Analysis
Meaning ⎊ Examining instruction execution paths to ensure logical integrity and prevent vulnerabilities in derivative smart contracts.
Smart Contract Reentrancy
Meaning ⎊ A security flaw where an external contract calls back into the original before the first transaction completes to drain funds.
