|
|
|
|
|
|
by Beldin
1515 days ago
|
|
|
I've recently come across "The Eye of Horus", a paper + associated code base [1] analysing attacking transactions on smart contracts using DataLog (a subset of Prolog). Not all of it is written in DataLog, but the vulnerability analysis is - the core component of the framework. [1] https://arxiv.org/abs/2101.06204 |
|
|