.. Static Program Analysis documentation master file, created by
   sphinx-quickstart on Thu Feb 25 08:33:14 2021.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to Static Program Analysis's documentation!
===================================================

This is a Japanese translation of `the lecture notes on Static Program Analysis held at the Department of Computer Science, Aarhus University <https://cs.au.dk/~amoeller/spa/>`_.

.. toctree::
   :maxdepth: 2
   :caption: Contents:

   preface
   chapter01
   chapter02
   chapter03
   chapter04
   chapter05
   chapter06
   chapter07
   chapter08
   chapter09
   chapter10
   chapter11
   bibliography

Copyright
=========

Copyright © 2008–2020 Anders Møller and Michael I. Schwartzbach

Department of Computer Science
Aarhus University, Denmark

This work is licensed under the Creative Commons Attribution-NonCommercialNoDerivatives 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-nd/4.0/.

About this Japanese translation
===============================

This Japanese translation is written by Kengo TODA, a member of `SpotBugs team <https://github.com/spotbugs/>`_.
If you found any problems, feel free to `issue tickets at GitHub <https://github.com/KengoTODA/spa-aarhus-univ/issues>`_.

Indices and tables
==================

* :ref:`genindex`
* :ref:`search`