SPLINE is a static analyzer for the Simple Programming Language of Imperative Numeric Expressions. It includes a reference implementation of the language, built directly from the specification in Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation. On top of this foundation, SPLINE provides a set of analysis techniques to infer numeric invariants of programs.
-
Couldn't load subscription status.
- Fork 0
d01c2/spline
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Simple programming language for imperative numeric expressions
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published