Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/v4kst1z/TIP

Static Program Analysis for TIP, in Rust
https://github.com/v4kst1z/TIP

rust static-analysis tip

Last synced: 3 months ago
JSON representation

Static Program Analysis for TIP, in Rust

Awesome Lists containing this project

README

        

TIP
=======================
TIP is a tiny imperative programming language aimed at teaching the fundamental concepts of static program analysis. [Static Program Analysis](https://cs.au.dk/~amoeller/spa/) (Just a toy)

### ANALYSES
* Type Analysis