On 12/10/2013 1:58 AM, Timon Gehr wrote:
Recovering all immutable and const qualifiers that are possible to assign to the program is simple to do if the whole program is available.
I believe you are seriously mistaken about it being simple, or even possible.For example, malloc() returns a pointer. How do you know if that returns a pointer to immutable data or not? Even if it could look at the source code to malloc()?
