1 files changed, 157 insertions, 0 deletions
diff --git a/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/CloseOpenedFilesChecker.java b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/CloseOpenedFilesChecker.java
new file mode 100644
index 0000000..8acdc81
--- /dev/null
+++ b/org.eclipse.cdt.codan.extension/src/org/eclipse/cdt/codan/extension/CloseOpenedFilesChecker.java
@@ -0,0 +1,157 @@
+/*******************************************************************************
+ * Copyright (c) 2009 Elliott Baron
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *    Elliott Baron - initial API and implementation
+ *******************************************************************************/
+package org.eclipse.cdt.codan.extension;
+
+import java.io.File;
+import java.net.URI;
+import java.text.MessageFormat;
+import java.util.ArrayList;
+import java.util.List;
+
+import org.eclipse.cdt.codan.core.model.AbstractIndexAstChecker;
+import org.eclipse.cdt.core.dom.ast.ASTVisitor;
+import org.eclipse.cdt.core.dom.ast.IASTBinaryExpression;
+import org.eclipse.cdt.core.dom.ast.IASTDeclarator;
+import org.eclipse.cdt.core.dom.ast.IASTExpression;
+import org.eclipse.cdt.core.dom.ast.IASTFunctionCallExpression;
+import org.eclipse.cdt.core.dom.ast.IASTIdExpression;
+import org.eclipse.cdt.core.dom.ast.IASTInitializerExpression;
+import org.eclipse.cdt.core.dom.ast.IASTName;
+import org.eclipse.cdt.core.dom.ast.IASTNode;
+import org.eclipse.cdt.core.dom.ast.IASTStatement;
+import org.eclipse.cdt.core.dom.ast.IASTTranslationUnit;
+import org.eclipse.cdt.core.dom.ast.IBinding;
+import org.eclipse.core.resources.IProject;
+import org.eclipse.core.resources.IResource;
+import org.eclipse.core.resources.IWorkspaceRoot;
+import org.eclipse.core.resources.ResourcesPlugin;
+import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.GraphCreator;
+import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.IBlock;
+import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.ICallGraph;
+import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.ICallGraphNode;
+import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.IControlFlowGraph;
+import org.eclipse.ptp.pldt.mpi.analysis.cdt.graphs.impl.ControlFlowGraph;
+
+public class CloseOpenedFilesChecker extends AbstractIndexAstChecker {
+	private static final String ERR_ID = Activator.PLUGIN_ID + ".CloseOpenedFilesProblem";
+
+	public void processAst(IASTTranslationUnit ast) {
+		// traverse the AST using the visitor pattern
+		CloseOpenedFilesVisitor visitor = new CloseOpenedFilesVisitor();
+		
+		GraphCreator creator = new GraphCreator();
+		
+		// Retrieve resource corresponding to this translation unit
+		String path = ast.getFilePath();
+		URI fileURI = new File(path).toURI();
+		IWorkspaceRoot wsRoot = ResourcesPlugin.getWorkspace().getRoot();
+		IResource[] resources = wsRoot.findFilesForLocationURI(fileURI);
+		if (resources != null && resources.length > 0) {
+			IProject proj = resources[0].getProject();
+			
+			// Create call graph for project
+			ICallGraph cg = creator.createCallGraph(proj);
+			creator.computeCallGraph(cg);
+			
+			// Create control flow graph
+			ICallGraphNode cgRoot = cg.topEntry();
+			IASTStatement fnBody = cgRoot.getFuncDef().getBody();
+			IControlFlowGraph cfg = new ControlFlowGraph(fnBody);
+			cfg.buildCFG();
+			cfg.print();
+			
+			ast.accept(visitor);			
+		}		
+	}
+
+
+	private void reportProblem(IASTName closeFD) {
+		String message = MessageFormat.format("File descriptor \"{0}\" has not been opened", closeFD.toString());
+		reportProblem(ERR_ID, closeFD, message);
+	}
+
+	
+	class CloseOpenedFilesVisitor extends ASTVisitor {
+		
+		public static final String OPEN = "open";
+		public static final String CLOSE = "close";
+		
+		private List<IASTName> openedFDs;
+
+		public CloseOpenedFilesVisitor() {
+			openedFDs = new ArrayList<IASTName>();
+			shouldVisitExpressions = true;
+		}
+		
+		@Override
+		public int visit(IASTExpression expression) {
+			if (expression instanceof IASTFunctionCallExpression) {
+				IASTFunctionCallExpression callExpression = (IASTFunctionCallExpression) expression;
+				IASTExpression funcName = callExpression.getFunctionNameExpression();
+				if (funcName instanceof IASTIdExpression) {
+					IASTName name = ((IASTIdExpression) funcName).getName();
+					String simpleName = String.valueOf(name.getSimpleID());
+					if (simpleName.equals(OPEN)) {
+						IASTNode parent = callExpression.getParent();
+						// Handle initialization in declaration
+						if (parent instanceof IASTInitializerExpression) {
+							parent = parent.getParent();
+							if (parent instanceof IASTDeclarator) {
+								openedFDs.add(((IASTDeclarator) parent).getName());
+							}
+						}
+						// Assignment after declaration
+						else if (parent instanceof IASTBinaryExpression) {
+							IASTExpression op2 = ((IASTBinaryExpression) parent).getOperand2();
+							int operator = ((IASTBinaryExpression) parent).getOperator();
+							if (callExpression.equals(op2) && operator == IASTBinaryExpression.op_assign) { 
+								IASTExpression op1 = ((IASTBinaryExpression) parent).getOperand1();
+								if (op1 instanceof IASTIdExpression) {
+									openedFDs.add(((IASTIdExpression) op1).getName());
+								}
+							}
+						}
+					}
+					else if (simpleName.equals(CLOSE)) {
+						IASTExpression paramExpression = callExpression.getParameterExpression();
+						if (paramExpression instanceof IASTIdExpression) {
+							IASTName fd = ((IASTIdExpression) paramExpression).getName();
+							// Add only if no matching opened FD
+							boolean match = false;
+							for (int i = 0; !match && i < openedFDs.size(); i++) {
+								IASTName opened = openedFDs.get(i);
+								match = matchingFileDescriptors(fd, opened);
+							}
+							
+							if (!match) {
+								reportProblem(fd);
+							}
+						}
+					}
+				}
+				
+				return PROCESS_SKIP;
+			}
+			else {
+				return PROCESS_CONTINUE;
+			}
+		}
+		
+		private boolean matchingFileDescriptors(IASTName closeFD, IASTName openFD) {
+			// FIXME elaborate
+			IBinding closeBinding = closeFD.getBinding();
+			IBinding openBinding = openFD.getBinding();
+			
+			return openBinding != null && closeBinding != null && openBinding.equals(closeBinding);
+		}
+	}
+
+}