Search results

Invalid capability returned by CUnseal

Status: Open.

#36 In CTSRD-CHERI/Flute;

· Andreas-Bur opened on Jul 22, 2025

Incorrect exception for unaligned PCC base

Status: Open.

#33 In CTSRD-CHERI/Flute;

· jrtc27 opened on Jan 5, 2022

Build system does not propagate 64-bit caps to cheri-cap-lib

Status: Open.

#32 In CTSRD-CHERI/Flute;

· Jerryxia32 opened on Oct 25, 2021

Potential inconsistency in rg_pcc base

Status: Open.

#28 In CTSRD-CHERI/Flute;

· PeterRugg opened on May 21, 2021

CJALR unrepresentability

Status: Open.

#27 In CTSRD-CHERI/Flute;

· PeterRugg opened on May 21, 2021

getLengthFat could be simplified

Status: Open.

#26 In CTSRD-CHERI/Flute;

· PeterRugg opened on May 21, 2021

CCSeal out of bounds behaviour

Status: Open.

#25 In CTSRD-CHERI/Flute;

· PeterRugg opened on May 21, 2021

CUnseal does not clear global permission

Status: Open.

#24 In CTSRD-CHERI/Flute;

· PeterRugg opened on May 21, 2021

Clear tag on decoding overflow?

Status: Open.

#23 In CTSRD-CHERI/Flute;

· PeterRugg opened on May 21, 2021

getTop behaviour and CTestSubset

Status: Open.

#22 In CTSRD-CHERI/Flute;

· PeterRugg opened on May 21, 2021

AUIPCC fast representability check differs from the spec

Status: Open.

#21 In CTSRD-CHERI/Flute;

· PeterRugg opened on May 21, 2021

cheri-cap-lib fast representability check differs from that in Sail

Status: Open.

#20 In CTSRD-CHERI/Flute;

· PeterRugg opened on May 21, 2021