Development Log

  • CodePeer
    Nov 26th, 2016

    Better handling of data modified by unknown calls
    Data that can possibly be modified by a call to a subprogram not analyzed by CodePeer are computed more precisely. In particular, bounds of arrays that are passed as out or in out parameters in a call to an unanalyzed subprogram are no longer considered as possibly modified by the call.