Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

publishing and sharing audit files #62

Open
cdstanford opened this issue Jul 25, 2024 · 0 comments
Open

publishing and sharing audit files #62

cdstanford opened this issue Jul 25, 2024 · 0 comments
Labels
enhancement New feature or request roadmap-unplanned Ideas for future work

Comments

@cdstanford
Copy link
Collaborator

Locally, all audit files are stored/overwritten to the same file location.
We may need a way to sign, publish, and version-number audits and associated metadata to share with other users and organizations.

This is related to #60.

This also relates to the problem we discussed today about tracking which portions of the code the user has audited or not -- since this information could be tracked in the audit files. An alternative would be to change our safety annotation model -- see audit_file.rs:

#[derive(Debug, Serialize, Deserialize, Clone, Copy, PartialEq, Eq)]
pub enum SafetyAnnotation {
    Skipped,
    Safe,
    Unsafe,
    CallerChecked,
}
@cdstanford cdstanford added enhancement New feature or request roadmap-unplanned Ideas for future work labels Jul 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request roadmap-unplanned Ideas for future work
Projects
None yet
Development

No branches or pull requests

1 participant