[PATCH v9 14/19] aarch64: Handle GCS marking

Adhemerval Zanella Netto adhemerval.zanella@linaro.org
Fri Jan 17 19:02:09 GMT 2025



On 17/01/25 14:41, Yury Khrustalev wrote:
> From: Szabolcs Nagy <szabolcs.nagy@arm.com>
> 
>  - Handle GCS marking
>  - Use l_searchlist.r_list for gcs (allows using the
>    same function for static exe)
> 
> Co-authored-by: Yury Khrustalev <yury.khrustalev@arm.com>

LGTM, just a minor nit below.

Reviewed-by: Adhemerval Zanella  <adhemerval.zanella@linaro.org>

> ---
>  sysdeps/aarch64/dl-gcs.c  | 95 ++++++++++++++++++++++++++++++++++++++-
>  sysdeps/aarch64/dl-prop.h | 15 ++++---
>  sysdeps/aarch64/linkmap.h |  1 +
>  3 files changed, 105 insertions(+), 6 deletions(-)
> 
> diff --git a/sysdeps/aarch64/dl-gcs.c b/sysdeps/aarch64/dl-gcs.c
> index 870336f2bb..9e4efa1051 100644
> --- a/sysdeps/aarch64/dl-gcs.c
> +++ b/sysdeps/aarch64/dl-gcs.c
> @@ -15,10 +15,103 @@
>     License along with the GNU C Library; if not, see
>     <https://www.gnu.org/licenses/>.  */
>  
> +#include <unistd.h>
> +#include <errno.h>
> +#include <libintl.h>

I think this include is not required anymore.

>  #include <ldsodefs.h>
>  
> -/* Used to report error when prctl system call to enabled GCS fails.  */
> +/* GCS is disabled.  */
> +#define GCS_POLICY_DISABLED 0
> +
> +/* Enable GCS, abort if unmarked binary is found.  */
> +#define GCS_POLICY_ENFORCED 1
> +
> +/* Optionally enable GCS if all startup dependencies are marked.  */
> +#define GCS_POLICY_OPTIONAL 2
> +
> +/* Override binary marking and always enabled GCS.  */
> +#define GCS_POLICY_OVERRIDE 3
> +
> +static void
> +fail (struct link_map *l, const char *program)
> +{
> +  if (program && program[0])
> +    _dl_fatal_printf ("%s: %s: %s\n", program, l->l_name, "not GCS compatible");
> +  else if (program)
> +    _dl_fatal_printf ("%s\n", "not GCS compatible");
> +  else
> +    _dl_signal_error (0, l->l_name, "dlopen", "not GCS compatible");
> +}
> +
> +static void
> +unsupported (void)
> +{
> +  _dl_fatal_printf ("%s\n", "unsupported GCS policy");
> +}
>  
> +/* This function is called only when binary markings are not
> +   ignored and GCS is supposed to be enabled.  This occurs
> +   for the GCS_POLICY_ENFORCED and GCS_POLICY_ENFORCED policies.  */
> +static bool
> +check_gcs (struct link_map *l, const char *program, bool enforced)
> +{
> +  /* Binary is marked, all good.  */
> +  if (l->l_mach.gcs)
> +    return true;
> +  /* Binary is not marked and loaded via dlopen: abort.  */
> +  if (program == NULL)
> +    fail (l, program);
> +  /* Binary is not marked and we enforce GCS: abort.  */
> +  if (enforced)
> +    fail (l, program);
> +  /* Binary is not marked but GSC is optional: disable GCS.  */
> +  else
> +    {
> +      GL(dl_aarch64_gcs) = 0;
> +      return false;
> +    }
> +  __builtin_unreachable ();
> +}
> +
> +/* Iterate over all dependencies and check GCS marking.
> +   This function is called only when binary markings are not
> +   ignored and GCS is supposed to be enabled.  This occurs
> +   for the GCS_POLICY_ENFORCED and GCS_POLICY_ENFORCED policies.
> +   We interrupt checking if GCS is optional and we already know
> +   it is going to be disabled. */
> +static void
> +check_gcs_depends (struct link_map *l, const char *program, bool enforced)
> +{
> +  if (check_gcs (l, program, enforced))
> +    for (unsigned int i = 0; i < l->l_searchlist.r_nlist; i++)
> +      if (!check_gcs (l->l_searchlist.r_list[i], program, enforced))
> +	break;
> +}
> +
> +/* Apply GCS policy for L and its dependencies.
> +   PROGRAM is NULL when this check is invoked for dl_open.  */
> +void
> +_dl_gcs_check (struct link_map *l, const char *program)
> +{
> +  unsigned long policy = GL (dl_aarch64_gcs);
> +  switch (policy)
> +    {
> +    case GCS_POLICY_DISABLED:
> +    case GCS_POLICY_OVERRIDE:
> +      return;
> +    case GCS_POLICY_ENFORCED:
> +      check_gcs_depends (l, program, true);
> +      return;
> +    case GCS_POLICY_OPTIONAL:
> +      check_gcs_depends (l, program, false);
> +      return;
> +    default:
> +      /* All other policy values are not supported: abort.  */
> +      unsupported ();
> +    }
> +}
> +
> +/* Used to report error when prctl system call to enabled GCS fails.  */
>  void _dl_gcs_enable_failed (int code)
>  {
>    _dl_fatal_printf ("failed to enable GCS: %d\n", -code);
> diff --git a/sysdeps/aarch64/dl-prop.h b/sysdeps/aarch64/dl-prop.h
> index 361fc593da..abca2be7fa 100644
> --- a/sysdeps/aarch64/dl-prop.h
> +++ b/sysdeps/aarch64/dl-prop.h
> @@ -24,16 +24,21 @@ extern void _dl_bti_protect (struct link_map *, int) attribute_hidden;
>  extern void _dl_bti_check (struct link_map *, const char *)
>      attribute_hidden;
>  
> +extern void _dl_gcs_check (struct link_map *, const char *)
> +    attribute_hidden;
> +
>  static inline void __attribute__ ((always_inline))
>  _rtld_main_check (struct link_map *m, const char *program)
>  {
>    _dl_bti_check (m, program);
> +  _dl_gcs_check (m, program);
>  }
>  
>  static inline void __attribute__ ((always_inline))
>  _dl_open_check (struct link_map *m)
>  {
>    _dl_bti_check (m, NULL);
> +  _dl_gcs_check (m, NULL);
>  }
>  
>  static inline void __attribute__ ((always_inline))
> @@ -45,10 +50,6 @@ static inline int
>  _dl_process_gnu_property (struct link_map *l, int fd, uint32_t type,
>  			  uint32_t datasz, void *data)
>  {
> -  if (!GLRO(dl_aarch64_cpu_features).bti)
> -    /* Skip note processing.  */
> -    return 0;
> -
>    if (type == GNU_PROPERTY_AARCH64_FEATURE_1_AND)
>      {
>        /* Stop if the property note is ill-formed.  */
> @@ -57,7 +58,11 @@ _dl_process_gnu_property (struct link_map *l, int fd, uint32_t type,
>  
>        unsigned int feature_1 = *(unsigned int *) data;
>        if (feature_1 & GNU_PROPERTY_AARCH64_FEATURE_1_BTI)
> -	_dl_bti_protect (l, fd);
> +	if (GLRO(dl_aarch64_cpu_features).bti)
> +	  _dl_bti_protect (l, fd);
> +
> +      if (feature_1 & GNU_PROPERTY_AARCH64_FEATURE_1_GCS)
> +	l->l_mach.gcs = 1;
>  
>        /* Stop if we processed the property note.  */
>        return 0;
> diff --git a/sysdeps/aarch64/linkmap.h b/sysdeps/aarch64/linkmap.h
> index df6d3c66e8..e56c890aea 100644
> --- a/sysdeps/aarch64/linkmap.h
> +++ b/sysdeps/aarch64/linkmap.h
> @@ -23,4 +23,5 @@ struct link_map_machine
>    ElfW(Addr) plt;	  /* Address of .plt */
>    void *tlsdesc_table;	  /* Address of TLS descriptor hash table.  */
>    bool bti_fail;	  /* Failed to enable Branch Target Identification.  */
> +  bool gcs;		  /* Guarded Control Stack marking.  */
>  };



More information about the Libc-alpha mailing list