Hancheng Min

41 papers A* 7A 2C 2Misc 1Journal 24Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Ziqing Xu, Hancheng Min, Salma Tarmoun, Enrique Mallada, René Vidal
2025 J jnl
Trans. Mach. Learn. Res.
Ziqing Xu, Hancheng Min, Salma Tarmoun, Enrique Mallada, René Vidal
2025 J jnl
Autom.
Hancheng Min, Richard Pates, Enrique Mallada
2025 A* conf
CVPR
Jinqi Luo, Tianjiao Ding, Kwan Ho Ryan Chan, Hancheng Min, Chris Callison-Burch, René Vidal
2025 J jnl
CoRR
Jinqi Luo, Tianjiao Ding, Kwan Ho Ryan Chan, Hancheng Min, Chris Callison-Burch, René Vidal
2025 J jnl
CoRR
Lachlan Ewen MacDonald, Hancheng Min, Leandro Palma, Salma Tarmoun, Ziqing Xu, René Vidal
2025 A* conf
ICML
Hancheng Min, René Vidal
2025 J jnl
CoRR
Hancheng Min, Zhihui Zhu, René Vidal
2025 conf
CDC
Hancheng Min, René Vidal
2025 J jnl
CoRR
Hancheng Min, René Vidal
2025 A conf
AISTATS
Ziqing Xu, Hancheng Min, Lachlan Ewen MacDonald, Jinqi Luo, Salma Tarmoun, Enrique Mallada, René Vidal
2025 J jnl
CoRR
Ziqing Xu, Hancheng Min, Lachlan Ewen MacDonald, Jinqi Luo, Salma Tarmoun, Enrique Mallada, René Vidal
2025 J jnl
CoRR
Fengrui Tian, Tianjiao Ding, Jinqi Luo, Hancheng Min, René Vidal
2024 A* conf
ICML
Hancheng Min, René Vidal
2024 J jnl
CoRR
Hancheng Min, René Vidal
2024 A* conf
ICLR
Hancheng Min, Enrique Mallada, René Vidal
2024 J jnl
CoRR
Agustin Castellano, Hancheng Min, Juan Andrés Bazerque, Enrique Mallada
2024 J jnl
CoRR
Yan Jiang, Hancheng Min, Baosen Zhang
2023 J jnl
CoRR
Hancheng Min, Richard Pates, Enrique Mallada
2023 J jnl
CoRR
Hancheng Min, René Vidal, Enrique Mallada
2023 conf
L4DC
Hancheng Min, Enrique Mallada
2023 Misc conf
ACSSC
Agustin Castellano, Hancheng Min, Juan Andrés Bazerque, Enrique Mallada
2023 J jnl
IEEE Trans. Autom. Control.
Agustin Castellano, Hancheng Min, Juan Andrés Bazerque, Enrique Mallada
2023 A conf
AISTATS
Ziqing Xu, Hancheng Min, Salma Tarmoun, Enrique Mallada, René Vidal
2023 A* conf
ICML
Hancheng Min, René Vidal, Enrique Mallada
2023 C conf
ACC
Hancheng Min, Enrique Mallada
2022 J jnl
CoRR
Hancheng Min, Enrique Mallada
2022 conf
L4DC
Agustin Castellano, Hancheng Min, Enrique Mallada, Juan Andrés Bazerque
2022 J jnl
CoRR
Hancheng Min, Enrique Mallada
2021 C conf
ACC
Hancheng Min, Fernando Paganini, Enrique Mallada
2021 J jnl
IEEE Control. Syst. Lett.
Hancheng Min, Fernando Paganini, Enrique Mallada
2021 J jnl
CoRR
Hancheng Min, Enrique Mallada
2021 J jnl
CoRR
Agustin Castellano, Hancheng Min, Juan Andrés Bazerque, Enrique Mallada
2021 A* conf
ICML
Hancheng Min, Salma Tarmoun, René Vidal, Enrique Mallada
2021 J jnl
CoRR
Hancheng Min, Salma Tarmoun, René Vidal, Enrique Mallada
2021 J jnl
CoRR
Agustin Castellano, Hancheng Min, Juan Andrés Bazerque, Enrique Mallada
2019 conf
Allerton
Hancheng Min, Fernando Paganini, Enrique Mallada
2019 J jnl
CoRR
Hancheng Min, Fernando Paganini, Enrique Mallada
2019 conf
CDC
Hancheng Min, Enrique Mallada
2019 J jnl
CoRR
Hancheng Min, Enrique Mallada
2018 A* conf
ICRA
Ömür Arslan, Hancheng Min, Daniel E. Koditschek
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()