Hmmm..
A couple of points:
1. Saturated stars- really white clipped stars, will happen when brightening an image. Typically processing to protect the stars affects the object (nebula or galaxy). Many people handle things independently with masks and extracted images.My philosophy is to cater the processing to object- which might not be stars.
2. To your question- if you look at the image without the auto STF applied (just linear)- anything in the image that white or nearly white is saturated or nearly saturated (it depends on if the gain forces the ADU counts to fill the entire bit space, 16-bits generally).
3. Another way to map saturated values (or any value) is to create an image with just those values showing up. A pixel math expression can do this: iif($T>0.8, 1, 0) If you create a new image with Pixel math, this will make a black image with white pixels everywhere the value is above 0.8.
4. There are so many ways to do this... You could use range mask to do exactly the same.
But #2 is really the best answer... it can be done by inspection.
-adam