AeneasVerif/charon
Описание и применение
**AeneasVerif/charon** — это open‑source утилита для статического анализа Rust‑крейтов, работающая полностью вне внутренностей компилятора. Она предоставляет набор проверок и метрик, позволяющих обнаруживать потенциальные баги, уязвимости и нарушения стиля кода без необходимости модифицировать rustc. Проект относится к категории Misc и ориентирован на разработчиков, желающих быстро и безопасно оценивать качество своих библиотек.
Применение в работе
AeneasVerif/charon may be useful when its README and activity match a concrete workflow.
Ограничения и замечания
Early or unclear: treat as research material until maintenance, releases, docs, and issue activity are verified.
- Источник: github
- Язык: Rust
- Дата записи: 2026-09-05T17:30:40.282Z