Repository navigation

Implement `Memory1` (`RULE-8-7-1`) - #967

Merged

jeongsoolee09 merged 89 commits into

mainfrom

jeongsoolee09/MISRA-C++-2023-Memory

Apr 24, 2026

Merged

Implement `Memory1` (`RULE-8-7-1`)#967
jeongsoolee09 merged 89 commits into
mainfrom
jeongsoolee09/MISRA-C++-2023-Memory

Commits on Nov 18, 2025
- Number `Memory` packages
  jeongsoolee09
  committed
  b2231c9
- Add rule description files
  jeongsoolee09
  committed
  9b5d8b2
Commits on Jan 12, 2026
- Add Memory1 package files
  jeongsoolee09
  committed
  a5d4127
- Expose malloc, calloc and realloc
  jeongsoolee09
  committed
  1a2cde8
- Minor comments
  jeongsoolee09
  committed
  c21e862
Commits on Jan 13, 2026
- Checkpoint
  jeongsoolee09
  committed
  c0b1e55
- Split out source and sinks into their cases
  jeongsoolee09
  committed
  9d3bab0
Commits on Jan 14, 2026
- Checkpoint
  jeongsoolee09
  committed
  a8a6db7
Commits on Jan 15, 2026
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Memory
  jeongsoolee09
  committed
  4464702
Commits on Jan 16, 2026
- Checkpoint: Add `DynamicAllocation` case
  jeongsoolee09
  committed
  e2c5870
Commits on Jan 20, 2026
- First working draft
  jeongsoolee09
  committed
  fe2a3c4
Commits on Jan 21, 2026
- Refine into path-problem
  jeongsoolee09
  committed
  5ea652b
- Change `TaintTracking` to `DataFlow`
  jeongsoolee09
  committed
  7b860d9
Commits on Jan 22, 2026
- Finalize first working draft for stack / heap arrays
  jeongsoolee09
  committed
  08b8bf7
Commits on Jan 23, 2026
- Document code copy and clean up imports
  jeongsoolee09
  committed
  062c62f
- Add multidimensional arrays alloc'ed on stack
  jeongsoolee09
  committed
  e264dfd
- Add test.cpp and expected test results
  jeongsoolee09
  committed
  4d2bc8b
- Add exclusion for Memory1.qll
  jeongsoolee09
  committed
  21500b8
- Adjust precision of existing rule and add a supplementary rule
  jeongsoolee09
  committed
  e9f39a2
- Add supplementary query files
  jeongsoolee09
  committed
  a62e2e1
Commits on Jan 26, 2026
Commits on Jan 27, 2026
- Copy test.c from ARR38-C and add strncpy
  jeongsoolee09
  committed
  356bbf2
- Add headers, Add defininitions to headers, remove cases without null terminator, remove file pointer cases
  jeongsoolee09
  committed
  4c4cf49
Commits on Jan 29, 2026
- Remove testref and add qlref and expected
  jeongsoolee09
  committed
  9ced913
- Address case of `strncat`
  jeongsoolee09
  committed
  1c5dc84
- Remove unused predicate and update .expected
  jeongsoolee09
  committed
  2f80208
- Fix formatting error on the name property of the package
  jeongsoolee09
  committed
  0b7f024
- Fix formatting of test.cpp
  jeongsoolee09
  committed
  8585568
Commits on Jan 30, 2026
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Memory
  jeongsoolee09
  authored
  610af04
- Fix name formatting
  jeongsoolee09
  committed
  fe1bb85
- Merge branch 'jeongsoolee09/MISRA-C++-2023-Memory' of github.com:github/codeql-coding-standards into jeongsoolee09/MISRA-C++-2023-Memory
  jeongsoolee09
  committed
  4989ff2
- Commit these later
  jeongsoolee09
  committed
  ccd7993
- Remove alerts for negative offsets and fix @name property
  jeongsoolee09
  committed
  4780155
- Fix precision in description file
  jeongsoolee09
  committed
  fd2713f
- Fix test case formatting
  jeongsoolee09
  committed
  8ecc213
- Add QLDocs and comments
  jeongsoolee09
  committed
  77fa2b7
Commits on Feb 2, 2026
- Update the locations in an expected file
  jeongsoolee09
  committed
  a608d11
Commits on Feb 3, 2026
- Change the query in that gets excluded to the right one
  jeongsoolee09
  committed
  8435f3c
- Add complete docstring to `NarrowedHeadAllocationFunctionCall`
  jeongsoolee09
  committed
  32be773
Commits on Mar 1, 2026
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Memory
  jeongsoolee09
  committed
  c56946a
Commits on Mar 6, 2026
- Add experimental query
  jeongsoolee09
  committed
  cc0f80a
Commits on Mar 9, 2026
- Centralize TrackArray::flow(Path) to from-where-select
  jeongsoolee09
  committed
  ae922a7
- Move flowPath to srcSinkLengthMap and add stack_only.cpp
  jeongsoolee09
  committed
  1286958
- Bind the two PathNodes in `from` to the pointers
  jeongsoolee09
  committed
  1085d38
- Add `pointer_only.cpp`
  jeongsoolee09
  committed
  332a98d
- Add more debugging messages
  jeongsoolee09
  committed
  917e2ba
Commits on Mar 10, 2026
Commits on Mar 11, 2026
- Add docstrings
  jeongsoolee09
  committed
  9493945
Commits on Mar 13, 2026
- Support the multidimensional array cases
  jeongsoolee09
  committed
  212b266
- Finish experimentation with srcSinkLengthMap and merge
  jeongsoolee09
  committed
  e3c80f5
Commits on Mar 23, 2026
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Memory
  jeongsoolee09
  authored
  369c99b
- Update RuleMetadata.qll
  jeongsoolee09
  committed
  9272117
- Remove unnecessary files and fix formatting
  jeongsoolee09
  committed
  4bcc59f
- Fix formatting and mention that OutOfBounds is a copy
  jeongsoolee09
  committed
  14bdcbd
Commits on Mar 24, 2026
- Add test cases
  jeongsoolee09
  committed
  d254ec2
- Format message and finish final draft
  jeongsoolee09
  committed
  a692ba7
Commits on Apr 9, 2026
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Memory
  jeongsoolee09
  authored
  49f49e6
Commits on Apr 13, 2026
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Memory
  jeongsoolee09
  authored
  51c0778
Commits on Apr 21, 2026
- Fix minor formatting in the test file
  jeongsoolee09
  committed
  328842e
- Add note to IndirectUninitializedNode
  jeongsoolee09
  committed
  08c151b
- Add an accumulating logic
  jeongsoolee09
  committed
  394b7ad
- Add some documentation
  jeongsoolee09
  committed
  2e4ace6
- Add more docs
  jeongsoolee09
  committed
  592c717
- Fix formatting error
  jeongsoolee09
  committed
  9f9d369
- Add support for address of arbitrary lvalue exprs
  jeongsoolee09
  committed
  44ef266
- Fix formatting
  jeongsoolee09
  committed
  8a45c9c
- Update expected results of both queries
  jeongsoolee09
  committed
  5b9b5d8
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Memory
  jeongsoolee09
  authored
  7b3569f
Commits on Apr 23, 2026
- Experiment dealing including / excluding `AddressOfExpr`
  jeongsoolee09
  committed
  4f55c77
- Remove `FALSE_NEGATIVE` labels from offshoots-to-left cases
  jeongsoolee09
  committed
  ebd1e58
- Clean up logic in `ArrayDeclaration`
  jeongsoolee09
  committed
  e8cb6b5
- Fix formatting
  jeongsoolee09
  committed
  b3fb756
- Flag a case as false negative
  jeongsoolee09
  committed
  a21c8ba
- Update the expected results of both queries
  jeongsoolee09
  committed
  b560fef
- Update rule description file of `Memory1`
  jeongsoolee09
  committed
  60ddfaa
- Finish the docstring
  jeongsoolee09
  committed
  fc33738
- Update query metadata and fix formatting
  jeongsoolee09
  committed
  45aedd7
- Super minor formatting
  jeongsoolee09
  committed
  38b98ec
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Memory
  jeongsoolee09
  authored
  71e30fb
Commits on Apr 24, 2026
- Update unit test results
  jeongsoolee09
  committed
  b6eff54

Commits

Commits on Nov 18, 2025

Commits on Jan 12, 2026

Commits on Jan 13, 2026

Commits on Jan 14, 2026

Commits on Jan 15, 2026

Commits on Jan 16, 2026

Commits on Jan 20, 2026

Commits on Jan 21, 2026

Commits on Jan 22, 2026

Commits on Jan 23, 2026

Commits on Jan 26, 2026

Commits on Jan 27, 2026

Commits on Jan 29, 2026

Commits on Jan 30, 2026

Commits on Feb 2, 2026

Commits on Feb 3, 2026

Commits on Mar 1, 2026

Commits on Mar 6, 2026

Commits on Mar 9, 2026

Commits on Mar 10, 2026

Commits on Mar 11, 2026

Commits on Mar 13, 2026

Commits on Mar 23, 2026

Commits on Mar 24, 2026

Commits on Apr 9, 2026

Commits on Apr 13, 2026

Commits on Apr 21, 2026

Commits on Apr 23, 2026

Commits on Apr 24, 2026