LICENSE
README.md
pyproject.toml
pysymex/__init__.py
pysymex/__main__.py
pysymex/_compat.py
pysymex/_constants.py
pysymex/_deps.py
pysymex/_typing.py
pysymex/api.py
pysymex/async_api.py
pysymex/config.py
pysymex/logging.py
pysymex/py.typed
pysymex/resources.py
pysymex/security.py
pysymex/verify_cli.py
pysymex/watch.py
pysymex.egg-info/PKG-INFO
pysymex.egg-info/SOURCES.txt
pysymex.egg-info/dependency_links.txt
pysymex.egg-info/entry_points.txt
pysymex.egg-info/requires.txt
pysymex.egg-info/top_level.txt
pysymex/analysis/__init__.py
pysymex/analysis/arithmetic_safety.py
pysymex/analysis/assertion_context.py
pysymex/analysis/autotuner.py
pysymex/analysis/bounds_checking.py
pysymex/analysis/builtin_models.py
pysymex/analysis/callgraph.py
pysymex/analysis/cfg.py
pysymex/analysis/concolic.py
pysymex/analysis/escape_analysis.py
pysymex/analysis/false_positive_filter.py
pysymex/analysis/flow_sensitive.py
pysymex/analysis/function_models.py
pysymex/analysis/interleaving.py
pysymex/analysis/interprocedural.py
pysymex/analysis/invariants.py
pysymex/analysis/method_models.py
pysymex/analysis/none_check.py
pysymex/analysis/path_manager.py
pysymex/analysis/protocol_checker.py
pysymex/analysis/range_analysis.py
pysymex/analysis/state_merger.py
pysymex/analysis/string_analysis.py
pysymex/analysis/abstract/__init__.py
pysymex/analysis/abstract/domains.py
pysymex/analysis/abstract/domains_base.py
pysymex/analysis/abstract/domains_lattices.py
pysymex/analysis/abstract/interpreter.py
pysymex/analysis/abstract/interpreter_state.py
pysymex/analysis/abstract/interpreter_values.py
pysymex/analysis/cache/__init__.py
pysymex/analysis/cache/analysis.py
pysymex/analysis/cache/core.py
pysymex/analysis/cache/invalidation.py
pysymex/analysis/concurrency/__init__.py
pysymex/analysis/concurrency/core.py
pysymex/analysis/contracts/__init__.py
pysymex/analysis/contracts/compiler.py
pysymex/analysis/contracts/decorators.py
pysymex/analysis/contracts/types.py
pysymex/analysis/cross_function/__init__.py
pysymex/analysis/cross_function/core.py
pysymex/analysis/cross_function/types.py
pysymex/analysis/dataflow/__init__.py
pysymex/analysis/dataflow/core.py
pysymex/analysis/dataflow/types.py
pysymex/analysis/dead_code/__init__.py
pysymex/analysis/dead_code/core.py
pysymex/analysis/dead_code/types.py
pysymex/analysis/detectors/__init__.py
pysymex/analysis/detectors/base.py
pysymex/analysis/detectors/protocols.py
pysymex/analysis/detectors/specialized.py
pysymex/analysis/detectors/static.py
pysymex/analysis/detectors/static_detectors.py
pysymex/analysis/detectors/static_types.py
pysymex/analysis/exceptions/__init__.py
pysymex/analysis/exceptions/analysis.py
pysymex/analysis/exceptions/analysis_core.py
pysymex/analysis/exceptions/analysis_types.py
pysymex/analysis/exceptions/handler.py
pysymex/analysis/integration/__init__.py
pysymex/analysis/integration/core.py
pysymex/analysis/integration/types.py
pysymex/analysis/loops/__init__.py
pysymex/analysis/loops/core.py
pysymex/analysis/loops/types.py
pysymex/analysis/patterns/__init__.py
pysymex/analysis/patterns/core.py
pysymex/analysis/pipeline/__init__.py
pysymex/analysis/pipeline/phases.py
pysymex/analysis/pipeline/types.py
pysymex/analysis/properties/__init__.py
pysymex/analysis/properties/core.py
pysymex/analysis/properties/types.py
pysymex/analysis/resources/__init__.py
pysymex/analysis/resources/analysis.py
pysymex/analysis/resources/lifecycle.py
pysymex/analysis/resources/lifecycle_state_machines.py
pysymex/analysis/resources/lifecycle_types.py
pysymex/analysis/solver/__init__.py
pysymex/analysis/solver/analyzer.py
pysymex/analysis/solver/graph.py
pysymex/analysis/solver/opcodes.py
pysymex/analysis/solver/types.py
pysymex/analysis/summaries/__init__.py
pysymex/analysis/summaries/core.py
pysymex/analysis/summaries/types.py
pysymex/analysis/taint/__init__.py
pysymex/analysis/taint/checker.py
pysymex/analysis/taint/checker_core.py
pysymex/analysis/taint/checker_types.py
pysymex/analysis/taint/core.py
pysymex/analysis/type_constraints/__init__.py
pysymex/analysis/type_constraints/encoder.py
pysymex/analysis/type_constraints/types.py
pysymex/analysis/type_inference/__init__.py
pysymex/analysis/type_inference/engine.py
pysymex/analysis/type_inference/env.py
pysymex/analysis/type_inference/kinds.py
pysymex/analysis/type_inference/patterns.py
pysymex/analysis/type_stubs/__init__.py
pysymex/analysis/type_stubs/core.py
pysymex/analysis/type_stubs/types.py
pysymex/benchmarks/__init__.py
pysymex/benchmarks/suite.py
pysymex/benchmarks/suite_core.py
pysymex/benchmarks/suite_types.py
pysymex/ci/__init__.py
pysymex/ci/core.py
pysymex/ci/types.py
pysymex/cli/__init__.py
pysymex/cli/commands.py
pysymex/cli/parser.py
pysymex/cli/scan.py
pysymex/cli/scan_reporter.py
pysymex/contracts/__init__.py
pysymex/contracts/quantifiers.py
pysymex/contracts/quantifiers_core.py
pysymex/contracts/quantifiers_types.py
pysymex/core/__init__.py
pysymex/core/addressing.py
pysymex/core/collections.py
pysymex/core/collections_list.py
pysymex/core/collections_mapping.py
pysymex/core/constraint_hash.py
pysymex/core/constraint_independence.py
pysymex/core/constraint_simplifier.py
pysymex/core/copy_on_write.py
pysymex/core/cow.py
pysymex/core/exceptions.py
pysymex/core/exceptions_analyzer.py
pysymex/core/exceptions_types.py
pysymex/core/floats.py
pysymex/core/havoc.py
pysymex/core/instruction_cache.py
pysymex/core/iterators.py
pysymex/core/iterators_base.py
pysymex/core/iterators_combinators.py
pysymex/core/memory_model.py
pysymex/core/memory_model_core.py
pysymex/core/memory_model_types.py
pysymex/core/object_model.py
pysymex/core/object_model_core.py
pysymex/core/object_model_types.py
pysymex/core/oop_support.py
pysymex/core/optimization.py
pysymex/core/parallel.py
pysymex/core/parallel_core.py
pysymex/core/parallel_types.py
pysymex/core/shutdown.py
pysymex/core/solver.py
pysymex/core/state.py
pysymex/core/symbolic_types.py
pysymex/core/symbolic_types_base.py
pysymex/core/symbolic_types_containers.py
pysymex/core/symbolic_types_numeric.py
pysymex/core/treewidth.py
pysymex/core/type_checks.py
pysymex/core/types.py
pysymex/core/types_containers.py
pysymex/core/unsat_core.py
pysymex/core/watch.py
pysymex/execution/__init__.py
pysymex/execution/async_executor.py
pysymex/execution/concurrency_executor.py
pysymex/execution/dispatcher.py
pysymex/execution/executor.py
pysymex/execution/executor_core.py
pysymex/execution/executor_types.py
pysymex/execution/protocols.py
pysymex/execution/termination.py
pysymex/execution/verified_execution_models.py
pysymex/execution/verified_executor.py
pysymex/execution/opcodes/__init__.py
pysymex/execution/opcodes/arithmetic.py
pysymex/execution/opcodes/async_ops.py
pysymex/execution/opcodes/collections.py
pysymex/execution/opcodes/compare.py
pysymex/execution/opcodes/control.py
pysymex/execution/opcodes/exceptions.py
pysymex/execution/opcodes/functions.py
pysymex/execution/opcodes/locals.py
pysymex/execution/opcodes/stack.py
pysymex/h_acceleration/__init__.py
pysymex/h_acceleration/async_executor.py
pysymex/h_acceleration/benchmark.py
pysymex/h_acceleration/bytecode.py
pysymex/h_acceleration/bytecode_optimizer.py
pysymex/h_acceleration/chtd_integration.py
pysymex/h_acceleration/chtd_solver.py
pysymex/h_acceleration/dispatcher.py
pysymex/h_acceleration/memory.py
pysymex/h_acceleration/py.typed
pysymex/h_acceleration/thompson_sampling.py
pysymex/h_acceleration/thompson_sampling.pyi
pysymex/h_acceleration/backends/__init__.py
pysymex/h_acceleration/backends/cpu.py
pysymex/h_acceleration/backends/gpu.py
pysymex/h_acceleration/backends/reference.py
pysymex/h_acceleration/examples/__init__.py
pysymex/h_acceleration/examples/basic_usage.py
pysymex/h_acceleration/examples/benchmark.py
pysymex/models/__init__.py
pysymex/models/asyncio_models.py
pysymex/models/builtins.py
pysymex/models/builtins_base.py
pysymex/models/builtins_core.py
pysymex/models/builtins_extended.py
pysymex/models/bytes_models.py
pysymex/models/collections_models.py
pysymex/models/contextlib_models.py
pysymex/models/dataclasses_models.py
pysymex/models/dicts.py
pysymex/models/frozenset_models.py
pysymex/models/functools_models.py
pysymex/models/itertools_models.py
pysymex/models/lists.py
pysymex/models/numeric_models.py
pysymex/models/objects.py
pysymex/models/pathlib_models.py
pysymex/models/regex.py
pysymex/models/sets.py
pysymex/models/stdlib.py
pysymex/models/stdlib_containers.py
pysymex/models/stdlib_data.py
pysymex/models/stdlib_io.py
pysymex/models/stdlib_math.py
pysymex/models/stdlib_system.py
pysymex/models/strings.py
pysymex/models/threading_models.py
pysymex/models/tuples.py
pysymex/plugins/__init__.py
pysymex/plugins/base.py
pysymex/reporting/__init__.py
pysymex/reporting/formatters.py
pysymex/reporting/html_report.py
pysymex/reporting/realtime.py
pysymex/reporting/reproduction.py
pysymex/reporting/sarif.py
pysymex/reporting/sarif_core.py
pysymex/reporting/sarif_types.py
pysymex/scanner/__init__.py
pysymex/scanner/__main__.py
pysymex/scanner/async_scanner.py
pysymex/scanner/core.py
pysymex/scanner/types.py
pysymex/testing/__init__.py
pysymex/testing/fuzzing.py
pysymex/tracing/__init__.py
pysymex/tracing/_hook_adapter.py
pysymex/tracing/cli_analyzer.py
pysymex/tracing/schemas.py
pysymex/tracing/tracer.py
pysymex/tracing/z3_utils.py
tests/test_abstract_domains.py
tests/test_abstract_interpreter.py
tests/test_advanced_floats_e2e.py
tests/test_adversarial_deep_soundness.py
tests/test_adversarial_gaps.py
tests/test_analysis_audit_fixes.py
tests/test_analysis_isolation.py
tests/test_analysis_subpackages.py
tests/test_assertion_context.py
tests/test_async_e2e.py
tests/test_async_executor.py
tests/test_benchmarks.py
tests/test_benchmarks_suite.py
tests/test_bitwise_operators.py
tests/test_bug_fixes.py
tests/test_bugs.py
tests/test_builtin_models_analysis.py
tests/test_cache.py
tests/test_cache_security.py
tests/test_cfg.py
tests/test_ci.py
tests/test_ci_module.py
tests/test_cli_extended.py
tests/test_cli_parser.py
tests/test_collections.py
tests/test_concolic.py
tests/test_config.py
tests/test_constraint_chain.py
tests/test_constraint_chain_soundness.py
tests/test_constraint_hash.py
tests/test_constraint_independence.py
tests/test_constraint_independence_soundness.py
tests/test_constraint_simplifier.py
tests/test_contracts.py
tests/test_cow_fork_deep_isolation.py
tests/test_cow_fork_isolation.py
tests/test_cow_state.py
tests/test_cow_stress.py
tests/test_cross_function.py
tests/test_dataflow_analysis.py
tests/test_dead_code_regression.py
tests/test_detection_improvements.py
tests/test_detectors.py
tests/test_detectors_extra.py
tests/test_edge_cases.py
tests/test_enhanced_features.py
tests/test_escape_analysis.py
tests/test_exception_analysis.py
tests/test_exception_routing_soundness.py
tests/test_exceptions.py
tests/test_exceptions_analyzer.py
tests/test_executor.py
tests/test_extreme_gpu.py
tests/test_fixes.py
tests/test_float_ieee754_soundness.py
tests/test_floats.py
tests/test_fp_filter.py
tests/test_function_models.py
tests/test_function_summaries.py
tests/test_fuzzing.py
tests/test_generator_coroutine_soundness.py
tests/test_halting_oracles_e2e.py
tests/test_havoc.py
tests/test_high_impact.py
tests/test_hmac_cache_security.py
tests/test_html_report.py
tests/test_hybrid_analysis.py
tests/test_hypothesis_props.py
tests/test_incremental_solver.py
tests/test_instruction_cache.py
tests/test_instruction_cache_correctness.py
tests/test_integrated_verification.py
tests/test_integration_scenarios.py
tests/test_interprocedural.py
tests/test_interprocedural_e2e.py
tests/test_iterator_combinator_soundness.py
tests/test_iterators.py
tests/test_logging.py
tests/test_logic_stability.py
tests/test_loop_enhancements.py
tests/test_loop_widening_adversarial.py
tests/test_loops.py
tests/test_memory_aliasing_soundness.py
tests/test_memory_leaks.py
tests/test_memory_model.py
tests/test_memory_model_core.py
tests/test_memory_snapshot.py
tests/test_memory_snapshot_integrity.py
tests/test_method_models.py
tests/test_models_asyncio_threading.py
tests/test_models_builtins_core.py
tests/test_models_builtins_extended.py
tests/test_models_bytes.py
tests/test_models_contextlib_dataclasses.py
tests/test_models_dicts.py
tests/test_models_frozenset.py
tests/test_models_lists.py
tests/test_models_numeric.py
tests/test_models_pathlib.py
tests/test_models_regex.py
tests/test_models_sets.py
tests/test_models_stdlib_group.py
tests/test_models_strings.py
tests/test_models_tuples.py
tests/test_object_model.py
tests/test_object_model_core.py
tests/test_objects.py
tests/test_oop_support.py
tests/test_opcodes_arithmetic.py
tests/test_opcodes_async.py
tests/test_opcodes_compare.py
tests/test_opcodes_locals.py
tests/test_opcodes_stack.py
tests/test_optimization.py
tests/test_optimizer_soundness.py
tests/test_parallel.py
tests/test_parallel_core.py
tests/test_path_feasibility.py
tests/test_path_feasibility_soundness.py
tests/test_path_manager.py
tests/test_pattern_matching_soundness.py
tests/test_phase05_symbolic_correctness.py
tests/test_phase4.py
tests/test_plugin_system.py
tests/test_plugins.py
tests/test_portfolio_solver.py
tests/test_precision_benchmark.py
tests/test_properties.py
tests/test_py311_opcodes.py
tests/test_pysymex.py
tests/test_quantifiers.py
tests/test_range_analysis.py
tests/test_realtime.py
tests/test_realtime_extended.py
tests/test_realworld_packages.py
tests/test_reflective_execution.py
tests/test_regression.py
tests/test_reporting_formatters.py
tests/test_reproduction.py
tests/test_resources.py
tests/test_sarif.py
tests/test_sarif_extended.py
tests/test_scanner_core.py
tests/test_scanner_integration_split.py
tests/test_scanner_split.py
tests/test_security_sandboxing_e2e.py
tests/test_self_scan_metrics.py
tests/test_simple_branch.py
tests/test_solver.py
tests/test_solver_benchmarks.py
tests/test_solver_cache_collision_safety.py
tests/test_solver_cache_consistency.py
tests/test_solver_consistency.py
tests/test_solver_opcodes.py
tests/test_solver_optimization.py
tests/test_soundness_core.py
tests/test_state.py
tests/test_state_hash_collision.py
tests/test_state_hash_collision_resistance.py
tests/test_state_merger_soundness.py
tests/test_state_merging_convergence.py
tests/test_static_detectors.py
tests/test_stdlib_differential_fuzzing.py
tests/test_stdlib_models.py
tests/test_stress_abstract_domains.py
tests/test_stress_solver_exc.py
tests/test_string_analysis.py
tests/test_structured_concurrency.py
tests/test_symbolic_edge_cases.py
tests/test_symbolic_memory_oob.py
tests/test_symbolic_types.py
tests/test_taint_core.py
tests/test_taint_propagation.py
tests/test_taint_soundness.py
tests/test_termination_detection.py
tests/test_thompson_sampling_e2e.py
tests/test_thread_interleaving.py
tests/test_tracing_and_string_models_regression.py
tests/test_tracing_extended.py
tests/test_treewidth.py
tests/test_type_checks.py
tests/test_type_stubs_split.py
tests/test_types.py
tests/test_unsat_core.py
tests/test_unsat_core_sufficiency.py
tests/test_utility_modules.py
tests/test_v050_detection_quality.py
tests/test_v050_remaining.py
tests/test_v050_targeted.py
tests/test_verified_executor.py
tests/test_vuln_oracle.py
tests/test_vuln_oracle_injection.py
tests/test_watch.py
tests/test_widening_soundness.py
tests/test_z3_expression_fidelity.py
tests/test_z3_prover.py