Committing the CodeScanner Core tool
This component has been moved from the StaticAnaApps package. BUG : 5889 (http://developer.symbian.org/webbugs/show_bug.cgi?id=5889).
# #################################################################
# Copyright (c) 2009 Nokia Corporation and/or its subsidiary(-ies).
# All rights reserved.
#
# Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
#
# * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
# * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
# * Neither the name of Nokia Corporation nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
#
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
# THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS
# BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
# SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
# CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.#
#
# inheritaenceorder.py
#
# Checks : Incorrect inheritance order of M and C classes.
#
# Reason : If a C class inherits first from an M class and then a
# C class, a panic can occur when trying to pop a CBase pointer
# pointing to such a class from the cleanup stack when in fact a
# pointer pointing to the first predecessor, the mixin class, was
# popped instead.
#
# #################################################################
script = CScript("inheritanceorder")
script.iReString = r"""
^\s* # optional whitespace
class
\s+ # whitespace
(\w+::)?
(\w+) # class name
\s* # optional whitespace
:
(.*) # inheritance list
"""
script.iFileExts = ["h", "cpp"]
script.iCategory = KCategoryCanPanic
script.iIgnore = KIgnoreCommentsAndQuotes
script.iSeverity = KSeverityHigh
def inheritancecompare(lines, currentline, rematch, filename):
m = rematch.search(lines[currentline])
if m:
className = m.group(2)
if className[0] <> "C" or (len(className) == 1) or not className[1].isupper():
return 0
inheritanceString = m.group(3)
# check for inheritance list spanning multiple lines
i = currentline + 1
while (inheritanceString.find("{") == -1) and i < len(lines):
if (inheritanceString.find(";") <> -1):
return 0
inheritanceString += lines[i]
i += 1
# construct inheritance class list
inheritancelist = inheritanceString.split(",")
reclass = re.compile("[\s:]*(public|protected|private)?\s*([\w:]+)")
classlist = []
for inheritance in inheritancelist:
match = reclass.search(inheritance)
if match:
inheritclass = match.group(2)
colonpos = inheritclass.rfind(":")
if (colonpos <> -1):
inheritclass = inheritclass[colonpos + 1:]
classlist.append(inheritclass)
# check the order of M and C classes in inheritance class list
mclassIndex = -1
cclassIndex = -1
for classname in classlist:
if (len(classname) > 2):
if classname[0] == "M" and classname[1].isupper() and mclassIndex == -1:
mclassIndex = classlist.index(classname)
if classname[0] == "C" and classname[1].isupper() and cclassIndex == -1:
cclassIndex = classlist.index(classname)
if mclassIndex != -1 and cclassIndex != -1 and mclassIndex < cclassIndex:
return 1
else:
return 0
return 0
script.iCompare = inheritancecompare
scanner.AddScript(script)