search

trifectatechfoundation / sudo-rs

A memory safe implementation of sudo and su.
Other
2.9k stars 79 forks source link

Update formal proofs #699

Closed squell closed 1 year ago

squell commented 1 year ago

Brings the model closer to the Rust code; working on a formal model to reason about alias expansions but that won't be easy.

github-actions[bot] commented 1 year ago

Number of dependencies and binary size impact report

Metric main PR #699 Delta
Direct dependencies 3 3 -
Total dependencies 4 4 -
Binary size 996.7 KiB 996.7 KiB -
Text size 580 KiB 580 KiB -
Dependencies diff ```diff └─ sudo-rs [v0.2.0-dev.20230711] ├─ glob [v0.3.1] ├─ libc [v0.2.147] └─ log [v0.4.19] ```
codecov[bot] commented 1 year ago

Codecov Report

Patch and project coverage have no change.

Comparison is base (911d161) 57.42% compared to head (250726e) 57.42%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #699 +/- ## ======================================= Coverage 57.42% 57.42% ======================================= Files 68 68 Lines 9076 9076 ======================================= Hits 5212 5212 Misses 3864 3864 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.