[cfe-dev] CopyPaste detection clang static analyzer
Vassil Vassilev
vvasilev at cern.ch
Tue Feb 4 00:30:04 PST 2014
Thanks for the pointers!
We have a lot of copy-pastes in our framework (with minor changes: the
for loop became a while loop and so on). I was thinking to submit a GSoC
proposal for copy-paste detection and maybe to extend it to semantic
detection where possible. Would the static analyzer be a good platform
for the students to implement such a feature? Would it be beneficial for
the analyzer?
Vassil
On 04/02/14 03:24, Jordan Rose wrote:
> We don't have a fully general checker yet, but the static analyzer has alpha support for certain expressions that commonly show up in these cases, such as both branches of the ternary conditional operator. You can test this support by building from trunk and enabling the checker alpha.core.IdenticalExpr. The people working on this are Daniel Fahlgren, Anders Rönnholm, and Per Viberg.
>
> And of course, patches welcome!
>
> Jordan
>
>
> On Feb 3, 2014, at 3:06 , Vassil Vassilev <vvasilev at cern.ch> wrote:
>
>> Hi,
>> A few months ago I was looking for a copy-paste detector for a C++ project. I didn't find such a feature of clang's static analyzer. Is this the case?
>> Many thanks,
>> Vassil
>> _______________________________________________
>> cfe-dev mailing list
>> cfe-dev at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
More information about the cfe-dev
mailing list