meta-sca icon indicating copy to clipboard operation
meta-sca copied to clipboard

Published 20 hours ago • verified publisher icon priv-kweihmann

smatch

Open tprrt opened this issue 3 years ago • 7 comments

Is your feature request related to a problem? Please describe. It is a kernel static code analyzer that is currently developed by the kernel-janitors people (but mostly Dan Carpenter).

Describe a tool that might help here http://smatch.sourceforge.net/ https://repo.or.cz/w/smatch.git/blob/HEAD:/Documentation/smatch.txt

tprrt avatar Oct 01 '20 08:10 tprrt

Thanks I'll give it a try

priv-kweihmann avatar Oct 01 '20 08:10 priv-kweihmann

@tprrt I'm having massive problems compiling this with latest master - all kinds of weird linker issues. I posted my latest WIP to https://github.com/priv-kweihmann/meta-sca/tree/smatch and would be happy if you can assist in compiling at least the native tool - I would be happy to do the rest then

priv-kweihmann avatar Oct 04 '20 19:10 priv-kweihmann

Thanks @priv-kweihmann, I will take look this week to assist you.

tprrt avatar Oct 05 '20 16:10 tprrt

@tprrt any news? Did you had a chance to have a look this? any pointer is highly appreciated from my side

priv-kweihmann avatar Feb 11 '21 17:02 priv-kweihmann

Dear @priv-kweihmann,

I'm so sorry, I completely forgot to watch this issue.

Moreover, I made this request in my previous position, and I thought I would help you in my free time. I don't think I will have time to look, then I will ask if there is someone from my old company who can help you.

Best regards, Thomas

tprrt avatar Feb 12 '21 12:02 tprrt

Sure, any help is appreciated

priv-kweihmann avatar Feb 12 '21 12:02 priv-kweihmann

Dear @priv-kweihmann,

Yesterday, I spoke with @fmartinsons, it is not a critical point, then for this reason, for the moment, they unfortunately do not have time to devote to it. You can either close this request or put it on hold in the hope of having support.

Best regards, Thomas

tprrt avatar Feb 13 '21 13:02 tprrt