Skip to content
This repository was archived by the owner on Jan 27, 2026. It is now read-only.
This repository was archived by the owner on Jan 27, 2026. It is now read-only.

SSA with wrong variables #128

@0xcompiler

Description

@0xcompiler

Hey!
I believe your SSA has a problem when fetching variables. I think it is because you are not incrementing the AP when you have a variable declaration. Because of that, my SSA is using variables such as v0_callers_function_frame, and v1_return_instruction in places that they are not supposed to be used.

Am I wrong? This is the simple I'm running:

Screenshot 2023-03-29 at 15 39 35

With your SSA version:

Screenshot 2023-03-29 at 15 37 56

With my tweak (simply incrementing the AP when I see a declaration):

Screenshot 2023-03-29 at 15 40 31

Thank you very much!

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions