Recent Features
| |||||||||||||
KS2010: SecurityKS2010: SecurityPosted Nov 5, 2010 9:00 UTC (Fri) by mingo (subscriber, #31122)In reply to: KS2010: Security by spender Parent article: KS2010: Security
I'd apply your academic analysis to your own exec-shield work. Actually, FYI, a fair portion of exec-shield is upstream so your comparison fails right there. Secondly, the few bits that are not upstream are the ones that were rejected explicitly by the VM maintainers. I have submitted them multiple times and early on. There was even a fine LWN article about it.
Look and see for yourself what happened in the most recent attempt: http://lkml.org/lkml/2009/12/4/346Erm, have you read the fine lkml discussion you have linked to? I did, and it showed me a lot of acks from maintainers and some bugreports even. In fact a fair amount of constification patches went upstream after the time you submitted similar work: 756e64a0b106: net: constify some ppp/pptp structs 2e7a091833f0: kconfig: constify file name 52dfb8ac0ef4: ceph: constify dentry_operations 54e5bc020ce1: x86, olpc: Constify an olpc_ofw() arg f6db25a87643: squashfs: constify xattr handlers b7bb0a12913a: gfs: constify xattr_handler 537d81ca7c53: ocfs: constify xattr_handler 365f0cb9d2d5: jffs2: constify xattr_handler 46e58764f0c5: xfs: constify xattr_handler 94d09a98cdb1: reiserfs: constify xattr_handler 11e27528076e: ext4: constify xattr_handler d1f21049f918: ext3: constify xattr handlers 749c72efa4bd: ext2: constify xattr_handler f01cbd3f8148: btrfs: constify xattr_handler 5bac942db3d2: SH: constify multiple DMA related objects and references to them 52cf25d0ab7f: Driver core: Constify struct sysfs_ops in struct kobj_type 9cd43611ccfb: kobject: Constify struct kset_uevent_ops 42747d712de5: [WATCHDOG] watchdog_info constify 8838d2560a8c: Staging: rt2870sta: constify RTUSBMultiWrite(), RTUSBFirmwareWrite() a4c1a148a0c4: OMAP: DSS2: OMAPFB: Constify some function parameters af930d646251: Input: gamecon - constify some of the setup structures e87a344d0eef: Input: wacom - constify product features data 739674fb7feb: netfilter: xtables: constify args in compat copying functions 3b9cfc0a99f8: x86, mtrr: Constify struct mtrr_ops 5833929cc2ad: net: constify MIB name tables 45d5d805988f: iwlwifi: Constify struct iwl_ops 7d4e9d0962cd: drbd: Constify struct file_operations f65380c07b64: resource: constify arg to resource_size() and resource_type() 28dfef8febe4: const: constify remaining pipe_buf_operations 9905a43b2d56: backlight: Constify struct backlight_ops 7707e61c7099: ctype: constify read-only _ctype string 471452104b85: const: constify remaining dev_pm_ops 3428838d8e88: page-types: constify read only arrays 1cceefd3a28e: tty: const: constify remaining tty_operations b62d99b5028b: PCMCIA: soc_common: constify soc_pcmcia_socket ops member a9966b580a3e: ieee802154: constify struct net_device in some operations So this looks like good stuff, and it's being done - you got the acks - so why didn't you push your bits upstream? Have you asked akpm to include it in -mm, or have you prepared a tree yourself and sent a pull request to Linus? It's been a year since you submitted those patches - what are you waiting for? Really, are you interested in keeping grsecurity forked? In your long reply i have not seen a single offer from you to make a serious push to merge grsecurity upstream. Instead you complain about the upstream process:
What happened after that is quite typical of upstream's handling of security; it's treated more as a nuisance, something to brush out of the way by means of token gifts of minor improvements. The thing is, i have the exact opposite experience - security work is handled seriously and bugs are handled swiftly. The upstream kernel is aflush with security work. Patches are being welcome - check the very link you provided! Instead of working with us you are hurling such insults at Linus:
So don't regurgitate this inapplicable 'security circus' crap from Linus and act as if it's profound; it's not.Have you considered the theoretical possibility that Linus honestly believes that the 'security circus' stock full of parasitic poseurs exists?
(Log in to post comments)
KS2010: Security Posted Nov 5, 2010 9:37 UTC (Fri) by dlang (✭ supporter ✭, #313) [Link]
quote: Have you considered the theoretical possibility that Linus honestly believes that the 'security circus' stock full of parasitic poseurs exists?
as someone who makes a living in the security field, I can assure you that there is plenty of security circus and the field has a huge number of parasitic poseurs in it. anyone who doesn't believe this, please explain current airport security in real cost/risk terms.
there are also a lot of us who are just trying to keep ahead of the bad guys and explain the problems to management, unfortunantly we have a hard task to do and it isn't nearly as appealing as the marketing security circus to management who doesn't understand the technology at all
KS2010: Security Posted Nov 5, 2010 10:26 UTC (Fri) by mingo (subscriber, #31122) [Link] there are also a lot of us who are just trying to keep ahead of the bad guys and explain the problems to management Yeah. And i think you can consider Linus one of your best allies in that quest really. (He just refuses to play the circus - and IMHO he has rather good and consistent arguments for that.)
KS2010: Security Posted Nov 5, 2010 11:24 UTC (Fri) by ortalo (subscriber, #4654) [Link]
Héhé, I hope he has seen that nice recommendation!
More seriously, that "circus" issue is really an annoying one and very deeply rooted in the field, I second that. Furthermore, from my own experience (subjective of course), I have to admit that most people with some responsibility (the "bosses") tend to be much more attentive to legal or marketing reasons than to practical/technical ones, from the security-oriented point of view. I am sure even Linus (or myself) can also feel this natural bias. This seems to me the fundamental reason why such theatral activity can exist and persist. And while the circus plays and attract attention in the forefront, technical problems and vulnerabilities bury themselves deeply in the code where they can stay for years and users opportunistically take advantage of the low light to write their passwords on a sheet of paper they "hide" in their wallet.
So that refusal from the top-level kernel maintainer to play in the security circus sounds as an overall good news to me; but then, how does he want to play the security game (to get practical and continuous improvements to the overall security level of the kernel)?
Note: I certainly have a lot of ideas to propose on this topic: I've just deleted a lot of lines in this comment (the most interesting ones were probably associated to applying Coccinelle to identify missing "consts").
KS2010: Security Posted Nov 5, 2010 15:09 UTC (Fri) by dlang (✭ supporter ✭, #313) [Link]
the key thing her eis that the kernel developers are fixing security bugs, they are fixing them just like all other bugs, as fast as they can find them and figure them out.
and they think that they are doing a pretty good job, and don't see a reason to make significant changes.
KS2010: Security Posted Nov 5, 2010 12:51 UTC (Fri) by spender (subscriber, #23067) [Link]
Can you elaborate on how TSA and the airline industry prevent the Linux kernel developers from developing even rudimentary security measures?
-Brad
KS2010: Security Posted Nov 5, 2010 14:10 UTC (Fri) by Lionel_Debroux (subscriber, #30014) [Link]
I feel that this rhetorical question may sway the discussion, not good ;-)
KS2010: Security Posted Nov 5, 2010 15:20 UTC (Fri) by spender (subscriber, #23067) [Link]
Which is the point. The entire 'security circus' business is an excuse to avoid the real issues here. Phrased differently, what does 'security circus' have to do with upstream improving the security of their own kernel?
The answer is: "nothing." So why is it brought up so much when it's completely irrelevant to any kind of discussion we're having here?
I can think of a million better questions, like "what is Linux doing to attract security talent for mainline work instead of pushing away potential contributors?" or "Linux is used on millions of systems; why isn't there a single person employed full-time to improve upstream kernel security?" or "How can we move away from the find bug/patch bug mindset/approach to security?"
But it says a lot about an individual and their view toward security when the most useful thing they can muster is some regurgitated crap about "security circus" as if they're saying something insightful or intelligent.
-Brad
KS2010: Security Posted Nov 5, 2010 12:24 UTC (Fri) by spender (subscriber, #23067) [Link]
I think you're horribly confused if you feel that upstream's security is somehow a responsibility of mine.
Let me make this clear: upstream collectively doesn't even have the common sense to acknowledge the existence of security bugs. The 'security circus' is a nice red herring to divert the blame for why Linux security is so atrocious. Maybe seven years ago you could complain about the one or two companies that embargoed vulns to make a name for themselves, but even then it would have been a poor excuse (again that anyone but upstream itself is somehow responsible for upstream's security). I hate to tell you, but those companies are long gone, and there's now nobody in the industry embargoing bugs for fame or anything else you attribute to this 'security circus.' Only notable exception being ITL with the stack/heap gap issue, though you were already notified about that in a 2005 presentation and did nothing about it; so sorry, you lose the ability to complain. That neither Linus nor anyone else has noticed this just illustrates how out of touch with the real world you all are. All you have now is people *volunteering* to try to fix things, and upstream acting like a bunch of idiots. Do you want a medal or something because upstream accepts submitted patches for trivial vulnerabilities found by volunteers? That's hardly a measure of success.
Complain about the 'security circus' all you want, this mythical boogieman that somehow magically prevents you from making any security improvements of your own, but until upstream takes a serious approach to security, I'm afraid the joke is on you. Distros taking a month to release updated kernels for vulnerabilities that only require reusing some of my enlightenment code to exploit is ridiculous. Time and again you have vulnerabilities capable of weaponized public exploits on day one; how many more years will it take for upstream to realize this is a serious problem worthy of actual attention?
Until then, keep up your "de-pessimizing" strategy to security: https://patchwork.kernel.org/patch/276921/
BTW, if I wanted to check for the existence of parasitic security poseurs, I'd probably look for more posts from this guy: http://lkml.org/lkml/2010/11/4/335
-Brad
KS2010: Security Posted Nov 5, 2010 13:59 UTC (Fri) by Lionel_Debroux (subscriber, #30014) [Link]
* On the one hand, to the taste of a number of security researchers (represented here by one member both significant and vocal ;-) ), mainline (Linus' tree) isn't doing enough for security. On the other hand, to the taste of top kernel devs (represented by at least another significant member here), the grsecurity folks aren't doing much to reduce the gap between mainline and grsecurity. And the status quo is not good for users.
* It's sad that several hundreds low-controversy one-/few-liners from the huge grsecurity patch, which can be imported to mainline more easily than lots of other patches, without demonstrable performance or size penalty, remains developed outside of mainline.
* Brad says that new non-const struct instances are added all the time to mainline. And this is despite checkpatch.pl, which is supposed to be applied by authors before submitting patches, checking more than 30 _ops types for constness. But again, mainline certainly isn't against one-liner-per-type improvements to checkpatch.pl ;-)
* The RO/NX patch for modules, one of the most recent incarnations of which seems to be http://lwn.net/Articles/372256/ / http://thread.gmane.org/gmane.linux.kernel.lsm/10347 , seems to have vanished: in the discussion thread, Kees Cook posts that he cannot find the patch in any tree he looked at... but there's a tip-bot notice for that patch ?
* Multiple patchsets (e.g. -mmotm and -ck) are provided, between other formats, as broken-out series, for easier consumption and review. I've looked for a broken-out series corresponding to grsecurity, but I haven't been able to find it. I haven't found the scripts for regenerating e.g. the _ops constification either - it's not that it's really hard to re-create them, but it's stupid to duplicate such work. Do I fail at reading Web pages or using a search engine ?
KS2010: Security Posted Nov 5, 2010 15:07 UTC (Fri) by spender (subscriber, #23067) [Link]
> * On the one hand, to the taste of a number of security researchers (represented here by one member both significant and vocal ;-) ), mainline (Linus' tree) isn't doing enough for security. On the other hand, to the taste of top kernel devs (represented by at least another significant member here), the grsecurity folks aren't doing much to reduce the gap between mainline and grsecurity. And the status quo is not good for users.
Indeed, the status quo is not good for users. But I don't see how that is the problem of anyone but upstream. I only feel a responsibility toward my own users. Upstream is a lost cause for security, as far as I'm concerned. It's a waste of my time to deal with them and their narrow-minded view of security. If in the future they grow up and deal with security properly, then we'll re-evaluate working with them. As it stands, they continue to have the mentality that security just involves fixing bugs (which fits with the 'a bug is a bug' tautological stupidity).
And as I said earlier, when you go looking for "successes," it's mostly just them accepting trivial one-line patches for security issues found en masse via grep. What happens is quite different when a patch doesn't accompany the vulnerability report. So I reject this entire business of "the grsecurity folks aren't doing much to reduce the gap between mainline and grsecurity" -- it's not our job or what we want to be spending our time on.
> * It's sad that several hundreds low-controversy one-/few-liners from the huge grsecurity patch, which can be imported to mainline more easily than lots of other patches, without demonstrable performance or size penalty, remains developed outside of mainline.
They prefer smaller patches, except when they don't. Look at the const patchset. First it wasn't split up enough, they complained, then somehow even though it was split up exactly as they asked, they complained that it was now split up too much. Sorry, but I view it as a failure of Linux if security improvements are dependent upon benevolent individuals with unlimited amounts of time to waste and an iron will.
-Brad
KS2010: Security Posted Nov 5, 2010 15:16 UTC (Fri) by dlang (✭ supporter ✭, #313) [Link]
thank you for the clear statement.
if you don't feel and responsibility for anyone but your users and have no intent to try and push the fixes upstream,then your tree just became pretty irrelavent to linux security for anyone except for your users.
some people may choose to try and parse things apart to get them upstream, but very few people will want to try, so the security fixes that get into the kernel will be developed independantly (even though you will make a lot of noise each time someone recreates your work)
if you don't care about normal linux users, only your users, please quiet down about upstreams's policies, you've just said you don't care about anyone that uses it, so why should you care about it's policies?
KS2010: Security Posted Nov 5, 2010 15:35 UTC (Fri) by spender (subscriber, #23067) [Link]
Because upstream's policies affect me and my users? I don't really need to explain the hierarchy and why "upstream" is called "upstream", do I?
-Brad
KS2010: Security Posted Nov 5, 2010 15:55 UTC (Fri) by PaXTeam (subscriber, #24616) [Link]
> if you don't feel and responsibility for anyone but your users [...]
so first it's our fault that our code isn't accepted in vanilla for whatever reasons then it's also our fault that we still dare to make it available for anyone who cares. and to crown the absurdity, we're at fault for caring about these people. man, are you sure you have anything to do with security? i'm seriously worried about *your* users.
> [...]and have no intent to try and push the fixes upstream
maybe you're not a native speaker, but if you re-read spender's post carefully, you'll note that he made the cooperation conditional. it's the sentence that starts with the 'if' word, i'm sure you'll be able to find all one instance of it.
> [...]then your tree just became pretty irrelavent to linux security for anyone except for your users.
wait, are you saying grsec *was* relevant up to this very moment in time for anyone but grsec users? wow, i take it you won't elaborate but i smell magic here.
> even though you will make a lot of noise each time someone recreates your work
only if they 'forget' to credit the people for the ideas and/or the code or if they fuck up the implementation. just ask ingo ;).
KS2010: Security Posted Nov 5, 2010 16:25 UTC (Fri) by PaXTeam (subscriber, #24616) [Link]
> I haven't found the scripts for regenerating e.g. the _ops constification either - it's not that it's really hard to re-create them, but it's stupid to duplicate such work.
it's more work than you think, just talk to Emese about it. afaik, she still has the cocci scripts that she used for the initial patch series then she had to manually fix up things here and there (i.e., there's no substitute for a make allmodconfig ;). the current const patches are about 230k but they only represent a small fraction of 200 or so ops structures that could probably be all constified. good luck getting that work done!
KS2010: Security Posted Nov 6, 2010 9:52 UTC (Sat) by Lionel_Debroux (subscriber, #30014) [Link]
Ah, I don't know why I somehow thought the constification was made using the "simple/ugly" script mentioned by Brad in http://lwn.net/Articles/346299/ . It's all good if the patches are created with Coccinelle.
Thanks for the clarification :)
I haven't seen any reply about the broken-out form, if any, of the large grsecurity patch ?
KS2010: Security Posted Nov 6, 2010 11:19 UTC (Sat) by PaXTeam (subscriber, #24616) [Link]
> Ah, I don't know why I somehow thought the constification was made using the "simple/ugly" script mentioned by Brad
multiple people worked on this over time with different methods and eventually there was some evolution in that coccinelle proved smarter than grep/sed ;). note that it's still not all roses as according to Emese coccinelle has (or used to have, i'm not following this nowadays) some limitation in how it parsed include files (no recursion was the big problem, iirc) so when you do not only want to generate patches for specific structures but also want coccinelle to determine which ones could be constified at all automatically, then you'll have some extra work to do (or find/write another tool). and you'll want this level of automated help as checking every usage of those 200 ops structure types by hand is anything but fun (and no, compiling allyesconfig/allmodfconfig doesn't necessarily give you 100% coverage).
> I haven't seen any reply about the broken-out form, if any, of the large grsecurity patch ?
because there's no such thing, at most the const patches exist standalone but not the rest.
|
|||||||||||||