Show patches with: Submitter = Federico Serafini       |    Archived = No       |   88 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[XEN] automation/eclair: extend and modifiy existing deviations of MISRA C:2012 Rule 16.3 [XEN] automation/eclair: extend and modifiy existing deviations of MISRA C:2012 Rule 16.3 - - - --- 2024-05-28 Federico Serafini New
[XEN] automation/eclair: hide reports coming from adopted code in scheduled analysis [XEN] automation/eclair: hide reports coming from adopted code in scheduled analysis 1 - - --- 2024-05-03 Federico Serafini New
[XEN,2/2] automation/eclair: add deviation for Rule 16.4 misra: deviations of Rule 16.4 - 1 - --- 2024-05-03 Federico Serafini New
[XEN,1/2] docs/misra: add Terms & Definitions section to rules.rst misra: deviations of Rule 16.4 - 1 - --- 2024-05-03 Federico Serafini New
[XEN,v2] automation/eclair: add deviation of MISRA C:2012 Rule 14.4 [XEN,v2] automation/eclair: add deviation of MISRA C:2012 Rule 14.4 - 1 - --- 2024-05-02 Federico Serafini New
[XEN,3/3] automation/eclair: make explicit there are no adopted files by default automation/eclair: do not allow failure for triggered analyses 1 - - --- 2024-04-29 Federico Serafini New
[XEN,2/3] automation: do not allow failure for triggered analyses automation/eclair: do not allow failure for triggered analyses 1 - - --- 2024-04-29 Federico Serafini New
[XEN,1/3] automation/eclair: tag Rule 7.2 as clean and temporarily remove Rules 1.1 and 8.2 automation/eclair: do not allow failure for triggered analyses 1 - - --- 2024-04-29 Federico Serafini New
[XEN] automation/eclair: add deviation of MISRA C:2012 Rule 14.4 [XEN] automation/eclair: add deviation of MISRA C:2012 Rule 14.4 - - - --- 2024-04-24 Federico Serafini Superseded
[XEN,v2] automation/eclair: add deviations for MISRA C:2012 Rule 16.4 [XEN,v2] automation/eclair: add deviations for MISRA C:2012 Rule 16.4 - - - --- 2024-04-24 Federico Serafini New
[XEN] automation/eclair: reorganize pipelines [XEN] automation/eclair: reorganize pipelines - 1 - --- 2024-04-23 Federico Serafini New
[XEN] automation/eclair: add deviations for MISRA C:2012 Rule 16.4 [XEN] automation/eclair: add deviations for MISRA C:2012 Rule 16.4 - - - --- 2024-04-23 Federico Serafini Superseded
[XEN] docs/misra: mark the gzip folder as adopted code [XEN] docs/misra: mark the gzip folder as adopted code 1 - - --- 2024-04-15 Federico Serafini New
[XEN] automaton/eclair: add deviations for MISRA C:2012 Rule 13.6 [XEN] automaton/eclair: add deviations for MISRA C:2012 Rule 13.6 - - - --- 2024-04-04 Federico Serafini New
[XEN,v2,2/2] vsprintf: address violations of MISRA C:2012 Rule 16.3 xen: address violations of MISRA C:2012 Rule 16.3 - 1 - --- 2024-04-04 Federico Serafini New
[XEN,v2,1/2] xen/sched: address violations of MISRA C:2012 Rule 16.3 xen: address violations of MISRA C:2012 Rule 16.3 1 1 - --- 2024-04-04 Federico Serafini New
[XEN,7/7] vsprintf: address violations of MISRA C:2012 Rule 16.3 xen: address violations of MISRA C:2012 Rule 16.3 - - - --- 2024-04-02 Federico Serafini Superseded
[XEN,6/7] xen/vm-event: address a violation of MISRA C:2012 Rule 16.3 xen: address violations of MISRA C:2012 Rule 16.3 1 - - --- 2024-04-02 Federico Serafini Superseded
[XEN,5/7] xen/sched: address a violation of MISRA C:2012 Rule 16.3 xen: address violations of MISRA C:2012 Rule 16.3 - 1 - --- 2024-04-02 Federico Serafini Superseded
[XEN,4/7] xen/evtchn: address a violation of MISRA C:2012 Rule 16.3 xen: address violations of MISRA C:2012 Rule 16.3 - 1 - --- 2024-04-02 Federico Serafini Superseded
[XEN,3/7] xen/sched: address a violation of MISRA C:2012 Rule 16.3 xen: address violations of MISRA C:2012 Rule 16.3 - - - --- 2024-04-02 Federico Serafini Superseded
[XEN,2/7] console: address a violation of MISRA C:2012 Rule 16.3 xen: address violations of MISRA C:2012 Rule 16.3 - 1 - --- 2024-04-02 Federico Serafini Superseded
[XEN,1/7] xen/domctl: address a violation of MISRA C:2012 Rule 16.3 xen: address violations of MISRA C:2012 Rule 16.3 - 1 - --- 2024-04-02 Federico Serafini Superseded
[XEN,v2] automation/eclair: allow parameter name "unused" [XEN,v2] automation/eclair: allow parameter name "unused" - 1 - --- 2024-03-15 Federico Serafini New
[XEN] automation/eclair: allow parameter name "unused" [XEN] automation/eclair: allow parameter name "unused" - 1 - --- 2024-03-14 Federico Serafini Superseded
[XEN] perfc: add pseudo-keyword fallthrough [XEN] perfc: add pseudo-keyword fallthrough 1 - - --- 2024-03-14 Federico Serafini New
[XEN,v2] xen: avoid grep fodder define and undef [XEN,v2] xen: avoid grep fodder define and undef 1 - - --- 2024-03-14 Federico Serafini New
[XEN,RFC] xen: avoid grep fodder define and undef [XEN,RFC] xen: avoid grep fodder define and undef - - - --- 2024-03-12 Federico Serafini Superseded
[XEN] xen/evtchn: address violations of MISRA C:2012 Rules 16.3 and 16.4 [XEN] xen/evtchn: address violations of MISRA C:2012 Rules 16.3 and 16.4 - 1 - --- 2024-03-08 Federico Serafini New
[XEN] automation/eclair: add deviation for MISRA C:2012 Rule 16.6 [XEN] automation/eclair: add deviation for MISRA C:2012 Rule 16.6 - 1 - --- 2024-03-04 Federico Serafini New
[XEN] automation/eclair: add deviation for MISRA C:2012 Rule 16.6 [XEN] automation/eclair: add deviation for MISRA C:2012 Rule 16.6 1 - - --- 2024-03-01 Federico Serafini Superseded
[XEN] automation/eclair: extend deviations of MISRA C:2012 Rule 16.3 [XEN] automation/eclair: extend deviations of MISRA C:2012 Rule 16.3 - - - --- 2024-02-28 Federico Serafini New
[XEN,2/2] automation/eclair: tag MISRA C:2012 Rule 8.2 as clean automation/eclair: update deviations and tags 1 - - --- 2024-02-23 Federico Serafini New
[XEN,1/2] automation/eclair: fully deviate MISRA C:2012 Rules 5.7 and 18.7 automation/eclair: update deviations and tags - 1 - --- 2024-02-23 Federico Serafini New
[XEN] x86/uaccess: add attribute noreturn to __{get,put}_user_bad() [XEN] x86/uaccess: add attribute noreturn to __{get,put}_user_bad() - 1 - --- 2024-02-20 Federico Serafini New
[XEN] automation/eclair: add deviation for MISRA C:2012 Rule 16.3 [XEN] automation/eclair: add deviation for MISRA C:2012 Rule 16.3 - - - --- 2024-02-19 Federico Serafini New
[XEN,v2,3/3] automation/eclair: add deviation for MISRA C:2012 Rule 16.3 Introduce and use STATIC_ASSERT_UNREACHABLE() - 1 - --- 2024-01-26 Federico Serafini New
[XEN,v2,2/3] x86/uaccess: replace __{get,put}_user_bad() with STATIC_ASSERT_UNREACHABLE() Introduce and use STATIC_ASSERT_UNREACHABLE() - - - --- 2024-01-26 Federico Serafini New
[XEN,v2,1/3] xen: introduce STATIC_ASSERT_UNREACHABLE() Introduce and use STATIC_ASSERT_UNREACHABLE() 1 - - --- 2024-01-26 Federico Serafini New
[XEN,3/3] automation/eclair: add deviation for MISRA C:2012 Rule 16.3 Introduce and use static_assert_unreachable() - - - --- 2024-01-22 Federico Serafini New
[XEN,2/3] x86/uaccess: replace __{get,put}_user_bad() with static_assert_unreachable() Introduce and use static_assert_unreachable() - - - --- 2024-01-22 Federico Serafini New
[XEN,1/3] xen: introduce static_assert_unreachable() Introduce and use static_assert_unreachable() - - - --- 2024-01-22 Federico Serafini New
[XEN] automation/eclair: add deviations for MISRA C:2012 Rule 16.3 [XEN] automation/eclair: add deviations for MISRA C:2012 Rule 16.3 - 1 - --- 2023-12-15 Federico Serafini Superseded
[XEN] automation/eclair: update configuration of MISRA C:2012 Rule 5.6 [XEN] automation/eclair: update configuration of MISRA C:2012 Rule 5.6 - 1 - --- 2023-12-15 Federico Serafini Superseded
[XEN] automation/eclair: add deviations for MISRA C:2012 Rule 16.3 [XEN] automation/eclair: add deviations for MISRA C:2012 Rule 16.3 - - - --- 2023-12-07 Federico Serafini Superseded
[XEN,6/6] xen/pci: address violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 1 - --- 2023-12-05 Federico Serafini Superseded
[XEN,5/6] x86/mce: address violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 1 - --- 2023-12-05 Federico Serafini Superseded
[XEN,4/6] x86/page: address violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 1 - --- 2023-12-05 Federico Serafini Superseded
[XEN,3/6] AMD/IOMMU: address violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 - - - --- 2023-12-05 Federico Serafini Superseded
[XEN,2/6] x86/mm: address violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 - - - --- 2023-12-05 Federico Serafini Superseded
[XEN,1/6] xen/acpi: address remaining violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 - - - --- 2023-12-05 Federico Serafini Superseded
[XEN] automation/eclair: add deviations for MISRA C:2012 Rule 5.6 [XEN] automation/eclair: add deviations for MISRA C:2012 Rule 5.6 - - - --- 2023-11-28 Federico Serafini Superseded
[XEN,11/11] xen/serial: address a violation of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 1 - --- 2023-11-24 Federico Serafini Superseded
[XEN,10/11] xen/perfc: address a violation of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 1 - --- 2023-11-24 Federico Serafini Superseded
[XEN,09/11] xen/param: address a violation of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 1 - --- 2023-11-24 Federico Serafini Superseded
[XEN,08/11] xen/kernel: address a violation of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 1 - --- 2023-11-24 Federico Serafini Superseded
[XEN,07/11] xen/iommu: address violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-11-24 Federico Serafini Superseded
[XEN,06/11] xen/notifier: address violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 1 - --- 2023-11-24 Federico Serafini Superseded
[XEN,05/11] xen/domain: address violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 1 - --- 2023-11-24 Federico Serafini Superseded
[XEN,04/11] xen/dmi: address a violation of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-11-24 Federico Serafini Superseded
[XEN,03/11] xen/cpumask: address violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-11-24 Federico Serafini Superseded
[XEN,02/11] xen/aclinux: address violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-11-24 Federico Serafini Superseded
[XEN,01/11] xen/console: address violations of MISRA C:2012 Rule 8.2 xen: address violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-11-24 Federico Serafini Superseded
[XEN] automation/eclair: add a deviation for MISRA C:2012 Rule 8.6 [XEN] automation/eclair: add a deviation for MISRA C:2012 Rule 8.6 - - - --- 2023-11-10 Federico Serafini Superseded
[XEN,v3] xen/string: address violations of MISRA C:2012 Rules 8.2 and 8.3 [XEN,v3] xen/string: address violations of MISRA C:2012 Rules 8.2 and 8.3 - 1 - --- 2023-11-07 Federico Serafini Superseded
[XEN] xen/set_{c,p}x_pminfo: address violations od MISRA C:2012 Rule 8.3 [XEN] xen/set_{c,p}x_pminfo: address violations od MISRA C:2012 Rule 8.3 - 1 - --- 2023-10-26 Federico Serafini Superseded
[XEN,7/7] x86/hpet: address violations of MISRA C:2012 Rule 8.2 x86: address some violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-10-18 Federico Serafini Superseded
[XEN,6/7] x86/vmce: address violations of MISRA C:2012 Rule 8.2 x86: address some violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-10-18 Federico Serafini Superseded
[XEN,5/7] x86/mcaction: address a violation of MISRA C:2012 Rule 8.2 x86: address some violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-10-18 Federico Serafini Superseded
[XEN,4/7] x86/cpuidle: address violations of MISRA C:2012 Rule 8.2 x86: address some violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-10-18 Federico Serafini Superseded
[XEN,3/7] x86/domain: address violations of MISRA C:2012 Rule 8.2 x86: address some violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-10-18 Federico Serafini Superseded
[XEN,2/7] x86/mtrr: address violation of MISRA C:2012 Rule 8.2 x86: address some violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-10-18 Federico Serafini Superseded
[XEN,1/7] x86/mctelem: address violations of MISRA C:2012 Rule 8.2 x86: address some violations of MISRA C:2012 Rule 8.2 1 - - --- 2023-10-18 Federico Serafini Superseded
[XEN] xen/sched: address violations of MISRA C:2012 Rule 8.2 [XEN] xen/sched: address violations of MISRA C:2012 Rule 8.2 - - - --- 2023-10-05 Federico Serafini Superseded
[XEN,v2] xen/hypercalls: address violations of MISRA C:2012 Rule 8.3 [XEN,v2] xen/hypercalls: address violations of MISRA C:2012 Rule 8.3 - 1 - --- 2023-08-23 Federico Serafini Superseded
[XEN] xen/hypercalls: address violations of MISRA C:2012 Rule 8.3 [XEN] xen/hypercalls: address violations of MISRA C:2012 Rule 8.3 - 1 - --- 2023-08-11 Federico Serafini Superseded
[XEN] x86/cpu: Address a violation of MISRA C:2012 Rule 8.3 [XEN] x86/cpu: Address a violation of MISRA C:2012 Rule 8.3 - - - --- 2023-08-07 Federico Serafini Superseded
[XEN] x86/mm: address violations of MISRA C:2012 Rules 8.2 and 8.3 [XEN] x86/mm: address violations of MISRA C:2012 Rules 8.2 and 8.3 - - - --- 2023-08-04 Federico Serafini Superseded
[XEN] xen/string: add missing parameter names [XEN] xen/string: add missing parameter names - - - --- 2023-08-02 Federico Serafini Superseded
[XEN] xen: use parameter name 'mcs' in arch_do_multicall_call() [XEN] xen: use parameter name 'mcs' in arch_do_multicall_call() - - - --- 2023-07-26 Federico Serafini Superseded
[XEN,3/3] x86/irq: address violations of MISRA C:2012 Rules 8.2 and 8.3 IRQ: address violations of MISRA C:2012 Rules 8.2 and 8.3 - - - --- 2023-07-24 Federico Serafini Superseded
[XEN,2/3] xen/arm: irq: address violations of MISRA C: 2012 Rules 8.2 and 8.3 IRQ: address violations of MISRA C:2012 Rules 8.2 and 8.3 - - - --- 2023-07-24 Federico Serafini Superseded
[XEN,1/3] xen/irq: add missing parameter names IRQ: address violations of MISRA C:2012 Rules 8.2 and 8.3 - - - --- 2023-07-24 Federico Serafini Superseded
[XEN,v2] device_tree: address violations of MISRA C:2012 Rules 8.2 and 8.3 [XEN,v2] device_tree: address violations of MISRA C:2012 Rules 8.2 and 8.3 - 2 - --- 2023-07-24 Federico Serafini Superseded
[XEN] device_tree: address violations of MISRA C:2012 Rules 8.2 and 8.3 [XEN] device_tree: address violations of MISRA C:2012 Rules 8.2 and 8.3 - - - --- 2023-07-21 Federico Serafini Superseded
[XEN] x86/mtrr: address violations of MISRA C:2012 Rule 8.3 on parameter types [XEN] x86/mtrr: address violations of MISRA C:2012 Rule 8.3 on parameter types - - - --- 2023-07-20 Federico Serafini Superseded
[XEN,v2] x86/HVM: address violations of MISRA C:2012 Rules 8.2 and 8.3 [XEN,v2] x86/HVM: address violations of MISRA C:2012 Rules 8.2 and 8.3 - - - --- 2023-07-19 Federico Serafini Superseded
[XEN] x86/HVM: address violations of MISRA C:2012 Rules 8.2 and 8.3 [XEN] x86/HVM: address violations of MISRA C:2012 Rules 8.2 and 8.3 - - - --- 2023-07-19 Federico Serafini Superseded