58 analyzer stabilization const correctness cross tu robustness and appcli refactor - #59

Merged

SizzleUnrlsd merged 33 commits into

mainfrom

58-analyzer-stabilization-const-correctness-cross-tu-robustness-and-appcli-refactor

Mar 19, 2026

Commits on Mar 14, 2026

chore(config): set warnings-only default to false
SizzleUnrlsd
committed
026d6c0
build(cmake): add ParameterDebugBinding source to analyzer target
SizzleUnrlsd
committed
9624d53
refactor(analysis): replace raw const-param debug fields with ParameterDebugBinding
SizzleUnrlsd
committed
1813f8a
refactor(app): simplify runAnalyzerApp signature by removing external LLVMContext
SizzleUnrlsd
committed
5b1926e
refactor(main): delegate LLVMContext lifecycle to analyzer app
SizzleUnrlsd
committed
b31f398
feat(analysis): improve const-parameter detection with tri-state write inference and confidence scoring
SizzleUnrlsd
committed
19a9fff
refactor(analysis): make mem intrinsic callee resolution const-correct
SizzleUnrlsd
committed
1c6c63d
refactor(analysis): use const TargetLibraryInfo in known sink lookup
SizzleUnrlsd
committed
8d537e4
refactor(analysis): make alloca fallback checks const-safe
SizzleUnrlsd
committed
53a1b8e
refactor(analysis): apply const-correctness to stack escape fact collection
SizzleUnrlsd
committed
42d70e0
refactor(pipeline): mark function attrs pass state as const
SizzleUnrlsd
committed
aa0d77f
feat(diagnostics): emit const-parameter findings from debug binding with confidence
SizzleUnrlsd
committed
5aed5ff
fix(app): isolate cross-tu resource summary cache keys by analysis filters
SizzleUnrlsd
committed
9cb60ba
refactor(cli): unify SMT option handlers with optional error results
SizzleUnrlsd
committed
297cd68
feat(analysis): add ParameterDebugBinding interface for LLVM debug metadata
SizzleUnrlsd
committed
0bd5373
feat(analysis): implement scored parameter debug binding resolution
SizzleUnrlsd
committed
a777e53
docs(issues): document self-analysis stabilization scope and follow-up
SizzleUnrlsd
committed
a61fbbc
chore(style): format code with clang-format
SizzleUnrlsd
committed
3ec952f
fix(analysis): avoid signed score accumulation in scoreVariable to eliminate overflow false positives
SizzleUnrlsd
committed
aa46677

Navigation Menu

Uh oh!

58 analyzer stabilization const correctness cross tu robustness and appcli refactor - #59

58 analyzer stabilization const correctness cross tu robustness and appcli refactor#59
SizzleUnrlsd merged 33 commits into
mainfrom
58-analyzer-stabilization-const-correctness-cross-tu-robustness-and-appcli-refactor

Commits on Mar 14, 2026

chore(config): set warnings-only default to false

build(cmake): add ParameterDebugBinding source to analyzer target

refactor(analysis): replace raw const-param debug fields with ParameterDebugBinding

refactor(app): simplify runAnalyzerApp signature by removing external LLVMContext

refactor(main): delegate LLVMContext lifecycle to analyzer app

feat(analysis): improve const-parameter detection with tri-state write inference and confidence scoring

refactor(analysis): make mem intrinsic callee resolution const-correct

refactor(analysis): use const TargetLibraryInfo in known sink lookup

refactor(analysis): make alloca fallback checks const-safe

refactor(analysis): apply const-correctness to stack escape fact collection

refactor(pipeline): mark function attrs pass state as const

feat(diagnostics): emit const-parameter findings from debug binding with confidence

fix(app): isolate cross-tu resource summary cache keys by analysis filters

refactor(cli): unify SMT option handlers with optional error results

feat(analysis): add ParameterDebugBinding interface for LLVM debug metadata

feat(analysis): implement scored parameter debug binding resolution

docs(issues): document self-analysis stabilization scope and follow-up

chore(style): format code with clang-format

fix(analysis): avoid signed score accumulation in scoreVariable to eliminate overflow false positives

Commits on Mar 17, 2026

chore(config): add 'compile-ir-format' command

docs(readme): update documentation

chore(memory-padding): update struct to align

feat(LLVM-IR Bitecode File Format): adding support of binary representation of the LLVM Intermediate Representation (IR)

feat(LLVM-IR Bitecode File Format): adding support of binary representation of the LLVM Intermediate Representation (IR)

test(runner): update runner

feat(profiling): add aggregated hotspot timing across loading and analysis

refactor(analyzer): add shared artifact store and IR fact collector rollout

feat(analyzer): reuse subscriber instruction cache across pipeline checks

perf(cross-tu): add delta-based convergence for resource and uninitialized summaries

Commits on Mar 19, 2026

fix(config): default analyzer jobs to auto-detect hardware concurrency

refactor(app): switch cross-TU summary convergence to SCC-based worklist

chore(style): format code with clang-format

Merge pull request #61 from CoreTrace/60-refactoroptimisation-reduction-of-llvm-analysis-algorithmic-cost-through-shared-traversals-and-intermediate-artifacts