Support for Interprocedural Null Pointer Analysis in Tai-e

[thatsSudhanshu]

📝 Overall Description

I am using Tai-e for static analysis, focusing on null pointer detection via the NullPointerDetection
class. From my testing, it appears to detect null pointers only within individual methods (intraprocedural).

I have not been able to get results for null values passed across method boundaries.

Questions:

1. Does Tai-e currently support interprocedural null pointer analysis?
2. If not, is there a recommended approach or configuration to extend the analysis for nulls across method calls?

Thanks in advance.

🎯 Expected Behavior

Support for interprocedural null pointer detection or guidance on how to configure/extend Tai-e for this use case.

🐛 Current Behavior

Null pointer detection seems limited to intraprocedural analysis. Nulls passed across method boundaries are not detected.

🔄 Reproducible Example

No response

⚙️ Tai-e Arguments

📜 Tai-e Log

No response

ℹ️ Additional Information

No response