Commits on Mar 29, 2022

1. fixes register assignments in p-code semantics …

   In p-code the lower parts of registers are referenced as variables
   with the same name as the base register but with the size equal to
   the size of the referenced part, e.g., YMM0:64 refers to the lower
   64 bits of the YMM0 register. The semantics of assignemnt assumes
   that the upper parts are preserved.
   
   This commit implements the proper semantics of the `set#`
   operator, i.e., it extends the right-hand side to the size of the
   base register, and properly ORs it with the left-hand side.
   
   Note, the fix also touches the `setw` macro from BinaryAnalysisPlatform#1454. It was still
   correct, since all uses of setw was properly typed (unlike p-code),
   but the new version is more consistent and more general as it now
   allows the right-hand side to have a different type.

   

   ivg committed Mar 29, 2022
   Configuration menu

   • View commit details
   • Copy full SHA for 9485fd0
   • Browse repository at this point

   Copy the full SHA

   9485fd0 View commit details

   Browse the repository at this point in the history