A small subset of examples of issues that the many static analysis tools for C/C++ can find, but rust/clippy can't.
Correctness, security, halting, concurrency and performance issues. For standards like MISRA, AUTOSAR, and OWASP.
https://github.com/illume/static_analysis_c_not_rust?tab=readme-ov-file
Note, there is work going on to identify which issues in standards like MISRA apply to #rust, and hopefully some tooling will appear to detect them too. Probably other #rustlang tools at various levels of maturity that detect some/all.
René Dudfield /
npub1ae…rtweh
2025-04-12 21:32:43
Author Public Key
npub1aesyycvrnu3t6zvgkcrtr4ujf87xpduv2nn5kzrlfnr0h7jfun6qdrtwehPublished at
2025-04-12 21:32:43Event JSON
{
"id": "2afa6742966d3aa2612df7355bc0fab6406a0eda8bb4c5fd6a81ee050731944f",
"pubkey": "ee604261839f22bd0988b606b1d79249fc60b78c54e74b087f4cc6fbfa49e4f4",
"created_at": 1744493563,
"kind": 1,
"tags": [
[
"t",
"rust"
],
[
"t",
"rustlang"
],
[
"proxy",
"https://fosstodon.org/users/renedudfield/statuses/114327130205727779",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "A small subset of examples of issues that the many static analysis tools for C/C++ can find, but rust/clippy can't.\n\nCorrectness, security, halting, concurrency and performance issues. For standards like MISRA, AUTOSAR, and OWASP.\n\nhttps://github.com/illume/static_analysis_c_not_rust?tab=readme-ov-file\n\nNote, there is work going on to identify which issues in standards like MISRA apply to #rust, and hopefully some tooling will appear to detect them too. Probably other #rustlang tools at various levels of maturity that detect some/all.",
"sig": "fead634085abb65cee99554cd10736d779ffe79b540bd479076c83f21997811b7aed41dfa686a44fbf560509065a31714b2d1465a8423925bdb17a4b687b59e2"
}