CHERIoT-Platform/llvm-project

Add parameter attributes for {deep,shallow} {immutable, no-capture} permissions.

Ouverte

#4 ouverte le 24 nov. 2023

Voir sur GitHubGuide contributeur
 (0 commentaire) (0 réaction) (0 personne assignée)LLVM (15 forks)auto 404
good first issue

Métriques du dépôt

Stars
 (9 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

Description

The CHERIoT ISA has permissions that are intended to be useful to remove on call boundaries:

  • Store (make something shallow read-only)
  • LoadMutable (make something deep read-only)
  • Global (shallow no capture)
  • LoadGlobal (deep no capture)

We should add parameter attributes that allow these to be removed declaratively, especially on cross-compartment calls that don't. They should also add the relevant LLVM IR attributes to allow optimisation in the caller based on the properties that we're enforcing in hardware.

Guide contributeur

Direction de recherche
Étudiez la documentation ISA de CHERI pour les attributs de permission et le système d'attributs LLVM IR pour comprendre comment ajouter de nouveaux attributs de paramètre.
Stack technique
Aucun
Domaine
securitycompilers
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
CHERI ISA knowledgeLLVM IR internals
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
30