Code Listener
[unstable] git snapshot
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
pointsto_fics.hh
Go to the documentation of this file.
1
/*
2
* Copyright (C) 2012 Pavel Raiskup <pavel@raiskup.cz>
3
*
4
* This file is part of predator.
5
*
6
* predator is free software: you can redistribute it and/or modify
7
* it under the terms of the GNU General Public License as published by
8
* the Free Software Foundation, either version 3 of the License, or
9
* any later version.
10
*
11
* predator is distributed in the hope that it will be useful,
12
* but WITHOUT ANY WARRANTY; without even the implied warranty of
13
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14
* GNU General Public License for more details.
15
*
16
* You should have received a copy of the GNU General Public License
17
* along with predator. If not, see <http://www.gnu.org/licenses/>.
18
*/
19
20
// TODO
21
// - there should be some reference to FICS paper
22
23
#ifndef H_GUARD_CL_PT_FICS_H
24
#define H_GUARD_CL_PT_FICS_H
25
26
#include "
pointsto.hh
"
27
28
namespace
CodeStorage {
29
namespace
PointsTo {
30
31
bool
runFICS
(BuildCtx &ctx);
32
33
}
/* namespace PointsTo */
34
}
/* namespace CodeStorage */
35
36
#endif
/* H_GUARD_CL_PT_FICS_H */
Generated on Tue Nov 5 2013 22:26:58 for Code Listener by
1.8.4