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/test_barriers.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
tests/test_all_security.py
tests/test_analyzer_dse_integration.py
tests/test_analyzer_hybrid_witness_integration.py
tests/test_analyzer_safe_integration.py
tests/test_auto_template_synthesis.py
tests/test_barrier_analysis.py
tests/test_barrier_on_qlib.py
tests/test_barriers.py
tests/test_barriers_ranking.py
tests/test_binary_op_bitwise.py
tests/test_binary_op_power.py
tests/test_binary_ops_extended.py
tests/test_build_list.py
tests/test_build_map.py
tests/test_build_set.py
tests/test_build_string.py
tests/test_call_intrinsic_1.py
tests/test_call_kw.py
tests/test_cegis_counterexamples.py
tests/test_cegis_synthesis.py
tests/test_cli.py
tests/test_cli_termination.py
tests/test_closures.py
tests/test_cmd_inj.py
tests/test_collection_bugs.py
tests/test_concrete_taint_path.py
tests/test_confidence_null_ptr_bounds.py
tests/test_connection_pool_taint.py
tests/test_constraint_solver.py
tests/test_contains_dict.py
tests/test_contains_op.py
tests/test_context_precision_demo.py
tests/test_context_sensitivity.py
tests/test_contract_matching_specificity.py
tests/test_contracts.py
tests/test_contracts_integration.py
tests/test_cookie_injection.py
tests/test_crash_summaries_compact_proofs.py
tests/test_cross_module_taint.py
tests/test_cursor_taint.py
tests/test_deduplication.py
tests/test_deepspeed.py
tests/test_deserialization_detection.py
tests/test_dict_merge.py
tests/test_dict_methods.py
tests/test_dict_taint_tracking.py
tests/test_dict_update.py
tests/test_django_render_sanitizer.py
tests/test_django_template_sanitization.py
tests/test_dse.py
tests/test_dse_context.py
tests/test_e2e_taint_path_filtering.py
tests/test_ellipsis_slice.py
tests/test_exception_bug_types.py
tests/test_exception_handlers.py
tests/test_exception_path_forking.py
tests/test_extended_arg.py
tests/test_file_object_taint.py
tests/test_file_object_taint_vm.py
tests/test_flaml.py
tests/test_flask_debug.py
tests/test_function_level_termination.py
tests/test_heap_observers.py
tests/test_hscc2004_barrier_certificates.py
tests/test_hybrid_concolic_symbolic_unknown_libs.py
tests/test_ide_precision.py
tests/test_ide_return_propagation.py
tests/test_implicit_flow_security.py
tests/test_import_from.py
tests/test_import_tracking.py
tests/test_insecure_cookie.py
tests/test_interprocedural.py
tests/test_interprocedural_crash_analysis.py
tests/test_interprocedural_security.py
tests/test_interprocedural_sigma.py
tests/test_intraprocedural_analysis.py
tests/test_intraprocedural_integration.py
tests/test_intraprocedural_phase2.py
tests/test_intraprocedural_phase3.py
tests/test_intraprocedural_taint.py
tests/test_invariant_integration.py
tests/test_is_op.py
tests/test_iteration_601.py
tests/test_jump_forward.py
tests/test_kitchensink_sota.py
tests/test_kitchensink_taxonomy.py
tests/test_lexicographic_ranking.py
tests/test_lightgbm.py
tests/test_list_append.py
tests/test_load_fast_and_clear.py
tests/test_load_fast_borrow.py
tests/test_lockstep_concolic_replay.py
tests/test_loop_opcodes.py
tests/test_map_add.py
tests/test_module_init_detection.py
tests/test_module_init_filtering.py
tests/test_module_vs_function_level_detection.py
tests/test_no_concolic_mode.py
tests/test_opcodes_build_tuple_format.py
tests/test_open_exception_handler.py
tests/test_orm_taint.py
tests/test_path_forking_unit.py
tests/test_path_injection_detection.py
tests/test_path_limit_soundness.py
tests/test_path_validation.py
tests/test_polynomial_barriers.py
tests/test_pop_jump_if_none.py
tests/test_program_analysis.py
tests/test_qlib_full_analyzer.py
tests/test_qlib_known_bugs.py
tests/test_qlib_models.py
tests/test_ranking_synthesis.py
tests/test_ranking_synthesis_lexicographic_integration.py
tests/test_receiver_taint_vm.py
tests/test_redos_detection.py
tests/test_regex_pattern_contracts.py
tests/test_regex_validation_sanitizers.py
tests/test_relational_summaries.py
tests/test_safe_proofs_e2e.py
tests/test_security_api.py
tests/test_security_bugs.py
tests/test_semantics_concrete.py
tests/test_semantics_generators.py
tests/test_semantics_symbolic.py
tests/test_sensitivity_inference.py
tests/test_set_add.py
tests/test_setup_annotations.py
tests/test_sigma_taint_regression.py
tests/test_socket_taint.py
tests/test_sos_for_safety.py
tests/test_sos_guarded_divzero.py
tests/test_sos_toolbox.py
tests/test_sota_interprocedural.py
tests/test_sota_intraprocedural.py
tests/test_sota_pdr_bmc_ice.py
tests/test_ssrf_detection.py
tests/test_star_import.py
tests/test_stdlib_contracts_expansion.py
tests/test_stdlib_module_relations.py
tests/test_stdlib_stubs.py
tests/test_step_relation.py
tests/test_stochastic_precondition_risk.py
tests/test_stochastic_replay.py
tests/test_store_fast_load_fast.py
tests/test_store_global.py
tests/test_store_subscr.py
tests/test_subprocess_shell_param.py
tests/test_symbolic_violation_provenance.py
tests/test_taint_lattice.py
tests/test_tarslip_kwargs.py
tests/test_termination_integration.py
tests/test_type_annotations.py
tests/test_type_based_sanitizers.py
tests/test_type_tracking.py
tests/test_unary_operations.py
tests/test_unpack_sequence.py
tests/test_unpack_sequence_fix.py
tests/test_unsafe_assert_fail.py
tests/test_unsafe_bounds.py
tests/test_unsafe_data_race.py
tests/test_unsafe_deadlock.py
tests/test_unsafe_div_zero.py
tests/test_unsafe_double_free.py
tests/test_unsafe_fp_domain.py
tests/test_unsafe_info_leak.py
tests/test_unsafe_integer_overflow.py
tests/test_unsafe_iterator_invalid.py
tests/test_unsafe_memory_leak.py
tests/test_unsafe_non_termination.py
tests/test_unsafe_null_ptr.py
tests/test_unsafe_panic.py
tests/test_unsafe_send_sync.py
tests/test_unsafe_stack_overflow.py
tests/test_unsafe_timing_channel.py
tests/test_unsafe_type_confusion.py
tests/test_unsafe_uninit_memory.py
tests/test_user_function_detection.py
tests/test_user_function_module_init.py
tests/test_xml_bomb.py
tests/test_xxe_detection.py
tests/test_z3_variable_tracking.py