Всегда ли обнуляется сегмент BSS?

Он, конечно, обнуляется, но это не значит что при запуске main BSS - нулевой (например, в него копируются внешние символы типа environ или stderr - R_386_COPY)