CTSRD-CHERI cheri-exercises issues

CTSRD-CHERI / cheri-exercises

Learning exercises for CHERI

https://ctsrd-cheri.github.io/cheri-exercises/

Other

18 stars 10 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Infrastructure bumps

#56 brooksdavis closed 1 month ago
0
Fix typo in cheri-tags

#55 nwf closed 3 months ago
0
Minor: correct a typo.

#54 jkoshy closed 6 months ago
1
Add Makefiles and do some documentation updates

#53 gvnn3 closed 1 year ago
1
GDB 12

#52 bsdjhb closed 1 year ago
0
Update examples with gdb 12

#51 brooksdavis closed 1 year ago
0
Emulated TLS no longer required for emulated purecap code on Morello.

#50 rwatson closed 2 years ago
7
tools/ccc: introduce CHERIBUILD_OUTPUT env var

#49 nwf closed 2 years ago
3
Add mdbook linkcheck output plugin

#48 nwf opened 2 years ago
0
PR feedback

#47 nwf opened 2 years ago
0
Merge new exercises from ASPLOS22

#46 nwf closed 2 years ago
1
ASPLOS'22: Better "Hello World" exercise

#45 nwf closed 2 years ago
2
New constructive exercise adapting a trivial heap allocator

#44 nwf closed 2 years ago
3
ASPLOS'22: New exercise for software adaptation

#43 nwf closed 2 years ago
1
Prepare for ASPLOS'22 tutorial

#42 nwf closed 2 years ago
2
Add link to Cornucopia build instructions to relevant sections

#41 nwf closed 11 months ago
1
Catch up to cornucopia mass rename

#40 nwf closed 3 years ago
0
Point at llvm-objdump in the host-side SDK

#39 nwf closed 3 years ago
0
Revert "Update README.md"

#38 jrtc27 closed 3 years ago
0
Update README.md

#37 tariqkurd-repo closed 3 years ago
1
Begin working Morello into the exercise documentation.

#36 gvnn3 closed 1 year ago
0
Elide hybrid information from the ccc description.

#35 gvnn3 closed 3 years ago
1
Make references to ISAs more generic.

#34 gvnn3 closed 3 years ago
1
buffer-overflow-fnptr.c: rework for Morello

#33 brettferdosi opened 4 years ago
4
ccc: Add preliminary aarch64 and morello support

#32 jrtc27 closed 4 years ago
0
Two starting points for potential kernel missions based on reintroduced vulnerabilities in the FETT pure-capability kernel.

#31 rwatson closed 4 years ago
2
Bundling up reintroduced CHERI-RISC-V FETT Release 2 kernel vulnerabilities as missions

#30 rwatson closed 4 years ago
6
Error while compiling buffer-overflow.c excersie

#29 vsimhv closed 4 years ago
2
Add an uninitialized stack variable mission.

#28 bsdjhb closed 4 years ago
4
Temporal mission draft

#27 nwf closed 4 years ago
2
Intro qemu

#26 nwf opened 4 years ago
2
Adding Morello support

#25 rwatson closed 2 years ago
1
Adding some brief QEMU CHERI-RISC-V instructions

#24 rwatson opened 4 years ago
0
Implement collective suggestions for title and cover page

#23 jrtc27 closed 4 years ago
0
introduction: Document useful info about the execution environment

#22 jrtc27 closed 4 years ago
0
exercises/pointer-revocation: make arg volatile

#21 nwf closed 4 years ago
0
pointer-revocation exercise shouldn't be compiled with -O2

#20 austinhroach closed 4 years ago
2
Fix Issues Reported By Austin

#19 jrtc27 closed 4 years ago
0
Adjust CHERI binary name in corrupt-a-control-flow-pointer

#18 austinhroach closed 4 years ago
0
Document use of -G0 flag

#17 austinhroach closed 4 years ago
0
disassemble-and-debug describes (sentry) labels but I see (sealed)

#16 austinhroach closed 4 years ago
3
compile-and-run answers out of sync with exercise steps

#15 austinhroach closed 4 years ago
0
Checkpoint an attempt at adding more explicit objectives.

#14 brooksdavis closed 2 years ago
1
Something that demos permissions

#13 LawrenceEsswood opened 4 years ago
1
Running built programs could be easier

#12 LawrenceEsswood opened 4 years ago
0
Lawrence comments

#11 LawrenceEsswood closed 4 years ago
1
Add licenses to source code.

#10 brooksdavis closed 4 years ago
2
Add answers sections to exercises added early on

#9 brooksdavis closed 4 years ago
1
Add a type-confusion exercise.

#8 brooksdavis closed 4 years ago
0
Demonstrate pointer injection

#7 brooksdavis closed 4 years ago
0