Missing Formal Parameter Values in 'Declares' Callback

[MadhuNimmo]

We are currently exploring the use of NodeProf for designing a dynamic analysis. As part of our analysis, parameters play a crucial role, and we expect the 'declare' callback to behave similarly to the 'declare' callback in Jalangi.

However, we have noticed that the 'declare' callback in NodeProf does not provide formal parameter values, such as 'val', 'isArgument', and 'argumentIndex', which are associated with the callback in Jalangi.

We believe that having access to formal parameter values within the 'declares' callback would greatly enhance the flexibility and capabilities of dynamic analysis in NodeProf.

Therefore, we kindly request adding support for formal parameter values ('val'), an indicator of whether a parameter is an argument ('isArgument'), and the index of the argument ('argumentIndex') to the 'declares' callback in NodeProf.