possibly trusty, though I did do a kmemleak check at the time and didn't notice anything. There where leaks during its dev cycle but I got at least most of them.
Lucid and precise are very different in their code base, and while I won't claim there aren't leaks, they are much less likely. The list management and reference counting are simpler, nor do they have the rcu changes etc.
possibly trusty, though I did do a kmemleak check at the time and didn't notice anything. There where leaks during its dev cycle but I got at least most of them.
Lucid and precise are very different in their code base, and while I won't claim there aren't leaks, they are much less likely. The list management and reference counting are simpler, nor do they have the rcu changes etc.