Title: Developing Scalable Points-To Analysis: An Experience Report

Description: Speaker: Dr. Paddy Krishnan

Time: Thursday, 12 January 2017, 3:00pm
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's 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.

Organization:
Oracle Labs, Australia



Host:
Prof. Uday Khedkar

Date: Thursday, 12 January, 2017
Time: 3:00pm IST
Access: Public
Category: Talk*
Created by: Department Calendar
Updated: Monday, 16 July, 2018 12:45pm IST
Send Reminder: Yes  -  70 hours 22 minutes before start
Participants: Department Calendar
<seminar@iitb.ac.in> (External User)
<all@cse.iitb.ac.in> (External User)
_NUC_department <office@cse.iitb.ac.in> (External User)