This project might be open to known security vulnerabilities, which can be prevented by tightening the version range of affected dependencies. Find detailed information at the bottom.
agda-mode(4 total, 1 outdated, 1 possibly insecure)
| Crate | Required | Latest | Status |
|---|---|---|---|
| serde | ^1.0 | 1.0.215 | up to date |
| serde_json | ^1.0 | 1.0.133 | up to date |
| either | ^1.5 | 1.13.0 | up to date |
| tokio ⚠️ | ^0.3.4 | 1.41.1 | out of date |
agda-tac(9 total, 4 outdated, 1 possibly insecure)
| Crate | Required | Latest | Status |
|---|---|---|---|
| serde_json | ^1.0 | 1.0.133 | up to date |
| clap | ^2.33 | 4.5.21 | out of date |
| structopt | ^0.3 | 0.3.26 | up to date |
| dirs | ^3.0 | 5.0.1 | out of date |
| rustyline | ^6.3 | 15.0.0 | out of date |
| ropey | ^1.1 | 1.6.1 | up to date |
| either | ^1.5 | 1.13.0 | up to date |
| minitt-util | ^0.2.4 | 0.2.4 | up to date |
| tokio ⚠️ | ^0.3.4 | 1.41.1 | out of date |
tokio: Task dropped in wrong thread when aborting `LocalSet` taskWhen aborting a task with JoinHandle::abort, the future is dropped in the
thread calling abort if the task is not currently being executed. This is
incorrect for tasks spawned on a LocalSet.
This can easily result in race conditions as many projects use Rc or RefCell
in their Tokio tasks for better performance.
See tokio#3929 for more details.
tokio: Data race when sending and receiving after closing a `oneshot` channelIf a tokio::sync::oneshot channel is closed (via the
oneshot::Receiver::close method), a data race may occur if the
oneshot::Sender::send method is called while the corresponding
oneshot::Receiver is awaited or calling try_recv.
When these methods are called concurrently on a closed channel, the two halves of the channel can concurrently access a shared memory location, resulting in a data race. This has been observed to cause memory corruption.
Note that the race only occurs when both halves of the channel are used
after the Receiver half has called close. Code where close is not used, or where the
Receiver is not awaited and try_recv is not called after calling close,
is not affected.
See tokio#4225 for more details.