Added sample prolog for reference.

Author: qhanam

core/prolog/query_example.pl

@@ -0,0 +1,39 @@
+%% %%%%%%%%%%%%%%%%%%%%
+%% Define the possible predicates.
+%% %%%%%%%%%%%%%%%%%%%%
+
+% destination_protected_dereference := protected a dereferenced variable by adding a branch condition
+% arg1 := the function identifier
+% arg2 := the name of the identifier (variable, field, or function return value) being dereferenced.
+%:- multifile(destination_protected_dereference/2).
+destination_protected_dereference(_,_) :- fail.
+
+% source_unprotected_dereference := unprotected a dereferenced variable by removing a branch condition
+% arg1 := the function identifier
+% arg2 := the name of the identifier (variable, field, or function return value) being dereferenced.
+%:- multifile(source_unprotected_dereference/2).
+source_unprotected_dereference(_,_) :- fail.
+
+%% %%%%%%%%%%%%%%%%%%%%
+%% Define the rules.
+%% %%%%%%%%%%%%%%%%%%%%
+
+% Alert for when a variable is protected by a conditional
+alert_undefined_protected(X, Y) :- destination_protected_dereference(X, Y), \+ source_unprotected_dereference(X, Y).
+
+%% %%%%%%%%%%%%%%%%%%%%
+%% Create some facts for testing.
+%% %%%%%%%%%%%%%%%%%%%%
+
+source_unprotected_dereference('script.~anonymous~', 'error').
+destination_protected_dereference('script.~anonymous~', 'error').
+
+destination_protected_dereference('script.getName', 'error').
+
+destination_protected_dereference('script.getEMail', 'error').
+
+%% %%%%%%%%%%%%%%%%%%%%
+%% Query the rules to find instances.
+%% %%%%%%%%%%%%%%%%%%%%
+
+?- findall([X,Y], alert_undefined_protected(X,Y),Z).

core/src/ca/ubc/ece/salt/pangor/analysis/CommitAnalysis.java

@@ -12,7 +12,8 @@
 import ca.ubc.ece.salt.pangor.cfg.CFGFactory;
 
 /**
- * Gathers facts about one commit and synthesizes alerts based on those facts.
+ * Gathers facts about one commit and runs queries in prolog against those
+ * facts to synthesize alerts.
  *
  * @param <A> The type of alert the data set stores.
  * @param <DS> The type of data set that stores the analysis results.

java-classify/test/src/ca/ubc/ece/salt/pangor/java/test/methodrename/TestRenameRefactoringBatchAnalysis.java

@@ -7,11 +7,11 @@
 import ca.ubc.ece.salt.pangor.analysis.CommitAnalysis;
 import ca.ubc.ece.salt.pangor.analysis.classify.ClassifierAlert;
 import ca.ubc.ece.salt.pangor.analysis.classify.ClassifierDataSet;
-import ca.ubc.ece.salt.pangor.analysis.simple.SimpleCFGFactory;
 import ca.ubc.ece.salt.pangor.batch.GitProjectAnalysis;
 import ca.ubc.ece.salt.pangor.java.analysis.ClassAnalysis;
 import ca.ubc.ece.salt.pangor.java.analysis.methodrename.RenameMethodDstAnalysis;
 import ca.ubc.ece.salt.pangor.java.analysis.methodrename.RenameMethodSrcAnalysis;
+import ca.ubc.ece.salt.pangor.java.cfg.JavaCFGFactory;
 
 public class TestRenameRefactoringBatchAnalysis {
 
@@ -30,7 +30,7 @@ public void test() throws IOException, Exception {
 				new RenameMethodDstAnalysis());
 
 		/* The SimpleCFGFactory doesn't do anything, so it is generic to any file type. */
-		SimpleCFGFactory cfgFactory = new SimpleCFGFactory();
+		JavaCFGFactory cfgFactory = new JavaCFGFactory();
 
 		/* Set up the commit analysis (analyzes one commit). */
 		CommitAnalysis<ClassifierAlert, ClassifierDataSet,
@@ -43,7 +43,9 @@ public void test() throws IOException, Exception {
 
 		/* Set up the project analysis (analyzes one project). */
 		GitProjectAnalysis projectAnalysis = GitProjectAnalysis.fromURI(
-				"https://github.com/naman14/Timber.git", "./repositories/",
+//				"https://github.com/naman14/Timber.git", "./repositories/",
+//				"https://github.com/apache/tez.git", "./repositories/",
+				"https://github.com/apache/commons-math.git", "./repositories/",
 				"^.*$", commitAnalysis);
 
 		/* Run the analysis. */

java/src/ca/ubc/ece/salt/pangor/java/cfg/JavaCFGFactory.java

@@ -14,7 +14,6 @@
 import ca.ubc.ece.salt.pangor.cfg.CFG;
 import ca.ubc.ece.salt.pangor.cfg.CFGFactory;
 import ca.ubc.ece.salt.pangor.cfg.CFGNode;
-import ca.ubc.ece.salt.pangor.java.analysis.MethodVisitor;
 import fr.labri.gumtree.gen.jdt.JdtTreeGenerator;
 import fr.labri.gumtree.io.TreeGenerator;
 
@@ -39,12 +38,12 @@ public List<CFG> createCFGs(ClassifiedASTNode root) {
 		List<CFG> cfgs = new LinkedList<CFG>();
 
 		/* Get the list of methods in the class. */
-		List<MethodDeclaration> methods = MethodVisitor.getMethodDeclarations(cu);
+//		List<MethodDeclaration> methods = MethodVisitor.getMethodDeclarations(cu);
 
 		/* For each function, generate its CFG. */
-		for(MethodDeclaration method : methods) {
-			cfgs.add(JavaCFGFactory.buildMethodCFG(method));
-		}
+//		for(MethodDeclaration method : methods) {
+//			cfgs.add(JavaCFGFactory.buildMethodCFG(method));
+//		}
 
 		return cfgs;