srcanamdw/codescanner/scripts/LFunctionCantLeave.py
author noe\swadi
Thu, 18 Feb 2010 12:29:02 +0530
changeset 1 22878952f6e2
permissions -rw-r--r--
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).
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
     1
# #################################################################
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
     2
# Copyright (c) 2009 Nokia Corporation and/or its subsidiary(-ies).
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
     3
# All rights reserved.
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
     4
# 
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
     5
# Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
     6
# 
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
     7
# * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
     8
# * 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.
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
     9
# * 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.
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    10
# 
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    11
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, 
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    12
# THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS 
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    13
# BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    14
# SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    15
# 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.#
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    16
#
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    17
# LFunctionCantLeave.py
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    18
#
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    19
# Checks : L-functions that cannot leave.
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    20
#
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    21
# Reason : A function should not be named with an 'L' if it cannot 
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    22
# leave. The only exception is in virtual functions where the 
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    23
# function name is defined in the base class so the L cannot be 
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    24
# emoved. For example, RunL().
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    25
#
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    26
# #################################################################
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    27
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    28
script = CScript("LFunctionCantLeave")
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    29
script.iReString = r"""
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    30
	[A-Za-z0-9]+			# return type
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    31
	\s+
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    32
	[C|T|R][A-Za-z0-9]+		# class name
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    33
	::
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    34
	([A-Za-z0-9]+L(C|D)*)	# leaving function name (possible LC or LD function)
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    35
	\s*						# optional whitespace
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    36
	\(						# open bracket
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    37
	.*						# parameters
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    38
	\)						# close bracket
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    39
	\s*
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    40
	[^;]					# no semicolon after function definition
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    41
	"""
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    42
script.iFileExts = ["cpp"]
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    43
script.iCategory = KCategoryCodeReviewGuides
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    44
script.iIgnore = KIgnoreCommentsAndQuotes
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    45
script.iSeverity = KSeverityLow
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    46
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    47
lfunctioncantleaveLeavingMethod = re.compile("""
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    48
	[A-Za-z0-9]+
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    49
	L
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    50
	(C|D)*
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    51
	\(
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    52
""", re.VERBOSE)
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    53
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    54
lfunctioncantleaveUserLeave = re.compile("""
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    55
	User::Leave
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    56
	""", re.VERBOSE)
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    57
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    58
lfunctioncantleaveNewELeave = re.compile("""
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    59
	new
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    60
	\s*
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    61
	\(
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    62
	\s*
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    63
	ELeave
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    64
	\s*
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    65
	\)
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    66
""", re.VERBOSE)
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    67
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    68
reLFunctionIgnoreStr = "RunL"
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    69
scriptNode = script.ScriptConfig()
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    70
if (scriptNode <> None):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    71
	for wordNode in scriptNode.getElementsByTagName("LFunctionIgnoreRE"):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    72
		reLFunctionIgnoreStr = wordNode.firstChild.nodeValue
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    73
		print "Note: ignoring the following functions when checking for L-functions that cannot leave: " + reLFunctionIgnoreStr
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    74
		break
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    75
if len(reLFunctionIgnoreStr) > 0:
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    76
	reLFunctionIgnores = re.compile(reLFunctionIgnoreStr, re.IGNORECASE)
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    77
else :
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    78
	reLFunctionIgnores = None
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    79
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    80
def lfunctioncantleavecompare(lines, currentline, rematch, filename):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    81
	line = lines[currentline]
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    82
	m = rematch.search(line)
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    83
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    84
	if m:
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    85
		#ignore functions on the ignored list
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    86
		functionName = m.group(1)
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    87
		if reLFunctionIgnores:
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    88
			if reLFunctionIgnores.match(functionName):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    89
				return 0
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    90
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    91
		i = currentline
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    92
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    93
		# find opening { in function
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    94
		while (line.count("{") == 0):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    95
			i = i + 1
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    96
			if (i >= len(lines)):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    97
				return 1
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    98
			line = lines[i]
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
    99
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   100
		# if empty function (or one-line function?)
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   101
		if (line.count("}") > 0):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   102
			return 1
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   103
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   104
		i = i + 1
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   105
		bracketDepth = 1
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   106
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   107
		while (i < len(lines)):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   108
			line = lines[i]
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   109
			if lfunctioncantleaveLeavingMethod.search(line):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   110
				return 0
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   111
			if lfunctioncantleaveUserLeave.search(line):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   112
				return 0
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   113
			if lfunctioncantleaveNewELeave.search(line):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   114
				return 0 
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   115
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   116
			bracketDepth += line.count("{") - line.count("}")
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   117
			if (bracketDepth == 0):
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   118
				return 1
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   119
			i = i + 1
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   120
	return 0
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   121
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   122
script.iCompare = lfunctioncantleavecompare
22878952f6e2 Committing the CodeScanner Core tool
noe\swadi
parents:
diff changeset
   123
scanner.AddScript(script)