Abstract Interpretation

This project is an attempt to learn static analysis and abstract interpretation from the ground up.

Andrew Fox

Spring 2024

Usage

The best way to run this project so far is with sbt test

Weekly Updates

Because why not keep a log this can show my timeline and yeah.

Week 1(main branch):

Simple AST structure for addition of strings and ints

Week 2(logic branch):

Added if statments, booleans
Started adding in structure for variables and while loops

Week 3:

Added in simple implementation for subtraction(with Number and Point only)
added in abstract_evaluate nodes: these will report the interval of a given expression, for now only really functional with Number and Point
added in Rand
started thinking about direction of project and other cases that could happen
thought about combination of the evaluate and abstract_evaluate
- My thought process is same function but as its parameters its taking a bool that says if it is abstract or not, however this seems too simple
Added in Multiplication which supports NumberxNumber and PointxNumber
Added in Point class, alongside support for abstraction(the TwoDInterval class)

Week 4(analysis branch):

Added in State and functionality for it so I can track variables across multiple expression calls.
Added in real functionality for while loops which now can run
Started abstract interpretation for a loop(picking up each additional state per pass through the loop and merging them together)

Week 5(analysis branch):

Learned process for simple interpretation of a loop
Added in simple abstract_evaluate() for while loops
- Added in Bottom, extension for Int|Interval comparisons
- Added in IncrementVar as a sublass of Executable
Created Conditional class to hold comparisons
Changed Rand to have a max value to create more specific ranges