MANIFEST.in
README.md
pyproject.toml
a3_python/__init__.py
a3_python/__main__.py
a3_python/analyzer.py
a3_python/cli.py
a3_python/confidence_interval.py
a3_python/confidence_scoring.py
a3_python/fp_context.py
a3_python/stochastic_risk.py
a3_python.egg-info/PKG-INFO
a3_python.egg-info/SOURCES.txt
a3_python.egg-info/dependency_links.txt
a3_python.egg-info/entry_points.txt
a3_python.egg-info/requires.txt
a3_python.egg-info/top_level.txt
a3_python/barriers/__init__.py
a3_python/barriers/abstraction.py
a3_python/barriers/advanced.py
a3_python/barriers/assume_guarantee.py
a3_python/barriers/bayesian_fp_scorer.py
a3_python/barriers/boolean_programs.py
a3_python/barriers/cegar_refinement.py
a3_python/barriers/cegis.py
a3_python/barriers/certificate_core.py
a3_python/barriers/context_aware_verification.py
a3_python/barriers/deep_barrier_theory.py
a3_python/barriers/dsos_sdsos.py
a3_python/barriers/enhanced_barrier_theory.py
a3_python/barriers/extreme_verification.py
a3_python/barriers/fast_barrier_filters.py
a3_python/barriers/foundations.py
a3_python/barriers/guard_to_barrier.py
a3_python/barriers/houdini.py
a3_python/barriers/hscc2004.py
a3_python/barriers/hybrid_barrier.py
a3_python/barriers/ic3_pdr.py
a3_python/barriers/ice.py
a3_python/barriers/ice_learning.py
a3_python/barriers/impact_lazy.py
a3_python/barriers/int_bmc.py
a3_python/barriers/interpolation_imc.py
a3_python/barriers/invariants.py
a3_python/barriers/kitchensink_taxonomy.py
a3_python/barriers/lasserre_hierarchy.py
a3_python/barriers/learned_invariants.py
a3_python/barriers/learning.py
a3_python/barriers/papers_11_to_15_complete.py
a3_python/barriers/papers_16_to_20_complete.py
a3_python/barriers/papers_1_to_5_complete.py
a3_python/barriers/papers_6_to_10_complete.py
a3_python/barriers/parrilo_sos_sdp.py
a3_python/barriers/path_validation.py
a3_python/barriers/pdr_spacer.py
a3_python/barriers/positivstellensatz.py
a3_python/barriers/predicate_abstraction.py
a3_python/barriers/program_analysis.py
a3_python/barriers/quick_precheck.py
a3_python/barriers/ranking.py
a3_python/barriers/ranking_synthesis.py
a3_python/barriers/sos_safety.py
a3_python/barriers/sos_toolbox.py
a3_python/barriers/sos_unified.py
a3_python/barriers/sostools.py
a3_python/barriers/spacer_chc.py
a3_python/barriers/sparse_sos.py
a3_python/barriers/step_relation.py
a3_python/barriers/stochastic_barrier.py
a3_python/barriers/sygus_synthesis.py
a3_python/barriers/synthesis.py
a3_python/barriers/synthesis_engine.py
a3_python/barriers/templates.py
a3_python/barriers/type_inference_verification.py
a3_python/barriers/unified_sota_912.py
a3_python/cfg/__init__.py
a3_python/cfg/affine_loop_model.py
a3_python/cfg/call_graph.py
a3_python/cfg/control_flow.py
a3_python/cfg/dataflow.py
a3_python/cfg/loop_analysis.py
a3_python/ci/__init__.py
a3_python/ci/agentic_triage.py
a3_python/ci/baseline.py
a3_python/ci/config.py
a3_python/ci/init_cmd.py
a3_python/ci/sarif.py
a3_python/ci/triage.py
a3_python/ci/templates/a3-pr-scan.yml
a3_python/ci/templates/a3-scheduled-scan.yml
a3_python/contracts/__init__.py
a3_python/contracts/base.py
a3_python/contracts/builtin_relations.py
a3_python/contracts/checker.py
a3_python/contracts/relations.py
a3_python/contracts/schema.py
a3_python/contracts/security.py
a3_python/contracts/security_lattice.py
a3_python/contracts/stdlib.py
a3_python/contracts/stdlib_module_relations.py
a3_python/contracts/stdlib_stubs.py
a3_python/contracts/torch_contracts.py
a3_python/contracts/barriers/__init__.py
a3_python/contracts/barriers/abstract_values.py
a3_python/contracts/barriers/contracts.py
a3_python/contracts/barriers/deferred.py
a3_python/contracts/barriers/device_analyzer.py
a3_python/contracts/barriers/intervals.py
a3_python/contracts/barriers/torch/__init__.py
a3_python/contracts/barriers/torch/accelerators.py
a3_python/contracts/barriers/torch/amp.py
a3_python/contracts/barriers/torch/autograd.py
a3_python/contracts/barriers/torch/backends.py
a3_python/contracts/barriers/torch/core.py
a3_python/contracts/barriers/torch/cuda.py
a3_python/contracts/barriers/torch/data.py
a3_python/contracts/barriers/torch/distributed.py
a3_python/contracts/barriers/torch/distributions.py
a3_python/contracts/barriers/torch/experimental.py
a3_python/contracts/barriers/torch/export_compile.py
a3_python/contracts/barriers/torch/fft.py
a3_python/contracts/barriers/torch/hub_package.py
a3_python/contracts/barriers/torch/jit.py
a3_python/contracts/barriers/torch/linalg.py
a3_python/contracts/barriers/torch/nn_functional.py
a3_python/contracts/barriers/torch/nn_modules.py
a3_python/contracts/barriers/torch/onnx.py
a3_python/contracts/barriers/torch/optim.py
a3_python/contracts/barriers/torch/profiler.py
a3_python/contracts/barriers/torch/quantization.py
a3_python/contracts/barriers/torch/registry.py
a3_python/contracts/barriers/torch/sparse.py
a3_python/contracts/barriers/torch/special.py
a3_python/contracts/barriers/torch/tensor.py
a3_python/contracts/barriers/torch/utils.py
a3_python/dse/__init__.py
a3_python/dse/concolic.py
a3_python/dse/constraint_solver.py
a3_python/dse/hybrid.py
a3_python/dse/lockstep.py
a3_python/dse/path_condition.py
a3_python/dse/selective_concolic.py
a3_python/dse/stochastic_replay.py
a3_python/dse/value_flow.py
a3_python/evaluation/__init__.py
a3_python/evaluation/deduplication.py
a3_python/evaluation/repo_list.py
a3_python/evaluation/scanner.py
a3_python/frontend/__init__.py
a3_python/frontend/entry_points.py
a3_python/frontend/loader.py
a3_python/semantics/__init__.py
a3_python/semantics/ast_guard_analysis.py
a3_python/semantics/bmc.py
a3_python/semantics/bytecode_summaries.py
a3_python/semantics/concrete_vm.py
a3_python/semantics/crash_summaries.py
a3_python/semantics/framework_mocks.py
a3_python/semantics/intent_detector.py
a3_python/semantics/interprocedural_barriers.py
a3_python/semantics/interprocedural_bugs.py
a3_python/semantics/interprocedural_guards.py
a3_python/semantics/interprocedural_taint.py
a3_python/semantics/intraprocedural_taint.py
a3_python/semantics/invariant_integration.py
a3_python/semantics/oracles.py
a3_python/semantics/security_tracker.py
a3_python/semantics/security_tracker_lattice.py
a3_python/semantics/sota_interprocedural.py
a3_python/semantics/sota_intraprocedural.py
a3_python/semantics/state.py
a3_python/semantics/summaries.py
a3_python/semantics/symbolic_vm.py
a3_python/semantics/termination_integration.py
a3_python/unsafe/__init__.py
a3_python/unsafe/assert_fail.py
a3_python/unsafe/bounds.py
a3_python/unsafe/collection_bugs.py
a3_python/unsafe/data_race.py
a3_python/unsafe/deadlock.py
a3_python/unsafe/div_zero.py
a3_python/unsafe/double_free.py
a3_python/unsafe/exception_bugs.py
a3_python/unsafe/fp_domain.py
a3_python/unsafe/info_leak.py
a3_python/unsafe/integer_overflow.py
a3_python/unsafe/iterator_invalid.py
a3_python/unsafe/memory_leak.py
a3_python/unsafe/non_termination.py
a3_python/unsafe/null_ptr.py
a3_python/unsafe/panic.py
a3_python/unsafe/registry.py
a3_python/unsafe/send_sync.py
a3_python/unsafe/stack_overflow.py
a3_python/unsafe/timing_channel.py
a3_python/unsafe/type_confusion.py
a3_python/unsafe/uninit_memory.py
a3_python/unsafe/use_after_free.py
a3_python/unsafe/security/__init__.py
a3_python/unsafe/security/cleartext.py
a3_python/unsafe/security/code_injection.py
a3_python/unsafe/security/command_injection.py
a3_python/unsafe/security/config.py
a3_python/unsafe/security/crypto.py
a3_python/unsafe/security/deserialization.py
a3_python/unsafe/security/filesystem.py
a3_python/unsafe/security/injection.py
a3_python/unsafe/security/lattice_detectors.py
a3_python/unsafe/security/path_injection.py
a3_python/unsafe/security/regex.py
a3_python/unsafe/security/sql_injection.py
a3_python/unsafe/security/ssrf.py
a3_python/unsafe/security/webapp.py
a3_python/unsafe/security/xml.py
a3_python/unsafe/security/xss.py
a3_python/unsafe/security/xxe.py
a3_python/z3model/__init__.py
a3_python/z3model/heap.py
a3_python/z3model/taint.py
a3_python/z3model/taint_lattice.py
a3_python/z3model/type_tracking.py
a3_python/z3model/values.py