发布日期：2024-08-08 03:49 点击次数：69
【CND-001】恵比寿マスカッツのライブ会場で見つけた素人娘あみちゃん18歳をデビューさせちゃいました！2013-01-01キャンディ&$キャンディ119分钟
为了加速向内存安全编程讲话的挪动措施，好意思国国防部高档推敲筹备局（DARPA）正积极鼓吹一项名为“TRACTOR”的翻新阵势。TRACTOR，即“TRanslating All C TO Rust”，是一个旨在欺诈先进的机器学习技巧自动将老旧的C代码调度为Rust讲话的用具。
内存安全问题一直是软件建造中的老浩劫，比如常见的缓冲区溢露马脚，这些隐患往往逃避在强盛的代码库中，成为安全恫吓的主要源泉。DARPA但愿通过TRACTOR这么的用具，借助AI的力量来简化这一滑化历程，从而使软件变得愈加坚固可靠。
TRACTOR阵势发达东说念主Dan Wallach在一次声明中描摹了这个愿景：“思象一下，你只需走访任何一家大型讲话模子网站，与哪里的AI聊天机器东说念主对话，浅薄地说一句‘我这儿有些C代码，能帮我调度成既安全又相宜Rust立场的代码吗？’然后复制粘贴代码给它，时时情况下你就会得到闲散的效果——天然，不成保证百分之百的到手率。”
不外，Wallach也指出了这项责任的中枢挑战：“咱们需要大幅擢升从C讲话到Rust的自动化调度质料，尤其是关于那些最关节和复杂的法子结构。”
只是依靠破绽检测用具远远不够
在当年几年里，科技巨头如谷歌和微软一直公开强调内存安全破绽带来的问题，并积极扩充使用除C和C++除外的其他不需要手动不休内存的讲话。这种倡导不仅在私营部门产生了影响，也引起了环球部门的善良，后者领有无数的留传代码。
白宫和好意思国集会安全与基础设施安全局（CISA）因此饱读吹吸收内存安全的编程讲话，主要提倡的是Rust，同期也包括C#、Go、Java、Python和Swift等讲话。
尽管如斯，C和C++的重视者们提议了异议，他们觉得唯一严格除名ISO圭臬，并充分欺诈现存的测试用具，就能达到与Rust雷同的安全水平，而不消透顶重写总计代码。
关联词，DARPA对此的主见似乎标明了对C和C++的立场照旧滚动。
“经过了二十多年的内存安全问题后，软件工程界浩繁意志到，”DARPA的推敲机构指出，并援用了国度集会安全总监办公室的号召，“只是依靠破绽检测用具是远远不够的。”这标明了转向更安全的编程现实的进犯性。
现在的翻译用具仍然需要无数的东说念主工骚动
Rust讲话在2015年头度恰当发布，比C讲话出现晚了四十多年，它内置了内存安全性，何况也顺应用于初级、性能明锐的系统编程。
Rust讲话自2015年头度恰当发布以来，天然比C讲话晚了四十多年，但它内置了内存安全性，何况相称顺应用于初级别的、性能明锐的系统编程任务。
欧美色色Rust讲话的特点过甚日益增长的受迎接程度催生了诸如Prossimo这么的倡议。这是一个由非渔利组织Internet Security Research Group发起的阵势，旨在通过用Rust重写关节库和代码来减少安全风险，其中包括集会时辰契约（NTP）防守进度（ntpd-rs）。
Prossimo阵势的施行董事Josh Aas默示：“鉴于互联网基础设施中驱动着无数C代码，使用翻译用具变得极具招引力。”
Aas还提到：“咱们照旧在这一领域进行了实验，举例最近咱们将基于C的AV1收场翻译为Rust。现在的翻译用具仍然需要无数的东说念主工骚动以确保翻译效果的正确性和相宜Rust的民俗性编程立场，但咱们但愿跟着进一步的投资，这些用具将变得愈加高效。”
Code Metal公司的首席施行官Peter Morales则觉得DARPA的TRACTOR阵势既具有远景又恰逢那时。Code Metal是一家专注于为旯旮硬件转译代码的公司，最近刚筹集了1650万好意思元。
“我觉得TRACTOR阵势在收场上相称可行，我信托它将在集会安全领域产生首要影响，因为内存安全已成为该领域的进犯议题之一。”Morales说说念。
当被问及是否应许DARPA所说的软件社区照旧就处置内存安全问题达成共鸣时，Morales并未全齐狡赖C和C++的价值。
“我觉得选用任何一种讲话齐波及衡量，但在内核级别，将一部分代码挪动到Rust是特意旨的。”他补充说念。
自动代码调度仍需直面挑战
谈及自动代码调度的挑战，Morales默示：“这如实是一个DARPA级别的困难。”在尝试为不同讲话之间的语句调度制定例则时，靠近的各式独特情况数目之多令东说念主视为畏途。
TRACTOR阵势的发达东说念主Wallach强调，他们的宗旨是收场高度自动化，但这需要克服一系列复杂的技巧挑战。
“举例，大型讲话模子在被条目翻译代码时偶而能给出惊东说念主的谜底，但偶而也会产生空幻的谜底，”他证实说念。“另一个挑战在于，C讲话允许代码对指针施行操作，包括算术运算，而Rust则谢绝这类操作。要高出这个差距，需要的远不啻是浅薄的逐字翻译。”
当被问及DARPA是否有特定的代码库筹画进行调度时，Wallach恢复说：“咱们的宗旨是对通盘强盛的开源代码寰球，以及国防工业基础中使用的代码进行调度。天然我莫得具体的筹备，但像Linux内核这么的阵势由于存在技巧上的为止，现在不顺应使用Rust。”
DARPA将于2024年8月26日举办一场举止，针对筹备为TRACTOR阵势提交提案的东说念主士。参与者不错选用现场进入或云尔参与。特意进入的东说念主士必须在2024年8月19日前完成注册。
来自建造者的声息
尽管TRACTOR阵势取得了官方的辅助，但在关联的新闻谈判中，来自民间的声息似乎并不像表层那样信心满满。
Reddit技巧论坛上，有建造者直言他对此事的感受“十分复杂”。
“一方面，我看到了在关节系统中确保内存安全的必要性。另一方面……依靠GPT生成的代码来进行调度？真的吗？那些出于安全原因应该转向Rust的系统，似乎是不应该使用任何AI生成代码的那种系统。”
不少东说念主对此有同感。他们认同在关节系统中确保内存安全的进犯性，也不狡赖这真实是Rust的主要卖点。但是，他们关于依赖AI（如GPT）生成的代码来收场这种调度合手保属意见。毕竟AI生成的代码可能存在不敬佩性，老是让东说念主难以全齐信任，在这一前提下让其得志关节系统的安全性条目诟谇常矛盾的。
还有东说念主给出了更为辛辣戏谑的驳斥：“当一切齐变得一团糟时，即是Rust建造者们大赚特赚的时候。”当那些本不顺应被调度到新讲话（如 Rust）的旧代码或系统被强行条目调度时，当盲目地使用AI来转调度旧代码时，可能会产生更多的问题而不是处置问题。
这些来自民间的声息也印证了Stack Overflow不久前发布的2024年建造者窥探数据。尽管好意思国政府接续号召减少对C和C++的依赖，但编程讲话的受迎接程度简直莫得变化。窥探效果暴露，Rust的使用率从13.5%下落到了12.6%，而C和C++的使用率略有增长。现在莫得迹象标明会有大规模从C或C++向其他讲话的挪动。
【CND-001】恵比寿マスカッツのライブ会場で見つけた素人娘あみちゃん18歳をデビューさせちゃいました！2013-01-01キャンディ&$キャンディ119分钟
