[angr] angr-z3 build problem

Fish Wang fish at cs.ucsb.edu
Fri Jan 15 15:47:38 PST 2016



Thanks! We’ll handle it as soon as possible.


@Yan: one more reason for you to run a Windows VM!





From: angr [mailto:angr-bounces at lists.cs.ucsb.edu] On Behalf Of Christoph Wintersteiger
Sent: Friday, January 15, 2016 7:39 AM
To: Yan <zardus at gmail.com>
Cc: angr at lists.cs.ucsb.edu
Subject: [angr] angr-z3 build problem


64-bit angr seems to suffer from a configuration problem:







Christoph M. Wintersteiger | Researcher | Tel: +44 1223 479724 | Fax: +44 1223 479999 | research.microsoft.com/people/cwinter <http://research.microsoft.com/people/cwinter> 


Microsoft Research Limited (company number 03369488) is a company registered in England and Wales whose registered office is at 21 Station Road, Cambridge, CB1 2FB 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cs.ucsb.edu/pipermail/angr/attachments/20160115/0b76178a/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.jpg
Type: image/jpeg
Size: 1168 bytes
Desc: not available
URL: <http://lists.cs.ucsb.edu/pipermail/angr/attachments/20160115/0b76178a/attachment-0001.jpg>

More information about the angr mailing list