add: memory tagger + silent stores#16

Draft

vpenders wants to merge 1 commit into

proteus-core:mainfrom

vpenders:memory-tagger-plugin

vpenders commented Jun 3, 2026

This PR adds the following to Proteus:

Memory tagging plugin
Silent store elimination implementation + defense in the cache
Moves CSR logic from ProSpeCT into SecretRegionTracking


          add: memory tagger + silent stores

6e47e86

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

Labels

None yet