• Customers
  • Docs
  • Pricing
  •  
  • Sign in
  • Get started

Strange Loop 2019 liveblog

Strange Loop 2019 - Easy Abstract Interpretation with SPARTA

Blogy McBlogerson on September 13, 2019

Arnaud Venet

Jez Ng


Overview

Using abstract interpretation to build a scalable tool from scratch is a daunting engineering task that generally requires a protracted development effort. To streamline that process, we built (SPARTA)1, a C++ library of components for building high-performance static analyzers that can run in a production environment. SPARTA provides the building blocks so an engineer can focus solely on the logic that extracts the desired information from the program. The library ensures that the resulting analysis is sound, efficient, and scalable.


AWESOME LIVEBLOG CONTENT HERE!

About Sourcegraph

  • Case studies
  • Customers
  • Pricing
  • Not a developer?

Resources

  • Blog
  • Changelog
  • Documentation
  • Podcast
  • Big code survey

Company

  • About
  • Careers
  • Contact
  • Handbook
  • News
  • Sourcegraph strategy
  • © 2021 Sourcegraph
  • Terms
  • Security
  • Privacy