Check out my first novel, midnight's simulacra!
CybOregonizer: Difference between revisions
From dankwiki
No edit summary |
No edit summary |
||
| Line 10: | Line 10: | ||
* [http://www.itee.uq.edu.au/~cristina/wcre99.ps UQBT] looks rather old and crustified --''[[User:Dank|Dank]] 13:37, 2 March 2010 (UTC)'' | * [http://www.itee.uq.edu.au/~cristina/wcre99.ps UQBT] looks rather old and crustified --''[[User:Dank|Dank]] 13:37, 2 March 2010 (UTC)'' | ||
* [http://strategoxt.org/Transform/BinaryOptimisers BinaryOptimisers] page at the Program Transformation Wiki --''[[User:Dank|Dank]] 13:39, 2 March 2010 (UTC)'' | * [http://strategoxt.org/Transform/BinaryOptimisers BinaryOptimisers] page at the Program Transformation Wiki --''[[User:Dank|Dank]] 13:39, 2 March 2010 (UTC)'' | ||
* [http://gmplib.org/list-archives/gmp-devel/2008-March/000785.html] at the gmplib bugzilla -- ''[[User:Dank|Dank]] 08:21, 9 April 2010 (UTC)'' | |||
Revision as of 08:21, 9 April 2010
spring 2010 cs8803dc project labbook
- checked out DynamoRIO --Dank 07:10, 2 March 2010 (UTC)
- determined that basic block will define our granularity of transformation --Dank 11:51, 2 March 2010 (UTC)
- Vincent M. Weaver and Sally A. McKee. "Using Dynamic Binary Instrumentation to Generate Multi-platform SimPoints: Methodology and Accuracy". 2008 --Dank 12:20, 2 March 2010 (UTC)
- valgrind and qemu can definitely identify BB's, but permanently modifying a binary is another thing entirely --Dank 12:22, 2 March 2010 (UTC)
- what about vizer? --Dank 13:34, 2 March 2010 (UTC)
- or SIND? --Dank 13:35, 2 March 2010 (UTC)
- WalkAbout, even? --Dank 13:36, 2 March 2010 (UTC)
- UQBT looks rather old and crustified --Dank 13:37, 2 March 2010 (UTC)
- BinaryOptimisers page at the Program Transformation Wiki --Dank 13:39, 2 March 2010 (UTC)
- [1] at the gmplib bugzilla -- Dank 08:21, 9 April 2010 (UTC)
