Karen M. Lange

14 papers Journal 14
YearRankTypeTitle / Venue / Authors
2020 J jnl
Math. Log. Q.
Rachel Epstein, Karen M. Lange
2018 J jnl
Notre Dame J. Formal Log.
Karen M. Lange, Russell G. Miller, Rebecca M. Steiner
2017 J jnl
Arch. Math. Log.
Bernard A. Anderson, Barbara F. Csima, Karen M. Lange
2015 J jnl
J. Symb. Log.
Peter Cholak, Peter M. Gerdes, Karen M. Lange
2015 J jnl
J. Symb. Log.
Paola D'Aquino, Salma Kuhlmann, Karen M. Lange
2015 J jnl
Arch. Math. Log.
Paola D'Aquino, Julia F. Knight, Karen M. Lange
2015 J jnl
Arch. Math. Log.
Alf Dolich, Julia F. Knight, Karen M. Lange, David Marker
2013 J jnl
Ann. Pure Appl. Log.
Asher M. Kach, Karen M. Lange, Reed Solomon
2013 J jnl
Comput.
Jacob Carson, Jesse Johnson, Julia F. Knight, Karen M. Lange, Charles F. D. McCoy, John Wallbaum
2012 J jnl
Ann. Pure Appl. Log.
Peter Cholak, Peter M. Gerdes, Karen M. Lange
2011 J jnl
Arch. Math. Log.
Paola D'Aquino, Julia F. Knight, Karen M. Lange
2010 J jnl
J. Symb. Log.
Karen M. Lange
2008 J jnl
J. Symb. Log.
Karen M. Lange
2007 J jnl
Notre Dame J. Formal Log.
Karen M. Lange, Robert I. Soare
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)