Search results

[BUG] Floating point instructions clear capability

Status: Open.

#46 In zero-day-labs/cheri-cva6;

· Andreas-Bur opened on Sep 14, 2025

[BUG] CGetType edge case

Status: Open.

#45 In zero-day-labs/cheri-cva6;

· Andreas-Bur opened on Sep 4, 2025

[BUG] Capability returned by JALR.PCC

Status: Open.

#44 In zero-day-labs/cheri-cva6;

· Andreas-Bur opened on Jul 29, 2025

Capability loads can overtake aliasing stores

Status: Open.

#43 In zero-day-labs/cheri-cva6;

· PRugg-Cap opened on Jul 11, 2025

[BUG] CGetOffset and CSetEqualExact give wrong result

Status: Open.

#42 In zero-day-labs/cheri-cva6;

· Andreas-Bur opened on Jun 4, 2025

[BUG] FLW, FLH, and FLB

Status: Open.

#41 In zero-day-labs/cheri-cva6;

· Andreas-Bur opened on Jun 2, 2025

[BUG] DDC forwarding

Status: Open.

#39 In zero-day-labs/cheri-cva6;

· PRugg-Cap opened on May 23, 2025

[BUG] Top rounding is incorrect when length rounding causes exp to increase.

Status: Open.

#24 In zero-day-labs/cheri-cva6;

· joncapltd opened on Mar 12, 2025

inbounds check incorrect

Status: Open.

#22 In zero-day-labs/cheri-cva6;

· joncapltd opened on Mar 5, 2025