Fix/self analysis false positives and reorder init - #56

Merged

SizzleUnrlsd merged 68 commits into

mainfrom

fix/self-analysis-false-positives-and-reorder-init

Mar 9, 2026

Commits on Mar 9, 2026

chore(config): update .ctrace-analyzer.cfg
SizzleUnrlsd
committed
c153851
build(cmake): update CMakeLists.txt
SizzleUnrlsd
committed
89db13b
docs(readme): update README.md
SizzleUnrlsd
committed
ddc0579
refactor(include): update StackUsageAnalyzer.hpp
SizzleUnrlsd
committed
5e654ec
fix(analysis): update AllocaUsage.hpp
SizzleUnrlsd
committed
6be71e6
fix(analysis): update BufferWriteModel.hpp
SizzleUnrlsd
committed
aa76bed
fix(analysis): update ConstParamAnalysis.hpp
SizzleUnrlsd
committed
e9bb219
fix(analysis): update FunctionFilter.hpp
SizzleUnrlsd
committed
fb94a1f
fix(analysis): update GlobalReadBeforeWriteAnalysis.hpp
SizzleUnrlsd
committed
04158c9
fix(analysis): update InputPipeline.hpp
SizzleUnrlsd
committed
b6987b8
fix(analysis): update IntRanges.hpp
SizzleUnrlsd
committed
ad02840
fix(analysis): update IntegerOverflowAnalysis.hpp
SizzleUnrlsd
committed
0163258
fix(analysis): update InvalidBaseReconstruction.hpp
SizzleUnrlsd
committed
affa01a
fix(analysis): update MemIntrinsicOverflow.hpp
SizzleUnrlsd
committed
fc82fc9
fix(analysis): update NullDerefAnalysis.hpp
SizzleUnrlsd
committed
9f65d9e
fix(analysis): update OOBReadAnalysis.hpp
SizzleUnrlsd
committed
78d074c
fix(analysis): update ResourceLifetimeAnalysis.hpp
SizzleUnrlsd
committed
c282af9
fix(analysis): update SizeMinusKWrites.hpp
SizzleUnrlsd
committed
2ea2468
fix(analysis): update StackBufferAnalysis.hpp
SizzleUnrlsd
committed
ef21216
fix(analysis): update StackComputation.hpp
SizzleUnrlsd
committed
3d35f56
fix(analysis): update UninitializedVarAnalysis.hpp
SizzleUnrlsd
committed
c14b35e
fix(smt): update ConstraintIR.hpp
SizzleUnrlsd
committed
f1a165e
fix(smt): update SmtRefinement.hpp
SizzleUnrlsd
committed
e11b3e1
fix(smt): update SolverOrchestrator.hpp
SizzleUnrlsd
committed
901b901
fix(smt): update SolverTypes.hpp
SizzleUnrlsd
committed
ce350a2
fix(analyzer): update LocationResolver.hpp
SizzleUnrlsd
committed
a2fdf3d
fix(app): update AnalyzerApp.hpp
SizzleUnrlsd
committed
b3d2cf7
fix(cli): update ArgParser.hpp
SizzleUnrlsd
committed
4c8a325
fix(cli): update main.cpp
SizzleUnrlsd
committed
270b4a6
fix(analysis): update AnalyzerUtils.cpp
SizzleUnrlsd
committed
7837102
fix(analysis): update ConstParamAnalysis.cpp
SizzleUnrlsd
committed
f38678b
fix(analysis): update DuplicateIfCondition.cpp
SizzleUnrlsd
committed
5981bbb
fix(analysis): update FrontendDiagnostics.cpp
SizzleUnrlsd
committed
05b932f
fix(analysis): update GlobalReadBeforeWriteAnalysis.cpp
SizzleUnrlsd
committed
5d6abb5
fix(analysis): update InputPipeline.cpp
SizzleUnrlsd
committed
b2b227c
fix(analysis): update IntegerOverflowAnalysis.cpp
SizzleUnrlsd
committed
b9a9493
fix(analysis): update InvalidBaseReconstruction.cpp
SizzleUnrlsd
committed
2893d26
fix(analysis): update MemIntrinsicOverflow.cpp
SizzleUnrlsd
committed
eb8b4bd
fix(analysis): update OOBReadAnalysis.cpp
SizzleUnrlsd
committed
cd0a427
fix(analysis): update ResourceLifetimeAnalysis.cpp
SizzleUnrlsd
committed
4aed946
fix(analysis): update StackBufferAnalysis.cpp
SizzleUnrlsd
committed
0fc78c9
fix(analysis): update StackComputation.cpp
SizzleUnrlsd
committed
b51ba8d
fix(analysis): update StackPointerEscape.cpp
SizzleUnrlsd
committed
66301d3
fix(analysis): update StackPointerEscapeInternal.hpp
SizzleUnrlsd
committed
d1df3ce
fix(analysis): update TOCTOUAnalysis.cpp
SizzleUnrlsd
committed
9aa2372
fix(analysis): update UninitializedVarAnalysis.cpp
SizzleUnrlsd
committed
aa12c03
fix(smt): update SmtEncoding.cpp
SizzleUnrlsd
committed
2c72f7a
fix(smt): update SolverOrchestrator.cpp
SizzleUnrlsd
committed
8f8ffe9
fix(smt): update Z3Backend.cpp
SizzleUnrlsd
committed
8d7f961
fix(analyzer): update AnalysisPipeline.cpp
SizzleUnrlsd
committed
dcbfe7f
fix(analyzer): update DiagnosticEmitter.cpp
SizzleUnrlsd
committed
fdaa8d5
fix(app): update AnalyzerApp.cpp
SizzleUnrlsd
committed
9f8bbb5
fix(cli): update ArgParser.cpp
SizzleUnrlsd
committed
dfc4ea8
docs(architecture): update smt-implementation-plans.md
SizzleUnrlsd
committed
5d094a2
docs(architecture): update smt-solver-integration.md
SizzleUnrlsd
committed
cc96b40
test(analysis): update duplicate-if-unreachable-elseif-fp.cpp
SizzleUnrlsd
committed
923a5e4
test(analysis): update uninitialized-beststack-est.cpp
SizzleUnrlsd
committed
57991e8
test(analysis): update uninitialized-default-config-wrapper.cpp
SizzleUnrlsd
committed
e884e74
test(analysis): update uninitialized-info-temp-map.cpp
SizzleUnrlsd
committed
95fc707
test(analysis): update uninitialized-local-maxcallee.cpp
SizzleUnrlsd
committed
f9dae8f
test(analysis): update uninitialized-merged-return.cpp
SizzleUnrlsd
committed
33a6e60
test(analysis): update global-array-read-without-local-write.c
SizzleUnrlsd
committed
e24dd65
test(analysis): update uninitialized-local-cpp-bitfield-copy-ctor.cpp
SizzleUnrlsd
committed
9f13664
test(analysis): update uninitialized-local-cpp-bitfield-default-member-init.cpp
SizzleUnrlsd
committed
7807801
test(analysis): update uninitialized-local-cpp-bitfield-missing-init.cpp
SizzleUnrlsd
committed
3f1c284
chore(style): format code with clang-format
SizzleUnrlsd
committed
d5fd5fc
build(cmake): gate -Wreorder-init-list by compiler support
SizzleUnrlsd
committed
65ae38a
ci(workflow): restrict build triggers to main and cancel stale runs
SizzleUnrlsd
committed
4a88cb8