Search results

Missing RETURNPRIVATE in TAC for Inline Assembly Switch Case

Status: Open.

#182 In nevillegrech/gigahorse-toolchain;

· pc9527zxx opened on Jun 20, 2025

Incompleteness caused by dynamic jumps

Status: Open.

#174 In nevillegrech/gigahorse-toolchain;

· nolanyc opened on Jan 9, 2025

Docker version analysis error: No such file or directory

Status: Open.

#170 In nevillegrech/gigahorse-toolchain;

· HaveYouTall opened on Dec 5, 2024

How does loops work? How does Gigahorse translate loops?

Status: Open.

#137 In nevillegrech/gigahorse-toolchain;

· lahiri-phdworks opened on May 23, 2024

The fallback function is not separated.

Status: Open.

#128 In nevillegrech/gigahorse-toolchain;

· kongqp opened on Mar 4, 2024

Analytics returning 0 for all outputs

Status: Open.

#45 In nevillegrech/gigahorse-toolchain;

· kalanyuz opened on Aug 22, 2022

Flow analysis + memory modeling

Status: Open.

#39 In nevillegrech/gigahorse-toolchain;

· snf opened on May 22, 2022

PHI insetion in the TAC representation.

Status: Open.

#18 In nevillegrech/gigahorse-toolchain;

· XiaowenHu96 opened on Jul 12, 2021