Rust: Update supported-frameworks.rst and add a few more native-tls models

[geoffw0]

I spotted some gaps in supported-frameworks.rst, which motivated (via a Copilot suggestion) a few model improvements as well:

• axum is supported (sources + sinks).
• native-tls and async-native-tls are supported (sinks).
• in the latter case I added a couple of new models for better coverage.
• update: and then some test cases, to verify the coverage.

[Copilot]

Pull request overview

Updates Rust framework documentation and expands TLS taint-flow modeling.

Changes:

• Documents Axum and native TLS crates.
• Adds native, async-native, and Tokio-native TLS summaries.
• Adds synchronous native-tls flow coverage.

Show a summary per file

File	Description
test.rs	Adds native-tls flow test.
TaintSources.expected	Updates source expectations.
options.yml	Adds native-tls dependency.
InlineFlow.expected	Updates flow expectations.
Cargo.lock	Records direct dependency.
native-tls.model.yml	Adds TLS summaries.
Change note	Announces analysis improvements.
supported-frameworks.rst	Documents supported Rust crates.

Review details

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

• Files reviewed: 7/8 changed files
• Comments generated: 3
• Review effort level: Balanced