I'm trying to run infer on a chromium-forked project, in addition to short-circuiting like p & p->foo, chromium provides macros like CHECK/DCHECK to guard dereference:
DCHECK(p);
...
...
p->foo()
infer reports lots of NULL_DEREF on p->foo(), I wanna filter out those.
If infer cannot do this with options or .inferconfig currently, Could you given me some instructions to contribute on the related checking code? Thanks :)
I'm trying to run infer on a chromium-forked project, in addition to short-circuiting like
p & p->foo
, chromium provides macros like CHECK/DCHECK to guard dereference:infer reports lots of NULL_DEREF on
p->foo()
, I wanna filter out those.If infer cannot do this with options or .inferconfig currently, Could you given me some instructions to contribute on the related checking code? Thanks :)