1 Release published by 1 person

• v2.43.0

  published Mar 24, 2025

6 Pull requests merged by 2 people

• Implement final MISRA C 2023 rule amendments

  #872 merged Mar 28, 2025

• Implement Concurrency9 package

  #819 merged Mar 27, 2025

• Implement DIR-4-15, detection of NaNs and Infinities

  #849 merged Mar 26, 2025

• Implement generics package

  #867 merged Mar 26, 2025

• Bump version to 2.44.0-dev

  #874 merged Mar 24, 2025

• Release v2.43.0

  #873 merged Mar 24, 2025

3 Pull requests opened by 2 people

• Restore deleted deviations suppression query

  #876 opened Mar 26, 2025

• Implement missing amendment for directive 4-11 from misra C 2012 amendment 3

  #878 opened Mar 27, 2025

• Add additional CERT-C rules to rules.csv

  #879 opened Mar 29, 2025

2 Issues opened by 1 person

• Add support for `tss_t` thread local objects in Objects.qll

  #877 opened Mar 27, 2025

• `DIR-4-15`: Add support for `fpclassify()` functions.

  #875 opened Mar 25, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Implement EssentialTypes2 package

  #871 commented on Mar 27, 2025 • 1 new comment