Live data from Hacker News

Memory safety for the world’s largest software project

memorysafety.org

51–60 of 62 posts

Re: Memory safety for the world’s largest software project

#51

One critical example of such infrastructure is the Linux kernel, used in most servers in the world as well as in billions of devices. ...billions of devices which the manufacturer does not want you to own, to be fair, and for which full ownership requires breaking through the security features that initiatives like this are trying to strengthen. You might think that's a political/social issue and this is merely a tec…

GPLv3 tried to prevent this. But as far as I can tell, it has failed miserably with nearly ZERO adoption. It seems that TiVo-ization is a feature, not a bug.

What TiVo actually did (breaking proprietary code when you run modified GPL code) is still allowed by GPLv3. What people are afraid of (disallowing modifications to GPL code) is actually banned by even GPLv2.

https://sfconservancy.org/blog/2021/jul/23/tivoization-and-t... https://sfconservancy.org/blog/2021/mar/25/install-gplv2/ https://events19.linuxfoundation.org/wp-content/uploads/2017...

Re: Memory safety for the world’s largest software project

#52

One critical example of such infrastructure is the Linux kernel, used in most servers in the world as well as in billions of devices. ...billions of devices which the manufacturer does not want you to own, to be fair, and for which full ownership requires breaking through the security features that initiatives like this are trying to strengthen. You might think that's a political/social issue and this is merely a tec…

If Software Freedom Conservancy win their lawsuit against Vizio, then anyone who has received a device containing the Linux kernel (or other copylefted code) will be able to sue for compliance, including source code and installation instructions.

https://sfconservancy.org/copyleft-compliance/vizio.html https://sfconservancy.org/blog/2021/jul/23/tivoization-and-t... https://sfconservancy.org/blog/2021/mar/25/install-gplv2/

Re: Memory safety for the world’s largest software project

#53

Question regarding licensing: [1] states that a source file can be "one of the compatible GPL variants and alternatively under a permissive license like BSD, MIT etc." Looking at a rust source file inside the dev tree 'Rust-for-Linux' [2], it is licensed as "Apache-2.0 OR MIT". However, Apache-2.0 appears to be incompatible with GPL-2.0 [3]. How come that the licensing in such a way is possible with the Linux licensi…

With alternatives like that, you choose what applies, so if it's licensed as "MIT or literally-anything-else", it's still valid. Now why they chose to add Apache2, that is interesting. A guess: if contributions to the project also need to be mit-or-asl2, then maybe that would force the patent grant clause to apply for contributions? (even if it doesn't change anything for the users)

The core Rust project (and consequently much of the ecosystem) is dual-licensed MIT or Apache-2.0, so it's not at all surprising to see that continue here.

Re: Memory safety for the world’s largest software project

#54

Question regarding licensing: [1] states that a source file can be "one of the compatible GPL variants and alternatively under a permissive license like BSD, MIT etc." Looking at a rust source file inside the dev tree 'Rust-for-Linux' [2], it is licensed as "Apache-2.0 OR MIT". However, Apache-2.0 appears to be incompatible with GPL-2.0 [3]. How come that the licensing in such a way is possible with the Linux licensi…

With alternatives like that, you choose what applies, so if it's licensed as "MIT or literally-anything-else", it's still valid. Now why they chose to add Apache2, that is interesting. A guess: if contributions to the project also need to be mit-or-asl2, then maybe that would force the patent grant clause to apply for contributions? (even if it doesn't change anything for the users)

Ah, I see, thanks. Somehow I hadn't looked at GPL-2.0 compatibility of the MIT license, which would have answered the question.

Re: Memory safety for the world’s largest software project

#55
post #44
post #24

Earlier quoted context omitted.

Memory safety means fewer bugs means harder to root your Android device and use the hardware you paid for in ways you want? Just guessing. It’s high time we had competitive open-source options in the smartphone space.

Devices like Google Pixel support installing your own rooted Android together with actually adding a new signature to boot loader so you get a fully secure device - it's how projects like CalyxOS can guarantee privacy. There's absolutely no need to defend security holes in an OS when you have options for proper secure installation of rooted OS available. You just need to put money where your wishes are and not buy lo…

> it's how projects like CalyxOS can guarantee privacy.

Privacy ≠ security

Secure Boot = security

Re: Memory safety for the world’s largest software project

#56
post #44
post #24

Earlier quoted context omitted.

Memory safety means fewer bugs means harder to root your Android device and use the hardware you paid for in ways you want? Just guessing. It’s high time we had competitive open-source options in the smartphone space.

Devices like Google Pixel support installing your own rooted Android together with actually adding a new signature to boot loader so you get a fully secure device - it's how projects like CalyxOS can guarantee privacy. There's absolutely no need to defend security holes in an OS when you have options for proper secure installation of rooted OS available. You just need to put money where your wishes are and not buy lo…

Sorry, Verified Boot, not Secure Boot, that's MS crap.

Re: Memory safety for the world’s largest software project

#57
post #49
post #44

Earlier quoted context omitted.

Devices like Google Pixel support installing your own rooted Android together with actually adding a new signature to boot loader so you get a fully secure device - it's how projects like CalyxOS can guarantee privacy. There's absolutely no need to defend security holes in an OS when you have options for proper secure installation of rooted OS available. You just need to put money where your wishes are and not buy lo…

That is good to know, thank you!

This kind of thing makes it dead simple, too!

https://grapheneos.org/install/web

Re: Memory safety for the world’s largest software project

#58
post #30

One critical example of such infrastructure is the Linux kernel, used in most servers in the world as well as in billions of devices. ...billions of devices which the manufacturer does not want you to own, to be fair, and for which full ownership requires breaking through the security features that initiatives like this are trying to strengthen. You might think that's a political/social issue and this is merely a tec…

Memory safety issues don't just mean people can root their own devices, they can often mean that outside attackers can root your devices too.

This isn't a theoretical concern, there are known-in-the-wild cases of private and state actors using these device exploits to compromise their users on a mass scale. There are many ways to weigh this tradeoff, but just in pure numbers there may be more people with devices that have been compromised without their unforced consent than people who intentionally root them.

IMO better to trust in legal processes like Software Freedom Conservancy's lawsuit mentioned above to legally enforce the ability for users to root them than to intentionally leave users vulnerable to exploitation through their devices.

Re: Memory safety for the world’s largest software project

#59
post #2

So, when Rust is actually in the kernel would it be possible for some C based routines to call them? Like the article seems to mention things I've seen as "helper" functions, so a mostly C module can get some memory safe benefits? Or do whole components need to be rewritten?

Yep! At our company, for example, we have built a plugin for PAM in Rust which exposes all the necessary functions with a C interface.

This sounds really interesting! Is the source available somewhere?

Re: Memory safety for the world’s largest software project

#60
post #52

One critical example of such infrastructure is the Linux kernel, used in most servers in the world as well as in billions of devices. ...billions of devices which the manufacturer does not want you to own, to be fair, and for which full ownership requires breaking through the security features that initiatives like this are trying to strengthen. You might think that's a political/social issue and this is merely a tec…

If Software Freedom Conservancy win their lawsuit against Vizio, then anyone who has received a device containing the Linux kernel (or other copylefted code) will be able to sue for compliance, including source code and installation instructions. https://sfconservancy.org/copyleft-compliance/vizio.html https://sfconservancy.org/blog/2021/jul/23/tivoization-and-t... https://sfconservancy.org/blog/2021/mar/25/install-g…

But how long before the kernel itself is replaced and only the modules (under "permissive" licenses) are used? GPL brought us tons of good.
Post reply on HN