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/logger.py
pysymex/py.typed
pysymex/resources.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/accel/__init__.py
pysymex/accel/async_exec.py
pysymex/accel/benchmark.py
pysymex/accel/bytecode.py
pysymex/accel/chtd.py
pysymex/accel/chtd_integration.py
pysymex/accel/chtd_solver.py
pysymex/accel/dispatcher.py
pysymex/accel/memory.py
pysymex/accel/optimizer.py
pysymex/accel/py.typed
pysymex/accel/backends/__init__.py
pysymex/accel/backends/cpu.py
pysymex/accel/backends/reference.py
pysymex/accel/backends/sat.py
pysymex/analysis/__init__.py
pysymex/analysis/autotuner.py
pysymex/analysis/concolic.py
pysymex/analysis/abstract/__init__.py
pysymex/analysis/abstract/domains/__init__.py
pysymex/analysis/abstract/domains/base.py
pysymex/analysis/abstract/domains/lattices.py
pysymex/analysis/abstract/interpreter/__init__.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/concurrency/interleaving.py
pysymex/analysis/contracts/__init__.py
pysymex/analysis/contracts/compiler.py
pysymex/analysis/contracts/decorators.py
pysymex/analysis/contracts/types.py
pysymex/analysis/control/__init__.py
pysymex/analysis/control/cfg.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/filter.py
pysymex/analysis/detectors/formal.py
pysymex/analysis/detectors/protocols.py
pysymex/analysis/detectors/types.py
pysymex/analysis/detectors/logical/__init__.py
pysymex/analysis/detectors/logical/base.py
pysymex/analysis/detectors/logical/utils.py
pysymex/analysis/detectors/logical/t1_local/__init__.py
pysymex/analysis/detectors/logical/t1_local/arithmetic.py
pysymex/analysis/detectors/logical/t1_local/complement.py
pysymex/analysis/detectors/logical/t1_local/equality.py
pysymex/analysis/detectors/logical/t1_local/modular.py
pysymex/analysis/detectors/logical/t1_local/parity.py
pysymex/analysis/detectors/logical/t1_local/range.py
pysymex/analysis/detectors/logical/t1_local/self_contradiction.py
pysymex/analysis/detectors/logical/t2_multivar/__init__.py
pysymex/analysis/detectors/logical/t2_multivar/antisymmetry.py
pysymex/analysis/detectors/logical/t2_multivar/gcd_impossibility.py
pysymex/analysis/detectors/logical/t2_multivar/product_sign.py
pysymex/analysis/detectors/logical/t2_multivar/sum_impossibility.py
pysymex/analysis/detectors/logical/t2_multivar/triangle.py
pysymex/analysis/detectors/logical/t3_path/__init__.py
pysymex/analysis/detectors/logical/t3_path/loop_invariant.py
pysymex/analysis/detectors/logical/t3_path/narrowing.py
pysymex/analysis/detectors/logical/t3_path/post_assignment.py
pysymex/analysis/detectors/logical/t3_path/return_type.py
pysymex/analysis/detectors/logical/t3_path/sequential_modular.py
pysymex/analysis/detectors/logical/t4_interprocedural/__init__.py
pysymex/analysis/detectors/logical/t4_interprocedural/api_contract.py
pysymex/analysis/detectors/logical/t4_interprocedural/postcondition.py
pysymex/analysis/detectors/logical/t4_interprocedural/precondition.py
pysymex/analysis/detectors/logical/t4_interprocedural/range_propagation.py
pysymex/analysis/detectors/logical/t5_temporal/__init__.py
pysymex/analysis/detectors/logical/t5_temporal/concurrency.py
pysymex/analysis/detectors/logical/t5_temporal/resource_state.py
pysymex/analysis/detectors/logical/t5_temporal/state_impossibility.py
pysymex/analysis/detectors/runtime/__init__.py
pysymex/analysis/detectors/runtime/assertion_error.py
pysymex/analysis/detectors/runtime/attribute_error.py
pysymex/analysis/detectors/runtime/division_by_zero.py
pysymex/analysis/detectors/runtime/enhanced_index_error.py
pysymex/analysis/detectors/runtime/enhanced_type_error.py
pysymex/analysis/detectors/runtime/index_error.py
pysymex/analysis/detectors/runtime/key_error.py
pysymex/analysis/detectors/runtime/none_dereference.py
pysymex/analysis/detectors/runtime/overflow.py
pysymex/analysis/detectors/runtime/resource_leak.py
pysymex/analysis/detectors/runtime/type_error.py
pysymex/analysis/detectors/runtime/unbound_variable.py
pysymex/analysis/detectors/runtime/value_error.py
pysymex/analysis/detectors/specialized/__init__.py
pysymex/analysis/detectors/specialized/format_string.py
pysymex/analysis/detectors/specialized/helpers.py
pysymex/analysis/detectors/specialized/infinite_loop.py
pysymex/analysis/detectors/specialized/integer_overflow.py
pysymex/analysis/detectors/specialized/null_dereference.py
pysymex/analysis/detectors/specialized/resource_leak.py
pysymex/analysis/detectors/specialized/unreachable_code.py
pysymex/analysis/detectors/specialized/use_after_free.py
pysymex/analysis/detectors/static/__init__.py
pysymex/analysis/detectors/static/analyzer.py
pysymex/analysis/detectors/static/assertion_error.py
pysymex/analysis/detectors/static/attribute_error.py
pysymex/analysis/detectors/static/dead_code.py
pysymex/analysis/detectors/static/division_by_zero.py
pysymex/analysis/detectors/static/helpers.py
pysymex/analysis/detectors/static/index_error.py
pysymex/analysis/detectors/static/key_error.py
pysymex/analysis/detectors/static/type_error.py
pysymex/analysis/exceptions/__init__.py
pysymex/analysis/exceptions/analyzer.py
pysymex/analysis/exceptions/handler.py
pysymex/analysis/exceptions/types.py
pysymex/analysis/integration/__init__.py
pysymex/analysis/integration/core.py
pysymex/analysis/integration/formal.py
pysymex/analysis/integration/types.py
pysymex/analysis/interprocedural/__init__.py
pysymex/analysis/interprocedural/callgraph.py
pysymex/analysis/interprocedural/cross_function.py
pysymex/analysis/interprocedural/summaries.py
pysymex/analysis/interprocedural/types.py
pysymex/analysis/loops/__init__.py
pysymex/analysis/loops/core.py
pysymex/analysis/loops/formal.py
pysymex/analysis/loops/types.py
pysymex/analysis/patterns/__init__.py
pysymex/analysis/patterns/core.py
pysymex/analysis/patterns/formal.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/formal.py
pysymex/analysis/resources/lifecycle.py
pysymex/analysis/resources/types.py
pysymex/analysis/solver/__init__.py
pysymex/analysis/solver/analyzer.py
pysymex/analysis/solver/formal.py
pysymex/analysis/solver/graph.py
pysymex/analysis/solver/opcodes.py
pysymex/analysis/solver/types.py
pysymex/analysis/specialized/__init__.py
pysymex/analysis/specialized/arithmetic.py
pysymex/analysis/specialized/assertions.py
pysymex/analysis/specialized/bounds.py
pysymex/analysis/specialized/escape.py
pysymex/analysis/specialized/flow.py
pysymex/analysis/specialized/invariants.py
pysymex/analysis/specialized/none.py
pysymex/analysis/specialized/ranges.py
pysymex/analysis/specialized/strings.py
pysymex/analysis/summaries/__init__.py
pysymex/analysis/summaries/core.py
pysymex/analysis/summaries/types.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/analysis/types/__init__.py
pysymex/analysis/types/constraints.py
pysymex/analysis/types/environment.py
pysymex/analysis/types/inference.py
pysymex/analysis/types/kinds.py
pysymex/analysis/types/patterns.py
pysymex/analysis/types/stubs.py
pysymex/analysis/utils/__init__.py
pysymex/analysis/utils/math.py
pysymex/benchmarks/__init__.py
pysymex/benchmarks/suite/__init__.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/reporter.py
pysymex/cli/scan.py
pysymex/contracts/__init__.py
pysymex/contracts/compiler.py
pysymex/contracts/decorators.py
pysymex/contracts/injector.py
pysymex/contracts/types.py
pysymex/contracts/verifier.py
pysymex/contracts/quantifiers/__init__.py
pysymex/contracts/quantifiers/core.py
pysymex/contracts/quantifiers/types.py
pysymex/core/__init__.py
pysymex/core/builtins.py
pysymex/core/cache.py
pysymex/core/optimization.py
pysymex/core/shutdown.py
pysymex/core/state.py
pysymex/core/exceptions/__init__.py
pysymex/core/exceptions/analyzer.py
pysymex/core/exceptions/types.py
pysymex/core/graph/__init__.py
pysymex/core/graph/cig.py
pysymex/core/graph/treewidth.py
pysymex/core/graph/union_find.py
pysymex/core/iterators/__init__.py
pysymex/core/iterators/base.py
pysymex/core/iterators/combinators.py
pysymex/core/memory/__init__.py
pysymex/core/memory/addressing.py
pysymex/core/memory/branch_history.py
pysymex/core/memory/cow.py
pysymex/core/memory/heap.py
pysymex/core/memory/types.py
pysymex/core/memory/unsat_core_registry.py
pysymex/core/memory/collections/__init__.py
pysymex/core/memory/collections/lists.py
pysymex/core/memory/collections/mappings.py
pysymex/core/objects/__init__.py
pysymex/core/objects/model.py
pysymex/core/objects/oop.py
pysymex/core/objects/types.py
pysymex/core/parallel/__init__.py
pysymex/core/parallel/core.py
pysymex/core/parallel/types.py
pysymex/core/solver/__init__.py
pysymex/core/solver/constraints.py
pysymex/core/solver/engine.py
pysymex/core/solver/independence.py
pysymex/core/solver/mus_gatekeeper.py
pysymex/core/solver/unsat.py
pysymex/core/types/__init__.py
pysymex/core/types/base.py
pysymex/core/types/checks.py
pysymex/core/types/containers.py
pysymex/core/types/floats.py
pysymex/core/types/havoc.py
pysymex/core/types/numeric.py
pysymex/core/types/scalars.py
pysymex/core/types/symbolic_containers.py
pysymex/execution/__init__.py
pysymex/execution/cfg.py
pysymex/execution/dispatcher.py
pysymex/execution/protocols.py
pysymex/execution/termination.py
pysymex/execution/types.py
pysymex/execution/vm.py
pysymex/execution/executors/__init__.py
pysymex/execution/executors/async_exec.py
pysymex/execution/executors/concurrent.py
pysymex/execution/executors/core.py
pysymex/execution/executors/verified.py
pysymex/execution/opcodes/__init__.py
pysymex/execution/opcodes/common.py
pysymex/execution/opcodes/py311/__init__.py
pysymex/execution/opcodes/py311/arithmetic.py
pysymex/execution/opcodes/py311/async_ops.py
pysymex/execution/opcodes/py311/collections.py
pysymex/execution/opcodes/py311/compare.py
pysymex/execution/opcodes/py311/control.py
pysymex/execution/opcodes/py311/exceptions.py
pysymex/execution/opcodes/py311/functions.py
pysymex/execution/opcodes/py311/locals.py
pysymex/execution/opcodes/py311/stack.py
pysymex/execution/opcodes/py312/__init__.py
pysymex/execution/opcodes/py312/arithmetic.py
pysymex/execution/opcodes/py312/collections.py
pysymex/execution/opcodes/py312/compare.py
pysymex/execution/opcodes/py312/control.py
pysymex/execution/opcodes/py312/exceptions.py
pysymex/execution/opcodes/py312/functions.py
pysymex/execution/opcodes/py312/instrumentation.py
pysymex/execution/opcodes/py312/locals.py
pysymex/execution/opcodes/py312/stack.py
pysymex/execution/opcodes/py313/__init__.py
pysymex/execution/opcodes/py313/arithmetic.py
pysymex/execution/opcodes/py313/collections.py
pysymex/execution/opcodes/py313/compare.py
pysymex/execution/opcodes/py313/control.py
pysymex/execution/opcodes/py313/exceptions.py
pysymex/execution/opcodes/py313/formatting.py
pysymex/execution/opcodes/py313/functions.py
pysymex/execution/opcodes/py313/locals.py
pysymex/execution/opcodes/py313/stack.py
pysymex/execution/strategies/__init__.py
pysymex/execution/strategies/manager.py
pysymex/execution/strategies/merger.py
pysymex/models/__init__.py
pysymex/models/numeric.py
pysymex/models/objects.py
pysymex/models/builtins/__init__.py
pysymex/models/builtins/analysis.py
pysymex/models/builtins/base.py
pysymex/models/builtins/core.py
pysymex/models/builtins/exceptions.py
pysymex/models/builtins/extended.py
pysymex/models/builtins/functions.py
pysymex/models/builtins/methods.py
pysymex/models/builtins/types.py
pysymex/models/concurrency/__init__.py
pysymex/models/concurrency/asyncio.py
pysymex/models/concurrency/threading.py
pysymex/models/containers/__init__.py
pysymex/models/containers/bytes.py
pysymex/models/containers/dicts.py
pysymex/models/containers/frozensets.py
pysymex/models/containers/lists.py
pysymex/models/containers/sets.py
pysymex/models/containers/strings.py
pysymex/models/containers/tuples.py
pysymex/models/stdlib/__init__.py
pysymex/models/stdlib/collections.py
pysymex/models/stdlib/contextlib.py
pysymex/models/stdlib/data.py
pysymex/models/stdlib/dataclasses.py
pysymex/models/stdlib/functools.py
pysymex/models/stdlib/io.py
pysymex/models/stdlib/itertools.py
pysymex/models/stdlib/math.py
pysymex/models/stdlib/pathlib.py
pysymex/models/stdlib/regex.py
pysymex/models/stdlib/system.py
pysymex/plugins/__init__.py
pysymex/plugins/base.py
pysymex/reporting/__init__.py
pysymex/reporting/formatters.py
pysymex/reporting/html.py
pysymex/reporting/realtime.py
pysymex/reporting/reproduction.py
pysymex/reporting/sarif/__init__.py
pysymex/reporting/sarif/core.py
pysymex/reporting/sarif/types.py
pysymex/sandbox/__init__.py
pysymex/sandbox/bridge.py
pysymex/sandbox/errors.py
pysymex/sandbox/execution.py
pysymex/sandbox/runner.py
pysymex/sandbox/types.py
pysymex/sandbox/validation.py
pysymex/sandbox/isolation/__init__.py
pysymex/sandbox/isolation/harness.py
pysymex/sandbox/isolation/linux.py
pysymex/sandbox/isolation/subprocess.py
pysymex/sandbox/isolation/wasm.py
pysymex/sandbox/isolation/windows.py
pysymex/scanner/__init__.py
pysymex/scanner/__main__.py
pysymex/scanner/async_scanner.py
pysymex/scanner/core.py
pysymex/scanner/types.py
pysymex/stats/__init__.py
pysymex/stats/registry.py
pysymex/stats/types.py
pysymex/stats/collectors/__init__.py
pysymex/stats/collectors/base.py
pysymex/stats/collectors/perf.py
pysymex/stats/collectors/smt.py
pysymex/stats/sinks/__init__.py
pysymex/stats/sinks/base.py
pysymex/stats/sinks/console.py
pysymex/stats/sinks/sqlite.py
pysymex/tracing/__init__.py
pysymex/tracing/analyzer.py
pysymex/tracing/hooks.py
pysymex/tracing/schemas.py
pysymex/tracing/tracer.py
pysymex/tracing/z3_utils.py
pysymex/utils/__init__.py
pysymex/utils/math.py