summaryrefslogtreecommitdiff
path: root/src/analysis/scan/patterns/tokens/offset.h
blob: 130aaea71caac9a170beb51f3269fd4d0891b33f (plain)
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111

/* Chrysalide - Outil d'analyse de fichiers binaires
 * offset.h - prototypes pour la prise en compte des espaces entre octets dans un motif de recherche
 *
 * Copyright (C) 2023 Cyrille Bagard
 *
 *  This file is part of Chrysalide.
 *
 *  Chrysalide is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  Chrysalide 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 General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with Foobar.  If not, see <http://www.gnu.org/licenses/>.
 */


#ifndef _ANALYSIS_SCAN_PATTERNS_TOKENS_OFFSET_H
#define _ANALYSIS_SCAN_PATTERNS_TOKENS_OFFSET_H


#include <stdbool.h>

#include "../../../../arch/vmpa.h"



/* Mémorisation d'une souplesse dans les positions visées */
typedef struct _node_offset_range_t
{
    /**
     * Les deux champs ci-après font bien référence à des positions absolues,
     * et non à des bornes d'espace, lorsque les résultats de correspondances
     * sont encore non initialisés.
     *
     * Ensuite ces bornes représentent bien un espace séparant les résultats
     * issus de deux noeuds.
     */
    phys_t min;                             /* Position minimale           */
    phys_t max;                             /* Position maximale           */
    bool has_max;                           /* Quantité définie ?          */

} node_offset_range_t;


/* Fournit les bornes d'une zone à analyser. */
bool get_node_offset_range(const node_offset_range_t *, phys_t, phys_t, phys_t *, phys_t *);



#define MAX_RANGE_FOR_MANUAL_CHECK 5



/* Mémorisation d'une souplesse dans les positions visées */
typedef struct _node_search_offset_t
{
    node_offset_range_t range;              /* Bornes de décalage uniques  */

    node_offset_range_t *ranges;            /* Bornes de décalage multiples*/
    size_t allocated;                       /* Nombre d'allocations        */

    node_offset_range_t *gen_ptr;           /* Accès générique à la liste  */

    size_t used;                            /* Nombre de bornes présentes  */

} node_search_offset_t;


/* Initialise une mémorisation d'intervales de tolérance. */
void init_node_search_offset(node_search_offset_t *);

/* Copie une mémorisation d'intervales entre positions. */
void copy_node_search_offset(node_search_offset_t *, const node_search_offset_t *);

/* Fusionne une mémorisation d'intervales entre positions. */
void merge_node_search_offset(node_search_offset_t *, const node_search_offset_t *);

/* Met fin à une mémorisation d'intervales de tolérance. */
void exit_node_search_offset(node_search_offset_t *);

#define offsets_exist(off) \
    ((off)->used > 0)


/* Fournit la liste des tolérances bornées établies à présent. */
/* TODO : supprimer un niveau d'indirection */
node_offset_range_t * const *get_node_search_offset_ranges(const node_search_offset_t *, size_t *);
const node_offset_range_t * const get_node_search_offset_ranges_2(const node_search_offset_t *, size_t *);

/* Ajoute un nouvel espace borné aux décalages tolérés. */
void add_range_to_node_search_offset(node_search_offset_t *, phys_t, phys_t, const phys_t *);

/* Etend les décalages tolérés avec un nouvel espace. */
void extend_node_search_offset(node_search_offset_t *, phys_t, phys_t, bool);

#define disable_all_ranges_in_node_search_offset(off) \
    (off)->used = 0

/* Indique si une position est comprise dans un intervale. */
bool does_node_search_offset_include_pos_forward(const node_search_offset_t *, phys_t, phys_t);



#endif  /* _ANALYSIS_SCAN_PATTERNS_TOKENS_OFFSET_H */