Java topics - change titles & add intros

This commit is contained in:
Alistair Christie
2020-02-18 16:34:55 +00:00
parent bcb4759b6a
commit fdbc74825e
10 changed files with 38 additions and 20 deletions

View File

@@ -1,11 +1,11 @@
Tutorial: Annotations
=====================
Annotations in Java
===================
CodeQL databases of Java projects contain information about all annotations attached to program elements.
Overview
--------
CodeQL databases of Java projects contain information about all annotations attached to program elements.
Annotations are represented by the following CodeQL classes:
- The class ``Annotatable`` represents all entities that may have an annotation attached to them (that is, packages, reference types, fields, methods, and local variables).

View File

@@ -1,5 +1,7 @@
AST class reference
===================
Abstract syntax tree classes in Java
====================================
CodeQL has a large selection of classes for working with Java code.
.. _Expr: https://help.semmle.com/qldoc/java/semmle/code/java/Expr.qll/type.Expr$Expr.html
.. _Stmt: https://help.semmle.com/qldoc/java/semmle/code/java/Statement.qll/type.Statement$Stmt.html

View File

@@ -1,5 +1,7 @@
Tutorial: Navigating the call graph
===================================
Navigating the call graph
=========================
CodeQL provides an API for identifying code that calls other code, and code that can be called from elsewhere. This allows you to find, for example, methods that are never used.
Call graph API
--------------

View File

@@ -1,11 +1,13 @@
Analyzing data flow in Java
============================
===========================
You can use CodeQL to track the flow of data through a Java program to its use.
Overview
--------
This topic describes how data flow analysis is implemented in the CodeQL libraries for Java and includes examples to help you write your own data flow queries.
The following sections describe how to utilize the libraries for local data flow, global data flow, and taint tracking.
The following sections describe how to use the libraries for local data flow, global data flow, and taint tracking.
For a more general introduction to modeling data flow, see :doc:`Introduction to data flow analysis with CodeQL <../intro-to-data-flow>`.

View File

@@ -1,5 +1,7 @@
Tutorial: Expressions and statements
====================================
Expressions and statements in Java
==================================
You can use CodeQL to check for comparisons in Java code where one side of the comparison is prone to overflow.
Overview
--------

View File

@@ -1,5 +1,7 @@
Introducing the CodeQL libraries for Java
=========================================
CodeQL library for Java
=======================
When you need to analyze a Java program, you can make use of the large collection of classes in the Java library for CodeQL.
Overview
--------

View File

@@ -1,5 +1,7 @@
Tutorial: Javadoc
=================
Javadoc
=======
You can use CodeQL to find errors in Javadoc comments in Java code.
Overview
--------

View File

@@ -1,6 +1,8 @@
CodeQL for Java
===============
You can use CodeQL to explore Java programs and quickly find variants of security vulnerabilities and bugs.
.. toctree::
:glob:
:hidden:

View File

@@ -1,5 +1,7 @@
Tutorial: Working with source locations
=======================================
Working with source locations
=============================
You can use the location of entities within Java code to look for potential errors. Locations allow you to deduce the presence, or absence, of white space which, in some cases, may indicate a problem.
Overview
--------

View File

@@ -1,5 +1,7 @@
Tutorial: Types and the class hierarchy
=======================================
Types in Java
=============
You can use CodeQL to find out information about data types used in Java code. This allows you to write queries to identify specific type-related issues.
Overview
--------