Undergraduate Thesis on PyTeal Static Analysis

Hello everyone,
I am currently working on my undergraduate thesis, focusing on the static analysis of PyTeal smart contracts. The primary goal of my research is to develop a static analysis tool to detect vulnerabilities in these contracts.

To enhance the effectiveness and accuracy of my research, I am in need of real-world PyTeal smart contract examples. I was wondering if there exists a dataset or repository that contains such examples which could be used for testing and evaluation purposes. Access to such resources would significantly aid in advancing my project.

In addition to this, I am looking for ways to obtain the Abstract Syntax Tree (AST) of PyTeal smart contracts.

Any guidance or assistance you could provide regarding these matters would be greatly appreciated. Thank you for your time and support´╝ü