Gillian: A Multi-Language Platform for Unified Symbolic Analysis
Petar Maksimovi\'c, Jos\'e Fragoso Santos, Sacha-\'Elie Ayoun,, Philippa Gardner
TL;DR
Gillian is a versatile platform designed to perform symbolic analysis across multiple programming languages, integrating meta-theory, implementation, and various instantiations to facilitate unified analysis.
Contribution
It introduces a multi-language symbolic analysis platform with a flexible architecture supporting diverse language analyses.
Findings
Supports analysis of multiple programming languages
Provides a unified framework for symbolic analysis
Enables extensibility through instantiations
Abstract
This is an evolving document describing the meta-theory, the implementation, and the instantiations of Gillian, a multi-language symbolic analysis platform.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Software Engineering Research · Chemical synthesis and alkaloids