accurate polymorphism detection
play

Accurate Polymorphism Detection Nevena Milojkovi Software - PowerPoint PPT Presentation

Mar 06, 2023 •140 likes •292 views

Accurate Polymorphism Detection Nevena Milojkovi Software Composition Group University of Bern Problem public static void main(String[] args){ AttributeFigure figure = new ComponentFigure(); figure.basicDisplayBox( point1, point2); }

  1. Accurate Polymorphism Detection Nevena Milojkovi ć Software Composition Group University of Bern

  2. Problem public static void main(String[] args){ AttributeFigure figure = new ComponentFigure(); figure.basicDisplayBox( point1, point2); }

  3. public static void main(String[] args){ AttributeFigure figure = FigureFactory. getFigure(); figure.basicDisplayBox( point1, point2); }

  4. basicDisplayBox(Point origin, Point corner) We know this information at run-time.

  5. Agenda Problem: Program comprehension in the presence of polymorphism Goal: Create an accurate call-graph at code-reading- time Idea: Compare dynamically collected results with static algorithms

  6. Static algorithms Class Instances Instances Instances Instances per project per class per field per method hierarchy 1. UN ✔ 2. CHA 3. RTA ✔ ✔ ✔ ✔ 4. CTA ✔ ✔ ✔ 5. MTA ✔ ✔ ✔ 6. FTA ✔ ✔ ✔ 7. XTA

  7. What is really happening?

  8. Collect information from a running system Collect information about all method invocations from the project in question Store information in a RTI (run-time information) database Compare dynamically collected results from RTI database with static algorithms

  9. Using Javassist to get the information public void basicDisplayBox(Point origin,Point corner){ bounds = new Rectangle(origin); bounds .add (corner); } public void basicDisplayBox(Point origin,Point corner){ Profiler.log($0, $sig, $args); bounds = new Rectangle(origin); bounds .add (corner); }

  10. figure.basicDisplayBox(origin, corner); org.jhotdraw.contrib.ComponentFigure.basicDisplayBox(Point,Point); org.jhotdraw.contrib.PolygonFigure.basicDisplayBox(Point,Point); org.jhotdraw.contrib.TextAreaFigure.basicDisplayBox(Point,Point); org.jhotdraw.figures.EllipseFigure.basicDisplayBox(Point,Point); 125 org.jhotdraw.figures.ImageFigure.basicDisplayBox(Point,Point); org.jhotdraw.figures.RectangleFigure.basicDisplayBox(Point,Point); org.jhotdraw.figures.RoundRectangleFigure.basicDisplayBox(Point,Point); org.jhotdraw.contrib.ComponentFigure.basicDisplayBox(Point,Point); 78 org.jhotdraw.contrib.PolygonFigure.basicDisplayBox(Point,Point); org.jhotdraw.contrib.TextAreaFigure.basicDisplayBox(Point,Point); org.jhotdraw.figures.EllipseFigure.basicDisplayBox(Point,Point); org.jhotdraw.figures.ImageFigure.basicDisplayBox(Point,Point); 43 org.jhotdraw.figures.RectangleFigure.basicDisplayBox(Point,Point); org.jhotdraw.figures.RoundRectangleFigure.basicDisplayBox(Point,Point);

  11. How confident are we in our results? 62% of used fields 26% of used methods 64% of used constructors 65% of used classes

  12. • Implement more static algorithms • Implement three-stage analysis • Improve performance for dynamic analysis • Run analysis on more projects • Integrate a tool into IDE

  13. Additional uses of the RTI database •Usage of fields •All methods invocations •Study null pointer propagation

  14. Summary • Call graph helps source code comprehension • Polymorphism introduces ambiguity in the call-graph • Static algorithms give false positives • Dynamic analysis give false negatives • Their combination could yield more accurate results, at a reasonable cost, to support the developer

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Accurate Timeout Detection Despite Arbitrary Processing Delays Sixiang Ma , Yang Wang The Ohio

Accurate Timeout Detection Despite Arbitrary Processing Delays Sixiang Ma , Yang Wang The Ohio

Accurate Timeout Detection Despite Arbitrary Processing Delays Sixiang Ma , Yang Wang The Ohio State University Timeout is Widely Used in Failure Detection Sender Receiver Heartbeat Timeout Detection Can be Inaccurate When timeout happens ,

705 views • 45 slides
Rich Feature Hierarchies for Accurate Object Detection and Semantic Segmentation Authors: Ross

Rich Feature Hierarchies for Accurate Object Detection and Semantic Segmentation Authors: Ross

Rich Feature Hierarchies for Accurate Object Detection and Semantic Segmentation Authors: Ross Girshick, Jeff Donahue, Trevor Darrell, Jitendra Malik Presented by Huihuang Zheng Problem: Object Detection Regionlets SegDPM (2013) Selective

499 views • 19 slides
Polymorphism Polymorphism Greek: poly = many , morph = form Definitions: Polymorphism:

Polymorphism Polymorphism Greek: poly = many , morph = form Definitions: Polymorphism:

ML Polymorphism Polymorphism Greek: poly = many , morph = form Definitions: Polymorphism: dictionary.com: the capability of assuming different ML Lectures (continued) forms; the capability of widely varying in form. The occurrence of

222 views • 6 slides
Rich feature hierarchies for accurate object detection and semantic segmentation Ross Girshick, Je

Rich feature hierarchies for accurate object detection and semantic segmentation Ross Girshick, Je

Rich feature hierarchies for accurate object detection and semantic segmentation Ross Girshick, Je ff Donahue, Trevor Darrell, Jitendra Malik UC Berkeley Tech Report @ http://arxiv.org/abs/1311.2524 Detection & Segmentation input

704 views • 37 slides
polymorphism (MSAP) technique in early detection of pest resistance in GM Banana crop Fredrick

polymorphism (MSAP) technique in early detection of pest resistance in GM Banana crop Fredrick

Potentiality of DNA- methylation sensitive amplification polymorphism (MSAP) technique in early detection of pest resistance in GM Banana crop Fredrick koome Senior inspector, KEPHIS makathima@kephis.org 6 th annual national biosafety

152 views • 14 slides
Polymorphism Object-oriented programming Inf1 :: 2008 Object-oriented programming Polymorphism

Polymorphism Object-oriented programming Inf1 :: 2008 Object-oriented programming Polymorphism

Polymorphism Polymorphism Object-oriented programming Inf1 :: 2008 Object-oriented programming Polymorphism Polymorphism Overview Polymorphism is a concept that allows the programmer to program abstractly Objects of a subclass can be treated

463 views • 35 slides
Accurate Detection of Out of Body Segments In Surgical Videos using Semi-Supervised Learning

Accurate Detection of Out of Body Segments In Surgical Videos using Semi-Supervised Learning

Accurate Detection of Out of Body Segments In Surgical Videos using Semi-Supervised Learning Maya Zohar, Omri Bar, Daniel Neimark, Gregory D. Hager, Dotan Asselmann theator Inc., San Mateo, CA, USA Department of Computer Science, Johns

299 views • 17 slides
Bounding Box Regression With Uncertainty for Accurate Object Detection 1 Carnegie Mellon

Bounding Box Regression With Uncertainty for Accurate Object Detection 1 Carnegie Mellon

Bounding Box Regression With Uncertainty for Accurate Object Detection 1 Carnegie Mellon University 2 Megvii Yihui He 1 , Chenchen Zhu 1 , Jianren Wang 1 , Marios Savvides, 2 Xiangyu Zhang Ambiguity: inaccurate labelling MS-COCO Ambiguity:

713 views • 32 slides
LASER: Light, Accurate Sharing dEtection and Repair Liang Luo, Akshitha Sriraman,

LASER: Light, Accurate Sharing dEtection and Repair Liang Luo, Akshitha Sriraman,

LASER: Light, Accurate Sharing dEtection and Repair Liang Luo, Akshitha Sriraman, Brooke Fugate, Shiliang Hu, Chris J Newburn, Gilles Pokam, Joseph DevieA Multicore is Eating the World

622 views • 24 slides
Polymorphism Polymorphism Literally: the ability to assume many forms OOP idea: a

Polymorphism Polymorphism Literally: the ability to assume many forms OOP idea: a

Polymorphism Polymorphism Literally: the ability to assume many forms OOP idea: a superclass reference can refer to many types of subclass objects Each object may behave differently if subclasses override methods Imagine a

309 views • 12 slides
Chapter 9 Polymorphism Chapter Scope The role of polymorphism Dynamic binding Using

Chapter 9 Polymorphism Chapter Scope The role of polymorphism Dynamic binding Using

Chapter 9 Polymorphism Chapter Scope The role of polymorphism Dynamic binding Using inheritance for polymorphism Exploring Java interfaces in more detail Using interfaces for polymorphism Polymorphic design Java

898 views • 46 slides
3D Object Proposals using Stereo Imagery for Accurate Object Class Detection Xiaozhi Chen,

3D Object Proposals using Stereo Imagery for Accurate Object Class Detection Xiaozhi Chen,

3D Object Proposals using Stereo Imagery for Accurate Object Class Detection Xiaozhi Chen, Kaustav Kundu, Yukun Zhu, Huimin Ma, Sanja Fidler and Raquel Urtasun Presentation by Jungwook Lee Why use proposals? - Smart proposal generation methods

287 views • 25 slides
Polymorphism "Inheritance is new code that reuses old code. Polymorphism is old code that

Polymorphism "Inheritance is new code that reuses old code. Polymorphism is old code that

Topic 5 Polymorphism "Inheritance is new code that reuses old code. Polymorphism is old code that reuses new code. 1 Polymorphism Another feature of OOP literally having many forms object variables in Java are

570 views • 17 slides
TreeShrink: fast and accurate detection of outlier long branches in collections of phylogenetic

TreeShrink: fast and accurate detection of outlier long branches in collections of phylogenetic

TreeShrink: fast and accurate detection of outlier long branches in collections of phylogenetic trees 1 Paper Presentation Xilin Yu University of Illinois Urbana-Champaign Nov 27th, 2018 1 Uyen Mai and Siavash Mirarab Xilin Yu (University of

627 views • 19 slides
Convolutional Feature Maps Elements of efficient (and accurate) CNN-based object detection

Convolutional Feature Maps Elements of efficient (and accurate) CNN-based object detection

Convolutional Feature Maps Elements of efficient (and accurate) CNN-based object detection Kaiming He Microsoft Research Asia (MSRA) Overview of this section Quick introduction to convolutional feature maps Intuitions: into the black

786 views • 41 slides
Object & Polymorphism Check out Polymorphism from SVN Inheritance, Associations, and

Object & Polymorphism Check out Polymorphism from SVN Inheritance, Associations, and

Object & Polymorphism Check out Polymorphism from SVN Inheritance, Associations, and Dependencies Solid line, open arrowhead = has - a Dependency lines are dashed Field association lines are solid Us Use associat iation ion li

603 views • 21 slides
cse504 class presentation LCLint (PLDI96 paper) Splint (IEEE02 paper) Prefix

cse504 class presentation LCLint (PLDI96 paper) Splint (IEEE02 paper) Prefix

cse504 class presentation LCLint (PLDI96 paper) Splint (IEEE02 paper) Prefix (Intrinsa SP&E00 paper) jaeyeon.jung@intel.com 04/07/2010 1 part I static detection of dynamic memory errors 2 the problem memory

736 views • 46 slides
Principles of Software Construction: Objects, Design, and Concurrency (Part 2: Designing

Principles of Software Construction: Objects, Design, and Concurrency (Part 2: Designing

Principles of Software Construction: Objects, Design, and Concurrency (Part 2: Designing (Sub-)Systems) More Analysis for Functional Correctness Christian Kstner Bogdan Vasilescu School of Computer Science 15-214 1 Administrativa

1.41k views • 100 slides
levels for system-on-chip Giovanni Funchal STMicroelectronics Verimag Synchron2008

levels for system-on-chip Giovanni Funchal STMicroelectronics Verimag Synchron2008

Components and abstraction levels for system-on-chip Giovanni Funchal STMicroelectronics Verimag Synchron2008 Introduction Simulation mechanics In practice Contributions Future work Imagine a system Display USB FM radio PAL/NTSC

1.29k views • 63 slides
Tracking Camera ECE 492 Group 4 Project Design Group members Ryan Corpuz Servo control

Tracking Camera ECE 492 Group 4 Project Design Group members Ryan Corpuz Servo control

Coloured-Object Tracking Camera ECE 492 Group 4 Project Design Group members Ryan Corpuz Servo control Custom PWM Rotational velocity variations Hang Peng Camera and monitor interfacing Video input signal format

384 views • 13 slides
Short-baseline analysis techniques Zarko Pavlovic PhyStat-nu Fermilab 2016

Short-baseline analysis techniques Zarko Pavlovic PhyStat-nu Fermilab 2016

Short-baseline analysis techniques Zarko Pavlovic PhyStat-nu Fermilab 2016 Introduction Few short baseline experiments observed anomalous signals arXiv:1204.5379 Cant be reconciled with atmospheric

743 views • 31 slides
25% 75% Marketing

25% 75% Marketing

25% 75% Marketing & Vertrieb Requirement Engineers Entwicklung Test Betrieb Support Beratung (Audits, Piloten, Quality Control, Key Accounts, )

1.51k views • 68 slides
Using Static Program Analysis to Aid Intrusion Detection M. Egele M. Szydlowski E. Kirda C.

Using Static Program Analysis to Aid Intrusion Detection M. Egele M. Szydlowski E. Kirda C.

Motivation Analysis Evaluation Summary Using Static Program Analysis to Aid Intrusion Detection M. Egele M. Szydlowski E. Kirda C. Kruegel Secure Systems Lab Vienna University of Technology SIG SIDAR Conference on Detection of

929 views • 78 slides
Iterators Iterator Methods Iterator ix = x.iterator(); constructs and initializes an iterator to

Iterators Iterator Methods Iterator ix = x.iterator(); constructs and initializes an iterator to

Iterators Iterator Methods Iterator ix = x.iterator(); constructs and initializes an iterator to examine the elements of x; constructed iterator is assigned to ix An iterator permits you to examine the elements of a data structure one at a

451 views • 7 slides

More recommend