Ran Wang

17 papers A* 1C 4Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
IEEE Trans. Neural Networks Learn. Syst.
Raman Goyal, Mohamed Naveed Gul Mohamed, Ran Wang, Aayushman Sharma, Suman Chakravorty
2025 C conf
ACC
Raman Goyal, Mohamed Naveed Gul Mohamed, Ran Wang, Aayushman Sharma, Suman Chakravorty
2025 C conf
ACC
Ran Wang, Aayushman Sharma, Karthikeya S. Parunandi, Raman Goyal, Mohamed Naveed Gul Mohamed, Suman Chakravorty
2023 conf
CDC
Ran Wang, Raman Goyal, Suman Chakravorty
2023 J jnl
CoRR
Ran Wang, Raman Goyal, Suman Chakravorty
2023 C conf
ACC
Mohamed Naveed Gul Mohamed, Raman Goyal, Suman Chakravorty, Ran Wang
2022 J jnl
IEEE Trans. Autom. Control.
Ran Wang, Karthikeya S. Parunandi, Dan Yu, Dileep M. Kalathil, Suman Chakravorty
2022 C conf
ACC
Mohamed Naveed Gul Mohamed, Suman Chakravorty, Raman Goyal, Ran Wang
2022 J jnl
CoRR
Mohamed Naveed Gul Mohamed, Raman Goyal, Suman Chakravorty, Ran Wang
2021 A* conf
ICRA
Ran Wang, Raman Goyal, Suman Chakravorty, Robert E. Skelton
2021 conf
CDC
Raman Goyal, Suman Chakravorty, Ran Wang, Mohamed Naveed Gul Mohamed
2021 conf
CDC
Ran Wang, Karthikeya S. Parunandi, Aayushman Sharma, Raman Goyal, Suman Chakravorty
2021 J jnl
CoRR
Raman Goyal, Ran Wang, Suman Chakravorty, Robert E. Skelton
2020 J jnl
IEEE Robotics Autom. Lett.
Ran Wang, Raman Goyal, Suman Chakravorty, Robert E. Skelton
2020 J jnl
CoRR
Suman Chakravorty, Ran Wang, Mohamed Naveed Gul Mohamed
2020 J jnl
CoRR
Ran Wang, Karthikeya S. Parunandi, Dan Yu, Dileep M. Kalathil, Suman Chakravorty
2019 J jnl
CoRR
Ran Wang, Karthikeya S. Parunandi, Dan Yu, Dileep M. Kalathil, Suman Chakravorty
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()