Issues

• Const suggestion unit tests write to fixed temporary directories

  bug
  CoreTrace/coretrace-stack-analyzer#253 · Filter by author SizzleUnrlsd opened on Oct 26, 2026

• Const suggestion check: a failing original compilation is compiled again for each suggestion

  enhancement
  CoreTrace/coretrace-stack-analyzer#252 · Filter by author SizzleUnrlsd opened on Oct 26, 2026

• Const suggestion check: step 3 of the correspondences scans every pair for each target

  enhancement
  CoreTrace/coretrace-stack-analyzer#251 · Filter by author SizzleUnrlsd opened on Oct 26, 2026

• Const suggestion check: an alias of a deduced parameter type keeps the suggestion not checked

  enhancement
  CoreTrace/coretrace-stack-analyzer#250 · Filter by author SizzleUnrlsd opened on Oct 26, 2026

• Const suggestion check: build the Clang invocation in one function

  enhancement
  CoreTrace/coretrace-stack-analyzer#249 · Filter by author SizzleUnrlsd opened on Oct 26, 2026

• Const suggestion check: an ambiguity reason is not re-evaluated after the fixpoint (not reproduced)

  CoreTrace/coretrace-stack-analyzer#248 · Filter by author SizzleUnrlsd opened on Oct 26, 2026

• Design: buffer extent and length tracking (symbolic sizes, cross-TU extents, taint) for the overflow rules

  enhancement
  CoreTrace/coretrace-stack-analyzer#247 · Filter by author SizzleUnrlsd opened on Oct 26, 2026

• Report related locations, and a confidence level, as structured data

  enhancement
  CoreTrace/coretrace-stack-analyzer#244 · Filter by author SizzleUnrlsd opened on Oct 22, 2026
  

• JSON and SARIF messages carry the human report's layout ([ !!Warn ], tabs, ↳ lines)

  bug
  CoreTrace/coretrace-stack-analyzer#243 · Filter by author SizzleUnrlsd opened on Oct 22, 2026
  

• Symbols that the C++ runtime's demangler predates, such as C++23 explicit object members, stay mangled in the output

  bug
  CoreTrace/coretrace-stack-analyzer#240 · Filter by author SizzleUnrlsd opened on Oct 21, 2026
  

• ParameterDebugBinding unit tests expect an empty parameter to take no IR argument, which fails on Linux arm64

  bug
  CoreTrace/coretrace-stack-analyzer#237 · Filter by author SizzleUnrlsd opened on Oct 20, 2026
  

• MultipleStoresToStackBuffer: the order of a function's buffers follows memory addresses

  bug
  CoreTrace/coretrace-stack-analyzer#234 · Filter by author SizzleUnrlsd opened on Oct 16, 2026
  

• A change to the coretrace-compiler checkout is not always seen by the next build

  bug
  CoreTrace/coretrace-stack-analyzer#232 · Filter by author SizzleUnrlsd opened on Oct 16, 2026
  

• ConstParameterNotModified: in optimized IR, a base-object constructor reports a parameter it writes

  bug
  CoreTrace/coretrace-stack-analyzer#231 · Filter by author SizzleUnrlsd opened on Oct 16, 2026
  

• False positive: StackPointerEscape on the caller of a function that passes the address to a virtual call

  bugFP
  CoreTrace/coretrace-stack-analyzer#226 · Filter by author SizzleUnrlsd opened on Oct 15, 2026
  

• False positive: UninitializedLocalRead on an array a counted loop writes in full

  bugFP
  CoreTrace/coretrace-stack-analyzer#224 · Filter by author SizzleUnrlsd opened on Oct 15, 2026

• False positive: StackPointerEscape on an address a callee stores in memory it frees before returning

  bug
  CoreTrace/coretrace-stack-analyzer#222 · Filter by author SizzleUnrlsd opened on Oct 14, 2026
  

• JSON and SARIF outputs list the same diagnostics in a different order from one run to the next

  bug
  CoreTrace/coretrace-stack-analyzer#220 · Filter by author SizzleUnrlsd opened on Oct 14, 2026
  

• UninitializedLocalRead memory grows with blocks times locals and kills the run on large functions

  bug
  CoreTrace/coretrace-stack-analyzer#218 · Filter by author SizzleUnrlsd opened on Oct 13, 2026
  

• ConstParameterNotModified suggests a const type that does not compile

  bug
  CoreTrace/coretrace-stack-analyzer#217 · Filter by author SizzleUnrlsd opened on Oct 13, 2026
  1

  

• False positive: ConstParameterNotModified.Pointer when the caller writes through a pointer that a callee returns

  bug
  CoreTrace/coretrace-stack-analyzer#216 · Filter by author SizzleUnrlsd opened on Oct 13, 2026
  

• StackBufferOverflow analysis does not terminate on zlib crc32_z

  bug
  CoreTrace/coretrace-stack-analyzer#215 · Filter by author SizzleUnrlsd opened on Oct 13, 2026
  1

  

• A compile command with -Werror fails the input on a warning only the analyzer's libc++ emits

  bug
  CoreTrace/coretrace-stack-analyzer#214 · Filter by author SizzleUnrlsd opened on Oct 13, 2026

• False positive: ConstParameterNotModified.Pointer on a pointee written through masked pointer bits

  bug
  CoreTrace/coretrace-stack-analyzer#213 · Filter by author SizzleUnrlsd opened on Oct 12, 2026

• The Docker images and the GitHub Action build the analyzer without Z3

  enhancement
  CoreTrace/coretrace-stack-analyzer#212 · Filter by author SizzleUnrlsd opened on Oct 10, 2026