1 / 5

Team meeting Feb 9 , 2012

Team meeting Feb 9 , 2012. Christophe Foket. Class hierarchy flattening. Developer. Attacker. Tool flow. dacapo.jar. Problem : transformed program usually only works for specified input as analyses are unsound . input. obfuscator. small default. VM. soot. . class. TamiFlex.

treva
Télécharger la présentation

Team meeting Feb 9 , 2012

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Team meetingFeb 9, 2012 ChristopheFoket

  2. Classhierarchyflattening Developer Attacker

  3. Toolflow dacapo.jar Problem:transformed program usuallyonlyworksforspecified input as analyses are unsound. input obfuscator small default VM soot .class TamiFlex refl.log input .class

  4. Toolflow dacapo.jar Analyses are sound, since all classes are considered. Sootfails to parsesome classes. (7/14 bmstransformed) input obfuscator dacapo.jar small default VM soot TamiFlex refl.log input .class

  5. TODO • h2: soot’s type assigner fails • batik: call graph construction out of memory • xalan: bad access to protected data • tradebeans & tradesoap: work, but only small percentage of classes transformed by soot • pmd: phantom class loaded at run time • jython: make soot aware of getSuperClass

More Related