README.md
pyproject.toml
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/ci/init_cmd.py
a3_python/ci/templates/a3-pr-scan.yml
a3_python/ci/templates/a3-scheduled-scan.yml
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