Elkhound, Elsa and Cqual++: Open-Source Static Analysis...

Channel:

Google TechTalks

Subscribers:

348,000

Published on October 9, 2007 3:42:35 AM ● Video Link: https://www.youtube.com/watch?v=7XRKDuPyCQo

Duration: 41:34

2,621 views

10

Google TechTalks
April 11, 2006

Scott McPeak

ABSTRACT
This talk will cover three pieces of infrastructure for writing static analyses for C++. All are available as open source. Elkhound is a Generalized LR (GLR) parser generator. Its input is a grammar augmented with reduction actions written in C++. The GLR algorithm works with any context-free grammar, even ambiguous grammars. The user provides additional actions to resolve ambiguities that may arise during parsing. Elsa is a C++ parser written using Elkhound. It solves many of the classic parsing challenges of C and C++ by using an ambiguous grammar, delaying much of the disambiguation until the type checking phase.

Not only does this lead...