cheri: Use container bounds when accessing sockaddr_dl from sdlbuf #2258
CHERI Jenkins / Jenkins
succeeded
Dec 3, 2024 in 2h 35m 27s
Success
Details
- Set job properties (1.6 sec)
- aarch64 (10 sec)
- Checkout (25 sec)
- Copying required artifacts (34 sec)
- Build cheribsd-aarch64 (34 min)
- Building disk images (33 sec)
- Building MFS_ROOT kernels (2 min 43 sec)
- Test setup (20 sec)
- Test aarch64 (2 min 0 sec)
- Building release images (38 min)
- Record static analysis (1 min 6 sec)
- amd64 (10 sec)
- Checkout (29 sec)
- Copying required artifacts (34 sec)
- Build cheribsd-amd64 (30 min)
- Building disk images (39 sec)
- Test setup (23 sec)
- Test amd64 (1 min 57 sec)
- Building release images (49 min)
- Record static analysis (1 min 25 sec)
- morello-hybrid (10 sec)
- Checkout (18 sec)
- Copying required artifacts (18 sec)
- Build cheribsd-morello-hybrid (1 hr 18 min)
- Building disk images (43 sec)
- Building MFS_ROOT kernels (3 min 18 sec)
- Test setup (20 sec)
- Test morello-hybrid hybrid kernel (4.3 sec)
- Test morello-hybrid purecap kernel (4.3 sec)
- Test morello-hybrid purecap-benchmark kernel (17 min)
- Building release images (10 min)
- Record static analysis (1 min 2 sec)
- morello-purecap (10 sec)
- Checkout (19 sec)
- Copying required artifacts (29 sec)
- Build cheribsd-morello-purecap (1 hr 38 min)
- Building disk images (1 min 13 sec)
- Building MFS_ROOT kernels (3 min 58 sec)
- Test setup (20 sec)
- Test morello-purecap hybrid kernel (4.1 sec)
- Test morello-purecap purecap kernel (4.1 sec)
- Test morello-purecap purecap-benchmark kernel (31 min)
- Building release images (16 min)
- Record static analysis (1 min 13 sec)
- riscv64 (10 sec)
- Checkout (27 sec)
- Copying required artifacts (34 sec)
- Build cheribsd-riscv64 (27 min)
- Building disk images (45 sec)
- Building MFS_ROOT kernels (4 min 30 sec)
- Test setup (20 sec)
- Test riscv64 (2 min 51 sec)
- Building release images (39 min)
- Record static analysis (52 sec)
- riscv64-hybrid (10 sec)
- Checkout (26 sec)
- Copying required artifacts (30 sec)
- Build cheribsd-riscv64-hybrid (39 min)
- Building disk images (42 sec)
- Building MFS_ROOT kernels (14 min)
- Test setup (20 sec)
- Test riscv64-hybrid hybrid kernel (2.9 sec)
- Test riscv64-hybrid purecap kernel (15 min)
- Building release images (53 min)
- Record static analysis (2 min 0 sec)
- riscv64-purecap (1 hr 31 min)
- Checkout (30 sec)
- Copying required artifacts (26 sec)
- Build cheribsd-riscv64-purecap (40 min)
- Building disk images (49 sec)
- Building MFS_ROOT kernels (14 min)
- Test setup (20 sec)
- Test riscv64-purecap hybrid kernel (2.8 sec)
- Test riscv64-purecap purecap kernel (17 min)
- Building release images (14 min)
- Record static analysis (1 min 4 sec)
Loading