Skip to content

Optimize hardened compiler options parser. #998

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Optimize hardened compiler options parser. #998

wants to merge 1 commit into from

Conversation

sueszli
Copy link

@sueszli sueszli commented Sep 29, 2025 •
edited
Loading

The new script maintains the same functionality while being more maintainable and portable.

Portability & Reproducibility:

  • Compiler options scraping script is now self-contained and reproducible across environments using uv inline dependencies.
  • Eliminated need for separate requirements.txt, README.md and project structure

Code Quality:

  • Adopted more functional programming style with reduced state mutations.
  • Fewer conditional branches and improved code locality.
  • Cleaner separation of concerns between parsing functions.

Data Source Reliability:

  • Now parses markdown directly from source files instead of SSG-generated HTML.
  • Attempts to read from local file first, falls back to remote GitHub blob.
  • More resilient to changes in website structure or deployment issues.

Files Changed:

  • Added: docs/Compiler-Hardening-Guides/get_options.py - New consolidated script
  • Removed: docs/Compiler-Hardening-Guides/compiler-options-scraper/ - Entire directory and contents

For a demo see: https://gist.github.com/sueszli/b89ed01a42bb4403d482fcfb276b6bd5

@sueszli sueszli force-pushed the main branch 2 times, most recently from 29122e5 to 9d780b5 Compare September 29, 2025 18:32
@sueszli
Copy link
Author

sueszli commented Sep 29, 2025

Update: This now includes the required Signed-off-by line that satisfies the DCO requirements.

@sueszli sueszli mentioned this pull request Oct 1, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Product: Compiler Hardening Guide
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@sueszli @thomasnyman