Repository navigation

Add packages `Memory5` and `Memory6` - #1048

Merged

jeongsoolee09 merged 57 commits into

mainfrom

jeongsoolee09/MISRA-C++-2023-Memory5-Memory6

Feb 27, 2026

Commits on Feb 12, 2026
- Number package names to Memory5 and Memory6
  jeongsoolee09
  committed
  b1b46a8
- Add rule package description files
  jeongsoolee09
  committed
  0f5bb42
- Add rule package files
  jeongsoolee09
  committed
  ebd28d7
- Add test case for Memory5 (RULE-21-6-2)
  jeongsoolee09
  committed
  b416471
Commits on Feb 13, 2026
- Add missing stubs
  jeongsoolee09
  committed
  fd0479d
Commits on Feb 15, 2026
- Prune unneeded stubs
  jeongsoolee09
  committed
  2c0f579
- re-export calloc, realloc, aligned_alloc
  jeongsoolee09
  committed
  ad1ddf1
- Forward-declare `tuple` in utility.h and define it in tuple.h
  jeongsoolee09
  committed
  b454890
Commits on Feb 17, 2026
- Format the stub code and add stdlib.h to test
  jeongsoolee09
  committed
  c7e2e87
- Checkpoint
  jeongsoolee09
  committed
  3e795fa
Commits on Feb 18, 2026
- Finalize first draft of Rule 21.6.2
  jeongsoolee09
  committed
  9d525db
- Add cases where the addresses of the APIs in question are taken
  jeongsoolee09
  committed
  57e3019
- Address `auto` deduction errors because of overloads
  jeongsoolee09
  committed
  9075324
- Finalize first draft
  jeongsoolee09
  committed
  e33e379
Commits on Feb 19, 2026
- Add test cases for RULE-21-6-3
  jeongsoolee09
  committed
  71055d3
- Fix error in stubs
  jeongsoolee09
  committed
  3c7b4c9
- Add missing stubs
  jeongsoolee09
  committed
  907f40b
- Checkpoint
  jeongsoolee09
  committed
  69765a6
Commits on Feb 20, 2026
- Mark existing class-specific declarations as false-negative and add class-specific inline definitions
  jeongsoolee09
  committed
  3293d4f
- Remove false_negative cases
  jeongsoolee09
  committed
  5ccc149
- Fix a bug in the shared library
  jeongsoolee09
  committed
  e67b7af
- Clean up code
  jeongsoolee09
  committed
  bfba947
- Add more cases
  jeongsoolee09
  committed
  d13d596
- Minor readability improvement
  jeongsoolee09
  committed
  e13583f
Commits on Feb 23, 2026
Commits on Feb 24, 2026
- Fix stubs
  jeongsoolee09
  committed
  5262b89
- Update expected results of Rule 21.6.2
  jeongsoolee09
  committed
  466eb52
- Make a base class OperatorNewOrDelete and use that in 21-6-3
  jeongsoolee09
  committed
  304479c
- Rename file to cpp/standardlibrary/Memory.qll
  jeongsoolee09
  committed
  14ecc2b
- Change include guard name
  jeongsoolee09
  committed
  28d79b2
Commits on Feb 25, 2026
- Fix import path and reuse `OperatorNewOrDelete`
  jeongsoolee09
  committed
  5a82e00
- Reword alert messages
  jeongsoolee09
  committed
  0f7b0aa
- Avoid duplicate alerts on `realloc`
  jeongsoolee09
  committed
  cbd972b
- Reword alert message from `DynamicMemoryManagedManually`
  jeongsoolee09
  committed
  367b677
- Omit description from alert of RULE-21-6-2
  jeongsoolee09
  committed
  e20878d
- Decrease verbosity of alerts from both queries
  jeongsoolee09
  committed
  f6f6f96
- Fix formatting of query
  jeongsoolee09
  committed
  2578910
- Impose new hierarchy among operator new / delete
  jeongsoolee09
  committed
  dfbd0ea
- Change referenced class by NonStandardNewOrNewArrayOperator and such
  jeongsoolee09
  committed
  c3ae6e8
- Add a set of compliant cases and update test results
  jeongsoolee09
  committed
  b6fe7b5
Commits on Feb 26, 2026
- Remove unneeded comments
  jeongsoolee09
  committed
  35854cf
- Change labels of take_address_of_class_specific_* tests to NON_COMPLIANT[FALSE_NEGATIVE]
  jeongsoolee09
  committed
  7af7e8c
- Update descriptions to better reflect rationale
  jeongsoolee09
  committed
  e966b3b
- Revert title of Memory6
  jeongsoolee09
  committed
  56bad09
- Use the title from rules.csv
  jeongsoolee09
  committed
  f2630d6
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Memory5-Memory6
  jeongsoolee09
  authored
  832ff90
- Remove duplicate declaration of `allocator`
  jeongsoolee09
  committed
  325c330
Commits on Feb 27, 2026
- Add correctness and maintainability to the @tags property
  jeongsoolee09
  committed
  2e1637e
- Add missing stub <scoped_allocator>
  jeongsoolee09
  committed
  0c1521c

Commits

Commits on Feb 12, 2026

Commits on Feb 13, 2026

Commits on Feb 15, 2026

Commits on Feb 17, 2026

Commits on Feb 18, 2026

Commits on Feb 19, 2026

Commits on Feb 20, 2026

Commits on Feb 23, 2026

Commits on Feb 24, 2026

Commits on Feb 25, 2026

Commits on Feb 26, 2026

Commits on Feb 27, 2026