diff --git a/infer/src/checkers/sql_examples/Makefile b/infer/src/checkers/sql_examples/Makefile deleted file mode 100644 index 9f0f9ad39..000000000 --- a/infer/src/checkers/sql_examples/Makefile +++ /dev/null @@ -1,18 +0,0 @@ -# Copyright (c) 2017 - present Facebook, Inc. -# All rights reserved. -# -# This source code is licensed under the BSD style license found in the -# LICENSE file in the root directory of this source tree. An additional grant -# of patent rights can be found in the PATENTS file in the same directory. - -all: - InferAnalyze --results-dir out -checkers - -.PHONY: capture -capture: - InferCapture out javac *.java - -.PHONY: clean -clean: - rm -rf out *.class - diff --git a/infer/src/checkers/sql_examples/Test.java b/infer/src/checkers/sql_examples/Test.java deleted file mode 100644 index 6224ef884..000000000 --- a/infer/src/checkers/sql_examples/Test.java +++ /dev/null @@ -1,25 +0,0 @@ -/* - * Copyright (c) 2015 - present Facebook, Inc. - * All rights reserved. - * - * This source code is licensed under the BSD style license found in the - * LICENSE file in the root directory of this source tree. An additional grant - * of patent rights can be found in the PATENTS file in the same directory. - */ - -class Test { - - public void select() { - String a = "SELeCT id FROM "; - String b = "table"; - String c = " WHERE something"; - String d = a + b + c; - } - - public void insert() { - int id = 10; - String a = "INSERT into table VALUES (1) WHERE id="; - String q = a + Integer.toString(id); - } - -}