Timeline for Problem with understanding the Mathematical Equations related to Testing Tool
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 22, 2019 at 17:05 | comment | added | user2994783 | Got it. Thanks a lot. God bless bless you. I also studied the "not" notation but I can't phrase the whole thing properly in English. "For all call sites L1, there does not exist a store site L2 such that L2 may follow L1", this seems correct. This is related to Securify tool in the context of reentrancy detection. Link of paper is: arxiv.org/pdf/1806.01143.pdf | |
| Nov 22, 2019 at 16:59 | vote | accept | user2994783 | ||
| Nov 22, 2019 at 16:45 | comment | added | D. Ben Knoble | It would ofc be immensely helpful to provide details about the system in use here | |
| Nov 22, 2019 at 16:44 | history | answered | D. Ben Knoble | CC BY-SA 4.0 |