In addition, the DIVINE implementation would not actually create a larger object in CodeSonar/x86's IR in the presence of an overrun the ASI results would not be incorporated in that way.
there are some important differences between the two tools.