diff options
Diffstat (limited to 'src/analysis/scan/patterns/tokens/node.c')
| -rw-r--r-- | src/analysis/scan/patterns/tokens/node.c | 407 | 
1 files changed, 401 insertions, 6 deletions
| diff --git a/src/analysis/scan/patterns/tokens/node.c b/src/analysis/scan/patterns/tokens/node.c index 224328a..1354fff 100644 --- a/src/analysis/scan/patterns/tokens/node.c +++ b/src/analysis/scan/patterns/tokens/node.c @@ -28,6 +28,7 @@  #include "node-int.h" +#include "nodes/any.h" @@ -35,7 +36,7 @@  /* Initialise la classe des éléments de décomposition. */ -static void g_scan_token_node_class_init(GScanTokenNodeClass *klass); +static void g_scan_token_node_class_init(GScanTokenNodeClass *);  /* Initialise une instance d'élément décomposant un motif. */  static void g_scan_token_node_init(GScanTokenNode *); @@ -95,6 +96,7 @@ static void g_scan_token_node_class_init(GScanTokenNodeClass *klass)  static void g_scan_token_node_init(GScanTokenNode *node)  { +    node->flags = STNF_NONE;  } @@ -139,10 +141,148 @@ static void g_scan_token_node_finalize(GScanTokenNode *node)  /******************************************************************************  *                                                                             * +*  Paramètres  : node = noeud de motif à consulter.                           * +*                                                                             * +*  Description : Indique les propriétés particulières d'un noeud d'analyse.   * +*                                                                             * +*  Retour      : Propriétés particulières associées au noeud.                 * +*                                                                             * +*  Remarques   : -                                                            * +*                                                                             * +******************************************************************************/ + +ScanTokenNodeFlags g_scan_token_node_get_flags(const GScanTokenNode *node) +{ +    ScanTokenNodeFlags result;              /* Statut à retourner          */ + +    result = node->flags; + +    return result; + +} + + +/****************************************************************************** +*                                                                             * +*  Paramètres  : node  = noeud de motif à mettre à jour.                      * +*                flags = propriétés particulières à associer au noeud.        * +*                                                                             * +*  Description : Marque le noeud avec des propriétés particulières.           * +*                                                                             * +*  Retour      : -                                                            * +*                                                                             * +*  Remarques   : -                                                            * +*                                                                             * +******************************************************************************/ + +void g_scan_token_node_set_flags(GScanTokenNode *node, ScanTokenNodeFlags flags) +{ +    GScanTokenNodeClass *class;             /* Classe de l'instance        */ + +    node->flags |= flags; + +    class = G_SCAN_TOKEN_NODE_GET_CLASS(node); + +    if (class->apply != NULL) +        class->apply(node, flags); + +} + + +/****************************************************************************** +*                                                                             * +*  Paramètres  : node   = point de départ du parcours à effectuer.            * +*                points = points capitaux de l'arborescence. [OUT]            * +*                                                                             * +*  Description : Parcourt une arborescence de noeuds et y relève des éléments.* +*                                                                             * +*  Retour      : -                                                            * +*                                                                             * +*  Remarques   : -                                                            * +*                                                                             * +******************************************************************************/ + +void g_scan_token_node_visit(GScanTokenNode *node, scan_tree_points_t *points) +{ +    GScanTokenNodeClass *class;             /* Classe de l'instance        */ + +    if (node->flags & STNF_PROD) +    { +        if (points->first_node == NULL) +            points->first_node = node; + +        points->last_node = node; + +    } + +    class = G_SCAN_TOKEN_NODE_GET_CLASS(node); + +    if (class->visit != NULL) +        class->visit(node, points); + +} + + +/****************************************************************************** +*                                                                             * +*  Paramètres  : node   = point de départ du parcours à préparer.             * +*                                                                             * +*  Description : Détermine et prépare les éléments clefs d'une arborescence.  * +*                                                                             * +*  Retour      : true si une analyse à rebourd complémentaire est requise.    * +*                                                                             * +*  Remarques   : -                                                            * +*                                                                             * +******************************************************************************/ + +bool g_scan_token_node_setup_tree(GScanTokenNode *node) +{ +    bool result;                            /* Prévision à retourner       */ +    scan_tree_points_t points;              /* Repérage de points capitaux */ +    GScanTokenNode *main;                   /* Principal noeud d'opération */ + +    /* Phase de localisation */ + +    points.first_node = NULL; +    points.last_node = NULL; + +    points.first_plain = NULL; +    points.best_masked = NULL; + +    g_scan_token_node_visit(node, &points); + +    /* Phase d'application */ + +    //g_scan_token_node_set_flags(points.first_node, STNF_FIRST); +    //g_scan_token_node_set_flags(points.last_node, STNF_LAST); + +    if (points.first_plain != NULL) +        main = points.first_plain; + +    else if (points.best_masked != NULL) +        main = points.best_masked; + +    else +        main = node;//points.first_node; + +    g_scan_token_node_set_flags(main, STNF_MAIN); + +    printf("main : %p (%s)\n", main, G_OBJECT_TYPE_NAME(main)); + +    result = (main != node/*points.first_node*/); + +    return result; + +} + + +/****************************************************************************** +*                                                                             *  *  Paramètres  : node    = définition de la bribe à enregistrer.              *  *                context = contexte de l'analyse à mener.                     *  *                backend = moteur de recherche à préchauffer.                 *  *                maxsize = taille max. des atomes (mise en commun optimisée). * +*                slow    = niveau de ralentissement induit (0 = idéal). [OUT] *  *                                                                             *  *  Description : Inscrit la définition d'un motif dans un moteur de recherche.*  *                                                                             * @@ -152,16 +292,45 @@ static void g_scan_token_node_finalize(GScanTokenNode *node)  *                                                                             *  ******************************************************************************/ -bool g_scan_token_node_enroll(GScanTokenNode *node, GScanContext *context, GEngineBackend *backend, size_t maxsize) +bool _g_scan_token_node_enroll(GScanTokenNode *node, GScanContext *context, GEngineBackend *backend, size_t maxsize, size_t *slow)  {      bool result;                            /* Statut à retourner          */      GScanTokenNodeClass *class;             /* Classe de l'instance        */ +    class = G_SCAN_TOKEN_NODE_GET_CLASS(node); + +    result = class->enroll(node, context, backend, maxsize, slow); + +    return result; + +} + + +/****************************************************************************** +*                                                                             * +*  Paramètres  : node    = définition de la bribe à enregistrer.              * +*                context = contexte de l'analyse à mener.                     * +*                backend = moteur de recherche à préchauffer.                 * +*                maxsize = taille max. des atomes (mise en commun optimisée). * +*                slow    = niveau de ralentissement induit (0 = idéal). [OUT] * +*                                                                             * +*  Description : Inscrit la définition d'un motif dans un moteur de recherche.* +*                                                                             * +*  Retour      : Bilan de l'opération à renvoyer.                             * +*                                                                             * +*  Remarques   : -                                                            * +*                                                                             * +******************************************************************************/ + +bool g_scan_token_node_enroll(GScanTokenNode *node, GScanContext *context, GEngineBackend *backend, size_t maxsize, size_t *slow) +{ +    bool result;                            /* Statut à retourner          */ +      assert(g_engine_backend_get_atom_max_size(backend) == maxsize); -    class = G_SCAN_TOKEN_NODE_GET_CLASS(node); +    *slow = 0; -    result = class->enroll(node, context, backend, maxsize); +    result = _g_scan_token_node_enroll(node, context, backend, maxsize, slow);      return result; @@ -175,6 +344,8 @@ bool g_scan_token_node_enroll(GScanTokenNode *node, GScanContext *context, GEngi  *                content = accès au contenu brut pour vérifications (optim.)  *  *                matches = suivi des correspondances à consolider.            *  *                offset  = tolérance dans les positions à appliquer.          * +*                not     = indique si les résultats doivent être inversés.    * +*                skip    = détermine si l'analyse est différée. [OUT]         *  *                                                                             *  *  Description : Transforme les correspondances locales en trouvailles.       *  *                                                                             * @@ -184,12 +355,236 @@ bool g_scan_token_node_enroll(GScanTokenNode *node, GScanContext *context, GEngi  *                                                                             *  ******************************************************************************/ -void g_scan_token_node_check(const GScanTokenNode *node, GScanContext *context, GBinContent *content, pending_matches_t *matches, const node_search_offset_t *offset) +void _g_scan_token_node_check_forward(const GScanTokenNode *node, GScanContext *context, GBinContent *content, pending_matches_t *matches, node_search_offset_t *offset, bool not, bool *skip)  {      GScanTokenNodeClass *class;             /* Classe de l'instance        */ +    if (node->flags & STNF_MAIN) +    { +        //assert(*skip); //REMME +        *skip = false; +    } + +    printf("Checking forward... node=%p / %s skip=%d main=%u\n", +           node, G_OBJECT_TYPE_NAME(node), *skip, (node->flags & STNF_MAIN) == STNF_MAIN); +      class = G_SCAN_TOKEN_NODE_GET_CLASS(node); -    class->check(node, context, content, matches, offset); +    class->check_forward(node, context, content, matches, offset, not, skip); + +} + + +/****************************************************************************** +*                                                                             * +*  Paramètres  : node    = définition de la bribe à manipuler.                * +*                context = contexte de l'analyse à mener.                     * +*                content = accès au contenu brut pour vérifications (optim.)  * +*                matches = suivi des correspondances à consolider.            * +*                                                                             * +*  Description : Transforme les correspondances locales en trouvailles.       * +*                                                                             * +*  Retour      : -                                                            * +*                                                                             * +*  Remarques   : -                                                            * +*                                                                             * +******************************************************************************/ + +void g_scan_token_node_check_forward(const GScanTokenNode *node, GScanContext *context, GBinContent *content, pending_matches_t *matches) +{ +    node_search_offset_t offset;            /* Espace des correspondances  */ +    bool skip;                              /* Mise en attente des analyses*/ +    size_t ocount;                          /* Quantité de bornes présentes*/ +    node_offset_range_t * const *ranges_ptr;/* Bornes d'espace à parcourir */ +    size_t pcount;                          /* Nombre de correspondances   */ +    match_area_t * const *pending_ptr;      /* Correspondances actuelles   */ +    size_t p;                               /* Boucle de parcours #2       */ +    match_area_t *pending;                  /* Correspondance à traiter    */ +    phys_t old_end;                         /* Ancien point d'arrivée      */ +    size_t o;                               /* Boucle de parcours #1       */ +    const node_offset_range_t *range;       /* Bornes d'espace à parcourir */ +    phys_t new_end;                         /* Nouveau point d'arrivée     */ + +    init_node_search_offset(&offset); + +    skip = true; + +    _g_scan_token_node_check_forward(node, context, content, matches, &offset, false, &skip); + +    /** +     * Si un décalage entre octets n'a pas été consommé, +     * les résultats sont étendus à minima. +     */ + +    ranges_ptr = get_node_search_offset_ranges(&offset, &ocount); + +    if (ocount > 0) +    { +        reset_pending_matches_ttl(matches); + +        pending_ptr = get_all_pending_matches(matches, &pcount); + +        for (p = 0; p < pcount; p++) +        { +            pending = (*pending_ptr) + p; + +            old_end = pending->end; + +            for (o = 0; o < ocount; o++) +            { +                range = (*ranges_ptr) + o; + +                new_end = old_end + range->min; + +                if (new_end > matches->content_end) +                    new_end = matches->content_end; + +                extend_pending_match_ending(matches, p, new_end); + +            } + +        } + +        /** +         * Pas besoin de purge ici puisque tous les résultats ont été traités +         * au moins une fois, sans condition. +         */ +        /* purge_pending_matches(matches); */ + +        disable_all_ranges_in_node_search_offset(&offset); + +    } + +    assert(offset.used == 0); + +    exit_node_search_offset(&offset); + +} + + +/****************************************************************************** +*                                                                             * +*  Paramètres  : node    = définition de la bribe à manipuler.                * +*                context = contexte de l'analyse à mener.                     * +*                content = accès au contenu brut pour vérifications (optim.)  * +*                matches = suivi des correspondances à consolider.            * +*                offset  = tolérance dans les positions à appliquer.          * +*                not     = indique si les résultats doivent être inversés.    * +*                skip    = détermine si l'analyse est différée. [OUT]         * +*                                                                             * +*  Description : Transforme les correspondances locales en trouvailles.       * +*                                                                             * +*  Retour      : -                                                            * +*                                                                             * +*  Remarques   : -                                                            * +*                                                                             * +******************************************************************************/ + +void _g_scan_token_node_check_backward(const GScanTokenNode *node, GScanContext *context, GBinContent *content, pending_matches_t *matches, node_search_offset_t *offset, bool not, bool *skip) +{ +    GScanTokenNodeClass *class;             /* Classe de l'instance        */ + +    printf("Checking backward... node=%p / %s skip=%d main=%u\n", +           node, G_OBJECT_TYPE_NAME(node), *skip, (node->flags & STNF_MAIN) == STNF_MAIN); + +    class = G_SCAN_TOKEN_NODE_GET_CLASS(node); + +    class->check_backward(node, context, content, matches, offset, not, skip); + +    if (node->flags & STNF_MAIN) +    { +        //assert(*skip); //REMME +        *skip = false; +    } + +} + + +/****************************************************************************** +*                                                                             * +*  Paramètres  : node    = définition de la bribe à manipuler.                * +*                context = contexte de l'analyse à mener.                     * +*                content = accès au contenu brut pour vérifications (optim.)  * +*                matches = suivi des correspondances à consolider.            * +*                                                                             * +*  Description : Transforme les correspondances locales en trouvailles.       * +*                                                                             * +*  Retour      : -                                                            * +*                                                                             * +*  Remarques   : -                                                            * +*                                                                             * +******************************************************************************/ + +void g_scan_token_node_check_backward(const GScanTokenNode *node, GScanContext *context, GBinContent *content, pending_matches_t *matches) +{ +    node_search_offset_t offset;            /* Espace des correspondances  */ +    bool skip;                              /* Mise en attente des analyses*/ +    size_t ocount;                          /* Quantité de bornes présentes*/ +    node_offset_range_t * const *ranges_ptr;/* Bornes d'espace à parcourir */ +    size_t pcount;                          /* Nombre de correspondances   */ +    match_area_t * const *pending_ptr;      /* Correspondances actuelles   */ +    size_t p;                               /* Boucle de parcours #2       */ +    match_area_t *pending;                  /* Correspondance à traiter    */ +    phys_t old_start;                       /* Ancien point d'arrivée      */ +    size_t o;                               /* Boucle de parcours #1       */ +    const node_offset_range_t *range;       /* Bornes d'espace à parcourir */ +    phys_t new_start;                       /* Nouveau point d'arrivée     */ + +    init_node_search_offset(&offset); + +    skip = true; + +    _g_scan_token_node_check_backward(node, context, content, matches, &offset, false, &skip); + +    /** +     * Si un décalage entre octets n'a pas été consommé, +     * les résultats sont étendus à minima. +     */ + +    ranges_ptr = get_node_search_offset_ranges(&offset, &ocount); + +    if (ocount > 0) +    { +        reset_pending_matches_ttl(matches); + +        pending_ptr = get_all_pending_matches(matches, &pcount); + +        for (p = 0; p < pcount; p++) +        { +            pending = (*pending_ptr) + p; + +            old_start = pending->start; + +            for (o = 0; o < ocount; o++) +            { +                range = (*ranges_ptr) + o; + +                if (old_start < range->min) +                    new_start = 0; +                else +                    new_start = old_start - range->min; + +                if (new_start < matches->content_start) +                    new_start = matches->content_start; + +                extend_pending_match_beginning(matches, p, new_start); + +            } + +        } + +        /** +         * Pas besoin de purge ici puisque tous les résultats ont été traités +         * au moins une fois, sans condition. +         */ +        /* purge_pending_matches(matches); */ + +        disable_all_ranges_in_node_search_offset(&offset); + +    } + +    assert(offset.used == 0); + +    exit_node_search_offset(&offset);  } | 
