Skip to content

Conversation

@waskyo
Copy link
Contributor

@waskyo waskyo commented Feb 4, 2025

  • Fix for infinite recursion when stack offset is not present in a stack variable introduction.
  • Fix for possibly unbound variable in ARMStoreRegisterHalfword.py.
  • Switch return value of ARMStoreRegisterHalfword:ast_prov to use variables that were being assigned to but not used. I'm not sure if this is correct though.

…duction

this also fixes how we handle a stack variable introduction without
an offset. Before we would issue a warning, then raise the non-positive
error. This switches it to raising an error if the offset is not there,
and also issue an error if the values is non-positive
- If hitting the right path, lhs was potentially unbound. This makes it None in that path
and we check for it
- The ll_assigns and hl_assigns variable were showing up as unused. I switched things
over to use them as the return value
Copy link
Contributor

@sipma sipma left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you.

@sipma sipma merged commit fe7bb2d into static-analysis-engineering:master Feb 4, 2025
1 check failed
@waskyo waskyo deleted the misc_fixes branch February 7, 2025 05:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants