UQ-PAC / BASIL

Apache License 2.0
8 stars 0 forks source link

Add analyses Assigned and Not read (ANR) and Read and Not Assigned (RNA) #153

Closed yousifpatti closed 5 months ago

yousifpatti commented 8 months ago

This task requires the addition of two new analyses to assist with detecting parameter passing through function calls.

May need to investigate the special case of clearing registers by assigning them to 0 such as in pass_stack_ptr example

ailrst commented 8 months ago

https://ieeexplore.ieee.org/document/7546543/

https://github.com/ARM-software/abi-aa/blob/main/aapcs64/aapcs64.rst#decimal-floating-point