Skip to content

Performance optimizations for address tracking#80

Draft
srosefield-riverside wants to merge 4 commits intomainfrom
schuyler/threadlocal_stack
Draft

Performance optimizations for address tracking#80
srosefield-riverside wants to merge 4 commits intomainfrom
schuyler/threadlocal_stack

Conversation

@srosefield-riverside
Copy link
Collaborator

Extracted from #71, sister PR to #79. Takes most of the performance-related features from the original PR except for the eliding of resolve_check_bounds calls.

  • Use a threadlocal for stack addresses instead of the global table
  • Merge adjacent GEP instructions into one resolve_gep call
  • Try to de-allocate multiple stack addresses in one call

Notably one of the stack_oob tests with optimizations on breaks in this version since it does not have the lifetime tracking code from #79. I attempted to detangle the features as much as possible, but there will need to be some merge resolutions depending on which is first.

- Merge adjacent GEP instructions into one resolve_gep call
- Try to de-allocate multiple stack addresses in one call
@elazaro-riverside elazaro-riverside force-pushed the schuyler/threadlocal_stack branch from 31c621f to 7509ead Compare January 20, 2026 20:29
@elazaro-riverside elazaro-riverside marked this pull request as draft January 20, 2026 20:44
@rjsmith1999 rjsmith1999 added the CVEAssert Related to CVEAssert component label Feb 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CVEAssert Related to CVEAssert component

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants