> In theory, this is true, but a lot of the optimizations decrease > accuracy at a cost of making the problem solvable in a reasonable > amount of time. > By performing it after building initial points-to sets, the amount of > accuracy loss is incredibly small. > The only type of constraint that will generate inaccuracy at that > point is a complex address taken with offset one, which is pretty > rare. > On the other hand, *not* doing it will make the problem take forever to solve > :) > > What's better, something that gives correct but slightly conservative > answers in 10s, or something that gives correct and 1% less > conservative answers in 200s? >
Got it, Thanks for Richard's quick reply and Daniel's detailed explanation. I need to dig deep to understand the codes. -- Best Regards.
