Hi In response to the IP team, please find below our justification on the use of the GMP library.
Cheers //GMP is used to grant the precision of the arithmetic computation in the symbolic execution process. E.g. Given a (symbolic) variable x and a, b integers: a*x+b*x is re-expressed as (a+b)*x where (a+b) is evaluated precisely using GMP, regardless of their system coding (32bits, 64bits…). If we do not use GMP (or an equivalent library) then we will have to deal with the classical rounding problems in numerical calculus. 1. what parts of the project depend on this: GMP is used by the symbolic execution kernel (efm-symbex). Note that disconnecting GMP can impact the precision of the symbolic computation. 2. what all doesn't function without it. An option that we can implement quickly is to disconnect GMP in the symbolic execution code (yet not recommended) BlackBerry® _______________________________________________ modeling-pmc mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/modeling-pmc
