记录你不想忘记的东西
Rust具有一些让人眼前一亮的特点：无GC也不需手动管理内存、高性能、安全性强等等。但其诸多优点背后的代价，就是学习曲线相当陡峭。
Rust的困难，不在于语言特性，而在于：
使用ok_or方法：
fn foo(abs_path: &str) -> Result<String, String> {
let path = PathBuf::from(abs_path);
let relative = path.file_name()
.ok_or(format!("Failed to get relative_name for `{}`", abs_path))?;
let res = relative.to_str().unwrap();
Ok(res.to_owned())
}论文来自 34th USENIX Security Symposium (SEC 25) 的《When LLMs Go Online: The Emerging Threat of Web-Enabled LLMs》。
近年来，大型语言模型（LLMs）的快速发展使其逐渐成为具备规划能力并可与各类工具交互的“智能体”系统。这些 LLM 智能体常与基于网页的工具配合使用，从而能够访问多样化的信息源与实时数据。尽管这些进步在诸多应用中带来了显著益处，它们也同时增加了被恶意滥用的风险，尤其是在涉及个人信息的网络攻击情境中。
论文来自 2023 IEEE International Conference on Software Engineering (ICSE 23) 的《Improving Automatic C-to-Rust Translation with Static Analysis》。
尽管 C 语言在系统编程领域广受欢迎，但也因其贫乏的语言级安全机制而“臭名昭著”，由此导致了严重的缺陷与漏洞。即便通过了类型检查，C 程序仍可能存在内存与线程方面的错误。为了解决这一由来已久的问题，近年来出现了 Rust，它配备了丰富的安全机制，尤以其“所有权”类型系统著称。Rust 通过类型检查来防止内存与线程错误。将遗留的 C 程序用 Rust 重写，开发者便能发现此前未知的缺陷，并避免引入新的错误。
论文来自 2024 Proceedings of the ACM on Programming Languages (PLDI 2024) 的《Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation》。
将遗留系统程序从 C 迁移到 Rust 被认为是提升其可靠性的有前景途径。为减轻人工翻译的负担，自动化的 C→Rust 翻译是理想选择。然而，现有翻译器无法生成充分利用 Rust 语言特性的 Rust 代码，尤其是代数数据类型。在本文中，我们聚焦于元组（tuples）与 Option/Result 类型——它们是代数数据类型的重要子集，常作为函数返回类型，用以表达“返回多个值”的情形以及“可能失败”的情形。
安装教程参考：https://www.lanmper.cn/redis/t9367
本帖主要记录安装完之后遇到的一个问题：
连接美国网络（比如去国外旅游，然后连接当地Wifi），然后依次执行以下命令即可：
论文来自 2025 IEEE Symposium on Security and Privacy (SP 25) 的《On the (In)Security of LLM App Stores》。
LLM 应用商店增长迅猛，催生了大量定制化的 LLM 应用。然而，这种扩张也带来了安全隐忧。本文提出一个三层关注框架，用于识别 LLM 应用的潜在安全风险，即：具有滥用潜力的 LLM 应用、具有恶意意图的 LLM 应用，以及带有后门的 LLM 应用。
论文来自 arXiv预印本
Rust 在编译期提供的安全性保证，使其非常适合用于安全关键系统，因此对将遗留的 C 代码库迁移到 Rust 的需求不断增长。尽管已有多种方法被提出来完成这一任务，但它们都存在固有权衡：基于规则（rule-based）的方法在满足代码安全性与 Rust 习惯用法方面面临挑战；而基于大语言模型（LLM）的方法由于整个代码库中模块之间存在大量依赖，常常无法生成语义等价的 Rust 代码。近期研究表明，这两类方案都主要局限于小规模程序。
论文收录于第33届 USENIX Security Symposium（USENIX Security ’24，CCF A） 的会议论文集，链接：https://www.usenix.org/conference/usenixsecurity24/presentation/cho-kyuwon。
论文来自 Computer Aided Verification (CAV 2023) 的《Ownership Guided C to Rust Translation》。