Extending point-based analyses to handle pointers to primitive types

[VincenzoArceri]

Description This pull request extends the point-based analyses available in LiSA to handle pointers to primitive types, implementing the Andersen points-to analysis.