From 43bcd5b26c1cb9e6813c2db7c9afc3ecb770789c Mon Sep 17 00:00:00 2001 From: yo-h <55373593+yo-h@users.noreply.github.com> Date: Mon, 24 Feb 2020 15:08:31 -0500 Subject: [PATCH] Add guidelines for experimental CodeQL queries and libraries --- CONTRIBUTING.md | 2 ++ cpp/ql/src/experimental/README.md | 1 + cpp/ql/test/experimental/README.md | 1 + csharp/ql/src/experimental/README.md | 1 + csharp/ql/test/experimental/README.md | 1 + docs/experimental.md | 42 +++++++++++++++++++++++ java/ql/src/experimental/README.md | 1 + java/ql/test/experimental/README.md | 1 + javascript/ql/src/experimental/README.md | 1 + javascript/ql/test/experimental/README.md | 1 + python/ql/src/experimental/README.md | 1 + python/ql/test/experimental/README.md | 1 + 12 files changed, 54 insertions(+) create mode 100644 cpp/ql/src/experimental/README.md create mode 100644 cpp/ql/test/experimental/README.md create mode 100644 csharp/ql/src/experimental/README.md create mode 100644 csharp/ql/test/experimental/README.md create mode 100644 docs/experimental.md create mode 100644 java/ql/src/experimental/README.md create mode 100644 java/ql/test/experimental/README.md create mode 100644 javascript/ql/src/experimental/README.md create mode 100644 javascript/ql/test/experimental/README.md create mode 100644 python/ql/src/experimental/README.md create mode 100644 python/ql/test/experimental/README.md diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index f22bc016c19..0583374555b 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -46,6 +46,8 @@ Follow the steps below to help other users understand what your query does, and Query help files explain the purpose of your query to other users. Write your query help in a `.qhelp` file and save it in the same directory as your new query. For more information on writing query help, see the [Query help style guide](https://github.com/Semmle/ql/blob/master/docs/query-help-style-guide.md). +In addition to contributions to our standard queries and libraries, we also welcome contributions of a more experimental nature, which do not need to fulfill all the requirements listed above. See the guidelines for [experimental queries and libraries](docs/experimental.md) for details. + ## Using your personal data If you contribute to this project, we will record your name and email diff --git a/cpp/ql/src/experimental/README.md b/cpp/ql/src/experimental/README.md new file mode 100644 index 00000000000..fc07363b24f --- /dev/null +++ b/cpp/ql/src/experimental/README.md @@ -0,0 +1 @@ +This directory contains [experimental](../../../../docs/experimental.md) CodeQL queries and libraries. diff --git a/cpp/ql/test/experimental/README.md b/cpp/ql/test/experimental/README.md new file mode 100644 index 00000000000..2a9db304b9f --- /dev/null +++ b/cpp/ql/test/experimental/README.md @@ -0,0 +1 @@ +This directory contains tests for [experimental](../../../../docs/experimental.md) CodeQL queries and libraries. diff --git a/csharp/ql/src/experimental/README.md b/csharp/ql/src/experimental/README.md new file mode 100644 index 00000000000..fc07363b24f --- /dev/null +++ b/csharp/ql/src/experimental/README.md @@ -0,0 +1 @@ +This directory contains [experimental](../../../../docs/experimental.md) CodeQL queries and libraries. diff --git a/csharp/ql/test/experimental/README.md b/csharp/ql/test/experimental/README.md new file mode 100644 index 00000000000..2a9db304b9f --- /dev/null +++ b/csharp/ql/test/experimental/README.md @@ -0,0 +1 @@ +This directory contains tests for [experimental](../../../../docs/experimental.md) CodeQL queries and libraries. diff --git a/docs/experimental.md b/docs/experimental.md new file mode 100644 index 00000000000..5a15cfa3779 --- /dev/null +++ b/docs/experimental.md @@ -0,0 +1,42 @@ +# Experimental CodeQL queries and libraries + +In addition to our standard CodeQL queries and libraries, this repository may also contain queries and libraries of a more experimental nature. Experimental queries and libraries can be improved incrementally and may eventually reach a sufficient maturity to be included in our standard libraries and queries. + +## Requirements + +1. **Directory structure** + + - Experimental queries and libraries are stored in the `experimental` subdirectory within each language-specific directory in the [CodeQL repository](https://github.com/Semmle/ql). For example, experimental Java queries and libraries are stored in `ql/java/ql/src/experimental` and any corresponding tests in `ql/java/ql/test/experimental`. + - The structure of an `experimental` subdirectory mirrors the structure of standard queries and libraries (or tests) in the parent directory. + +2. **Query metadata** + + - The query `@id` must not clash with any other queries in the repository. + - The query must have a `@name` and `@description` to explain its purpose. + - The query must have a `@kind` and `@problem.severity` as required by CodeQL tools. + + For details, see the [guide on query metadata](https://github.com/Semmle/ql/blob/master/docs/query-metadata-style-guide.md). + +3. **Formatting** + + - The queries and libraries must be [autoformatted](https://help.semmle.com/codeql/codeql-for-vscode/reference/editor.html#autoformatting). + +4. **Compilation** + + - Compilation of the query and any associated libraries and tests must be resilient to future development of the standard libraries. This means that the functionality cannot depend on the output of `getAQlClass` and it cannot use internal APIs. + - The query and any associated libraries and tests must not cause any compiler warnings to be emitted (such as use of deprecated functionality or missing `override` annotations). + +5. **Results** + + - The query must have at least one true positive result on some revision of a real project. + +6. **Contributor License Agreement** + + - The contributor can satisfy the [CLA](CONTRIBUTING.md#contributor-license-agreement). + +## Non-requirements + +Other criteria typically required for our standard queries and libraries are not required for experimental queries and libraries. In particular, fully disciplined query [metadata](docs/query-metadata-style-guide.md), query [help](docs/query-help-style-guide.md), tests, a low false positive rate and performance tuning are not required (but nonetheless recommended). + +Experimental queries and libraries may not be actively maintained as the standard libraries evolve and may be removed in the future. + diff --git a/java/ql/src/experimental/README.md b/java/ql/src/experimental/README.md new file mode 100644 index 00000000000..fc07363b24f --- /dev/null +++ b/java/ql/src/experimental/README.md @@ -0,0 +1 @@ +This directory contains [experimental](../../../../docs/experimental.md) CodeQL queries and libraries. diff --git a/java/ql/test/experimental/README.md b/java/ql/test/experimental/README.md new file mode 100644 index 00000000000..2a9db304b9f --- /dev/null +++ b/java/ql/test/experimental/README.md @@ -0,0 +1 @@ +This directory contains tests for [experimental](../../../../docs/experimental.md) CodeQL queries and libraries. diff --git a/javascript/ql/src/experimental/README.md b/javascript/ql/src/experimental/README.md new file mode 100644 index 00000000000..fc07363b24f --- /dev/null +++ b/javascript/ql/src/experimental/README.md @@ -0,0 +1 @@ +This directory contains [experimental](../../../../docs/experimental.md) CodeQL queries and libraries. diff --git a/javascript/ql/test/experimental/README.md b/javascript/ql/test/experimental/README.md new file mode 100644 index 00000000000..2a9db304b9f --- /dev/null +++ b/javascript/ql/test/experimental/README.md @@ -0,0 +1 @@ +This directory contains tests for [experimental](../../../../docs/experimental.md) CodeQL queries and libraries. diff --git a/python/ql/src/experimental/README.md b/python/ql/src/experimental/README.md new file mode 100644 index 00000000000..fc07363b24f --- /dev/null +++ b/python/ql/src/experimental/README.md @@ -0,0 +1 @@ +This directory contains [experimental](../../../../docs/experimental.md) CodeQL queries and libraries. diff --git a/python/ql/test/experimental/README.md b/python/ql/test/experimental/README.md new file mode 100644 index 00000000000..2a9db304b9f --- /dev/null +++ b/python/ql/test/experimental/README.md @@ -0,0 +1 @@ +This directory contains tests for [experimental](../../../../docs/experimental.md) CodeQL queries and libraries.