I'm going to add some checks for C++ that will check for:<div>- uninitialized object members,<br><div>- problems in ctors derived from order of initialization,</div></div><div>- absence of virtual destructor when needed,</div>
<div>- virtual method calls in ctors/dtors,</div><div>- some const-correctness.</div><div><br></div><div>I'll try to use the path-sensitive engine for some of them, extending it in the process, but I'm not sure if I'll make it. I'm doing this for my masters thesis and don't have much time, so I will be able to share my work probably in a month or so. If someone want to work on C++ in the path-sensitive engine during this time I'll contribute just the checks.</div>
<div><br></div><div>- Marcin</div>