https://github.com/KillingSpark/rustysd
Not a complete replacement, though....
Announcement
Collapse
No announcement yet.
User Profile
Collapse
-
Astree is commercial. That doesn't help.
And not very fast: "Even large-scale industrial safety-critical software can be analyzed in just a...Last edited by oleid; 05 June 2023, 01:49 AM.
- Likes 1
Leave a comment:
-
Quite egocentric, aren't we?
iQIYI is the Chinese Netflix, launched in 2010....
- Likes 2
Leave a comment:
-
According to Wikipedia:- Netflix
- Vimeo
- iQIYI
Last edited by oleid; 21 May 2023, 05:06 AM.
- Likes 1
Leave a comment:
-
Actually, yes. most of Nvidia's professional hardware is running on Linux systems. And Microsoft cares so much about Linux they integrate it directly...Last edited by oleid; 19 May 2023, 04:52 PM.
Leave a comment:
-
Yeah, I was taking about the same thing. They are defined in the core library. The code snippet on the page you linked also mentions the same index function...
Leave a comment:
-
Please explain how you come to the conclusion that the person asking for backports doesn't know how to build their own kernel. IMHO, there is a difference...Last edited by oleid; 10 May 2023, 05:27 AM.
- Likes 7
Leave a comment:
-
Actually, bound checks in rust are also library functions. There are default implementations of the index trait for slices etc. in the core library....
- Likes 1
Leave a comment:
-
Does anybody know what exactly got fixed?
I checked https://cdn.kernel.org/pub/linux/ker...angeLog-6.2.10, but nothing caught my...
Leave a comment:
No activity results to display
Show More
Leave a comment: