Closed AT120 closed 3 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 70.71%. Comparing base (
cb39c62
) to head (27957ac
).:exclamation: Current head 27957ac differs from pull request most recent head 08f6f2e. Consider uploading reports for the commit 08f6f2e to get more accurate results
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
A memory interval is a half-open interval, so the condition when pr->pe->vaddr == vma->e->end should not be interpreted as an intersection and should cause vma to be marked with VMA_NO_PROT_WRITE.
Fixes: #2364