search

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.
MIT License
102 stars 14 forks source link

Default settings can fail in unsupported architectures #299

Open fortunac opened 3 years ago

fortunac commented 3 years ago
  1. Creating an env assumes a default architecture of x86-64.
  2. The default function spec chaoses the caller-saved registers, but that can fail in unsupported architectures.
  3. Obtaining variables from get_vars (named vars_from_sub in the arm branch) can fail when looking for the input registers in unsupported architectures.
fortunac commented 3 years ago

Parts 2 and 3 fixed in #290