decy-core 1.0.0

[[bench]]
harness = false
name = "pipeline_benchmarks"
path = "benches/pipeline_benchmarks.rs"

[dependencies.anyhow]
version = "1.0"

[dependencies.decy-analyzer]
version = "1.0.0"

[dependencies.decy-codegen]
version = "1.0.0"

[dependencies.decy-hir]
version = "1.0.0"

[dependencies.decy-ownership]
version = "1.0.0"

[dependencies.decy-parser]
version = "1.0.0"

[dependencies.decy-verify]
version = "1.0.0"

[dependencies.petgraph]
version = "0.6"

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

[dependencies.serde_json]
version = "1.0"

[dependencies.sha2]
version = "0.10"

[dependencies.thiserror]
version = "1.0"

[dependencies.tracing]
version = "0.1"

[dev-dependencies.criterion]
version = "0.5"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[package]
authors = ["Decy Contributors"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
categories = ["development-tools", "compilers", "command-line-utilities"]
description = "Core transpilation pipeline for C-to-Rust conversion"
documentation = "https://docs.rs/decy"
edition = "2021"
homepage = "https://github.com/paiml/decy"
keywords = ["c", "rust", "transpiler", "compiler", "static-analysis"]
license = "MIT OR Apache-2.0"
name = "decy-core"
readme = false
repository = "https://github.com/paiml/decy"
version = "1.0.0"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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