freestanding_check: hosted-RNG check misses rand/srand in headers, macro aliases and function pointers

Ouverte
  • Quelque chose ne va pas ?
#2,309 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Les mainteneurs répondent en général sous 1 jour

Personne n'a encore pris cette issue.

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
35/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
Active
Stack technique
c, shell
Domaine
build-system, tooling

Piste de recherche

Start in tools/freestanding_check.sh, where the hosted-RNG stage greps src/.c and extensions/.c for rand( and srand(), and read tools/freestanding_allowlist.txt to see why stage 1 passes. The proposed fix replaces the textual check with an nm -u scan of the hosted objects built by the gate's rows, so the design needs deciding first. Done when the four planted cases (static inline in a header, macro alias, function pointer, untracked file) make make freestanding-check exit nonzero, and src/freestanding/ stays green.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

area:gates kind:gate-defect

The hosted-RNG half of tools/freestanding_check.sh (#1818; fail-closed fix in the PR for #2308) searches only tracked src/*.c and extensions/*.c, outside src/freestanding/, for the literal spelling rand( / srand(. The following reach libc rand/srand from hosted runtime code without being seen:

  1. A call inside a static inline function, or a macro body, in a header (src/*.h, extensions/*.h).
  2. A call through a macro alias, e.g. #define RNG rand and then RNG(), or through a function pointer (int (*r)(void) = rand;).
  3. Untracked files. git grep searches the index, so a new file that has not been git added is skipped in a local run. CI only sees committed files, so this matters only locally.

Stage 1 cannot catch any of these, because rand/srand are in tools/freestanding_allowlist.txt.

Possible root fix: check the symbol level instead of the spelling. Every hosted object built by the gate's rows would have no undefined reference to rand/srand (nm -u over the objects that are not freestanding), so headers, macros and pointers are all covered. The textual grep could stay as a fast first pass.

Found while reviewing the hq#58 fix (https://github.com/InauguralSystems/hq/issues/58).

Done when
  • A planted static inline int r(void) { return rand(); } in a header that a runtime .c file includes and calls makes make freestanding-check exit nonzero.
  • A planted #define RNG rand plus RNG() in src/*.c makes it exit nonzero.
  • A planted int (*p)(void) = rand; in src/*.c makes it exit nonzero.
  • src/freestanding/ keeps its own rand implementation, and that case is still green.

Generated by Claude Code

Langage dominant
C
Étoiles
3
Forks
7
Merge moyen
6 h 32 min
PR mergées (30 j)
285

Préparer son environnement

Ouvrir dans Codespaces

Lance le conteneur de développement du projet dans votre navigateur, avec votre propre compte GitHub.

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de InauguralSystems/EigenScript

Toutes les issues de InauguralSystems/EigenScript

Issues similaires

Plus d'issues C

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.