SlideShare a Scribd company logo

EclipseCon Static Analysis BOF

Download as PPT, PDF
M
mgnzna

This document discusses opportunities for integrating static analysis tools into the Eclipse IDE. It explores where static analysis could fit within existing Eclipse tools and platforms. It also examines the scope of static analysis in terms of techniques, domains, and differences from dynamic analysis. Key questions are raised around cross-language analysis, tool integration benefits, packaging challenges, and standards.

1 of 3
Download to read offline
1
2
3
Static Analysis BOF Thought experiment: A coherent Eclipse narrative about Static Analysis Mike Norman
Existing Tools and Platforms Where does it sit? TPTP, PTP, CDT(Codan), JDT? 3rd-party tool integration Open Source e.g. Findbugs Commercial e.g. CodePro Research Prototypes e.g. Proof General Are there benefits to tools integration? Cross-Language Challenges Analysis Engine/AST-level Team/Lifecycle-level/invocation/audit/reporting? Packaging challenges
Scope What is the domain? Security or Quality, Education... ? What is the range of techniques? Syntax checking/Metrics/Whole Program Analysis What's different about Dynamic? What about quick-fix? Role of annotations? Are there any standards we can implement? CWE?

More Related Content

PPT
Automatic Traceability
Radoslaw Smilgin
 
PPTX
IEEE p1589 'ARLEM' virtual meeting, July 8, 2015
fridolin.wild
 
PDF
CMSC 330 QUIZ 4
HamesKellor
 
PDF
Experiences of CMS selection
Tristan Roddis
 
ODP
Software Testing - Day Two
Govardhan Reddy
 
PDF
Deep learning Type Inference for Dynamic Programming Languages
Amir M. Mir
 
PDF
Seeing is Understanding: Debugging with the Multicore Visualizer
marckhouzam
 
ODP
Code Analysis and Refactoring with CDT
dschaefer
 
Automatic Traceability
Radoslaw Smilgin
 
IEEE p1589 'ARLEM' virtual meeting, July 8, 2015
fridolin.wild
 
CMSC 330 QUIZ 4
HamesKellor
 
Experiences of CMS selection
Tristan Roddis
 
Software Testing - Day Two
Govardhan Reddy
 
Deep learning Type Inference for Dynamic Programming Languages
Amir M. Mir
 
Seeing is Understanding: Debugging with the Multicore Visualizer
marckhouzam
 
Code Analysis and Refactoring with CDT
dschaefer
 

Featured (20)

PDF
2024 Trend Updates: What Really Works In SEO & Content Marketing
Search Engine Journal
 
PDF
Storytelling For The Web: Integrate Storytelling in your Design Process
Chiara Aliotta
 
PDF
Artificial Intelligence, Data and Competition – SCHREPEL – June 2024 OECD dis...
OECD Directorate for Financial and Enterprise Affairs
 
PDF
How to Leverage AI to Boost Employee Wellness - Lydia Di Francesco - SocialHR...
SocialHRCamp
 
PDF
2024 State of Marketing Report – by Hubspot
Marius Sescu
 
PDF
Everything You Need To Know About ChatGPT
Expeed Software
 
PDF
Product Design Trends in 2024 | Teenage Engineerings
Pixeldarts
 
PDF
How Race, Age and Gender Shape Attitudes Towards Mental Health
ThinkNow
 
PDF
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
marketingartwork
 
PDF
Skeleton Culture Code
Skeleton Technologies
 
PDF
PEPSICO Presentation to CAGNY Conference Feb 2024
Neil Kimberley
 
PDF
Content Methodology: A Best Practices Report (Webinar)
contently
 
PPTX
How to Prepare For a Successful Job Search for 2024
Albert Qian
 
PDF
Social Media Marketing Trends 2024 // The Global Indie Insights
Kurio // The Social Media Age(ncy)
 
PDF
Trends In Paid Search: Navigating The Digital Landscape In 2024
Search Engine Journal
 
PDF
5 Public speaking tips from TED - Visualized summary
SpeakerHub
 
PDF
ChatGPT and the Future of Work - Clark Boyd
Clark Boyd
 
PDF
Getting into the tech field. what next
Tessa Mero
 
PDF
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Lily Ray
 
PDF
How to have difficult conversations
Rajiv Jayarajah, MAppComm, ACC
 
2024 Trend Updates: What Really Works In SEO & Content Marketing
Search Engine Journal
 
Storytelling For The Web: Integrate Storytelling in your Design Process
Chiara Aliotta
 
Artificial Intelligence, Data and Competition – SCHREPEL – June 2024 OECD dis...
OECD Directorate for Financial and Enterprise Affairs
 
How to Leverage AI to Boost Employee Wellness - Lydia Di Francesco - SocialHR...
SocialHRCamp
 
2024 State of Marketing Report – by Hubspot
Marius Sescu
 
Everything You Need To Know About ChatGPT
Expeed Software
 
Product Design Trends in 2024 | Teenage Engineerings
Pixeldarts
 
How Race, Age and Gender Shape Attitudes Towards Mental Health
ThinkNow
 
AI Trends in Creative Operations 2024 by Artwork Flow.pdf
marketingartwork
 
Skeleton Culture Code
Skeleton Technologies
 
PEPSICO Presentation to CAGNY Conference Feb 2024
Neil Kimberley
 
Content Methodology: A Best Practices Report (Webinar)
contently
 
How to Prepare For a Successful Job Search for 2024
Albert Qian
 
Social Media Marketing Trends 2024 // The Global Indie Insights
Kurio // The Social Media Age(ncy)
 
Trends In Paid Search: Navigating The Digital Landscape In 2024
Search Engine Journal
 
5 Public speaking tips from TED - Visualized summary
SpeakerHub
 
ChatGPT and the Future of Work - Clark Boyd
Clark Boyd
 
Getting into the tech field. what next
Tessa Mero
 
Google's Just Not That Into You: Understanding Core Updates & Search Intent
Lily Ray
 
How to have difficult conversations
Rajiv Jayarajah, MAppComm, ACC
 
Ad

EclipseCon Static Analysis BOF

  • 1. Static Analysis BOF Thought experiment: A coherent Eclipse narrative about Static Analysis Mike Norman
  • 2. Existing Tools and Platforms Where does it sit? TPTP, PTP, CDT(Codan), JDT? 3rd-party tool integration Open Source e.g. Findbugs Commercial e.g. CodePro Research Prototypes e.g. Proof General Are there benefits to tools integration? Cross-Language Challenges Analysis Engine/AST-level Team/Lifecycle-level/invocation/audit/reporting? Packaging challenges
  • 3. Scope What is the domain? Security or Quality, Education... ? What is the range of techniques? Syntax checking/Metrics/Whole Program Analysis What's different about Dynamic? What about quick-fix? Role of annotations? Are there any standards we can implement? CWE?