launch-code
launch-code copied to clipboard
kmcallister
Cryptographic signatures for auditing unsafe code in Rust
I have a couple suggestions for a production version of this lint that I should write down somewhere (if here is not OK, sorry): 1. Support requiring a block to...
It'd be nice to have launch codes for unsafe impl as well, since unsafe traits have a lot of potential for encoding higher-level constraints (like for cryptography) into the type...
Because we only sign the source text, you can write ``` rust macro_rules! loophole { () => (unsafe { /* anything */ }) } #[launch_code="⣘⠖⡹⡄⣉⢈⢰⣡⠂⡘⡿⡛⣸⢀⢮⡆⡧⣙⠘⣷⠽⠨⣌⣗⣥⠆⢗⣹⢷⢰⡲⢴⠾⡢⠔⡈⢠⢶⡸⡬⠀⢽⠽⠮⠫⣉⢁⢶⠙⣬⡖⣚⠤⣁⢗⡟⢡⠻⣘⠞⢸⣱⢛⠄"] fn main() { loophole!(); }...
I want a Vim command / macro that computes and inserts the launch code for a selected function.
Metadata
Owner
Metadata
Cryptographic signatures for auditing unsafe code in Rust