https://github.com/dckc/larust-tame

toward ocap discipline for rust
https://github.com/dckc/larust-tame

Last synced: 24 days ago
JSON representation

toward ocap discipline for rust

• Host: GitHub
• URL: https://github.com/dckc/larust-tame
• Owner: dckc
• Created: 2016-11-23T21:17:25.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2016-11-23T21:18:36.000Z (about 8 years ago)
• Last Synced: 2024-10-30T19:46:02.244Z (2 months ago)
• Language: Rust
• Size: 2.93 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# larust: toward least-authority lint for rust

src/main.rs uses the `tag_safe` lint with an `ocap` tag.

`cargo run` should work as usual.

## Earlier work

 1. to build `liblint_plugin_test.so`:

    - `rustc lint_plugin_test.rs`

 2. to use the lint:

    -  `rustc -L . code.rs`