Show patches with: Submitter = Federico Serafini       |    State = Action Required       |    Archived = No       |   29 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[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,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] 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,v2] automation/eclair: allow parameter name "unused" [XEN,v2] automation/eclair: allow parameter name "unused" - 1 - --- 2024-03-15 Federico Serafini New
[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] 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: 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