llvm - tools for symbolic execution on binaries -

-

are there tools symbolic execution on binaries. mean using which, not require modify source code - klee_make_symbolic or can such changes in ir (llvm ir etc.) in advance

maybe miasm can fit requirements. reverse engineer framework supports static symbolic execution. far know， more simple klee , s2e.


Comments

Post a Comment

Popular posts from this blog

python - Setting ctypes.Structure default values -

-
this doesn't work: class ifinfomsg(ctypes.structure): _fields_ = [ ('ifi_family', ctypes.c_ubyte), ('__ifi_pad', ctypes.c_ubyte), ('ifi_type', ctypes.c_ushort), ('ifi_index', ctypes.c_int), ('ifi_flags', ctypes.c_uint), ('ifi_change', ctypes.c_uint(0xffffffff)) ] it errors with: file "rtnetlink.py", line 243, in <module> class ifinfomsg(ctypes.structure): typeerror: error when calling metaclass bases second item in _fields_ tuple (index 5) must c type however can set values in __init__() : class ifinfomsg(ctypes.structure): _fields_ = [ ('ifi_family', ctypes.c_ubyte), ('__ifi_pad', ctypes.c_ubyte), ('ifi_type', ctypes.c_ushort), ('ifi_index', ctypes.c_int)...
Read more

C# Apple Bonjour - how to monitor service records within Windows -

-
i'm using apples bonjour pronounce client information. class bonjourexample { private bonjour.dnssdeventmanager m_eventmanager;; private bonjour.dnssdservice m_service; private bonjour.dnssdservice m_browser; private bonjour.dnssdservice m_resolver; private init() { m_service = new dnssdservice(); m_eventmanager = new dnssdeventmanager(); m_eventmanager.servicefound += new _idnssdevents_servicefoundeventhandler(this.servicefound); m_eventmanager.servicelost += new _idnssdevents_servicelosteventhandler(this.servicelost); m_eventmanager.serviceresolved += new _idnssdevents_serviceresolvedeventhandler(this.serviceresolved); m_eventmanager.queryrecordanswered += new _idnssdevents_queryrecordansweredeventhandler(this.queryanswered); m_eventmanager.operationfailed += new _idnssdevents_operationfailedeventhandler(this.operationfailed); m_bonjourbrowser = m_bonjourservice.b...
Read more

javascript - Hide toolbar of pdf file opened inside iframe using firefox -

-
other browsers such chrome,ie working fine when given #toolbar=0.but not working in firefox. please help. this code. <html> <body> <iframe src="reports/reports.pdf#toolbar=0" width="100%;" height="80%"> </iframe> </html> i think it's dependent on application/plugin in browser opens pdf, works differently , might ignore there directives (depending on browser, plugin, platform, pdf viewer). the general recommendation here use these "directives" @ end of url: #toolbar=0&navpanes=0 you may try recommendations http://blogs.adobe.com/pdfdevjunkie/web_designers_guide : embedding using pdfobject you use basic html markup embed pdf files in page there more elegant solution out there. take @ pdfobject philip hutchison. pdfobject pretty easy scripting tool dynamically embedding pdf files web pages. uses javascript inject element dom tree of html file. there’s...
Read more