Vinay Vashishtha

12 papers A 1C 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2025 conf
ISSCC
Xiaofei Wang, Yusung Kim, Gwanghyeon Baek, Kunal Girish Bannore, Kaushal Dave, Arash Joushaghani, Narae Kang, Minwoo Ko, Anandkumar Mahadevan Pillai, Hema Chandra Prakash Movva, Gyusung Park, Muktadir Rahman, Seenivasan Subramaniam, Vinay Vashishtha, Teng Yang, Zheng Guo, Eric A. Karl
2022 J jnl
Microelectron. J.
Vinay Vashishtha, Lawrence T. Clark
2021 J jnl
Microelectron. J.
Vinay Vashishtha, Lawrence T. Clark
2017 A conf
ICCAD
Vinay Vashishtha, Manoj Vangala, Lawrence T. Clark
2017 conf
MSE
Lawrence T. Clark, Vinay Vashishtha, David M. Harris, Samuel Dietrich, Zunyan Wang
2017 conf
ISQED
Vinay Vashishtha, Ankita Dosi, Lovish Masand, Lawrence T. Clark
2017 conf
CICC
Lawrence T. Clark, Vinay Vashishtha
2017 C conf
ISCAS
Vinay Vashishtha, Manoj Vangala, Parv Sharma, Lawrence T. Clark
2016 J jnl
Microelectron. J.
Lawrence T. Clark, Vinay Vashishtha, Lucian Shifren, Aditya Gujja, Saurabh Sinha, Brian Cline, Chandarasekaran Ramamurthy, Greg Yeric
2015 conf
CICC
Vinay Vashishtha, Lawrence T. Clark, Srivatsan Chellappa, Anudeep R. Gogulamudi, Aditya Gujja, Chad Farnsworth
2015 conf
ISQED
Srivatsan Chellappa, Chandarasekaran Ramamurthy, Vinay Vashishtha, Lawrence T. Clark
2015 C conf
ISCAS
Vinay Vashishtha, Aditya Gujja, Lawrence T. Clark
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)