cm0002@lemmy.world to Linux@programming.dev · 4 months agoLinux kernel source expands beyond 40 million lines – it has doubled in size in a decadewww.tomshardware.comexternal-linkmessage-square17fedilinkarrow-up1116arrow-down10file-text
arrow-up1116arrow-down1external-linkLinux kernel source expands beyond 40 million lines – it has doubled in size in a decadewww.tomshardware.comcm0002@lemmy.world to Linux@programming.dev · 4 months agomessage-square17fedilinkfile-text
minus-squaredemesisx@infosec.publinkfedilinkEnglisharrow-up18arrow-down11·4 months agoI’d like to see them hire some formal methods people to at least formally verify crucial parts of it. It might actually also be good to analyze it with an LLM to identify any hidden problem areas. I’m interested to hear why my idea is probably foolish as well, though.
minus-squarehenfredemars@infosec.publinkfedilinkEnglisharrow-up19·edit-24 months agoA great deal of work is going into this area. In fact, I believe there’s quite a few parties using LLMs to look for security bugs, and the US Department of defense had a multimillion dollar competition to motivate just that.
I’d like to see them hire some formal methods people to at least formally verify crucial parts of it.
It might actually also be good to analyze it with an LLM to identify any hidden problem areas.
I’m interested to hear why my idea is probably foolish as well, though.
A great deal of work is going into this area. In fact, I believe there’s quite a few parties using LLMs to look for security bugs, and the US Department of defense had a multimillion dollar competition to motivate just that.