Nadine Baptiste-Jessel

19 papers B 3C 3Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2018 conf
IHM
Jean-Baptiste Marco, Nadine Baptiste-Jessel, Philippe Truillet
2016 B conf
RCIS
Sirinya On-At, Arnaud Quirin, André Péninou, Nadine Baptiste-Jessel, Marie-Françoise Canut, Florence Sèdes
2013 J jnl
Ingénierie des Systèmes d Inf.
Dieudonné Tchuente, O. Canut, Nadine Baptiste-Jessel, André Péninou, Florence Sèdes
2012 B conf
ASONAM
Dieudonné Tchuente, C. Marie-Françoise Canut, Nadine Baptiste-Jessel, André Péninou, Florence Sèdes
2012 conf
INFORSID
Dieudonné Tchuente, C. Marie-Françoise Canut, Nadine Baptiste-Jessel, André Péninou, Florence Sèdes
2012 J jnl
Web Intell. Agent Syst.
Dieudonné Tchuente, C. Marie-Françoise Canut, Nadine Baptiste-Jessel, André Péninou, Florence Sèdes
2011 conf
EGC
Dieudonné Tchuente, C. Marie-Françoise Canut, Nadine Baptiste-Jessel
2011 J jnl
Document Numérique
Dieudonné Tchuente, C. Marie-Françoise Canut, Nadine Baptiste-Jessel, Alexandre Coutant, Thomas Stenger, Olivier Rampnoux
2010 B conf
ASONAM
Dieudonné Tchuente, C. Marie-Françoise Canut, Nadine Baptiste-Jessel, André Péninou, Anass El Haddadi
2008 C conf
ICCHP
Enrico Bortolazzi, Nadine Baptiste-Jessel, Giovanni Bertoni
2007 conf
KES (3)
Benoît Encelle, Nadine Baptiste-Jessel
2007 conf
SADPI
Benoît Encelle, Nadine Baptiste-Jessel
2007 conf
W4A
Benoît Encelle, Nadine Baptiste-Jessel
2005 conf
IHM
Bertrand Tornil, Nadine Baptiste-Jessel
2005 conf
ICMC
Bertrand Tornil, Nadine Baptiste-Jessel
2004 C conf
ICCHP
Benoît Encelle, Nadine Baptiste-Jessel
2004 conf
User Interfaces for All
Bertrand Tornil, Nadine Baptiste-Jessel
2004 C conf
ICCHP
Nadine Baptiste-Jessel, Bertrand Tornil, Benoît Encelle
2004 conf
ICWI
Benoît Encelle, Nadine Baptiste-Jessel
redb/extractors/decompiler/bninja/run.py
← Index redb/extractors/decompiler/bninja/run.py python
import argparse
import json

from decompiler import BinaryNinjaDecompiler
from utils.json_encoder import BinaryNinjaEncoder


def run_from_command_line():
    parser = argparse.ArgumentParser(description="Binary Ninja Decompiler")
    parser.add_argument("filepath", help="Path to the binary file to analyze")
    parser.add_argument(
        "--output", "-o", help="Output JSON file path (default: stdout)"
    )
    parser.add_argument(
        "--timeout",
        "-t",
        type=int,
        default=1200,
        help="Analysis timeout in seconds (default: 1200)",
    )
    args = parser.parse_args()

    with BinaryNinjaDecompiler(args.filepath, args.timeout) as decompiler:
        success = decompiler.extract()

        if not success:
            decompiler.log.error("Analysis failed")
            return 1

        # Output results
        if args.output:
            with open(args.output, "w") as f:
                json.dump(decompiler.analysis_results, f, cls=BinaryNinjaEncoder)
            decompiler.log.info(f"Results written to {args.output}")
        else:
            print(json.dumps(decompiler.analysis_results, cls=BinaryNinjaEncoder))

    return 0


if __name__ == "__main__":
    run_from_command_line()