path: root/plugins/pychrysalide/format/program.c

/* Chrysalide - Outil d'analyse de fichiers binaires
 * program.c - équivalent Python du fichier "format/program.c"
 *
 * Copyright (C) 2018-2024 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 this program; if not, write to the Free Software
 *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */


#include "program.h"


#include <pygobject.h>


#include <format/program-int.h>


#include "known.h"
#include "../access.h"
#include "../constants.h"
#include "../helpers.h"


/*
#include "constants.h"
#include "executable.h"
#include "symbol.h"
#include "symiter.h"
#include "../analysis/constants.h"
#include "../analysis/content.h"
#include "../arch/vmpa.h"
#include "../arch/constants.h"
*/



/* ------------------------ GLUE POUR CREATION DEPUIS PYTHON ------------------------ */


/* Initialise la classe des formats de programmes. */
static void py_program_format_init_gclass(GProgramFormatClass *, gpointer);

CREATE_DYN_ABSTRACT_CONSTRUCTOR(program_format, G_TYPE_PROGRAM_FORMAT, py_program_format_init_gclass);

/* Initialise une instance sur la base du dérivé de GObject. */
static int py_program_format_init(PyObject *, PyObject *, PyObject *);

/* Indique le boutisme employé par le format binaire analysé. */
static SourceEndian py_program_format_get_endianness_wrapper(const GProgramFormat *);



/* ---------------------------- FORMAT BINAIRE GENERIQUE ---------------------------- */


#if 0
/* Ajoute une information complémentaire à un format. */
static PyObject *py_program_format_set_flag(PyObject *, PyObject *);

/* Retire une information complémentaire à un format. */
static PyObject *py_program_format_unset_flag(PyObject *, PyObject *);

/* Détermine si un format possède un fanion particulier. */
static PyObject *py_program_format_has_flag(PyObject *, PyObject *);

/* Enregistre une adresse comme début d'une zone de code. */
static PyObject *py_program_format_register_code_point(PyObject *, PyObject *);

/* Ajoute un symbole à la collection du format binaire. */
static PyObject *py_program_format_add_symbol(PyObject *, PyObject *);

/* Retire un symbole de la collection du format binaire. */
static PyObject *py_program_format_remove_symbol(PyObject *, PyObject *);

/* Recherche le symbole correspondant à une étiquette. */
static PyObject *py_program_format_find_symbol_by_label(PyObject *, PyObject *);

/* Recherche le symbole suivant celui lié à une adresse. */
static PyObject *py_program_format_find_symbol_at(PyObject *, PyObject *);

/* Recherche le symbole suivant celui lié à une adresse. */
static PyObject *py_program_format_find_next_symbol_at(PyObject *, PyObject *);

/* Recherche le symbole correspondant à une adresse. */
static PyObject *py_program_format_resolve_symbol(PyObject *, PyObject *);

/* Fournit les particularités du format. */
static PyObject *py_program_format_get_flags(PyObject *, void *);

/* Indique le boutisme employé par le format binaire analysé. */
static PyObject *py_program_format_get_endianness(PyObject *, void *);

/* Fournit la liste de tous les symboles détectés. */
static PyObject *py_program_format_get_symbols(PyObject *, void *);
#endif


/* ------------------ CONSERVATION DES SOUCIS DURANT LE CHARGEMENT ------------------ */

#if 0
/* Etend la liste des soucis détectés avec de nouvelles infos. */
static PyObject *py_program_format_add_error(PyObject *, PyObject *);

/* Fournit les éléments concernant tous les soucis détectés. */
static PyObject *py_program_format_get_errors(PyObject *, void *);
#endif


/* ---------------------------------------------------------------------------------- */
/*                          GLUE POUR CREATION DEPUIS PYTHON                          */
/* ---------------------------------------------------------------------------------- */


/******************************************************************************
*                                                                             *
*  Paramètres  : class  = classe à initialiser.                               *
*                unused = données non utilisées ici.                          *
*                                                                             *
*  Description : Initialise la classe des formats de programmes.              *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void py_program_format_init_gclass(GProgramFormatClass *class, gpointer unused)
{
    class->get_endian = py_program_format_get_endianness_wrapper;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self = objet à initialiser (théoriquement).                  *
*                args = arguments fournis à l'appel.                          *
*                kwds = arguments de type key=val fournis.                    *
*                                                                             *
*  Description : Initialise une instance sur la base du dérivé de GObject.    *
*                                                                             *
*  Retour      : 0.                                                           *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static int py_program_format_init(PyObject *self, PyObject *args, PyObject *kwds)
{
    int ret;                                /* Bilan de lecture des args.  */

#define PROGRAM_FORMAT_DOC                                              \
    "The ProgramFormat class is the major part of binary format"        \
    " support. It is the core class used by loading most of the binary" \
    " files.\n"                                                         \
    "\n"                                                                \
    "\n"                                                                \
    "The following method has to be defined for new classes:\n"         \
    "* pychrysalide.format.ProgramFormat._get_endianness().\n"          \
    "\n"                                                                \
    "Calls to the *__init__* constructor of this abstract object expect"\
    " no particular argument."

    /* Initialisation d'un objet GLib */

    ret = forward_pygobjet_init(self);
    if (ret == -1) return -1;

    return 0;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : format = description du format connu à consulter.            *
*                                                                             *
*  Description : Indique le boutisme employé par le format binaire analysé.   *
*                                                                             *
*  Retour      : Boutisme associé au format.                                  *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static SourceEndian py_program_format_get_endianness_wrapper(const GProgramFormat *format)
{
    SourceEndian result;                    /* Boutisme à retourner        */
    PyGILState_STATE gstate;                /* Sauvegarde d'environnement  */
    PyObject *pyobj;                        /* Objet Python concerné       */
    PyObject *pyret;                        /* Valeur retournée            */
    int ret;                                /* Bilan d'une conversion      */

#define PROGRAM_FORMAT_GET_ENDIANNESS_WRAPPER PYTHON_WRAPPER_DEF    \
(                                                                   \
    _get_endianness_wrapper, "$self",                               \
    METH_NOARGS,                                                    \
    "Abstract method used to define the endianness of the format.\n"\
    "\n"                                                            \
    "The return value is of type pychrysalide.SourceEndian,"        \
    " pychrysalide.SourceEndian.LITTLE by default."                 \
)

    result = SRE_LITTLE;

    gstate = PyGILState_Ensure();

    pyobj = pygobject_new(G_OBJECT(format));

    if (has_python_method(pyobj, "_get_endianness"))
    {
        pyret = run_python_method(pyobj, "_get_endianness", NULL);

        if (pyret != NULL)
        {
            ret = convert_to_source_endian(pyret, &result);

            if (ret != 1)
            {
                PyErr_Clear();
                result = SRE_LITTLE;
            }

            Py_DECREF(pyret);

        }

    }

    Py_DECREF(pyobj);

    PyGILState_Release(gstate);

    return result;

}


/* ---------------------------------------------------------------------------------- */
/*                              FORMAT BINAIRE GENERIQUE                              */
/* ---------------------------------------------------------------------------------- */


#if 0
/******************************************************************************
*                                                                             *
*  Paramètres  : self = serveur à manipuler.                                  *
*                args = arguments d'appel non utilisés ici.                   *
*                                                                             *
*  Description : Ajoute une information complémentaire à un format.           *
*                                                                             *
*  Retour      : Bilan de l'opération.                                        *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_set_flag(PyObject *self, PyObject *args)
{
    PyObject *result;                       /* Bilan à retourner           */
    unsigned int flag;                      /* Propriété à traiter         */
    int ret;                                /* Bilan de lecture des args.  */
    GProgramFormat *format;                 /* Elément à manipuler         */
    bool status;                            /* Bilan de l'opération        */

#define PROGRAM_FORMAT_SET_FLAG_METHOD PYTHON_METHOD_DEF             \
(                                                                   \
    set_flag, "$self, flag, /",                                     \
    METH_VARARGS, py_program_format,                                 \
    "Add a property from a binary format.\n"                        \
    "\n"                                                            \
    "This property is one of the values listed in the"              \
    " of pychrysalide.format.BinFormat.FormatFlag enumeration.\n"   \
    "\n"                                                            \
    "If the flag was not set before the operation, True is"         \
    " returned, else the result is False."                          \
)

    ret = PyArg_ParseTuple(args, "I", &flag);
    if (!ret) return NULL;

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    status = g_program_format_set_flag(format, flag);

    result = status ? Py_True : Py_False;
    Py_INCREF(result);

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self = serveur à manipuler.                                  *
*                args = arguments d'appel non utilisés ici.                   *
*                                                                             *
*  Description : Retire une information complémentaire à un format.           *
*                                                                             *
*  Retour      : Bilan de l'opération.                                        *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_unset_flag(PyObject *self, PyObject *args)
{
    PyObject *result;                       /* Bilan à retourner           */
    unsigned int flag;                      /* Propriété à traiter         */
    int ret;                                /* Bilan de lecture des args.  */
    GProgramFormat *format;                 /* Elément à manipuler         */
    bool status;                            /* Bilan de l'opération        */

#define PROGRAM_FORMAT_UNSET_FLAG_METHOD PYTHON_METHOD_DEF           \
(                                                                   \
    unset_flag, "$self, flag, /",                                   \
    METH_VARARGS, py_program_format,                                 \
    "Remove a property from a binary format.\n"                     \
    "\n"                                                            \
    "This property is one of the values listed in the"              \
    " of pychrysalide.format.BinFormat.FormatFlag enumeration.\n"   \
    "\n"                                                            \
    "If the flag was not set before the operation, False is"        \
    " returned, else the result is True."                           \
)

    ret = PyArg_ParseTuple(args, "I", &flag);
    if (!ret) return NULL;

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    status = g_program_format_unset_flag(format, flag);

    result = status ? Py_True : Py_False;
    Py_INCREF(result);

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self = serveur à manipuler.                                  *
*                args = arguments d'appel non utilisés ici.                   *
*                                                                             *
*  Description : Détermine si un format possède un fanion particulier.        *
*                                                                             *
*  Retour      : Bilan de la détection.                                       *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_has_flag(PyObject *self, PyObject *args)
{
    PyObject *result;                       /* Bilan à retourner           */
    unsigned int flag;                      /* Propriété à traiter         */
    int ret;                                /* Bilan de lecture des args.  */
    GProgramFormat *format;                 /* Elément à manipuler         */
    bool status;                            /* Bilan de l'opération        */

#define PROGRAM_FORMAT_HAS_FLAG_METHOD PYTHON_METHOD_DEF             \
(                                                                   \
    has_flag, "$self, flag, /",                                     \
    METH_VARARGS, py_program_format,                                 \
    "Test if a binary format has a given property.\n"               \
    "\n"                                                            \
    "This property is one of the values listed in the"              \
    " of pychrysalide.format.BinFormat.FormatFlag enumeration.\n"   \
    "\n"                                                            \
    "The result is a boolean value."                                \
)

    ret = PyArg_ParseTuple(args, "I", &flag);
    if (!ret) return NULL;

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    status = g_program_format_has_flag(format, flag);

    result = status ? Py_True : Py_False;
    Py_INCREF(result);

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self = classe représentant un format.                        *
*                args = arguments fournis à l'appel.                          *
*                                                                             *
*  Description : Enregistre une adresse comme début d'une zone de code.       *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_register_code_point(PyObject *self, PyObject *args)
{
    unsigned long long pt;                  /* Adresse virtuelle du point  */
    DisassPriorityLevel level;              /* Nature du point fourni      */
    int ret;                                /* Bilan de lecture des args.  */
    GProgramFormat *format;                 /* Format de binaire manipulé  */

#define PROGRAM_FORMAT_REGISTER_CODE_POINT_METHOD PYTHON_METHOD_DEF  \
(                                                                   \
    register_code_point, "$self, point, level, /",                  \
    METH_VARARGS, py_program_format,                                 \
    "Register a virtual address as entry point or basic point.\n"   \
    "\n"                                                            \
    "The point is an integer value for the virtual memory location" \
    " of the new (entry) point. The type of this entry has to be a" \
    " pychrysalide.arch.ProcContext.DisassPriorityLevel value."     \
)

    ret = PyArg_ParseTuple(args, "kO&", &pt, convert_to_disass_priority_level, &level);
    if (!ret) return NULL;

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    g_program_format_register_code_point(format, pt, level);

    Py_RETURN_NONE;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self = classe représentant un format.                        *
*                args = arguments fournis à l'appel.                          *
*                                                                             *
*  Description : Ajoute un symbole à la collection du format binaire.         *
*                                                                             *
*  Retour      : True si le symbole était bien localisé et a été inséré.      *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_add_symbol(PyObject *self, PyObject *args)
{
    PyObject *result;                       /* Valeur à retourner          */
    GBinSymbol *symbol;                     /* Enventuel symbole trouvé    */
    int ret;                                /* Bilan de lecture des args.  */
    GProgramFormat *format;                 /* Format de binaire manipulé  */
    bool added;                             /* Bilan de l'appel interne    */

#define PROGRAM_FORMAT_ADD_SYMBOL_METHOD PYTHON_METHOD_DEF               \
(                                                                       \
    add_symbol, "$self, symbol, /",                                     \
    METH_VARARGS, py_program_format,                                     \
    "Register a new symbol for the format.\n"                           \
    "\n"                                                                \
    "The symbol has to be a pychrysalide.format.BinSymbol instance."    \
)

    ret = PyArg_ParseTuple(args, "O&", convert_to_binary_symbol, &symbol);
    if (!ret) return NULL;

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    g_object_ref(G_OBJECT(symbol));
    added = g_program_format_add_symbol(format, symbol);

    result = added ? Py_True : Py_False;
    Py_INCREF(result);

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self = classe représentant un format.                        *
*                args = arguments fournis à l'appel.                          *
*                                                                             *
*  Description : Retire un symbole de la collection du format binaire.        *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_remove_symbol(PyObject *self, PyObject *args)
{
    PyObject *result;                       /* Valeur à retourner          */
    GBinSymbol *symbol;                     /* Enventuel symbole trouvé    */
    int ret;                                /* Bilan de lecture des args.  */
    GProgramFormat *format;                 /* Format de binaire manipulé  */

#define PROGRAM_FORMAT_REMOVE_SYMBOL_METHOD PYTHON_METHOD_DEF            \
(                                                                       \
    remove_symbol, "$self, symbol, /",                                  \
    METH_VARARGS, py_program_format,                                     \
    "Unregister a symbol from the format.\n"                            \
    "\n"                                                                \
    "The symbol has to be a pychrysalide.format.BinSymbol instance."    \
)

    ret = PyArg_ParseTuple(args, "O&", convert_to_binary_symbol, &symbol);
    if (!ret) return NULL;

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    g_program_format_remove_symbol(format, symbol);

    result = Py_None;
    Py_INCREF(result);

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self = classe représentant un binaire.                       *
*                args = arguments fournis à l'appel.                          *
*                                                                             *
*  Description : Recherche le symbole correspondant à une étiquette.          *
*                                                                             *
*  Retour      : Symbol trouvé si l'opération a été un succès, None sinon.    *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_find_symbol_by_label(PyObject *self, PyObject *args)
{
    PyObject *result;                       /* Valeur à retourner          */
    const char *label;                      /* Etiquette à retrouver       */
    int ret;                                /* Bilan de lecture des args.  */
    GProgramFormat *format;                 /* Format de binaire manipulé  */
    GBinSymbol *symbol;                     /* Enventuel symbole trouvé    */
    bool found;                             /* Bilan de la recherche       */

#define PROGRAM_FORMAT_FIND_SYMBOL_BY_LABEL_METHOD PYTHON_METHOD_DEF     \
(                                                                       \
    find_symbol_by_label, "$self, label, /",                            \
    METH_VARARGS, py_program_format,                                     \
    "Find the symbol with a given label, provided as a string.\n"       \
    "\n"                                                                \
    "The result is a pychrysalide.format.BinSymbol instance, or None"   \
    " if no symbol was found."                                          \
)

    ret = PyArg_ParseTuple(args, "s", &label);
    if (!ret) return NULL;

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    found = g_program_format_find_symbol_by_label(format, label, &symbol);

    if (found)
    {
        result = pygobject_new(G_OBJECT(symbol));
        g_object_unref(G_OBJECT(symbol));
    }
    else
    {
        result = Py_None;
        Py_INCREF(result);
    }

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self = classe représentant un binaire.                       *
*                args = arguments fournis à l'appel.                          *
*                                                                             *
*  Description : Recherche le symbole suivant celui lié à une adresse.        *
*                                                                             *
*  Retour      : Symbol trouvé si l'opération a été un succès, None sinon.    *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_find_symbol_at(PyObject *self, PyObject *args)
{
    PyObject *result;                       /* Valeur à retourner          */
    GProgramFormat *format;                 /* Format de binaire manipulé  */
    exe_cv_info_t conv;                     /* Informations de conversion  */
    int ret;                                /* Bilan de lecture des args.  */
    GBinSymbol *symbol;                     /* Enventuel symbole trouvé    */
    bool found;                             /* Bilan de la recherche       */

#define PROGRAM_FORMAT_FIND_SYMBOL_AT_METHOD PYTHON_METHOD_DEF       \
(                                                                   \
    find_symbol_at, "$self, addr, /",                               \
    METH_VARARGS, py_program_format,                                 \
    "Find the symbol located at a given address, provided as a"     \
    " pychrysalide.arch.vmpa instance.\n"                           \
    "\n"                                                            \
    "The result is a pychrysalide.format.BinSymbol instance, or"    \
    " None if no symbol was found."                                 \
)

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    conv.format = G_IS_EXE_FORMAT(format) ? G_EXE_FORMAT(format) : NULL;

    ret = PyArg_ParseTuple(args, "O&", convert_to_vmpa_using_executable, &conv);
    if (!ret) return NULL;

    found = g_program_format_find_symbol_at(format, conv.vmpa, &symbol);

    if (found)
    {
        result = pygobject_new(G_OBJECT(symbol));
        g_object_unref(G_OBJECT(symbol));
    }
    else
    {
        result = Py_None;
        Py_INCREF(result);
    }

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self = classe représentant un binaire.                       *
*                args = arguments fournis à l'appel.                          *
*                                                                             *
*  Description : Recherche le symbole suivant celui lié à une adresse.        *
*                                                                             *
*  Retour      : Symbol trouvé si l'opération a été un succès, None sinon.    *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_find_next_symbol_at(PyObject *self, PyObject *args)
{
    PyObject *result;                       /* Valeur à retourner          */
    GProgramFormat *format;                 /* Format de binaire manipulé  */
    exe_cv_info_t conv;                     /* Informations de conversion  */
    int ret;                                /* Bilan de lecture des args.  */
    GBinSymbol *symbol;                     /* Enventuel symbole trouvé    */
    bool found;                             /* Bilan de la recherche       */

#define PROGRAM_FORMAT_FIND_NEXT_SYMBOL_AT_METHOD PYTHON_METHOD_DEF  \
(                                                                   \
    find_next_symbol_at, "$self, addr, /",                          \
    METH_VARARGS, py_program_format,                                 \
    "Find the symbol next to the one found at a given address,"     \
    " provided as a pychrysalide.arch.vmpa instance.\n"             \
    "\n"                                                            \
    "The result is a pychrysalide.format.BinSymbol instance, or"    \
    " None if no symbol was found."                                 \
)

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    conv.format = G_IS_EXE_FORMAT(format) ? G_EXE_FORMAT(format) : NULL;

    ret = PyArg_ParseTuple(args, "O&", convert_to_vmpa_using_executable, &conv);
    if (!ret) return NULL;

    found = g_program_format_find_next_symbol_at(format, conv.vmpa, &symbol);

    if (found)
    {
        result = pygobject_new(G_OBJECT(symbol));
        g_object_unref(G_OBJECT(symbol));
    }
    else
    {
        result = Py_None;
        Py_INCREF(result);
    }

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self = classe représentant un format binaire.                *
*                args = arguments fournis à l'appel.                          *
*                                                                             *
*  Description : Recherche le symbole correspondant à une adresse.            *
*                                                                             *
*  Retour      : Tuple (nom, décalage) ou Py_None.                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_resolve_symbol(PyObject *self, PyObject *args)
{
    PyObject *result;                       /* Valeur à retourner          */
    GProgramFormat *format;                 /* Format de binaire manipulé  */
    exe_cv_info_t conv;                     /* Informations de conversion  */
    int strict;                             /* Tolérance acceptée          */
    int ret;                                /* Bilan de lecture des args.  */
    GBinSymbol *symbol;                     /* Enventuel symbole trouvé    */
    phys_t diff;                            /* Décalage éventuel mesuré    */
    bool found;                             /* Bilan de la recherche       */

#define PROGRAM_FORMAT_RESOLVE_SYMBOL_METHOD PYTHON_METHOD_DEF       \
(                                                                   \
    resolve_symbol, "$self, addr, strict, /",                       \
    METH_VARARGS, py_program_format,                                 \
    "Search for a position inside a symbol by a given address.\n"   \
    "\n"                                                            \
    "The result is a couple of (pychrysalide.format.BinSymbol,"     \
    " offset) values, or None if no symbol was found. The offset"   \
    " is the distance between the start location of the symbol and" \
    " the location provided as argument.\n"                         \
    "\n"                                                            \
    "If the search is run in strict mode, then the offset is"       \
    " always 0 upon success."                                       \
)

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    conv.format = G_IS_EXE_FORMAT(format) ? G_EXE_FORMAT(format) : NULL;

    ret = PyArg_ParseTuple(args, "O&p", convert_to_vmpa_using_executable, &conv, &strict);
    if (!ret) return NULL;

    found = g_program_format_resolve_symbol(format, conv.vmpa, strict, &symbol, &diff);

    if (found)
    {
        result = PyTuple_New(2);
        PyTuple_SetItem(result, 0, pygobject_new(G_OBJECT(symbol)));
        PyTuple_SetItem(result, 1, PyLong_FromUnsignedLongLong(diff));

        g_object_unref(G_OBJECT(symbol));

    }
    else
    {
        result = Py_None;
        Py_INCREF(result);
    }

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self    = objet Python concerné par l'appel.                 *
*                closure = non utilisé ici.                                   *
*                                                                             *
*  Description : Fournit les particularités du format.                        *
*                                                                             *
*  Retour      : Somme de tous les fanions associés au format.                *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_get_flags(PyObject *self, void *closure)
{
    PyObject *result;                       /* Valeur à retourner          */
    GProgramFormat *format;                 /* Elément à consulter         */
    FormatFlag flags;                       /* Indications complémentaires */

#define PROGRAM_FORMAT_FLAGS_ATTRIB PYTHON_GET_DEF_FULL          \
(                                                               \
    flags, py_program_format,                                    \
    "Provide all the flags set for a format. The return value"  \
    " is of type pychrysalide.format.BinFormat.FormatFlag."     \
)

    format = G_PROGRAM_FORMAT(pygobject_get(self));
    flags = g_program_format_get_flags(format);

    result = cast_with_constants_group_from_type(get_python_program_format_type(), "FormatFlag", flags);

    return result;

}
#endif


/******************************************************************************
*                                                                             *
*  Paramètres  : self    = objet Python concerné par l'appel.                 *
*                closure = non utilisé ici.                                   *
*                                                                             *
*  Description : Indique le boutisme employé par le format binaire analysé.   *
*                                                                             *
*  Retour      : Boutisme associé au format.                                  *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_get_endianness(PyObject *self, void *closure)
{
    PyObject *result;                       /* Valeur à retourner          */
    GProgramFormat *format;                 /* Elément à consulter         */
    SourceEndian endianness;                /* Boutisme du format          */

#define PROGRAM_FORMAT_ENDIANNESS_ATTRIB PYTHON_GET_DEF_FULL    \
(                                                               \
    endianness, py_program_format,                              \
    "Endianness of the format. The return value is of type"     \
    " pychrysalide.SourceEndian."                               \
)

    format = G_PROGRAM_FORMAT(pygobject_get(self));
    endianness = g_program_format_get_endianness(format);

    result = cast_with_constants_group_from_module("pychrysalide", "SourceEndian", endianness);

    return result;

}


#if 0

/******************************************************************************
*                                                                             *
*  Paramètres  : self    = classe représentant un format binaire.             *
*                closure = adresse non utilisée ici.                          *
*                                                                             *
*  Description : Fournit la liste de tous les symboles détectés.              *
*                                                                             *
*  Retour      : Tableau créé ou NULL si aucun symbole trouvé.                *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_get_symbols(PyObject *self, void *closure)
{
    PyObject *result;                       /* Instance Python à retourner */
    PyTypeObject *iterator_type;            /* Type Python de l'itérateur  */
    PyObject *args;                         /* Liste des arguments d'appel */

#define PROGRAM_FORMAT_SYMBOLS_ATTRIB PYTHON_GET_DEF_FULL            \
(                                                                   \
    symbols, py_program_format,                                      \
    "Iterable list of all symbols found in the binary format.\n"    \
    "\n"                                                            \
    "The returned iterator is a pychrysalide.format.SymIterator"    \
    " instance and remains valid until the list from the format"    \
    " does not change."                                             \
)

    iterator_type = get_python_sym_iterator_type();

    args = Py_BuildValue("On", self, 0);

    result = PyObject_CallObject((PyObject *)iterator_type, args);

    Py_DECREF(args);

    return result;

}

#endif



/* ---------------------------------------------------------------------------------- */
/*                    CONSERVATION DES SOUCIS DURANT LE CHARGEMENT                    */
/* ---------------------------------------------------------------------------------- */

#if 0
/******************************************************************************
*                                                                             *
*  Paramètres  : self = architecture concernée par la procédure.              *
*                args = instruction représentant le point de départ.          *
*                                                                             *
*  Description : Etend la liste des soucis détectés avec de nouvelles infos.  *
*                                                                             *
*  Retour      : None.                                                        *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_add_error(PyObject *self, PyObject *args)
{
    BinaryFormatError type;                 /* Type d'erreur détectée      */
    vmpa2t *addr;                           /* Position d'une erreur       */
    const char *desc;                       /* Description d'une erreur    */
    int ret;                                /* Bilan de lecture des args.  */
    GProgramFormat *format;                 /* Format binaire manipulé     */

#define PROGRAM_FORMAT_ADD_ERROR_METHOD PYTHON_METHOD_DEF            \
(                                                                   \
    add_error, "$self, type, addr, desc, /",                        \
    METH_VARARGS, py_program_format,                                 \
    "Extend the list of detected errors linked to the format.\n"    \
    "\n"                                                            \
    "The type of error has to be one of the"                        \
    " pychrysalide.format.BinFormat.BinaryFormatError flags. The"   \
    " location of the error is a pychrysalide.arch.vmpa instance"   \
    " and a one-line description should give some details about"    \
    " what has failed."                                             \
)

    ret = PyArg_ParseTuple(args, "O&O&s", convert_to_program_format_error, &type, convert_any_to_vmpa, &addr, &desc);
    if (!ret) return NULL;

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    g_program_format_add_error(format, type, addr, desc);

    clean_vmpa_arg(addr);

    Py_RETURN_NONE;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : self    = objet Python concerné par l'appel.                 *
*                closure = non utilisé ici.                                   *
*                                                                             *
*  Description : Fournit les éléments concernant tous les soucis détectés.    *
*                                                                             *
*  Retour      : Liste des erreurs relevées au niveau de l'assembleur.        *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static PyObject *py_program_format_get_errors(PyObject *self, void *closure)
{
    PyObject *result;                       /* Instance Python à retourner */
    GProgramFormat *format;                 /* Format binaire manipulé     */
    size_t count;                           /* Nombre d'éléments à traiter */
    size_t i;                               /* Boucle de parcours          */
#ifndef NDEBUG
    bool status;                            /* Bilan d'un appel            */
#endif
    BinaryFormatError type;                 /* Type d'erreur détectée      */
    vmpa2t addr;                            /* Position d'une erreur       */
    char *desc;                             /* Description d'une erreur    */
    PyObject *py_type;                      /* Version Python du type      */
    PyObject *error;                        /* Nouvelle erreur à rajouter  */

#define PROGRAM_FORMAT_ERRORS_ATTRIB PYTHON_GET_DEF_FULL                             \
(                                                                                   \
    errors, py_program_format,                                                       \
    "List of all detected errors which occurred while loading the binary.\n"        \
    "\n"                                                                            \
    "The result is a tuple of (pychrysalide.format.BinFormat.BinaryFormatError,"    \
    " pychrysalide.arch.vmpa, string) values, providing a location and a"           \
    " description for each error."                                                  \
)

    format = G_PROGRAM_FORMAT(pygobject_get(self));

    g_program_format_lock_errors(format);

    count = g_program_format_count_errors(format);

    result = PyTuple_New(count);

    for (i = 0; i < count; i++)
    {
#ifndef NDEBUG
        status = g_program_format_get_error(format, i, &type, &addr, &desc);
        assert(status);
#else
        g_program_format_get_error(format, i, &type, &addr, &desc);
#endif

        py_type = cast_with_constants_group_from_type(get_python_program_format_type(), "BinaryFormatError", type);
        error = Py_BuildValue("OO&s", py_type, build_from_internal_vmpa, &addr, desc);
        Py_DECREF(py_type);

        PyTuple_SetItem(result, i, error);

    }

    g_program_format_unlock_errors(format);

    return result;

}
#endif


/******************************************************************************
*                                                                             *
*  Paramètres  : -                                                            *
*                                                                             *
*  Description : Fournit un accès à une définition de type à diffuser.        *
*                                                                             *
*  Retour      : Définition d'objet pour Python.                              *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

PyTypeObject *get_python_program_format_type(void)
{
    static PyMethodDef py_program_format_methods[] = {
        PROGRAM_FORMAT_GET_ENDIANNESS_WRAPPER,
        /*
        PROGRAM_FORMAT_SET_FLAG_METHOD,
        PROGRAM_FORMAT_UNSET_FLAG_METHOD,
        PROGRAM_FORMAT_HAS_FLAG_METHOD,
        PROGRAM_FORMAT_REGISTER_CODE_POINT_METHOD,
        PROGRAM_FORMAT_ADD_SYMBOL_METHOD,
        PROGRAM_FORMAT_REMOVE_SYMBOL_METHOD,
        PROGRAM_FORMAT_FIND_SYMBOL_BY_LABEL_METHOD,
        PROGRAM_FORMAT_FIND_SYMBOL_AT_METHOD,
        PROGRAM_FORMAT_FIND_NEXT_SYMBOL_AT_METHOD,
        PROGRAM_FORMAT_RESOLVE_SYMBOL_METHOD,
        PROGRAM_FORMAT_ADD_ERROR_METHOD,
        */
        { NULL }
    };

    static PyGetSetDef py_program_format_getseters[] = {
        //PROGRAM_FORMAT_FLAGS_ATTRIB,
        PROGRAM_FORMAT_ENDIANNESS_ATTRIB,
        //PROGRAM_FORMAT_SYMBOLS_ATTRIB,
        //PROGRAM_FORMAT_ERRORS_ATTRIB,
        { NULL }
    };

    static PyTypeObject py_program_format_type = {

        PyVarObject_HEAD_INIT(NULL, 0)

        .tp_name        = "pychrysalide.format.ProgramFormat",
        .tp_basicsize   = sizeof(PyGObject),

        .tp_flags       = Py_TPFLAGS_DEFAULT | Py_TPFLAGS_IS_ABSTRACT | Py_TPFLAGS_BASETYPE,

        .tp_doc         = PROGRAM_FORMAT_DOC,

        .tp_methods     = py_program_format_methods,
        .tp_getset      = py_program_format_getseters,

        .tp_init        = py_program_format_init,
        .tp_new         = py_program_format_new,

    };

    return &py_program_format_type;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : module = module dont la définition est à compléter.          *
*                                                                             *
*  Description : Prend en charge l'objet 'pychrysalide.format.BinFormat'.     *
*                                                                             *
*  Retour      : Bilan de l'opération.                                        *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

bool ensure_python_program_format_is_registered(void)
{
    PyTypeObject *type;                     /* Type Python 'BinFormat'     */
    PyObject *module;                       /* Module à recompléter        */
    PyObject *dict;                         /* Dictionnaire du module      */

    type = get_python_program_format_type();

    if (!PyType_HasFeature(type, Py_TPFLAGS_READY))
    {
        module = get_access_to_python_module("pychrysalide.format");

        dict = PyModule_GetDict(module);

        if (!ensure_python_known_format_is_registered())
            return false;

        if (!register_class_for_pygobject(dict, G_TYPE_PROGRAM_FORMAT, type))
            return false;

        /*
        if (!define_program_format_constants(type))
            return false;
        */

    }

    return true;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : arg = argument quelconque à tenter de convertir.             *
*                dst = destination des valeurs récupérées en cas de succès.   *
*                                                                             *
*  Description : Tente de convertir en format de binaire.                     *
*                                                                             *
*  Retour      : Bilan de l'opération, voire indications supplémentaires.     *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

int convert_to_program_format(PyObject *arg, void *dst)
{
    int result;                             /* Bilan à retourner           */

    result = PyObject_IsInstance(arg, (PyObject *)get_python_program_format_type());

    switch (result)
    {
        case -1:
            /* L'exception est déjà fixée par Python */
            result = 0;
            break;

        case 0:
            PyErr_SetString(PyExc_TypeError, "unable to convert the provided argument to binary format");
            break;

        case 1:
            *((GProgramFormat **)dst) = G_PROGRAM_FORMAT(pygobject_get(arg));
            break;

        default:
            assert(false);
            break;

    }

    return result;

}