Rama K. Yedavalli

38 papers C 27Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2024 C conf
ACC
Rama K. Yedavalli
2024 C conf
ACC
Rama K. Yedavalli
2024 C conf
ACC
Rama K. Yedavalli
2018 C conf
ACC
Rama K. Yedavalli
2018 J jnl
Int. J. Control
Timothy Seitz, Rama K. Yedavalli, Alireza Behbahani
2016 C conf
ACC
Rama K. Yedavalli
2015 conf
CDC
Rama K. Yedavalli
2015 C conf
ACC
Rama K. Yedavalli
2015 C conf
ACC
Rama K. Yedavalli
2014 C conf
IAS
Ajit A. Renjit, Mahesh S. Illindala, Rama K. Yedavalli
2013 conf
ECC
Rama K. Yedavalli, Nagini Devarakonda
2010 conf
CDC
Nagini Devarakonda, Rama K. Yedavalli
2010 C conf
ACC
Nagini Devarakonda, Rama K. Yedavalli
2009 C conf
ACC
Rama K. Yedavalli
2008 C conf
CCA
Rama K. Yedavalli, Nagini Devarakonda
2007 C conf
ACC
Rama K. Yedavalli
2006 C conf
ACC
Rama K. Yedavalli
2006 C conf
ACC
Rama K. Yedavalli
2004 conf
CCCT (1)
Rama K. Yedavalli
2004 C conf
ACC
Rama K. Yedavalli
2003 C conf
ACC
Rama K. Yedavalli
2003 C conf
ACC
Rama K. Yedavalli, Praveen Shankar, David B. Doman
2003 C conf
ACC
Yuan-Wei Tseng, Seung-Keon Kwak, Rama K. Yedavalli
2002 C conf
ACC
Rama K. Yedavalli
2002 C conf
ACC
Rama K. Yedavalli
2001 C conf
ACC
Rama K. Yedavalli
2001 C conf
ACC
Rama K. Yedavalli
2001 C conf
ACC
Scott R. Starin, Rama K. Yedavalli, Andrew G. Sparks
2001 conf
CDC
Rama K. Yedavalli, Andrew G. Sparks
2000 C conf
ACC
Rama K. Yedavalli
2000 C conf
ACC
Seung-Keon Kwak, Rama K. Yedavalli
2000 C conf
ACC
Seung-Keon Kwak, Rama K. Yedavalli
2000 C conf
ACC
Rama K. Yedavalli, Andrew G. Sparks
2000 J jnl
Int. J. Syst. Sci.
Rama K. Yedavalli, C. R. Ashokkumar
1999 J jnl
IEEE Trans. Autom. Control.
Anjali M. Diwekar, Rama K. Yedavalli
1999 J jnl
IEEE Trans. Autom. Control.
Anjali M. Diwekar, Rama K. Yedavalli
1995 J jnl
Autom.
Rama K. Yedavalli, Yong Liu
1993 J jnl
Autom.
Rama K. Yedavalli
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()