ada/cheri-examples
0
0
Fork 0
mirror of https://github.com/AdaCore/cheri-examples.git synced 2026-02-12 13:12:57 -08:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 1b7e6386fd Merge branch 'topic/dmking/10-add-cheri-report' into 'main' main Daniel King 2025-06-06 08:45:27 +00:00
  • 65cac6cca7 Add AdaCore CHERI Cyber Security Evaluation Summary Report Daniel King 2025-06-06 09:10:31 +01:00
  • feb9eb9698 Merge branch 'topic/dmking/9-remove-alire-dependency' into 'main' Daniel King 2025-04-03 13:15:01 +00:00
  • 140df09b2e Fix incorrect variable name Daniel King 2025-04-03 14:11:07 +01:00
  • 02441edc69 Remove dependency on Alire-generated files Daniel King 2025-04-03 14:10:23 +01:00
  • 70eb0b3b49 Merge branch 'topic/kliemann/cheribsd' into 'main' Johannes Kliemann 2025-03-05 15:08:41 +00:00
  • c49e2748e5 Fix subset test in bare-metal heap corruption example Johannes Kliemann 2025-02-27 16:47:48 +01:00
  • 5ba870dc13 Add README to CheriBSD heap corruption example Johannes Kliemann 2025-02-20 17:56:05 +01:00
  • c643694be8 Enable CheriBSD based heap corruption demo with shared libraries Johannes Kliemann 2025-02-12 16:01:58 +01:00
  • c1df266b6a Add single-application heap corruption example for BSD Johannes Kliemann 2025-02-11 17:44:27 +01:00
  • ef796a130c Merge branch '8-add-the-gnat-pro-for-cheri-qr-code-to-the-demo' into 'main' Daniel King 2024-05-10 10:43:13 +00:00
  • 4fafdde8dd Improve QR code on splash screen Daniel King 2024-05-10 11:33:59 +01:00
  • 94ef8ef4a8 Add new splash screen showing QR code Paul Butcher 2024-05-10 10:49:53 +01:00
  • 858bc474c2 Merge branch '7-demo-needs-enhancing-for-cyberuk' into 'main' Daniel King 2024-05-09 13:23:02 +00:00
  • 229bda9932 Change project target to morello-elf Daniel King 2024-05-09 13:50:16 +01:00
  • 2a86b68328 Reset the simulated subsystems when exiting the splash screen Daniel King 2024-05-09 13:41:13 +01:00
  • 136c12d9c6 Ensure Splash screen animates plus other updates closes issue https://gitlab.adacore-it.com/eng/projects/sabd/cheri-examples/-/issues/7 Paul Butcher 2024-05-07 22:18:46 +01:00
  • b0f950cf83 Merge branch 'topic/kliemann/issue_6' into 'main' Paul Butcher 2024-04-26 09:31:32 +00:00
  • 270de98371 Add top level README Johannes Kliemann 2024-04-25 17:03:46 +02:00
  • 5a138c059e Merge branch 'topic/kliemann/issue_3' into 'main' Johannes Kliemann 2024-04-26 09:18:09 +00:00
  • 460960b9c1 Use the global offset table to find and modify the heap Johannes Kliemann 2024-04-19 19:45:47 +02:00
  • 2a315fd460 Add example of a heap corruption by a malicious library Johannes Kliemann 2023-12-20 14:57:26 +01:00
  • a87b554a0d Merge branch 'topic/kliemann/rop' into 'main' Johannes Kliemann 2024-04-25 09:23:40 +00:00
  • fbf62980d5 Add return oriented programming example Johannes Kliemann 2023-09-25 14:15:22 +02:00
  • c5f6d4455e Merge branch 'topic/kliemann/issue_5' into 'main' Johannes Kliemann 2024-04-25 09:22:54 +00:00
  • 98182e2da3 Add license file Johannes Kliemann 2024-04-23 14:22:53 +02:00
  • 408eed3605 Merge branch 'topic/dmking/1-create-cheri-cyber-resilience-avionics-demo' into 'main' Paul Butcher 2024-03-28 11:19:22 +00:00
  • 492796a4af Fixes issue #2 Paul Butcher 2023-10-27 16:35:34 +01:00
  • 8d52f8a0f0 Fixes issue #2 Paul Butcher 2023-10-27 16:35:34 +01:00
  • 1765f5b700 Add demo for CHERI cyber resilience and exception handling Daniel King 2023-10-10 16:04:24 +01:00
  • f6d26f49f6 Initial commit super-admin morosi 2023-09-19 07:24:17 +00:00