My name is Hideto Ueno. I’m interested in working on GSoC project, “Improve (function) attribute inference”.
As far as I see [0] and related patches, you have already implemented algorithms for many of the deducible function attributes with the new framework “Attributor”. I doubt whether there is still room for improvement as a GSoC project.
The GSoC project is there for further advancements, mainly adding more attribute deductions and improving existing ones. I believe there is ample room.