# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2024"
rust-version = "1.93"
name = "droidsaw-dex"
version = "1.0.0"
build = "build.rs"
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "DROIDSAW Dalvik bytecode (DEX) decompiler. Builds CFG, SSA form, infers types, emits Java source."
homepage = "https://droidsaw.com"
readme = "README.md"
keywords = [
    "android",
    "dalvik",
    "dex",
    "decompiler",
    "bytecode",
]
categories = [
    "development-tools",
    "parser-implementations",
]
license = "BSD-3-Clause"
repository = "https://github.com/droidsaw/droidsaw-dex"

[lib]
name = "droidsaw_dex"
path = "src/lib.rs"

[[example]]
name = "emit_audit"
path = "examples/emit_audit.rs"

[[example]]
name = "full_audit"
path = "examples/full_audit.rs"

[[test]]
name = "adversarial"
path = "tests/adversarial.rs"

[[test]]
name = "byte_identity_smoke"
path = "tests/byte_identity_smoke.rs"

[[test]]
name = "checksum_audit"
path = "tests/checksum_audit.rs"

[[test]]
name = "corpus_byte_identity_fdroid_sweep"
path = "tests/corpus_byte_identity_fdroid_sweep.rs"

[[test]]
name = "corpus_check"
path = "tests/corpus_check.rs"

[[test]]
name = "corpus_emit_smoke"
path = "tests/corpus_emit_smoke.rs"

[[test]]
name = "corpus_opcode_invariant_diff"
path = "tests/corpus_opcode_invariant_diff.rs"

[[test]]
name = "corpus_r8_check"
path = "tests/corpus_r8_check.rs"

[[test]]
name = "debug_info_completeness"
path = "tests/debug_info_completeness.rs"

[[test]]
name = "dex_roundtrip"
path = "tests/dex_roundtrip.rs"

[[test]]
name = "dex_string_byte_equality"
path = "tests/dex_string_byte_equality.rs"

[[test]]
name = "emit_call_site_roundtrip"
path = "tests/emit_call_site_roundtrip.rs"

[[test]]
name = "emit_depth_cap"
path = "tests/emit_depth_cap.rs"

[[test]]
name = "first_diff_diagnostic"
path = "tests/first_diff_diagnostic.rs"

[[test]]
name = "first_diff_in_section"
path = "tests/first_diff_in_section.rs"

[[test]]
name = "fixture_ratchet"
path = "tests/fixture_ratchet.rs"

[[test]]
name = "fixture_strip_emit"
path = "tests/fixture_strip_emit.rs"

[[test]]
name = "fixture_unrecognized_zero"
path = "tests/fixture_unrecognized_zero.rs"

[[test]]
name = "list_residual_failures"
path = "tests/list_residual_failures.rs"

[[test]]
name = "opcode_invariant_fixtures"
path = "tests/opcode_invariant_fixtures.rs"

[[test]]
name = "opcode_invariant_probe"
path = "tests/opcode_invariant_probe.rs"

[[test]]
name = "parse_errors_dump"
path = "tests/parse_errors_dump.rs"

[[test]]
name = "parse_errors_observability"
path = "tests/parse_errors_observability.rs"

[[test]]
name = "probe_class_data"
path = "tests/probe_class_data.rs"

[[test]]
name = "probe_transforms"
path = "tests/probe_transforms.rs"

[[test]]
name = "quotient_laws_proptest"
path = "tests/quotient_laws_proptest.rs"

[[test]]
name = "r8_androidx_helper_rename_fixture_ratchet"
path = "tests/r8_androidx_helper_rename_fixture_ratchet.rs"

[[test]]
name = "r8_custom_fixture_ratchet"
path = "tests/r8_custom_fixture_ratchet.rs"

[[test]]
name = "r8_d8_desugar_fixture_ratchet"
path = "tests/r8_d8_desugar_fixture_ratchet.rs"

[[test]]
name = "r8_family_prefix_masquerade_fixture_ratchet"
path = "tests/r8_family_prefix_masquerade_fixture_ratchet.rs"

[[test]]
name = "r8_fdroid_apk_sweep"
path = "tests/r8_fdroid_apk_sweep.rs"

[[test]]
name = "r8_fp_regression_ratchet"
path = "tests/r8_fp_regression_ratchet.rs"

[[test]]
name = "r8_library_helper_rename_fixture_ratchet"
path = "tests/r8_library_helper_rename_fixture_ratchet.rs"

[[test]]
name = "r8_mapping_outline_unit"
path = "tests/r8_mapping_outline_unit.rs"

[[test]]
name = "r8_mapping_paired_a_ratchet"
path = "tests/r8_mapping_paired_a_ratchet.rs"

[[test]]
name = "r8_mapping_paired_b_ratchet"
path = "tests/r8_mapping_paired_b_ratchet.rs"

[[test]]
name = "r8_oracle_ratchet"
path = "tests/r8_oracle_ratchet.rs"

[[test]]
name = "r8_paired_corpus_sweep"
path = "tests/r8_paired_corpus_sweep.rs"

[[test]]
name = "r8_product_corpus_sweep"
path = "tests/r8_product_corpus_sweep.rs"

[[test]]
name = "r8_production_corpus_smoke"
path = "tests/r8_production_corpus_smoke.rs"

[[test]]
name = "r8_smali_masquerade_fixture_ratchet"
path = "tests/r8_smali_masquerade_fixture_ratchet.rs"

[[test]]
name = "reparse_diagnostic"
path = "tests/reparse_diagnostic.rs"

[[test]]
name = "reversed_cfg_property"
path = "tests/reversed_cfg_property.rs"

[[test]]
name = "roundtrip_kotlinc"
path = "tests/roundtrip_kotlinc.rs"

[[test]]
name = "roundtrip_proptest"
path = "tests/roundtrip_proptest.rs"

[[test]]
name = "section_diff_summary"
path = "tests/section_diff_summary.rs"

[[test]]
name = "signature_break_poc"
path = "tests/signature_break_poc.rs"

[[test]]
name = "signature_matchers"
path = "tests/signature_matchers.rs"

[[test]]
name = "unrecognized_ratchet"
path = "tests/unrecognized_ratchet.rs"

[[test]]
name = "v1_corpus_roundtrip"
path = "tests/v1_corpus_roundtrip.rs"

[[test]]
name = "wrap_try_catch_cycle"
path = "tests/wrap_try_catch_cycle.rs"

[dependencies.adler2]
version = "2.0.1"

[dependencies.droidsaw-common]
version = "1"

[dependencies.rustc-hash]
version = "2.1"

[dependencies.scroll]
version = "0.13.0"

[dependencies.serde]
version = "1.0.228"
features = ["derive"]

[dependencies.sha1]
version = "0.11.0"

[dependencies.thiserror]
version = "2.0.18"

[dev-dependencies.proguard]
version = "=5.10.3"

[dev-dependencies.proptest]
version = "1"

[dev-dependencies.sha2]
version = "0.11.0"

[dev-dependencies.tempfile]
version = "3.27.0"

[dev-dependencies.toml]
version = "1.1.2"

[dev-dependencies.zip]
version = "2"

[lints.clippy]
collapsible_if = "allow"

[lints.rust]
unsafe_op_in_unsafe_fn = "deny"

[lints.rust.unexpected_cfgs]
level = "warn"
priority = 0
check-cfg = [
    "cfg(kani)",
    "cfg(fuzzing)",
]
