https://github.com/zeta611/gisa
GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'
https://github.com/zeta611/gisa
introduction-to-static-analysis programming-language programming-language-theory static-analysis static-analyzer yacc
Last synced: 10 months ago
JSON representation
GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'
- Host: GitHub
- URL: https://github.com/zeta611/gisa
- Owner: Zeta611
- Created: 2021-04-22T14:45:12.000Z (about 5 years ago)
- Default Branch: main
- Last Pushed: 2021-05-13T11:07:26.000Z (about 5 years ago)
- Last Synced: 2025-02-01T21:35:10.362Z (over 1 year ago)
- Topics: introduction-to-static-analysis, programming-language, programming-language-theory, static-analysis, static-analyzer, yacc
- Language: C
- Homepage:
- Size: 52.7 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# GISA: A Gentle Introduction to Static Analysis
An implementation of "a very basic language" presented in
*Introduction to Static Analysis: An Abstract Interpretation Perspective* by
Kwangkeun Yi and Xavier Rival.
## Implementation
### The Interpreter
The interpreter implements the presented langauge as-is, with a point to be
noted: the syntax for the arguments to the `init` statement and the syntax for
*numbers* are specified.
### The Static Analyzer (TBD)
[The double description method](https://mathscinet.ams.org/mathscinet-getitem?mr=0060202)
is used to convert V- and H-representation of convex polygons.