Skip to content

Use checked arithmetic against VTL0-controllable integers#796

Open
sangho2 wants to merge 2 commits intomainfrom
sanghle/lvbs/checked
Open

Use checked arithmetic against VTL0-controllable integers#796
sangho2 wants to merge 2 commits intomainfrom
sanghle/lvbs/checked

Conversation

@sangho2
Copy link
Copy Markdown
Contributor

@sangho2 sangho2 commented Apr 22, 2026

This PR uses checked arithmetic against VTL0-controllable integers to avoid potential attacks via integer overflows or underflows.

@sangho2 sangho2 force-pushed the sanghle/lvbs/checked branch from ea0bdb7 to 4e52a30 Compare April 22, 2026 14:55
@sangho2 sangho2 force-pushed the sanghle/lvbs/checked branch from 4e52a30 to f197fca Compare April 22, 2026 15:03
@sangho2 sangho2 marked this pull request as ready for review April 22, 2026 15:10
@sangho2 sangho2 changed the title Use checked arithmetic for HVCI/HEKI Use checked arithmetic for VTL0-controllable integers Apr 22, 2026
@sangho2 sangho2 changed the title Use checked arithmetic for VTL0-controllable integers Use checked arithmetic against VTL0-controllable integers Apr 22, 2026
@github-actions
Copy link
Copy Markdown

🤖 SemverChecks 🤖 No breaking API changes detected

Note: this does not mean API is unchanged, or even that there are no breaking changes; simply, none of the detections triggered.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant