文件名称:launch-code:用于审计 Rust 中不安全代码的加密签名
文件大小:13KB
文件格式:ZIP
更新时间:2024-07-20 01:59:39
Rust
不安全代码的加密签名 包含不安全代码的函数需要额外的审查,因为它们会破坏 Rust 的内存安全保证。 一些项目可能需要一个正式的过程来在添加或修改不安全代码时对其进行审核。 这个编译器插件支持在源代码中跟踪审计状态的工作流,审计历史是每个文件版本控制历史的一部分。 它通过将加密签名附加到每个unsafe fn以及每个包含unsafe块的fn来工作。 #![feature(plugin)] #[no_link] #[plugin(public_key= "examples/pubkey" )] extern crate launch_code; #[launch_code= "⠐⡛⢾⣯⢓⢵⢖⡆⣈⠇⠸⣼⢁⢦⢰⢷⡫⢙⠻⠺⢗⢻⣷⠋⣸⡐⣂⡜⠇⡍⢁⢗⢜⠢⡢⣵⠩⠲⡈⢈⢂⡑⣷⣩⢲⢖⢃⡓⠄⣴⠩⡹⡸⠥⢱⢭⡼⠡⣻⡥⢜⢔⡌⠅" ] fn totally_fine () -> u64 { unsafe
【文件预览】:
launch-code-master
----LICENSE-MIT(1KB)
----LICENSE-APACHE(11KB)
----src()
--------bin()
--------validator.rs(2KB)
--------lib.rs(7KB)
----Cargo.toml(398B)
----COPYRIGHT(373B)
----examples()
--------example.rs(505B)
--------pubkey(32B)
--------seckey(64B)
----.gitignore(20B)
----README.md(3KB)