Array index analysis using SMT#3213

Open

mn416 wants to merge 22 commits intomasterfrom

mn416-smt-array-index-analysis

Commits on Nov 5, 2025

New SMT-based ArrayIndexAnalysis
mn416
committed

Commits on Nov 6, 2025

Commits on Nov 7, 2025

New analysis option to prohibit bit vector overflow
mn416
committed

Commits on Nov 10, 2025

Add z3-solver to setup.py
mn416
committed

Commits on Nov 14, 2025

Handle structures correctly
mn416
committed

Commits on Nov 17, 2025

Commits on Nov 18, 2025

Option to handle some common array intrinsics
mn416
committed

Commits on Nov 19, 2025

Commits on Nov 21, 2025

Move some tests to dependency_tools_test.py for coverage
mn416
committed

Commits on Nov 26, 2025

Add more pydoc and tests
mn416
committed

Commits on Nov 27, 2025

Commits on Dec 1, 2025

Commits on Dec 3, 2025