Karsten Lehmann

14 papers B 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2017 conf
OR
Roberto Anzaldua, Christina N. Burt, Harry Edmonds, Karsten Lehmann, Guangyan Song
2015 J jnl
CoRR
Karsten Lehmann, Russell Bent, Feng Pan
2015 J jnl
CoRR
Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
2014 J jnl
CoRR
Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
2014 J jnl
CoRR
Tobias Kretz, Karsten Lehmann, Ingmar Hofsäß, Axel Leonhardt
2014 J jnl
CoRR
Vidal Roca, Vicente Torres, Tobias Kretz, Karsten Lehmann, Ingmar Hofsäß
2014 J jnl
CoRR
Tobias Kretz, Karsten Lehmann, Ingmar Hofsäß
2014 conf
PSCC
Carleton Coffrin, Hassan L. Hijazi, Karsten Lehmann, Pascal Van Hentenryck
2014 J jnl
CoRR
Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
2014 J jnl
Theor. Comput. Sci.
Karsten Lehmann, Rafael Peñaloza
2014 J jnl
CoRR
Tobias Kretz, Karsten Lehmann, Ingmar Hofsäß
2014 J jnl
Adv. Complex Syst.
Tobias Kretz, Karsten Lehmann, Ingmar Hofsäß
2012 B conf
JELIA
Karsten Lehmann, Anni-Yasmin Turhan
2005 conf
OOPSLA Companion
Martin Burger, Karsten Lehmann, Andreas Zeller
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)