Skip to content

Oracles for data dependency

Jump to bottom
Duy Tai Nguyen edited this page Jul 17, 2019 · 1 revision

1. Find variables, assignments

// TODO

2. Analyze data dependency

// TODO

3. Flow network traverse

// TODO

4. Gassless Send

5. Find places where state variables are killed

// TODO

Clone this wiki locally