Add field-related reflection methods to the ReflectionAllocationsAnalysis, so k-l-CFA can handle them.
Also, check class names from Class.forName, sometimes spurious strings appear here and we want to avoid creating wrong ObjectTypes and can prevent the exception there.
Add field-related reflection methods to the ReflectionAllocationsAnalysis, so k-l-CFA can handle them.
Also, check class names from Class.forName, sometimes spurious strings appear here and we want to avoid creating wrong ObjectTypes and can prevent the exception there.