Skip to content
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

Editorial updates #162

Merged
merged 1 commit into from
Oct 7, 2023
Merged

Editorial updates #162

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 8 additions & 4 deletions cfi_backward.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,10 +48,8 @@ extension is not implemented or if the extension has not been activated at a
privilege mode. A program that is built with Zicfiss instructions can thus
continue to operate correctly, but without backward-edge control-flow integrity,
on processors that do not support the Zicfiss extension or if the Zicfiss
extension is not active.

The Zicfiss extensions may be activated for use individually and independently
for each privilege mode.
extension is not active. The Zicfiss extensions may be activated for use
individually and independently for each privilege mode.

Compilers should flag each object file (for example, using flags in the elf
attributes) to indicate if the object file has been compiled with the Zicfiss
Expand Down Expand Up @@ -101,6 +99,8 @@ The Zicfiss extension introduces the following instructions:
When a Zimop encoding is not used by the Zicfiss extension then the
instruction follows its Zimop defined behavior.

>>>

=== Zicfiss CSRs

This section specifies the CSR state of the Zicfiss extensions.
Expand Down Expand Up @@ -227,6 +227,8 @@ The Zicfiss extension introduces the `SSPMP` WARL field in `mseccfg`. The
M-mode use. The rules enforced by PMP for M-mode shadow stack memory accesses
are specified in <<PMP_SS>>.

>>>

=== Shadow-Stack-Enabled (SSE) state

The term `xSSE` is used to determine if backward-edge CFI using shadow stacks
Expand Down Expand Up @@ -292,6 +294,8 @@ illegal instruction exception. Execution of programs that use these
instructions on such machines is not supported.
====

>>>

[[SS_PUSH]]
=== Push to shadow stack
A shadow stack push operation is defined as decrement of the `ssp` by `XLEN`
Expand Down