Carlos Redondo

11 papers Misc 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Innov. Syst. Softw. Eng.
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin
2022 conf
MoDELS (Companion)
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin
2022 conf
TAROS
Dario Mantegazza, Carlos Redondo, Fran Espada, Luca Maria Gambardella, Alessandro Giusti, Jérôme Guzzi
2021 J jnl
CoRR
Dario Mantegazza, Carlos Redondo, Fran Espada, Luca Maria Gambardella, Alessandro Giusti, Jérôme Guzzi
2020 J jnl
CoRR
Juan Manzanero, Carlos Redondo, Miguel Chávez-Modena, Gonzalo Rubio, Eusebio Valero, Susana Gómez-Álvarez, Ángel Rivero-Jiménez
2020 J jnl
Sensors
Liang Lu, Carlos Redondo, Pascual Campoy
2019 conf
PEARC
Carlos Redondo, Ritu Arora
2019 conf
HiPC Workshops
Carlos Redondo, Ritu Arora, Trung Nguyen Ba
2016 J jnl
J. Comput. Phys.
François Fraysse, Carlos Redondo, Gonzalo Rubio, Eusebio Valero
2010 Misc ed.
CISIS
Álvaro Herrero, Emilio Corchado, Carlos Redondo, Ángel Alonso
2008 conf
CACSD
Carmen Benavides, Isaías García, Héctor Alaiz-Moretón, Javier Alfonso, Carlos Redondo, Ángel Alonso
redb/extractors/decompiler/bninja/utils/json_encoder.py
← Index redb/extractors/decompiler/bninja/utils/json_encoder.py python
import json


class BinaryNinjaEncoder(json.JSONEncoder):
    """Custom JSON encoder for BinaryNinja types"""

    def default(self, obj):
        # Handle Binary Ninja specific types

        # for values, we try to obtain the json for the value property
        if hasattr(obj, "value") and hasattr(obj, "confidence"):
            return obj.value

        # for strings, we simply compute the native string
        if hasattr(obj, "__str__"):
            return str(obj)

        # for all the others values we use the normal json encoder
        return json.JSONEncoder.default(self, obj)