Login
Talks & Seminars
Title: Developing Scalable Points-To Analysis: An Experience Report
Dr. Paddy Krishnan, Oracle Labs, Australia
Date & Time: January 12, 2017 15:00
Venue: Conference Room, C Block, 01st Floor, Dept. of CSE, Kanwal Rekhi (KReSIT) Bldg.
Abstract:
In this presentation I will first outline the standard declarative approach using the DOOP framework to program analysis as applied to security analysis. Unfortunately, the standard approach does not scale to systems that are of interest. We show how a demand-driven, staged approach yields desired results. We assume that a client queries the points-to information for some program variables. The novelty of our approach is a pre-analysis technique that is a combination of staged points-to analyses with program slicing and program compaction. Our points-to framework scales for code bases with millions of program variables and hundreds of thousands of methods.
Speaker Profile:
Paddy Krishnan is a Consulting Researcher at Oracle Labs, Australia where he is the research lead for the Java Vulnerability Detection project. His research interests are scalable static analysis for object-oriented languages and security modelling. Prior to joining Oracle Labs, he was an academic at various organisations and also held visiting positions in industry. He has a BTech from IIT-Kanpur and MS and PhD from the University of Michigan, Ann Arbor.
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback