1: \begin{abstract} In Carnot-Carath\'eodory or sub-Riemannian geometry, one of the major open problems

2: is whether the conclusions of Sard's theorem 

3: holds for the endpoint map, a canonical map from an infinite-dimensional  path space to the

4: underlying finite-dimensional manifold.  

5: The set of critical values for the endpoint map is also known as 

6: abnormal set, being 

7:  the set of endpoints of

8: abnormal extremals leaving the base point. 

9: We prove that a strong version of Sard's property holds 

10: for all step-$2$ Carnot groups  and several other classes of   Lie groups endowed with left-invariant distributions. 

11: Namely, we prove that the abnormal set

12: %of the endpoint map 

13: %leaving the identity,  form 

14: lies in a proper analytic subvariety.

15: % in these  cases.

16: In doing so we examine several  characterizations of the abnormal set in the case of Lie groups.

17: %In doing so we provide several new characterizations of the abnormal set in the case of Lie groups,

18: \end{abstract}

19: