Threewidth computation
Open
enhancement
help wanted
- Dominant language
- Python
- Stars
- 6.4k
- Forks
- 1.1k
- PR merge metrics
- No merged PRs in 30d
Description
In [The Treewidth of Smart Contracts](https://hal.archives-ouvertes.fr/hal-01942005/document), the authors computed the treewidth of smart contracts, and showed that, in average, real-world contracts have a threewidth of 3.35 (intraprocedural) and 3.65 (interprocedural).
It would be interesting to add threewidth computation to Slither, and replay those results.
Contributor guide
Assessment
This issue has not been assessed yet.