1 / 8

Team meeting Sept 8, 2011

Team meeting Sept 8, 2011. Christophe Foket. Context. Developer. Attacker. Class hierarchy flattening. Developer. Attacker. Class hierarchy flattening.

brier
Download Presentation

Team meeting Sept 8, 2011

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 meetingSept 8, 2011 ChristopheFoket

  2. Context Developer Attacker

  3. Classhierarchyflattening Developer Attacker

  4. Classhierarchyflattening AbstractWindow window = new ShapeWindow(...);Circle circle1 = new Circle(...);Rectangle rectangle1 = new Rectangle(...);...Circle circle2 = new Circle(...);Rectangle rectangle2 = new Rectangle(...); … window. add(circle1); window. add(rectangle1); window. add(circle2); window. add(rectangle2); Less type information? Obfuscatable window = new ShapeWindow(...);Obfuscatable circle1 = new Circle(...);Obfuscatable rectangle1 = new Rectangle(...);...Obfuscatable circle2 = new Circle(...);Obfuscatable rectangle2 = new Rectangle(...); … window. add(circle1); window. add(rectangle1); window. add(circle2); window. add(rectangle2);

  5. Classhierarchyflattening Usepoints-toanalysis: average points-to set per localvariable, calculatedwith SPARK (soot)no extra casts wereinsertedthatwouldgiveaway type information

  6. SPARK is bad? public <Drawable: void draw()> Drawable r0 r0 := @this: Drawable return this -> Circle+ any subtype of Object, Thread orClassLoader ? public <Circle: void draw()> Circle r0 r0 := @this: Circle specialinvoke r0.<Drawable: void draw()>() return this -> Circle+any subtype of Object, Thread orClassLoader ? public <Drawable: void draw()> Drawable r0 r0 := @this: Drawable return public <Circle: void draw()> Circle r0 r0 := @this: Circle specialinvoke r0.<Drawable: void draw()>() return public abstract classDrawable { public void draw(){} } this -> Circle public classCircle { public void draw(){ super.draw(); } } this -> Circle

  7. SPARK is bad? public <Drawable: void draw()> Drawable r0 r0 := @this: Drawable return public <Circle: void draw()> Circle r0 r0 := @this: Circle specialinvoke r0.<Drawable: void draw()>() return public abstract classDrawable { public void draw(){} } this -> Circle public classCircle { public void draw(){ super.draw(); } } this -> Circle Observation: In some cases the points-to sets of locals in leaf-classmethods is veryprecise, whereasthoseof locals in other classes are not. Mightexplainlowersizesaftertransformation.

  8. Schedule • Done:graded 2 lab sessionsfor compilers • Scheduled: • Contact developerson SPARK issue • Continue evaluation • Continue writing paper

More Related