1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
#*************************************************************************#
#* #
#* This file is part of Frama-C. #
#* #
#* Copyright (C) 2007-2016 #
#* CEA (Commissariat à l'énergie atomique et aux énergies #
#* alternatives) #
#* #
#* you can redistribute it and/or modify it under the terms of the GNU #
#* Lesser General Public License as published by the Free Software #
#* Foundation, version 2.1. #
#* #
#* It is distributed in the hope that it will be useful, #
#* but WITHOUT ANY WARRANTY; without even the implied warranty of #
#* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the #
#* GNU Lesser General Public License for more details. #
#* #
#* See the GNU Lesser General Public License version 2.1 #
#* for more details (enclosed in the file licenses/LGPLv2.1). #
#* #
#*************************************************************************#
{2 Dynamic Entry Points}
The _PluginName_ plugin is integrated with the Frama-C kernel:
- {{:../index.html}Frama-C} complete kernel API
- {{:../html/Db._PluginName_.html}_PluginName_} available kernel API
This plugin is also dynamically registered:
- {{:../dynamic_plugins/Dynamic_plugins._PluginName_.html}_PluginName_} dynamic API
- {{:../dynamic_plugins/Dynamic_plugins.html}dynamically registered plugins} index
- {{:../html/Dynamic.html}Dynamic} kernel registery for plugins' API
{2 Internal Structure}
- {{:modules.svg}_PluginName_} architecture (SVG format)
- Index of {{:index_modules.html}Modules}
- Index of {{:index_types.html}Types}
- Index of {{:index_values.html}Values}
- Index of {{:index_exceptions.html}Exceptions}
|
